今日は建国記念の日の振替休日だ。 ハッピーマンデーが出来て、 振替休日の存在感が少し減った気がする。 土曜日と重なった時も、 振替休日になれば存在感が増えるかも。 ただその場合、 金曜日か月曜日、 どっちが振替休日になるのだろうか。 間を取って水…