研究キーワードが「自動定理証明」である研究者 150件 30件60件90件120件150件 ヤマザキ イサム 山崎 勇 Isamu Yamazaki 旧所属 筑波技術大学 名誉教授 イマムラ タクマ 今村 拓万 Takuma Imamura テラウチ タチオ 寺内 多智弘 Tachio Terauchi 早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授 アライ ノリコ 新井 紀子 Noriko Arai 国立情報学研究所 情報社会相関研究系 教授