山岳トンネルにおける模型実験と数値解析の実務　トンネルライブラリー１６