今井宜洋

名古屋大学 / 客員教授

今井宜洋

名古屋大学 / 客員教授

今井宜洋

名古屋大学 / 客員教授

あなたも Wantedly で
プロフィールを作りませんか?

これまでの経歴を、あなたの想いや挑戦とともに表現しよう。

いますぐ作る

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

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

2020年4月
-
現在
名古屋大学

名古屋大学

2 years

客員教授
現在

2020年4月 -

現在

2019年9月
-
現在
株式会社proof ninja

株式会社proof ninja

2 years

代表取締役 CEO
現在

2019年9月 -

現在


スキルと特徴

OCaml

Shoya Tsukadaとその他6人が +1
7

型システム

Shoya Tsukadaとその他6人が +1
7

Coq

Shoya Tsukadaとその他6人が +1
7

Scala

Shoya Tsukadaとその他5人が +1
6

Haxe

Yohei Iwasakiとその他2人が +1
3

Accomplishments/Portfolio

型システム入門, オーム社

Coqを使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証

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