研究教育分野
計算数理
コンピュータの数学である情報数理と数値解析に関する教育研究を行い、自然科学、工学あるいは情報科学に現れる様々な数理現象のソフト化の研究を行います。
教員
- 教授 鍛冶 静雄 位相幾何学、ホモトピー論、コンピューターグラフィックス
- 教授 神山 直之 離散最適化、グラフ理論、計算量理論
- 教授 富安 亮子 応用代数・数論、数理結晶学、アルゴリズム
- 教授 縫田 光司 暗号数理、暗号理論、秘密計算、組合せ論的群論、離散数学
- 教授 廣瀨 慧 スパース推定、多変量解析
- 教授 松江 要 力学系、数値解析、精度保証付き数値計算、特異摂動論、微分方程式（爆発解、衝撃波）、特異点、トポロジー（計算機援用を含む）、量子ウォーク、トポロジー最適化、燃焼
- 教授 溝口 佳寛 ソフトウェア科学、グラフ変換理論、計算理論
- 准教授 池 祐一 位相的データ解析、超局所層理論、機械学習
- 准教授 池松 泰彦 公開鍵暗号、多変数多項式暗号、整数論
- 准教授 ガイナ ダニエル Logic, Formal Methods, Category Theory
- 准教授 吉良 知文 ソーシャル数理，動的最適化，確率最適化，マルコフ決定過程
- 准教授 グエン ディン ホア Control Systems, Smart Grid, Distributed Optimization, Multi-Agent System, Consensus Control, Synchronization, Learning Systems, Optimal and Robust Control
- 准教授 田上 大助 数値解析、数値流体力学、数値電磁気学、計算機援用設計
- 准教授 手老 篤史 数理モデリング、適応ネットワーク、多重リズム
- 准教授 吉田 寛 再生の数理モデル
- 准教授 脇 隼人 最適化、数理計画、連続最適化、半正定値計画問題、最適化ソフトウェア
- 助教 浦本 武雄 代数的言語理論、計算理論、圏論、ガロア理論、類体論
- 助教 深作 亮也 計算機代数、実代数幾何