#2004年1期未踏本体 #スーパークリエータ

#プログラム等価性 #プログラミング言語 #関数型プログラミング #セキュリティ #型システム #東北大学大学院 #MinCaml

住井 英二郎（すみい えいじろう）は未踏クリエータ。

テーマ "美しい日本のMLコンパイラ" で2004年1期未踏本体に採択された。共同開発者は 住井 真紀子 。PMは加藤 和彦。スーパークリエータに認定された。

テーマ: 美しい日本のMLコンパイラ

PM: 加藤 和彦

共同開発者: 住井 真紀子

東京生まれ

東京大学 理学部 情報科学科

1998年3月 卒業

東京大学大学院 理学系研究科 情報科学専攻 修士課程

2000年3月 入学～2001年3月 中退

ペンシルバニア大学 工学応用理学部 計算機情報科学科 Visiting Scholar

2000年3月 留学

東京大学大学院 情報学環 助手

2001年4月 就任

ペンシルバニア大学 工学応用理学部 計算機情報科学科 Research Associate

2003年4月 就任

東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 博士課程

2004年11月 修了、博士（情報理工学）取得

東北大学大学院 情報科学研究科 助教授

2005年5月 就任

東北大学大学院 情報科学研究科 准教授

2007年4月 就任

東北大学大学院 情報科学研究科 教授

2014年5月 就任～現在

2000年9月

The Fifth ACM SIGPLAN ICFP Programming Contest 1位 (Team PLClub)

2001年3月

日本ソフトウェア科学会プログラミングおよびプログラミング言語ワークショップ論文賞

2002年9月

The Fifth ACM SIGPLAN ICFP Programming Contest 1位 (Team TAPLAS)

2005年5月

2004年度1期本体未踏ソフトウェア創造事業 天才プログラマー／スーパークリエータ 認定

2006年5月

第1回情報処理学会東北支部 野口研究奨励賞

2008年4月

第7回船井情報科学奨励賞

2010年7月

第2回MSR日本情報学研究賞

ref: 第2回MSR日本情報学研究賞 受賞者プロファイル - アカデミック連携プログラム

2011年6月

日本ソフトウェア科学会第15回 論文賞

2011年11月

第１回RIEC Award 東北大学研究者賞

2011年12月

第25回日本IBM科学賞 「環境双模倣によるプログラム等価性証明手法」

ref: http://www-06.ibm.com/jp/press/pdf/archive_2011.pdf#page=41

2012年4月

第11回船井学術賞

2013年2月

第9回日本学術振興会賞 「環境双模倣によるプログラム等価性証明手法」

ref: 第9回(平成24年度)日本学術振興会賞の受賞者決定について｜日本学術振興会

2014年2月

2013年度ソフトウェアジャパンアワード

プログラム等価性についての研究 2000年～

2つのプログラムの動作が等しいかどうかを調べる、住井のメインの研究テーマ

2004年、2005年にプログラミング言語理論の国際学会「POPL」に採択率20％未満の中で選ばれた

教育用MLコンパイラ「MinCaml」 2004年

わずか2000行で有名コンパイラ（OCaml、GCC）と同等の性能を実現する、教育用ソフトウェア。東京大学ほか国内外の教育機関で利用されている

掲載：インタビュー 住井 英二郎 准教授

（以下、明記のないものの情報源は2015年インタビュー）

コンピュータとの出会いは小学1年生の頃で、兄が買ったPCで遊び始めたこと。また、兄がBASICでのゲームプログラミングについての雑誌を持っていたのをきっかけに、自分もプラグラミングをやってみたという

高校までは数学に興味を持っていたが、プログラミングの「実行すると動く」という面白さを再発見し、大学では情報系を専攻した