既存RC構造物の挿入孔の削孔を自動化する新装置、削孔精度は人力施工と同等を確保（関連情報）：製品動向