数理・データサイエンス学科 論理学から人工知能まで

本浦 庄太 先生