正誤表 :

9章 精度保証付き数値計算の応用