早稲田大学理工学術院応用数理学科
2009 年 31 巻 4 号 p. 250-255
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
数値計算結果を非常に効率的に精度保証する技術が高度に発展してきている.特に,線形計算や多項式計算については,このような精度保証付き数値計算法は倍精度浮動小数点数計算による近似計算の数倍の手間で,完全に正しい結果を与える.ここでは信頼性の技術に対して精度保証付き数値計算の技術がどのように関わるかを展望したい.
すでにアカウントをお持ちの場合 サインインはこちら