大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
Site/Bloghttp://keigoimai.info/
Location
Nagoya and/or Gifu
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Contributions
article is Liked
article is Liked
article is Stocked
article is Liked
article is Liked
article is Stocked
article is Stocked
article is Liked
article is Liked
article is Liked