ガスタンネル建設における加圧換気の有効距離に関する数値シミュレーション研究 | Synapse