Connect to learn more
You'll be able to see their introduction and other information once they have accepted your connection request.
Skills
OCaml
6
Recommended by Tomochika Hara and 5 more
Ruby
4
Recommended by Mizuno Renya and 3 more
Coq
4
Recommended by Mizuno Renya and 3 more
型推論
3
Recommended by Mizuno Renya and 2 more
Git
2
Recommended by Taiki Takayama, Masahiro Hirano
- Haxe, Scala, SKK and 4 skills
Accomplishments / Portfolio