民営化してもほとんど呼び名は地下鉄だと思うけどな