Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証
Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証
今井宜洋
DMM Crypto / Blockchain Engineer
400万人が利用する会社訪問アプリ
今井宜洋
DMM Crypto / Blockchain Engineer
自己紹介
ログインユーザーのみに公開
DMM Crypto2年間
Blockchain Engineer（副業）現在
- 現在
形式検証
産業技術研究所2年間
デジタルアーキテクチャ研究所現在
- 現在
証明支援系Coqを使った形式検証
名古屋大学4年間
客員教授（副業）現在
- 現在
株式会社proof ninja5年間
代表取締役 CEO現在
- 現在
Tezos foundation4年間
Software Engineer（副業）
-
コア開発デベロッパー
限定公開の職歴・学歴
今井宜洋さん
のプロフィールをすべて閲覧
Wantedlyユーザー もしくは つながりユーザーのみ閲覧できる項目があります
過去の投稿を確認する
共通の知り合いを確認する
今井宜洋さんのプロフィールをすべて見る
スキルと特徴
OCaml
7塚田 翔也とその他6人が+1
型システム
7塚田 翔也とその他6人が+1
Coq
7塚田 翔也とその他6人が+1
Scala
6塚田 翔也とその他5人が+1
Haxe
3Yohei Iwasakiとその他2人が+1
実績