度合い実数計算アルゴリズムの改良版