数年前までの今日10月10日は「体育の日」、東京オリンピックが開催された日で祭日になっていましたが国の法令が改正され土日に重なる場合は その後に付けて連休にするようにしたので、今年の「体育の日」は10月12日（月・祭）に移動したようです。良いのか悪…