>>641

>”[HT08b](XOR’S HAMMERのパズル元ネタ)は、著者自身の手([HT09]と[成書]と)で、否定されている”
>ってことです

え?ほんとに?
Theorem3.1の証明が修正されているってこと?
[HT09]を読めば分かるんかな?