理工学部 / 応用情報工学科 離散アルゴリズム研究室 基礎情報分野 専任講師 和佐 州洋 研究キーワード 理論計算機科学 応用数理 知能・情報科学 コンピュータ グラフ 組合せ遷移 離散構造 列挙 離散アルゴリズム