- 2020 - 2025 アルゴリズム基礎理論の追究・発展
- 2022 - 2024 連続系における高階函数の保証つき厳密計算
- 2020 - 2024 マルチエージェント最適化の数理基盤
- 2018 - 2023 連続系の複雑さを解明する計算理論
- 2017 - 2023 準無限スケジューリング問題の分析と応用
- 2014 - 2018 連続系計算量理論の深化と展開
- 2012 - 2017 数理論理学からの計算限界解析
- 2011 - 2015 解析学及び幾何学における計算量
- 2011 - 2015 量子グラフ理論確立による量子計算能力の限界解明
全件表示