Python による区間演算を用いた精度保証付き数値計算を実現する.