検索条件
全2件
(1/1ページ)
2013/12/26(木)ちょっとだけ
http://verifiedby.me/
に、
精度保証付き数値計算の必要性
を追加した。たまたま通常の数値計算ソフト(matlab)と精度保証付き数値計算の比較の図を作成する必要に迫られたのでちょっとした文章をつけてまとめてみた。
ほんとは「精度保証付き数値計算とは何ぞや」というもうちょっとちゃんとした文章が欲しいところだがなあ。
2013/12/03(火)kv-0.4 & ライブラリのデモ
もう少し書き溜めてから上げようと思っていたけど、現状の例題の範囲では問題はないものの精度保証的に問題がありそうなバグが見つかったので、直したものを公開することに。
ついでに、まだ試作品だが、web上で精度保証を実行できるデモを作成したので、公開してみた。
KVライブラリのデモ
中間コードを生成するわけではなく、内部でC++コンパイラを呼び出すという無茶仕様なので、計算よりもコンパイルに時間がかかるのが問題。サーバをもう少し速いマシンに変えたい。大勢が使って負荷がどうなるのかとか、セキュリティ的にやばそうとかいろいろ気になるが、まあ暫定ということで。とりあえず全解探索と数値積分。ODEとか二重積分とかも暇があったら追加したい。