精度保証付き科学技術計算用ソフトの現状と動向

抄録

基本的演算（区間演算、関数値の精度保証）、線形・非線形方程式の解法、無限次元問題（微分方程式）などに現れる、精度保証の実現技術（数学的原理）を概観し、そのために必要で、現在サポートされている主なソフトウェア（PROFIL、INTLAB、Fortran-90とINTLIB etc.）の特徴を概説し、その使用例をあげる。精度保証の有効性とその適応領域をなるべく広い範囲（産業界から純粋数学まで）の聴衆にわかりやすく解説し、今後の動向を探る。