非線形方程式の数値解はどこまで正しいか

本章のねらい    前章では、線形方程式の精度保証付き数値計算法をOctaveやScilabを利用して実 行する方法を示した。本章では、Scilabの演算子多重定義プログラミングを 利用した非線形方程式の精度保証付き数値計算法 を学ぼう。非線形方程式の精度保証付き数値解法においては区間解析や 自動微分の概念が有効となる。ここではScilabのオブジェクトとして 区間オブジェクトや自動微分オブジェクトを実装して非線形方程式の 精度保証付き数値計算を実現する。