公園の名前いま変わってるんですか！？ビックリ！
小学生の夏休み、毎日朝6時半にプール前でラジオ体操の場所でした。

プールの看板 (2011.11.24)

こちらです。最近話題のネーミングライツなのでしょうか。プールに「ちょきんぎょばこ」とは、なかなか洒落ていますね。

JAバンクちょきんぎょプール (2011.11.24)

ここでしょうか？蔵本公園という名前はそのままでしたが、プールの名前はJAバンクの名がついていました