350万人が利用する会社訪問アプリ
名古屋大学 / 客員教授
自己紹介などの詳しいプロフィールは、つながりをリクエストして承認されると表示できます。
OCaml
塚田 翔也とその他6人が+1
型システム
Coq
Scala
塚田 翔也とその他5人が+1
Haxe
Yohei Iwasakiとその他2人が+1
企業からスカウトをもらいましょう
Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証