常時停止可能アルゴリズム