地下大空洞断面の掘削について