| 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)の奥付より生年の追加 |