| 研究課題/領域番号 |
24K20735
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
THIES HOLGER 京都大学, 人間・環境学研究科, 特定講師 (50839107)
|
|---|
| 研究期間 (年度) |
2024-04-01 – 2029-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2028年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2027年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2026年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2025年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | 計算可能解析学 / 微分方程式 / 精度保証付き数値計算 / 計算機援用証明 |
|---|
| 研究開始時の研究の概要 |
he main purpose of the project is to apply and extend ideas from computable analysis to verified and efficient exact computation over uncountable mathematical structures based on strong theoretical foundations and its formal verification using proof assistants.
The project not only aims for theoretical correctness results but also for efficiency in terms of resource usage and for usability in practical applications. Additionally to empiric evaluation of algorithms by experiments, efficiency is also studied systematically in form of complexity theory.
|
