研究部門

数学理論先進ソフトウェア開発室



当開発室では,主にMI研究所で発見された数学の理論や定理をアルゴリズム化し,さらにソフトウェアとして実装することを目的としています.制作したソフトウェアは,産業界および数学自身を含む諸科学分野における最先端研究現場の使用に資するよう,国際的に公開していく予定です.

数学理論先進ソフトウェア開発室Websiteはこちらです.

数学理論先進ソフトウェア開発室 所員一覧


白井 朋之 (教授) (兼任) ... 確率論、ランダム行列、グラフ上のランダムウォーク

高木 剛 (教授) (兼任) ... 暗号理論,情報セキュリティ,計算整数論

藤澤 克樹 (教授) ... 最適化問題,グラフ解析,高性能計算

溝口 佳寛 (教授) ... ソフトウェア科学、グラフ変換理論、計算理論

二宮 嘉行 (准教授) (兼任) ... 数理統計学,計量生物学

脇 隼人 (准教授) ... 最適化, 数理計画, 連続最適化, 半正定値計画問題, 最適化ソフトウェア

渋田 敬史 (助教) ... 計算代数, 可換環論, 代数幾何