先進導坑の工事方法。これにより先進導坑は完成させた。