トンネル工事の「ずり出し」を自動化、トンネル切羽付近の無人化を実現（関連情報）：山岳トンネル工事