基本情報

所属
東北大学 情報科学研究科 助教
学位
PhD(1993年12月 University of North Texas, USA)
PhD(1988年5月 Kazan State University, USSR)

J-GLOBAL ID
201801001317412678
researchmap会員ID
B000301217

外部リンク

プログラミング言語や自然言語や論理や型システムやメタプログラミング等に関する研究に努めております

主要な論文

  77

MISC

  5

書籍等出版物

  2

講演・口頭発表等

  22