今のところリニアの総工費(東京-大阪間)が9兆円だが最終的にはどれぐらいになるかは気になるところ