海底トンネル

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