ダイビングプールとは

飛び込みや潜水に対応した深さを持つプールで、トレーニングやレジャーに利用される。