最終更新: 2016/9/5

kvライブラリのWebデモ

柏木雅英

1. はじめに

kvライブラリによる精度保証付き数値計算をweb上で試せるページを試作してみた。

内部でC++のプログラムを生成し、それをコンパイル、実行している。テンプレートを使ったC++のプログラムはコンパイルが遅いのが欠点で、多くの問題で計算よりもコンパイルの方に時間がかかってしまう。

どんなC++ソースで精度保証を行っているかも表示されるので、解きたい問題に対するC++ソースの雛形を作成するツールと思えば悪くないか。

現状は、プログラムが勝手に刻んだ時刻での精度保証された値を表示する。

そのうち、指定した時刻での値の「密出力」、結果の図示、を入れたい。

境界値問題のデモ、などを付け加える予定。