Rchr
J-GLOBAL ID:201101036042284220   Update date: Jun. 05, 2024

Imai Yoshihiro

Imai Yoshihiro
Research field  (1): Basic mathematics
Research keywords  (3): lambda calculus ,  Proof Assistant ,  coq
Works (1):
  • ワクワク数学トーク
Work history (1):
  • 2007/04 - 2017/02 IT Planning, Inc. Software Engineer
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page