トップ研究者を探す精度保証付き数値計算の前進---有限と無限をつなぐもの---

精度保証付き数値計算の前進---有限と無限をつなぐもの---

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)
キーワード 精度保証付き数値計算
計算機援用証明
非線形偏微分方程式
有限要素法
射影誤差評価
線形作用素の可逆性