あんな高さのホームドアなんて転落防止くらいで接触事故には大して役に立たないと思うが…