トンネル掘削に伴う建物のアンダーピニング