2020年10月30日にダイヤ修正が実施された京王電鉄。ダイヤ「修正」という言い回しは初めて聞きましたが、新型コロナウイルス感染症で大きく変化した社会情勢に合わせたダイヤの「修正」ってことなのでしょうか。 まあそんなことはさておき、今回のダイヤ修正…