ホームドア設置駅が増えるたびに
余裕時分が要るから性能向上分はおそらく帳消しだな。