一般注記 |
東北大学 電気通信研究所 教授(2016年現在) 京都大学数理解析研究所 SRC:型理論に基づくプログラミング言語設計理論の研究 / 大堀淳研究代表([大堀淳], 1996.3) EDSRC:Types in compilation : second international workshop, TIC '98 Kyoto, Japan, March 25-27, 1998, proceedings / Xavier Leroy, Atsushi Ohori (eds.)(Springer, c1998) 「アルゴリズムとプログラミング言語 / 大堀淳, ジャック・ガリグ, 西村進著」(岩波書店, 1999.5)の奥付より生年の追加
|