Rchr
J-GLOBAL ID:201101036042284220
Update date: Jun. 05, 2024
Imai Yoshihiro
Imai Yoshihiro
Contact this researcher
You can send email directly to the researcher.
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
TOP
BOTTOM