精度保証付き数値計算の前進---有限と無限をつなぐもの---
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-23K20812 |
|---|---|
| 研究種目 | 基盤研究(B) |
| 研究分野 | |
| 研究機関 | 九州大学 |
| 代表研究者 | 渡部 善隆 |
| 研究分担者 | 宮路 智行 |
| 研究分担者 | 木下 武彦 |
| 研究分担者 | 小林 健太 |
| 研究分担者 | 土屋 卓也 |
| 研究期間 開始年月日 | 2021/4/1 |
| 研究期間 終了年度 | 2024 |
| 研究ステータス | 採択後辞退 (2024/4/1) |
| 配分額（合計） | 17,160,000 (直接経費 :13,200,000、間接経費 :3,960,000) |
| 配分額（履歴） |
2024年度：4,030,000 (直接経費 :3,100,000、間接経費 :930,000) 2023年度：5,070,000 (直接経費 :3,900,000、間接経費 :1,170,000) 2022年度：4,160,000 (直接経費 :3,200,000、間接経費 :960,000) 2021年度：3,900,000 (直接経費 :3,000,000、間接経費 :900,000) |
| キーワード | 精度保証付き数値計算 計算機援用証明 非線形偏微分方程式 有限要素法 射影誤差評価 線形作用素の可逆性 |