研究者
J-GLOBAL ID:201101036042284220   更新日: 2018年04月04日

今井 宜洋

イマイヨシヒロ | Imai Yoshihiro
所属機関・部署:
職名: エンジニア
その他の所属(所属・部署名・職名) (5件):
  • ProofCafe
  • ocaml-nagoya
  • 名古屋Scala
  • 名古屋大学  客員准教授
  • coqtokyo
ホームページURL (1件): http://proofcafe.org/~yoshihiro503/
研究キーワード (3件): ラムダ計算 ,  証明支援器 ,  coq
学位 (1件):
  • 修士(数理科学) (名古屋大学)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る