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
