有理算術演算　高精度数値計算のためのアルゴリズムとプログラミング