地下鉄道建設工事の機械化