1 kv って何？

kv は、 柏木雅英氏が作成・公開している、 精度保証付き数値計算をするための、C++ のクラスライブラリであり、 既に色々な研究に利用され成果をあげている。

区間演算のための C++ クラスライブラリというと、 ずっと以前、PROFIL/BIAS を使った経験があるが、 今回は MADE IN JAPAN で行ってみるか、 と考えて試してみることにした。 kv の方が MPFR を利用できるようになっていたり、有望そうだ、 というのも見逃せないポイントである。

とは言え、印象を一言でまとめると、``under construction''.