確か赤池って当初の計画ではホームドアの設置予定はないと記憶してたんだが…