市民プールだと、サーフパンツ、ショートボックス、スパッツ型の
いずれかだよな。