タスクの有限化