解答 23.4.9 が問題に沿っていない？

[keiichirou shikano]

オーム社の鹿野です

「問題 23.4.9 の解答が日本語版の第1版第1刷で変なところを見付けました. 解答自体は正しいのですが, 解答が問題文のヒントに従ってないです. 間違いとは言い切れないのですが, 一瞬「あれ?」と思ってしまいました.」

というご指摘をいただきました。

いま現物がなく、私自身は未確認なのですが、原書には問題の流れを無視した解答がほかにもあった記憶があるので、実際におかしいのではないかと思っています。

（許可をいただいたので、とりあず指摘を転送）

[Eijiro Sumii]

はい、指摘の通りだと思います。（Church数のpredに使う
二つ組の第一要素と第二要素が、ヒントと解答で逆）

個人的にものすごくデジャヴ感があるのですが、
 研究室輪講で指摘されていたかも…すみません。