夏季休業日の変更と授業を補充するための時間割の工夫について