研究キーワードが「型理論」である研究者 30件 30件60件90件120件150件 ヒロカワ サチオ 廣川 佐千男 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 名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論 准教授