トンネル掘削発破を利用した坑内弾性波探査による地山評価手法の検討 (宇宙・航行エレクトロニクス) -- (地下電磁計測ワークショップ)