数値的検証法から計算機援用解析学の構築へ向けての総合的研究
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-15204007 |
|---|---|
| 研究種目 | 基盤研究(A) |
| 研究分野 | 理工系 数物系科学 数学 数学一般(含確率論・統計数学) |
| 研究機関 | 九州大学 |
| 代表研究者 | 中尾 充宏 |
| 研究分担者 | 田端 正久 |
| 研究分担者 | 今井 仁司 |
| 研究分担者 | 土屋 卓也 |
| 研究分担者 | 西田 孝明 |
| 研究分担者 | 陳 小君 |
| 研究分担者 | 大石 進一 |
| 研究期間 開始年月日 | 2003/4/1 |
| 研究期間 終了年度 | 2006 |
| 研究ステータス | 完了 (2006/4/1) |
| 配分額（合計） | 32,240,000 (直接経費 :24,800,000、間接経費 :7,440,000) |
| 配分額（履歴） |
2006年度：5,460,000 (直接経費 :4,200,000、間接経費 :1,260,000) 2005年度：5,460,000 (直接経費 :4,200,000、間接経費 :1,260,000) 2004年度：11,830,000 (直接経費 :9,100,000、間接経費 :2,730,000) 2003年度：9,490,000 (直接経費 :7,300,000、間接経費 :2,190,000) |
| キーワード | 数値解析 精度保証付き数値計算法 解の数値的検証 解の事後誤差評価 計算機援用証明 Numerical analysis Validated computation Numerical verification Computer assisted proof |