講義の概要 精度保証付き数値計算の基礎になる区間演算は九大の須永教授の発明である．
また，精度保証付き数値計算という日本語は山本哲朗先生の発案である．
精度保証付き数値計算の研究はこの１０年間に大きく発展し，実用段階に発展し た．これは，本来，数値計算はその精度が保証されたものでなければならないという 必然性からも大変重要なことである．
本講義では，精度保証付き数値計算の理論と実際のプログラミングについて 基礎から第一線まで丁寧に解説を加える． 特に，精度保証付き数値計算は実際に計算してみてこそ，その偉力を感じること ができると思われるので，Scilabという数値計算言語を利用して，簡単に，しか し実用的な計算ができることを明らかにする．
最終的には，積分方程式などの関数方程式の解の計算機援用存在証明まで実際に 行ってみることを目標とする．