プログラム理論と計算モデル


更新:2020/06/16
前の画像
次の画像
特徴・独自性
  • プログラミング言語および計算モデルに関する世界最先端の研究を行っている。特に、二つのプログラムの動作が等しいという「プログラム等価性」の一般的証明手法や、近年再注目されている「関数型プログラミング」、「軽量形式手法」とも呼ばれる「型システム」等に関する研究・普及活動を行い、大手電機メーカー技術者らとの訳書「型システム入門」は理論的専門書としては異例の大手インターネット書店プログラミング入門書2 位となった。
実用化イメージ

ソフトウェア、特にDSL(ドメイン特化言語)を含むプログラミング言語およびツールの設計・開発。関数型プログラミング、型システムないし形式手法の導入・利用。

キーワード

研究者

大学院情報科学研究科
情報基礎科学専攻
ソフトウェア科学講座(ソフトウェア基礎科学分野)

住井 英二郎 教授 
博士(情報理工学)(東京大学)/修士(理学)(東京大学)

Eijiro Sumii, Professor