今井宜洋

名古屋大学 / 客員教授

今井宜洋

名古屋大学 / 客員教授

今井宜洋

名古屋大学 / 客員教授

Why not create your own Wantedly profile?

Showcase yourself and your experiences to bring your professional story to life.

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を使ったデジタルデータ放送におけるストリームデータ処理の形式化と検証