>>471
ホームドアはラッシュ時押される可能性があるのでやむを得まい。