Dekkerのアルゴリズム