任意時間アルゴリズム