400万人が利用する会社訪問アプリ

アプリを使う
今井宜洋
今井宜洋
今井宜洋

今井宜洋

DMM Crypto / Blockchain Engineer
19つながり18フォロワー
登録してプロフィールを閲覧

今井宜洋

DMM Crypto / Blockchain Engineer

登録してプロフィールを閲覧

自己紹介

ログインユーザーのみに公開

ログインして続きを読む

DMM Crypto3 years

Blockchain Engineer(Side)現在

- 現在

形式検証

産業技術研究所3 years

デジタルアーキテクチャ研究所現在

- 現在

証明支援系Coqを使った形式検証

名古屋大学5 years

客員教授(Side)現在

- 現在

株式会社proof ninja6 years

代表取締役 CEO現在

- 現在

Tezos foundation4 years

Software Engineer(Side)

-

コア開発デベロッパー

限定公開の職歴・学歴

今井宜洋さん

のプロフィールをすべて閲覧

Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります

過去の投稿を確認する

共通の知り合いを確認する

今井宜洋さんのプロフィールをすべて見る

ログインしてプロフィールを閲覧

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

ログインしてプロフィールを閲覧

企業からスカウトをもらいましょう

アプリを使う