検索結果: 2 結果 / automated deduction

高橋 大介
Takahashi, Daisuke

計算科学研究センター, 教授
Center for Computational Sciences, Professor

照井 章
Terui, Akira

数理物質系, 准教授
Faculty of Pure and Applied Sciences, Associate Professor