木村 泰紀 教授

現実世界の諸問題を読み解く不動点の解析と応用

不動点とは、台風の目のように状況が変化しても動かない点のこと。この存在や性質、さらにコンピュータを用いて不動点を近似的に求める方法等を、集合値解析という手法を用いて研究しています。

土谷 昭善 講師

凸多面体の代数的組合せ論の研究

凸多面体とは、三角柱や立方体などの積み木の高次元版です。この凸多面体の体積の計算や性質を、含まれる格子点の数え上げやグレブナー基底などの計算可換代数の理論を使って研究しています。

豊田 昌史 教授

不動点定理とその応用の研究

A3 の紙をA4 に縮小コピーしても、動かない点。微分方程式の解や数理経済学の均衡解など、さまざまな数学モデルと関係があるこの「不動点」について、不動点定理とその応用の研究をしています。

木村 大輔 准教授

安心・安全なソフトウェアのためのプログラム検証

パソコンなどのプログラムにバグがないか動作確認することをプログラム検証といいます。私たちは数理論理学の形式的手法を用いて、プログラムの自動検証ツールの作成を目標に研究しています。