トンネル工学

山や海の下に、どうやってトンネルを掘るのか：地下空間をつくる土木技術