研究分野	計算理論、計算量理論、数理論理学の応用
キーワード	計算可能解析学、実数の計算、アルゴリズム、精度保証付き数値計算、プログラム検証
研究テーマ	計算理論と数理論理学の観点から数値計算や連続的数学における問題の複雑性を調べています。 そのため、離散的である計算量のモデルの一般化について考えて、微分方程式、力学系、 計算幾何などの分野の様々な具体的な問題の計算可能性と計算量について研究します。 理論だけではなく、精度保証付き数値計算の実装についての応用にも興味を持っています。 最近は特に形式検証とプログラム検証の研究もしています。 証明支援システムCoqを利用して、実数計算のアルゴリズムの検証を行っています。
代表的著書，論文等
所属学会,その他の研究活動等
担当授業	学部 大学院修士課程 大学院博士課程 全学共通科目
経歴等