国土交通省からホーム延長工事よりホームドアの工事を先にやれって言われてそう。