2020.05.12.「5丁目緑道のベンチ」の補修