ベッチとタロウのアルゴリズムだね