dedekが解いたパズル