| 研究課題/領域番号 |
19540118
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
山本 野人 電気通信大学, 電気通信学部, 教授 (30210545)
|
|---|
| 研究分担者 |
中村 健一 電気通信大学, 電気通信学部, 助教 (40293120)
|
|---|
| 研究期間 (年度) |
2007 – 2008
|
| 研究課題ステータス |
完了 (2008年度)
|
| 配分額 *注記 |
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2008年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2007年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
|
|---|
| キーワード | 数値数学 / 精度保証付き数値計算 / 力学系 / 微分方程式 / Taylor Model / 数値解析 / 精度保証 / 発展方程式 / 数値的検証法 / 中尾理論 |
|---|
| 研究概要 |
発展方程式に対する精度保証法の基礎となる常微分方程式の精度保証のさまざまな手法を開発し、これを国際研究集会などで発表した。さらにその主要なものについて論文にまとめ、出版した。また、高精度計算のための精度保証手法である精度保証付き多倍長演算ライブラリの開発をはじめ、これについての成果も口頭発表した。
|
