せん孔データから吹付け面や地山掘削面の余掘り量を測定する新システム（関連情報）：山岳トンネル工事