熟練者不足を解消、アームが自動で伸び縮みするトンネル掘削時の“新型コンクリ吹き付け機”（関連情報）：山岳トンネル工事