宮路智行 氏(数理解析研究所)
2014年7月3日(木) 13時30分
総合校舎213講義室
Moore[1966]以来約半世紀, 常微分方程式に対する精度保証付き数値計算法が発 展してきており, 今日ではそれを実装したソフトウェアやライブラリが容易に 利用できる.本講演では, 初期値問題に対して精度保証付き数値計算法として最 もポピュラーなLohner法[Lohner, 1987]について解説し, 周期解の存在の計算 機援用証明への応用例を紹介する. また, 講演の後半では, 精度保証付き数値 計算のためのC++言語ライブラリであるCAPD libraryを用いたプログラミング方法について実習 形式で解説したい.