| 研究課題/領域番号 |
17002012
|
|---|
| 研究種目 |
特別推進研究
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
理工系
工学
|
|---|
| 研究機関 | 早稲田大学 |
|---|
研究代表者 |
大石 進一 早稲田大学, 理工学術院, 教授 (20139512)
|
|---|
| 研究分担者 |
渡部 善隆 九州大学, 数理(科)学研究科(研究院), 助教授 (90243972)
西田 孝明 早稲田大学, 理工学術院, 教授 (70026110)
柴田 良弘 早稲田大学, 理工学術院, 教授 (50114088)
山本 野人 電気通信大学, 電気通信学部, 教授 (30210545)
中尾 充宏 九州大学, 数理学研究院, 教授 (10136418)
|
|---|
| 連携研究者 |
中尾 充宏 九州大学, 数理学研究院, 教授 (10136418)
西田 孝明 早稲田大学, 理工学術院, 教授 (70026110)
柴田 良弘 早稲田大学, 理工学術院, 教授 (50114088)
山本 野人 電気通信大学, 電気通信学部, 教授 (30210545)
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
|---|
| 研究期間 (年度) |
2005 – 2009
|
| 研究課題ステータス |
完了 (2009年度)
|
| 配分額 *注記 |
428,610千円 (直接経費: 329,700千円、間接経費: 98,910千円)
2009年度: 73,580千円 (直接経費: 56,600千円、間接経費: 16,980千円)
2008年度: 73,580千円 (直接経費: 56,600千円、間接経費: 16,980千円)
2007年度: 105,560千円 (直接経費: 81,200千円、間接経費: 24,360千円)
2006年度: 100,230千円 (直接経費: 77,100千円、間接経費: 23,130千円)
2005年度: 75,660千円 (直接経費: 58,200千円、間接経費: 17,460千円)
|
|---|
| キーワード | 数値解析 / 数値計算 / 非線形方程式 / 情報数理 / アルゴリズム |
|---|
| 研究概要 |
偏微分方程式や線型方程式等において,計算機を用いて数値的に得られた近似解に対し,その誤差限界も定量的に計算機で与える精度保証付き数値計算の研究を推進した.ベクトルの総和や内積を計算する問題は科学技術計算の基本であるが,この問題に対して精度が数学的厳密に保証された結果を返す世界最高速のアルゴリズムを開発した.このアルゴリズムは,応用として,スパース行列に関する計算や計算幾何学にも波及した.また,偏微分方程式の解の存在証明,一意性の証明及び近似解の精度保証を行う多くの有用な方式を開発することに成功した.
|
