研究キーワードが「ラムダ計算」である研究者 30件 30件60件90件120件150件 ヒロカワ サチオ 廣川 佐千男 HIROKAWA SACHIO 株式JVIS RDセンター 石田 やわら Yawara ISHIDA 京都大学 浅田 和之 Kazuyuki Asada 東北大学 電気通信研究所 システム・ソフトウェア研究部門 角谷 良彦 Yoshihiko Kakutani 東京大学 情報理工学系研究科 助教（退職） キムラ ダイスケ 木村 大輔 Daisuke Kimura 東邦大学 理学部 准教授 アベ タツヤ 安部 達也 ABE TATSUYA 千葉工業大学 人工知能・ソフトウェア技術研究センター人工知能・ソフトウェア技術研究センター その他 ナリタ リョウイチ 成田 良一 Ryoichi Narita ニシムタ ユウキ 西牟田 祐樹 Yuki Nishimuta 今井 宜洋 Yoshihiro Imai ナカザワ コウジ 中澤 巧爾 Koji Nakazawa 名古屋大学 大学院情報学研究科 情報システム学専攻 ソフトウェア論 准教授 長谷川 真人 Masahito Hasegawa 京都大学 数理解析研究所 教授 古森 雄一 YUICHI KOMORI
