軟岩トンネルの高速掘削をめざして