数年後に、2023年は今日梅雨入りしたと分るよう日記に留めておきます。