岩崎研究室では,質の高いシステムソフトウェアと,それを構築するための洗練されたプログラミング言語について研究しています.
現在,本研究室,胡研究室(国立情報学研究所)と松崎研究室(高知工科大学)の共同でSkeTo Projectを行っています.
電気通信大学学部3年生のための,岩崎研究室への卒研配属情報は,こちら(大学内部からのみアクセス可)を参照してください.
| 役職/学年 | 名前 | Name | |
|---|---|---|---|
| 教授 | 岩崎 英哉 | IWASAKI Hideya | iwasaki + @cs.uec.ac.jp |
| 助教 | 鵜川 始陽 | UGAWA Tomoharu | ugawa + @cs.uec.ac.jp |
| 准教授 | 中野 圭介 | NAKANO Keisuke | ksk + @cs.uec.ac.jp |
| 博士 | 佐藤 重幸 | SATO Shigeyuki | sage + @ipl.cs.uec.ac.jp |
| 高野 保真 | TAKANO Yasunao | yasunao + @ipl.cs.uec.ac.jp | |
| 山下 伸夫 | YAMASHITA Nobuo | nobsun + @ipl.cs.uec.ac.jp | |
| 修士2年生 | 漆原 明博 | URUSHIHARA Akihiro | urushi + @ipl.cs.uec.ac.jp |
| 塩田 雅人 | SHIODA Masato | masato + @ipl.cs.uec.ac.jp | |
| 橘田 頼之 | KITTA Yoriyuki | ykitta + @ipl.cs.uec.ac.jp | |
| 陳 粛 | Chen Su | chensu + @ipl.cs.uec.ac.jp | |
| 宮岡 大騎 | MIYAOKA Hiroki | hiroki + @ipl.cs.uec.ac.jp | |
| 森川 和哉 | MORIKAWA Kazuya | morikawa + @ipl.cs.uec.ac.jp | |
| 修士1年生 (岩崎研究室) | 大泉 良介 | OIZUMI Ryosuke | oizumi + @ipl.cs.uec.ac.jp |
| 柏崎 由貴菜 | KASHIWAZAKI Yukina | kashiwazaki + @ipl.cs.uec.ac.jp | |
| 小林 哲 | KOBAYASHI Tetsu | tetsu + @ipl.cs.uec.ac.jp | |
| 反町 翔太 | SORIMACHI Shota | sorimachi + @ipl.cs.uec.ac.jp | |
| 谷村 明 | TANIMURA Akira | tanimura + @ipl.cs.uec.ac.jp | |
| 修士1年生 (鵜川研究室) | 竹内 洋平 | TAKEUCHI Yohei | yohei + @ipl.cs.uec.ac.jp |
| 中野 陽基 | NAKANO Haruki | haruki + @ipl.cs.uec.ac.jp | |
| 卒業研究生 (岩崎研究室) | 新井 椋也 | ARAI Ryoya | ryoya + @ipl.cs.uec.ac.jp |
| 小網 駿輔 | KOAMI Shunsuke | amisuke + @ipl.cs.uec.ac.jp | |
| 藤井 亮太 | FUJII Ryota | fujii + @ipl.cs.uec.ac.jp | |
| 山本 竜太郎 | YAMAMOTO Ryutaro | yryu + @ipl.cs.uec.ac.jp | |
| 飯野 雄太郎 | IINO Yutarou | yiino + @ipl.cs.uec.ac.jp | |
| 中島 悠輔 | NAKAJIMA Yusuke | y-nakajima + @ipl.cs.uec.ac.jp | |
| 卒業研究生 (中野研究室) | 青木 優太 | AOKI Yuuta | y-aoki + @ipl.cs.uec.ac.jp |
| 馬場 庸平 | BABA Yohei | baba + @ipl.cs.uec.ac.jp | |
| 吉川 竜太 | YOSHIKAWA Ryota | yoshikawa + @ipl.cs.uec.ac.jp | |
| 渡邉 秀隆 | WATANABE Hidetaka | hwatanabe + @ipl.cs.uec.ac.jp | |
| 井川 慧人 | IGAWA Keito | igawa + @ipl.cs.uec.ac.jp | |
| 卒業研究生 (鵜川研究室) | 小式澤 篤 | KOSHIKIZAWA Atsushi | koshikizawa + @ipl.cs.uec.ac.jp |
| 高村 成道 | TAKAMURA Narimichi | takamura + @ipl.cs.uec.ac.jp |
本研究室では,プログラミング言語にかかわるさまざまな話題,また,それらの言語を用いたシステムやソフトウェアを,主な研究対象としています.過去の学位論文一覧はこちら.
現在の主な研究課題の概略は,次のようなものです.
記号処理言語,関数型言語などを設計し,効率のよい処理系,使いやすいユーザインターフェース等を実現します.最近では, Lisp や関数型言語処理系およびそれらの応用システム,徐々に真の値に近づいていくような値の系列を扱うことのできる言語システム, JavaScript によるマルチスレッド処理などに取り組んでいます.また、開発したプログラムのデバッグを効率的に行えるようにするための研究も同時に行っています.
使用目的をある特定の問題に特化したような言語 (ドメイン特化言語) を設計し,処理系を実現します.最近では,ゲームシステムを記述しやすい並行処理機構を備えた言語処理系,ページ遷移を持つ HTML 文書の記述法, XML 処理プログラムを支援する言語環境の研究などに取り組んでいます.
オペレーティングシステム(OS)など,計算機の根幹をなる一連のソフトウェア,またはそれらのソフトウェア上で力を発揮する応用プログラムを設計・実現します.最近では,プログラムの実行状況に応じてふるまいの異なる OS カーネル,それを用いたセキュリティ向上の研究などに取り組んでいます.
ユーザに多大な負担をかけず,プログラムを高速,並列に実行するための方法を研究し,実並列計算機環境上に実装し効果を確認します.最近は,スケルトン並列プログラミングのためのライブラリ「助っ人」上で、大規模疎行列を効率よく扱う枠組みや、可変長配列を扱う枠組みについての研究を行っています.
与えられたプログラムを効率のよいプログラムに変換するための仕組およびシステムを研究しています.最近では主として,「構成的アルゴリズム論」という理論に基づき,余計な中間的データ構造を生成しないようにプログラムを変換することによって,プログラムの効率改善を図る方法について取り組んできました.
電気通信大学 情報理工学部 情報・通信工学科 コンピュータサイエンスコース
(電気通信大学 旧電気通信学部 情報工学科 ソフトウェア学講座)
電気通信大学大学院 情報理工学研究科 情報・通信工学専攻 コンピュータサイエンスコース
(電気通信大学大学院 旧電気通信学研究科 情報工学専攻 ソフトウェア学講座)
〒182-8585 東京都調布市調布ヶ丘 1-5-1 電気通信大学 情報工学科 西9号館 4階 ソフトウェア学講座事務室 岩崎研究室
| 役職 | 名前 | 居室 | 内線番号 |
|---|---|---|---|
| 教員 | 岩崎 | 西9号館517号室 | 5336 |
| 鵜川 | 西9号館513号室 | 5329 | |
| 中野 | 西9号館615号室 | 5321 | |
| 学生 | — | 西9号館518,519,617号室 |