福知山線脱線事故後にATS-Pやそれに準じた物を設置したんじゃないの?