なので今日（10／11）は祝日でした。しかし、オリンピック開催に絡んで２年連続７月に移動したため、今年も祝日ではなくなりました。今年のほとんどのカレンダーは10月11日が赤くなっているので、もしかしたら祝日と勘違いした人がいたような気がします。い…