2013/12/26(木)ちょっとだけ 精度保証 トップページ http://verifiedby.me/ に、 精度保証付き数値計算の必要性 を追加した。たまたま通常の数値計算ソフト(matlab)と精度保証付き数値計算の比較の図を作成する必要に迫られたのでちょっとした文章をつけてまとめてみた。 ほんとは「精度保証付き数値計算とは何ぞや」というもうちょっとちゃんとした文章が欲しいところだがなあ。