基本情報

所属
東北大学 情報科学研究科 助教

J-GLOBAL ID
201801001317412678
researchmap会員ID
B000301217

外部リンク

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

主要な論文

  76

MISC

  5

書籍等出版物

  2

講演・口頭発表等

  20