研究者
J-GLOBAL ID：201101036042284220   更新日: 2024年06月05日

今井 宜洋

Imai Yoshihiro
研究分野 (1件)： 数学基礎
研究キーワード (3件)： ラムダ計算 ,  証明支援器 ,  coq
Works (1件)：
  • ワクワク数学トーク
経歴 (1件)：
  • 2007/04 - 2017/02 有限会社ITプランニング ソフトウェアエンジニア
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM