教育研究マップ
(* :マス・フォア・インダストリ研究所教員)
(** :基幹教育院教員)
計算数理
コンピュータの数学である情報数理と数値解析に関する教育研究を行い、自然科学、工学あるいは情報科学に現れる様々な数理現象のソフト化の研究を行います。
担当教員
| 溝口 佳寛* (教授) | ソフトウェア科学、グラフ変換理論、計算理論 |
|---|---|
| 神山 直之* (准教授) | 離散最適化，グラフ理論，計算量理論 |
| 田上 大助* (准教授) | 数値解析，数値流体力学，数値電磁気学，計算機援用設計 |
| 手老 篤史* (准教授) | 数理モデリング・適応ネットワーク・多重リズム |
| 富安 亮子* (准教授) | 応用代数，格子，2次形式，テータ級数，周期・非周期パッキング，調和解析，表現論，群論，整数論，数理結晶学，数理最適化 |
| 脇 隼人* (准教授) | 最適化, 数理計画, 連続最適化, 半正定値計画問題, 最適化ソフトウェア |
| ガイナ ダニエル* (助教) | Logic, Formal Methods, Category Theory |
| 棚橋 典大* (助教) | 重力理論，数理物理学，数値解析，非線形現象解析 |
| 松江 要* (助教) | 力学系，数値解析，精度保証付き数値計算，特異摂動論，微分方程式（爆発解，衝撃波），特異点，トポロジー（計算機援用を含む），量子ウォーク，トポロジー最適化，燃焼 |
| 横山 俊一 (助教) | 計算機数論, 映像数学 |
協力教員
| 鍛冶 静雄* (准教授) | 位相幾何学, ホモトピー論, コンピューターグラフィックス |
|---|---|
| 廣瀬 慧* (准教授) | スパース推定，多変量解析 |
| 吉田 寛 (准教授) | 再生の数理モデル |
| 池松 泰彦* (助教) | 公開鍵暗号，多変数多項式暗号，整数論 |
| グエン ディン ホア* (助教) | Control Systems, Smart Grid, Distributed Optimization, Multi-Agent System, Consensus Control, Synchronization, Learning Systems, Optimal and Robust Control |
| 村川 秀樹 (助教) | 応用数学、数値解析学 |
