John Smithが解いたパズル