今井宜洋

名古屋大学 / 客員教授

今井宜洋

名古屋大学 / 客員教授

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

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

名古屋大学2 years

客員教授現在

- 現在

株式会社proof ninja3 years

代表取締役 CEO現在

- 現在

Skills

  • OCaml

    7
    • Shoya Tsukada
    • Yasuyuki MIURA
    • Yusuke Kokubo

    Shoya Tsukadaその他6人が+1

  • 型システム

    7
    • Shoya Tsukada
    • Yasuyuki MIURA
    • Yusuke Kokubo

    Shoya Tsukadaその他6人が+1

  • Coq

    7
    • Shoya Tsukada
    • Yasuyuki MIURA
    • Yusuke Kokubo

    Shoya Tsukadaその他6人が+1

  • Scala

    6
    • Shoya Tsukada
    • Yusuke Kokubo
    • Tomochika Hara

    Shoya Tsukadaその他5人が+1

  • Haxe

    3
    • Yohei Iwasaki
    • Masahiro Hirano
    • Ryota Fujisawa

    Yohei Iwasakiその他2人が+1

  • Git、Coq2Scala、Android

Accomplishments/Portfolio

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