2013/12/03(火)kv-0.4 & ライブラリのデモ
もう少し書き溜めてから上げようと思っていたけど、現状の例題の範囲では問題はないものの精度保証的に問題がありそうなバグが見つかったので、直したものを公開することに。
ついでに、まだ試作品だが、web上で精度保証を実行できるデモを作成したので、公開してみた。
KVライブラリのデモ
中間コードを生成するわけではなく、内部でC++コンパイラを呼び出すという無茶仕様なので、計算よりもコンパイルに時間がかかるのが問題。サーバをもう少し速いマシンに変えたい。大勢が使って負荷がどうなるのかとか、セキュリティ的にやばそうとかいろいろ気になるが、まあ暫定ということで。とりあえず全解探索と数値積分。ODEとか二重積分とかも暇があったら追加したい。