月曜日って祝日が多い上に、さらにハッピーマンデー制度が導入されて
祝日以外も午前中は休みになるのだろ