| 研究課題/領域番号 |
18H03203
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 京都大学 (2019-2023)
九州大学 (2018) |
|---|
研究代表者 |
河村 彰星 京都大学, 数理解析研究所, 准教授 (20600117)
|
|---|
| 研究分担者 |
立木 秀樹 京都大学, 人間・環境学研究科, 教授 (10211377)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2023-03-31
|
| キーワード | 計算可能解析 / 計算量 / 線形時間 / パラメタ計算量 / プログラム抽出 |
|---|
| 研究成果の概要 |
本課題では、離散的な領域で計算を論ずるのに使われる概念や手法を自然な形で連続系計算に拡張することを目指し、パラメタつき計算量、平均時の計算量解析、準線形時間計算可能性、証明からのプログラム抽出などに関して、基礎理論を構築・整理するとともに、諸問題の複雑さ理解に適用した。また実数計算について、表現間の翻訳可能性や、計算代数における決定問題、厳密実数計算の実装など、関連する話題の研究や周辺分野との連携を進めた。
|
| 自由記述の分野 |
理論計算機科学
|
| 研究成果の学術的意義や社会的意義 |
計算アルゴリズムの記述や計算困難さの解析のための基礎理論は、記号の機械的な処理を基礎に置く計算モデルに基づいて組み立てられており、離散的な問題の分析では広く役立っている。一方、現実世界の多くの問題は、実数などのように近似によってのみ捉えられる連続量を本質的に含む。本課題は、連続系を扱うアルゴリズムにも計算理論を数学的に自然な形で拡張し、計算の実現や困難さの理解に役立てるための研究である。
|
