はじめに LLMに論理パズルを出すと、簡単な三段論法は解けるのに、制約が絡む問題になると間違える。 たとえば覆面算（SEND + MORE = MONEY）。各文字に0-9の異なる数字を当てはめるだけの問題だが、Claude Sonnetでも間違える。組み合わせが多すぎて...