リニアでも地下鉄でも地下を掘るのは同じだよな?