研究キーワードが「型理論」である研究者

ヒロカワサチオ

廣川佐千男

HIROKAWA SACHIO

株式JVIS

RDセンター
アキヨシリョウタ

秋吉亮太

Ryota Akiyoshi

慶應義塾大学

KGRI 特任助教
石田やわら

Yawara ISHIDA

京都大学
ニシムタユウキ

西牟田祐樹

Yuki Nishimuta
角谷良彦

Yoshihiko Kakutani

東京大学

情報理工学系研究科助教（退職）
長谷川真人

Masahito Hasegawa

京都大学

数理解析研究所教授
浅田和之

Kazuyuki Asada

東北大学

電気通信研究所システム・ソフトウェア研究部門
ウエノカツヒロ

上野雄大

Katsuhiro Ueno

新潟大学

自然科学系情報電子工学系列准教授
イガラシアツシ

五十嵐淳

Atsushi Igarashi

京都大学

大学院情報学研究科教授
オオホリアツシ

大堀淳

Atsushi Ohori

東北大学

電気通信研究所システム・ソフトウェア研究部門ソフトウェア構成研究室ソフトウエア構成研究分野教授
古森雄一

YUICHI KOMORI
テルイカズシゲ

照井一成

Kazushige Terui

京都大学

数理解析研究所附属計算機構研究施設助手
タカハシマサコ

高橋正子

Masako Takahashi

旧所属国際基督教大学教養学部理学科

教授,名誉教授
イマイケイゴ

今井敬吾

Keigo Imai

株式会社ディー・エヌ・エー
鈴木佑京

Ukyo Suzuki

東京大学
タナベユウダイ

田邉裕大

Yudai Tanabe

東京工業大学

情報理工学院数理・計算科学系助教
ナカザワコウジ

中澤巧爾

Koji Nakazawa

名古屋大学

大学院情報学研究科情報システム学専攻ソフトウェア論准教授