ProFunが解いたパズル