コンピュータで数式を数式のまま扱って微分や積分、方程式の求解を行うソフトを「数式処理システム」といいます。そこでは高度な代数学の理論が駆使されますが、実際にシステムとして実現するにはコンピュータに対する深い知識も必要とされます。当研究室では数式処理の理論と応用をはじめ、数値解析や画像処理など、コンピュータと数学とのかかわりを研究しています。
●数学
●情報科学
数値シミュレーションから数式処理、さらには集合論に基づく画像処理まで、その基礎から実装までを研究しています。より良い数学ソフトの創作をめざすとともに、コンピュータ時代の新しい数学理論も生み出したいと考えています。
●数値・数式処理システムの開発・解析・応用
●非線形偏微分方程式の逆問題解析
●数理形態学による画像処理
学部/学科 | システム理工学部/数理科学科 |
---|---|
担当教員 | 井戸川知之 |
所属学会 | 日本数学会/日本応用数理学会/日本数式処理学会 |