千年の言語? A Thousand-Year Language? 住井 英二郎 Eijiro Sumii あんた誰? Who am I? z いわゆるプログラミング言語「理論」の 研究者(大学准教授)です – ML(SML, OCaml)とかλ計算とか教えたり、 – いわゆる「型理論」とかプログラム等価性 とか研究しています – PerlとかRubyとか開発していません z すみません… � Academic researcher on programming language “theory” – Not developing Perl or Ruby (sorry...) 何でここにいるの? Why am I here? z 趣味でMinCamlを作ったため(多分) – MinCamlって何? ⇒ OCamlサブセットの教育用コンパイラ – OCamlって何? ⇒ 関数型言語MLの方言