交通供用下で溶接を用いた橋梁補修工事