甚五郎池　⇒大淵池【おおぶちいけ】