電気通信大学
大学院情報理工学研究科
情報・通信工学専攻
教授

〒182-8585 東京都調布市調布ヶ丘1-5-1
西9号館 517号室
EMail: iwasaki __at__ cs.uec.ac.jp
Tel: 042-443-5336

研究プロジェクト

• 助っ人 (SkeTo)
  東大，国立情報学研究所，高知工科大学との共同研究で開発中のスケルトン並列プログラミングシステム

研究テーマ

• プログラミング言語とその処理系
  記号処理言語，関数型言語，オブジェクト指向言語などを 設計し，効率のよい処理系，使いやすいユーザインタフェース等を実現する． 最近では，値が漸次的に改良されて真の値に近づいていくような近似値の列 (Improving Sequence) を第一級の対象として扱うような言語， Lisp 言語システムおよびその応用システムの実現 (たとえば TEX のプリプロセッサシステム UtiTeX) などに取り組んでいる．

• 並列プログラミングシステム
  ユーザに多大な負担をかけず，プログラムを高速， 並列に実行するための方法を研究し， 実並列計算機環境上に実装し効果を確認する． 最近は，スケルトン並列プログラミングのための理論的な考察とシステム (助っ人) 構築について研究を行っている．

• システムソフトウェア
  OS など，計算機の根幹をなす一連のソフトウェア ， またそれらのソフトウェア上で力を発揮する応用プログラムを 設計・実現する． 最近では，プロセスの実行コンテキストに応じてふるまいを変えることが できるカーネルモジュール，およびその応用としてのサンドボックスシステム などに取り組んでいる．

• 構成的アルゴリズム論
  与えられたプログラムを効率のよいプログラムに変換するための仕組 およびシステムを研究する． 最近は，余計な中間的データ構造を生成しないようにプログラムを 変換することによって，プログラムの効率改善を図る方法について 取り組んでいる．

講義関係

• 2012年度 プログラム言語基礎論 (前学期・大学院博士前期課程) (電気通信大学からのみアクセス可)
• 2012年度 言語処理系論 (前学期・情報・通信工学科3年) (電気通信大学からのみアクセス可)