研究キーワードが「型理論」である研究者 30件 30件60件90件120件150件 ヒロカワ サチオ 廣川 佐千男 HIROKAWA SACHIO 株式JVIS RDセンター イマムラ タクマ 今村 拓万 Takuma Imamura アキヨシ リョウタ 秋吉 亮太 Ryota Akiyoshi 電気通信大学 大学院情報理工学研究科、情報理工学域 共通教育部 准教授 石田 やわら Yawara ISHIDA 京都大学 ニシムタ ユウキ 西牟田 祐樹 Yuki Nishimuta 角谷 良彦 Yoshihiko Kakutani 東京大学 情報理工学系研究科 助教(退職) 長谷川 真人 Masahito Hasegawa 京都大学 数理解析研究所 教授 浅田 和之 Kazuyuki Asada 東北大学 電気通信研究所 システム・ソフトウェア研究部門 ウエノ カツヒロ 上野 雄大 Katsuhiro Ueno 新潟大学 自然科学系 情報電子工学系列 准教授 イガラシ アツシ 五十嵐 淳 Atsushi Igarashi 京都大学 大学院情報学研究科 教授 オオホリ アツシ 大堀 淳 Atsushi Ohori 東北大学 電気通信研究所 システム・ソフトウェア研究部門 ソフトウェア構成研究室 ソフトウエア構成研究分野 教授 古森 雄一 YUICHI KOMORI テルイ カズシゲ 照井 一成 Kazushige Terui 京都大学 数理解析研究所 附属計算機構研究施設 助手 タカハシ マサコ 高橋 正子 Masako Takahashi 旧所属 国際基督教大学 教養学部 理学科 教授,名誉教授 タナベ ユウダイ 田邉 裕大 Yudai Tanabe 東京科学大学 情報理工学院 数理・計算科学系 助教 イマイ ケイゴ 今井 敬吾 Keigo Imai 株式会社ディー・エヌ・エー 鈴木 佑京 Ukyo Suzuki 東京大学 ナカザワ コウジ 中澤 巧爾 Koji Nakazawa 名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論 准教授