NCID | DA1033424X |
名称(HDNG) | 大堀, 淳(1957-)||オオホリ, アツシ |
生没年(DATE) | 1957 |
から見よ(SF) | Ohori, Atsushi |
注記(NOTE) | 京都大学数理解析研究所 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)の奥付より生年の追加 |