スケジュールの正当性_correctness