運動するために朝プールで泳いでいる男。