| 概要 | 常微分方程式、とくに初期値問題に関する精度保証付き数値計算法についての講義を行う。精度保証付き数値計算になじみのない聴講者を想定して、その概念・原理・適用分野・基本的な技法の解説からはじめる。さらに、常微分方程式初期値問題に対する代表的な精度保証手法であるLohner法を説明し、具体例に沿って計算手順を示す。また、数値例とともに、時間が許せば、数式処理ソフトを用いた精度保証プログラムの自動生成法についても触れたい。
内 容：
1. 精度保証付き数値計算の概要
2. 精度保証の基本的な技法
3. 常微分方程式初期値問題の精度保証と数値計算例
参考文献：
中尾充宏・山本野人「精度保証付き数値計算」日本評論社 1998
大石進一「精度保証付き数値計算」サイエンス社 2000 |