名古屋大学 / 客員教授
自己紹介などの詳しいプロフィールは、つながりをリクエストして承認されると表示できます。
OCaml
塚田 翔也とその他6人が+1
型システム
Coq
Scala
塚田 翔也とその他5人が+1
Haxe
Yohei Iwasakiとその他2人が+1
アプリをインストールして、知り合いの最新の活躍をフォローしよう