Connect to learn more
You'll be able to see their introduction and other information once they have accepted your connection request.
名古屋大学4 years
客員教授(Side)Present
- Present
株式会社proof ninja4 years
代表取締役 CEOPresent
- Present
Skills
OCaml
7
Recommended by Shoya Tsukada and 6 more
型システム
7
Recommended by Shoya Tsukada and 6 more
Coq
7
Recommended by Shoya Tsukada and 6 more
Scala
6
Recommended by Shoya Tsukada and 5 more
Haxe
3
Recommended by Yohei Iwasaki and 2 more
- Git, Coq2Scala, Android
Accomplishments / Portfolio