400万人が利用する会社訪問アプリ
DMM Crypto / Blockchain Engineer
ログインユーザーのみに公開
形式検証
証明支援系Coqを使った形式検証
コア開発デベロッパー
今井宜洋さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
今井宜洋さんのプロフィールをすべて見る
OCaml
塚田 翔也とその他6人が+1
型システム
Coq
Scala
塚田 翔也とその他5人が+1
Haxe
Yohei Iwasakiとその他2人が+1
企業からスカウトをもらいましょう