日付が変わった。今日は文化の日の振り替え休日か。