時間割編成問題の制約条件