Project/Area Number |
23H03346
|
Research Category |
Grant-in-Aid for Scientific Research (B)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Review Section |
Basic Section 60010:Theory of informatics-related
Basic Section 60020:Mathematical informatics-related
Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
|
Research Institution | Kyoto University |
Principal Investigator |
立木 秀樹 京都大学, 人間・環境学研究科, 教授 (10211377)
|
Co-Investigator(Kenkyū-buntansha) |
河村 彰星 京都大学, 数理解析研究所, 准教授 (20600117)
THIES HOLGER 京都大学, 人間・環境学研究科, 特定講師 (50839107)
木原 貴行 名古屋大学, 情報学研究科, 准教授 (80722701)
|
Project Period (FY) |
2023-04-01 – 2028-03-31
|
Project Status |
Granted (Fiscal Year 2023)
|
Budget Amount *help |
¥18,460,000 (Direct Cost: ¥14,200,000、Indirect Cost: ¥4,260,000)
Fiscal Year 2023: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
|
Keywords | 計算可能解析学 / 厳密実数計算 / 計算複雑さ / プログラム抽出 |
Outline of Research at the Start |
計算可能解析学に関して,内外の研究者との共同研究を通して,実数の表現,計算的構造を表す位相概念と複雑さの階層,連続性を扱う論理とその証明からのプログラム抽出,微分方程式の計算理論,実数プログラムの検証,連続な空間の近似が持つ組み合わせ的な構造,高階計算の計算複雑性など,様々な側面から研究を行い,連続な空間の計算的構造の解明と,それに基づく連続体上の厳密計算のシステムの構築を目指す。
|