トンネルの補修工事で、粉じん飛散を抑制する「曲面天井用研掃システム」（関連情報）：新工法