最近の市民プールは屋内で年中営業というパターンが増えたからね。