関川研究室

指導教員

関川 浩 教授 　

専攻

計算数学,計算機代数,数値数式融合計算

キーワード

数式処理、計算数学

テーマ例

❶扱う対象に誤差がある場合の数式処理 ❷数値計算を利用した効率のよい数式処理 ❸科学や工学への代数学の応用

概要

コンピュータに因数分解や積分などの数学的な計算をさせるためには、数学やコンピュータサイエンスのいろいろな理論が必要です。そういった理論を基に、MathematicaやMapleなどの数式処理システムと呼ばれるソフトウェアが作られています。本研究室では、主に代数学の分野で、数式処理システムの基礎となる理論の研究、数式処理システムを用いて人手ではとてもできないような計算をコンピュータに実行させる実験、科学や工学へ代数学を応用する研究などに取り組んでいます。