
数学理論と情報科学を融合した新しい理論体系に基づき、連立代数方程式の根の振る舞いを研究するとともに、代数系の証明支援システムの構築に関する研究にも携わってきた。また、新しいアイデアに基づく、高速マッチング法に関する特許を取得している。近年では、文部科学省の大学COC事業に関連して、小学生から高齢者まで、安全・安心に制作することができ、「目で見て分かる、触って操作して楽しめる」教育用教材を多数開発している。
科目コード:CS358E
数学理論と情報科学を融合した新しい理論体系に基づき、連立代数方程式の根の振る舞いを研究するとともに、代数系の証明支援システムの構築に関する研究にも携わってきた。また、新しいアイデアに基づく、高速マッチング法に関する特許を取得している。近年では、文部科学省の大学COC事業に関連して、小学生から高齢者まで、安全・安心に制作することができ、「目で見て分かる、触って操作して楽しめる」教育用教材を多数開発している。