市条例の正式名称は、淵野辺公園アイススケート場及び淵野辺公園水泳プール。