勤労感謝の日だからといって大学が休みにならないこともある