プールに穴が空いたので修理してみた