| 研究課題/領域番号 |
21540115
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
山本 野人 電気通信大学, 大学院・情報理工学研究科, 教授 (30210545)
|
|---|
| 研究分担者 |
中村 健一 金沢大学, 理工研究域数物科学系, 准教授 (40293120)
緒方 秀教 電気通信大学, 大学院・情報理工学研究科, 准教授 (50242037)
|
|---|
| 研究期間 (年度) |
2009 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2010年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2009年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
|---|
| キーワード | 精度保証 / 発展方程式 / 多倍長演算 / プログラム自動生成 / 常微分方程式 / 微分方程式 / 力学系 / 自動プログラミング / 区間解析 / 計算ライブラリ |
|---|
| 研究概要 |
本課題では、発展方程式の精度保証法の基礎としての精度保証技術のライブラリ化、および、空間方向離散化後に現れる常微分方程式の取り扱いに関する新しい手法の開発を行い、それぞれについて学術論文を伴う成果を得る事が出来た。
|
