わざわざ祝日を別の日に振り替えとかしなくても１１月２３日のまんまで良いじゃん
positive