関川研究室

指導教員
関川 浩 教授  
専攻
コンピュータ数学
キーワード
計算機代数,数値数式融合計算
テーマ例
❶代数計算のアルゴリズム ❷数式処理システムを用いた数学の研究 ❸数式 処理システムを用いた科学や工学における課題の解決
概要
数式処理システムと呼ばれるソフトウェアを用いると、コンピュータに因数分解や積分などの高度で知的な計算を実行させることが可能になります。数式処理システムの基礎となるのがコンピュータ数学と呼ばれるコンピュータサイエンスと数学が融合した分野で、本研究室では主に代数の計算を行うための理論やアルゴリズムを研究しています。そのほか、数式処理システムを用いた数学の研究、科学や工学における課題の解決にも取り組んでいます。