5/4は国民の休日だったかな
@tomoki 国民の祝日は、5/4ではなく「祝日に挟まれた日で日曜日以外の日」という定義でした。事実上5/4だけに使われてましたが、日曜日と重なったときに振替休日が発生しないという罠がありましたね…
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼（ボカロドン）」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **
@tomoki 国民の祝日は、5/4ではなく「祝日に挟まれた日で日曜日以外の日」という定義でした。事実上5/4だけに使われてましたが、日曜日と重なったときに振替休日が発生しないという罠がありましたね…