今井宜洋

名古屋大学 / 客員教授

今井宜洋

名古屋大学 / 客員教授

今井宜洋

名古屋大学 / 客員教授

This user is using the new profile.

Join our Beta test to try out our new profile.

Join

Connect to learn more

You'll be able to see their introduction and other information once they have accepted your connection request.

Apr 2020
-
Present

客員教授
Present

Apr 2020 -

Present

Sept 2019
-
Present

代表取締役 CEO
Present

Sept 2019 -

Present


Skills and qualities

OCaml

Recommended by Yasuyuki MIURA and 7 more
8

Coq

Recommended by Yasuyuki MIURA and 7 more
8

型システム

Recommended by Tomochika Hara and 7 more
8

Scala

Recommended by Tomochika Hara and 6 more
7

Haxe

Recommended by Ryota Fujisawa and 2 more
3

Accomplishments/Portfolio

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

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