掘進しながら空洞の有無を連続測定できる装置を開発、大成建設（関連情報）：新工法