だったらしいが、海とはあまり縁がないので（？）関係ない。 祝日かつ学校は夏休みということもあり、電車は非常に空いていて快適な通勤時間を過ごせた。嬉しいような悲しいような。 家の実家の近所では、学校の夏休みが始まるのは7/27前後だったような気が…