トレーニングルームで思い出したが、市民プールのトレーニングルームを使う人ってあまりいないのか？