セミナー

発表言語 日本語
開催日 2010年07月23日 13時00分
終了日 2010年07月23日 14時30分
開催場所京都大学理学部3号館 (数学教室) 110講演室
セミナー名「計算機を用いた数学研究」GCOEセミナー
タイトル 常微分方程式の精度保証付き計算の理論と技法 - 精度保証付き数値計算の概要 
分野 解析
その他
講演者名山本 野人
講演者所属電気通信大学情報工学科
概要常微分方程式、とくに初期値問題に関する精度保証付き数値計算法についての講義を行う。精度保証付き数値計算になじみのない聴講者を想定して、その概念・原理・適用分野・基本的な技法の解説からはじめる。さらに、常微分方程式初期値問題に対する代表的な精度保証手法であるLohner法を説明し、具体例に沿って計算手順を示す。また、数値例とともに、時間が許せば、数式処理ソフトを用いた精度保証プログラムの自動生成法についても触れたい。

内 容:
1. 精度保証付き数値計算の概要
2. 精度保証の基本的な技法
3. 常微分方程式初期値問題の精度保証と数値計算例

参考文献:
中尾充宏・山本野人「精度保証付き数値計算」日本評論社 1998
大石進一「精度保証付き数値計算」サイエンス社 2000
リンクhttp://gcoe.math.kyoto-u.ac.jp/whatsnew/10jul23_cmp.html