[1] 海の日は、日本の祝日です。
[2] かつては7月20日でした。
[4] 多くの地域で学校の夏休みの始め頃に当たります。 (海の日が祝日となる前は、 ちょうど終業式が行われる頃でした。)
[3] 2016年から山の日も祝日となりました。
[5] 日本の祝日を参照。
海の日
[6] 海の日 | 日本海事広報協会, 2022-07-11T14:16:28.000Z https://www.kaijipr.or.jp/marine_day/
[7] 海の日7月20日に戻してほしいよなあ。