つながってこの人をもっと知ろう

自己紹介などの詳しいプロフィールは、つながりをリクエストして承認されると表示できます。

名古屋大学3年間

客員教授(副業)現在

- 現在

株式会社proof ninja4年間

代表取締役 CEO現在

- 現在

スキルと特徴

  • OCaml

    7
    • 塚田 翔也
    • 三浦 康幸
    • 小久保 祐介

    塚田 翔也その他6人が+1

  • 型システム

    7
    • 塚田 翔也
    • 三浦 康幸
    • 小久保 祐介

    塚田 翔也その他6人が+1

  • Coq

    7
    • 塚田 翔也
    • 三浦 康幸
    • 小久保 祐介

    塚田 翔也その他6人が+1

  • Scala

    6
    • 塚田 翔也
    • 小久保 祐介
    • 原 知愛

    塚田 翔也その他5人が+1

  • Haxe

    3
    • Yohei Iwasaki
    • 平野 雅寛
    • 藤澤 亮太

    Yohei Iwasakiその他2人が+1

  • Git、Coq2Scala、Android

実績

アプリをインストールして、知り合いの最新の活躍をフォローしよう