北区の10条プールでガチ泳ぎしたいと思ってるんだけど、あそこどう?
有識者おらん?