Shiro:LandOfLisp

Land of Lisp

Land of Lisp

書誌情報

[image]

Land of Lisp
Conrad Barski M.D.著、川合史朗訳
オライリー・ジャパン
ISBN978-4-87311-587-0

正誤

初版第1刷

p.110下から1/4くらい
- 誤: ただ、mapの方が速いというだけだ。
- 正: ただ、mapcの方が速いというだけだ。

初版第2刷

p.69 7行目
- 誤: object-atを実際に動かしてみよう
- 正: objects-atを実際に動かしてみよう
p.69 下から6行目
- 誤: object-at関数を使って見つけ、
- 正: objects-at関数を使って見つけ、

p.115 dot->pngのコード。書籍版のままでも動作しますが、生成されるdotファイルの名前が本文中の説明と食い違います。原書サポートページからダウンロードできるコードだと本文の説明と合致します。違いは3行目。

(defun dot->png (fname thunk)
  (with-open-file (*standard-output* 
                   (concatenate 'string fname ".dot")
                   :direction :output
                   :if-exists :supersede)
    (funcall thunk))
  (ext:shell (concatenate 'string "dot -Tpng -O " fname ".dot")))

p.131下から4パラグラフ目
- 誤: ノードを全てconnected関数を使って探し、
- 正: ノードを全てget-connected関数を使って探し、
p.131下から3パラグラフ目
- 誤: リストが空になるまでfind-islandsを再帰的に呼んで
- 正: リストが空になるまでfind-islandを再帰的に呼んで
p.133 上から4行め
- 誤: make-edge-listで作り、connect-edge-listで全てを接続する
- 正: make-edge-listで作り、connect-all-islandsで全てを接続する
p.136下の方
- 誤: 単にノードにつながるエッジを(cdr (assoc n edges))で求め
- 正: 単にノードにつながるエッジを(cdr (assoc n edge-alist))で求め
p.147 「配列」の見出しの次
- 誤: リストなく配列を使う
- 正: リストでなく配列を使う
p.158 下から6行め
- 誤: これも、Lispにおける入力と出力の対象性の良い例だ。
- 正: これも、Lispにおける入力と出力の対称性の良い例だ。
p.199中ほど
- 誤: 例えば0の向きの動物は、翌日には右上に移動する、
- 正: 例えば0の向きの動物は、翌日には左上に移動する、
p.243中ほど
- 誤: Lispは文字列を直接操作できるのに、どういてわざわざ
- 正: Lispは文字列を直接操作できるのに、どうしてわざわざ
p.249 下の方
- 誤: ソケットを開放してやらないと、
- 正: ソケットを解放してやらないと、
p.262 中程
- 誤: 全て動いているおとが確認できたので
- 正: 全て動いていることが確認できたので
p.305 15.3の見出しの次の行
- 誤: ゲームのコードは正常なる関数型
- 正: ゲームのコードは清浄なる関数型
p.320 announce-winner関数のアイコン
- 誤: Clean/Functional
- 正: Dirty/Imperative
p.324 handle-computer関数のアイコン
- 誤: Dirty/Imperative
- 正: Clean/Functional
p.324 play-vs-computer関数、5行目末尾の<DIV>をトル
p.329 「ゲーム木をメモ化する」の次
- 誤: メモ化にょり
- 正: メモ化により
p.345 16.2節2行目
- 誤: 14章で説明したように
- 正: 15章で説明したように
p.356 2行目
- 誤: SGV Web
- 正: SVG Web
p.422 「AIの改良」見出しの次
- 誤: なったのサイコロ
- 正: なったサイコロ
p.448 コード例2行め
- 誤: (setf (gethash 'my-key (nth foo 1)) 77)
- 正: (setf (gethash 'my-key (nth 1 foo)) 77)

初版第3刷

p.57 3パラグラフ目
- 誤: 読者は再び、エレガントで対象的なコードによって
- 正: 読者は再び、エレガントで対照的なコードによって
p.118 maplistの例の下
- 誤: 後に現れないかどうかを調べるとができるわけだ。
- 正: 後に現れないかどうかを調べることができるわけだ。
p.140 mapcan関数 の節の2行め
- 誤: mapcanは返されたリストを全てappendしたものを返す
- 正: mapcanは返されたリストを全てつなぎ合わせたリストを返す
p.159 下から4行め
- 誤: けれもボブが
- 正: けれどもボブが
p.172 pick-monster 関数10行め
- 誤: "That monster is alread dead."
- 正: "That monster is already dead."
p.253 POSTリクエストのbody
- 誤: userid=foo&password=supersecretpassword
- 正: userid=foo&password=supersecretpassword
p.259 「最後の仕上げのサーバ関数」の直前
- 誤: read-sequence使ってストリームから
- 正: read-sequenceを使ってストリームから
p.395 2パラグラフ目
- 誤: その時点でもうそれ以上左側の枝を調べる必要が
- 正: その時点でもうそれ以上右側の枝を調べる必要が
p.407 3パラグラフ目
- 誤: ようやくdraw-tile関数を呼ぶ準備が整った。
- 正: ようやくdraw-tile-svg関数を呼ぶ準備が整った。
p.444 three-way-if の定義の5行め
- 誤: (,val ,@c)
- 正: ((not ,val) ,@c)
p.448 「解説」のパラグラフ
- 誤: このでは変数fooに
- 正: ここでは変数fooに
p.466 「どうやってバグをやっつけるか」のパラグラフ
- 誤: 遅延言語では無限に大きな
- 正: 遅延評価言語では無限に大きな

初版第4刷

p.147～p.148 二つのdefparameterの結果
- 誤: #(NIL NIL NIL)
- 正: X
p.xxiiの上のイラスト
- 誤: クロマニヨン人が乗っている恐竜に"COBOL"が抜けている

初版第5刷

p.18 下から2行め
- 誤: lablesはfletと似ているが、
- 正: labelsはfletと似ているが、
p.49 最初の行(前ページからのコードの続き)
- 誤: (save-file)))
- 正: (save-file))
p.57 3パラグラフ目
- 誤: 読者は再び、エレガントで対照的なコードによって
- 正: 読者は再び、エレガントで対称的なコードによって
p.131 本文7行目
- 誤: xにない新しいノードを見つけたら、その度に探索済みノードにpushコマンドでそれを追加する。
- 正: 探索済みでないノードを見つけたら、それを探索済みノードのリストにpushコマンドで追加する。
p.200 下から6行目
- 誤: 向きの初期値は0、つまり右上で
- 正: 向きの初期値は0、つまり左上で
p.205 「シミュレーション世界の1日」見出しの直前の行
- 誤: pushを使って*animal*リストに追加し
- 正: pushを使って*animals*リストに追加し

初版第6刷

p.34 ビリーのせりふ
- 誤: CADDDDADDDDRにいる警備員はどうするのさ???
- 正: CADDDDADDDRにいる警備員はどうするのさ???
p.261 hello-request-handlerのコード: 本文ではコードを簡略化するため、本来出力すべきhttpのレスポンス行とrfc822ヘッダを省略している。当時のブラウザはそれでも許容してくれていたようだが、最近のブラウザはレスポンスを厳密に解釈して無効な応答としてしまうようだ。正しく動作させるコードは例えば次のとおり:
```
(defun hello-request-handler (path header params)
  (if (equal path "greeting")
      (let ((name (assoc 'name params)))
    (if (not name)
        (format t "HTTP/1.1 200 OK~%~%<html><form>What is your name?<input name='name' /></form></html>")
        (format t "HTTP/1.1 200 OK~%~%<html>Nice to meet you, ~a!</html>" (cdr name))))
    (format t "HTTP/1.1 404 Not Found~%~%Sorry... I don't know that page.")))
```

初版第7刷

p.195 Loopマクロ周期表のinとonの項目
- 誤: inとonが「同じ」とされている
- 正: 「同じ」の表記と矢印を消す (inはリストの各要素について、onはリストのコンスセルそのものについて繰り返すので「同じ」ではない。)

紹介、書評

Land of Lisp - ぱたヘネ : 原書の紹介ですが、具体的にどんな内容なのか詳しいので買う前に中身を知りたい人はぜひ。本書はCLISPを使いますが、LispWorksで動かすtipsも。
404 Blog Not Found : (笑) - 書評 - Land of Lisp

コード

http://landoflisp.com/source.html 原書サポートページのダウンロード可能なソースコード。但し少々不都合が残っていて、本の方に載ってるコードが新しい。いくつか覚えてるのをメモ。
- wumpus.lisp : 上の Land of Lisp - ぱたヘネでnatsutanさんが書いているように、find-empty-nodeの実装が非常にナイーブで運が悪いと無限ループする。修正法もnatsutanさんが書かれている (訳注に入れとけば良かったかな)
- svg.lisp : 原書で17章に出てくるsvgマクロにはwidth, height引数が無くて、19章で使うsvgマクロにはこれらの引数がついてる。原書の指示どおり17章のコードをセーブして19章でロードして使おうとするとエラーになる。ダウンロード可能なコードでは、19章のdice_of_doom_v3.lispでsvgマクロをあらためて定義している。訳書はsvgマクロのインタフェースを19章のものに統一してある。
- dice_of_doom_v3.lisp : draw-board-svg 関数の内側のloopのdo節で、タイルにリンクをつけるかどうかの判断の時、ダウンロードコードの方は現在選択されているタイルをチェックしていない。そのため一度選択したタイルを再クリックしてキャンセルすることができない。書籍のコードリストでは直っている。

Gauche:LandOfLisp: Gaucheに移植したもの。

処理系ごとの差異

1.2節(p.6)で「12章以前はどんなCommon Lisp処理系を使っても良い」とあるけれど、 7章p.115で処理系依存関数のext:shellが使われていることが判明。別処理系での代替コード、判明したものをここに貼っときます。

Clozure CLの場合 ( redditのhagezaさんのポストより)

(defun dot->png (fname thunk)
  (with-open-file (standard-output
                   fname
                   :direction :output
                   :if-exists :supersede)
                  (funcall thunk))
  (ccl:run-program "bash" '("-c" "/usr/bin/dot -Tpng")
                   :input fname :if-output-exists :supersede
                   :output (concatenate 'string fname ".png")))

Past comment(s)

saki (2013/02/25 03:47:17):

p.110 中段下: ただ、map の方が速い -> mapc のtypoでしょうか

shiro (2013/02/25 06:11:12):

ですね。

snufkon (2013/02/28 00:08:11):

p.131 でタイポ２つ。
ノードを全て connected 関数を使って --> ノードを全て get-connected 関数を使って
リストが空になるまで find-islands を再帰的に --> リストが空になるまで find-island を再帰的に

shiro (2013/02/28 11:28:42):

ありがとうございます。実はちょっと予定が前倒しになりまして、2刷の原稿がもう印刷に回ってしまいました。3刷に反映させていだだきます (3刷があればいいな…)

snufkon (2013/03/01 10:24:49):

直ぐに3刷になりそうですね。いくつか気づいたタイポを追加しておきます。
p.136: エッジを (cdr (assoc n edges)) で求め --> エッジを (cdr (assoc n edge-alist)) で求め
p.141: known-city.dot.png という新しい図 --> known-city.png という新しい図
p.142: コード11行目、 "You ran into the Wumpus" は、他と合わせて "You ran into the Wumpus. Game Over." の方がいいかと思いました。
p.243: Lisp は文字列を直接操作できるのに、どういてわざわざ --> Lisp は文字列を直接操作できるのに、どうしてわざわざ

n (2013/03/02 14:46:16):

p.199: 「例えば0の向きの動物は、翌日には右上に移動する」は「左上」の方が正しいのでしょうか

fu7mu4 (2013/03/03 07:29:26):

p.133: 「make-edge-listで作り、connect-edge-listで全てを接続する」→「make-edge-listで作り、connect-all-islandで全てを接続する」でしょうか?

fu7mu4 (2013/03/03 07:43:11):

p.132:ソースコード中の5行目、「lambda(x)」のxは使用されていないので、「lambda()」ではないでしょうか?

shiro (2013/03/03 08:00:49):

snufkonさん: 私の環境では図のファイル名はknown-city.dot.pngになります。dotプログラムの出力なので、graphvizのバージョンにより違いがあるのかな? うちのはv2.20.2です。あとゲームメッセージに関しては原書を尊重させて下さい。
fu7mu4さん: p.132のコード (remove-if-not (lambda (x) (zerop (random *cop-odds*))) edge-list) ですが、remove-if-notに渡す関数は1つ引数を取らないとならないので、たとえ使ってなくても引数が必要です。

tsz (2013/03/03 12:47:11):

初版第1刷で、clean/dirtyのアイコンの誤りがありました。
p.320: announce-winnerのアイコンは原著ではdirty/impreativeです。 p.323: handle-computerはclean/functionalに見えます。原著でもdirtyですが…。
あとタイポも一つ見つけました。 p.329: 「メモ化にょり」 -> 「メモ化により」

fu7mu4 (2013/03/03 15:43:11):

p.147 9.1配列で、「リストなく配列を使う」→「リストではなく配列を使う」

shiro (2013/03/04 01:28:32):

handle-computerは原書も誤りのようですね。

snufkon (2013/03/09 09:41:23):

私の使ってる graphviz のバージョンはv2.28.0でした。dot->png 関数がp115と原書サポートページ(http://landoflisp.com/graph-util.lisp)とで違っているのが原因かなと思いました。サポートページの方だとconcatenateで".dot"を付け加えているようです。自分は本に記載されているコードを打ち込みながら実行していたので".dot"をconcatenateするところが抜けてたようです。失礼しました。タイポ追加報告しておきます。
p.311: game-tree 関数は木構造の一つの枝に、 --> chgame-tree 関数は木構造の一つの節に、
p.324: play-vs-computer のコード、５行目最後に"<DIV>"
p.345: 14章で説明したように、 --> 15章で説明したように
p.356: 最近 Google から SGV Web --> 最近 Google から SVG Web
p.422: AI が、ゲームの重要な要素となったのサイコロを --> AI が、ゲームの重要な要素となったサイコロを

shiro (2013/03/10 07:34:17):

あああ、なるほど。手元のコードを実行してknown-city.dot.pngになったのでてっきりそういうものかと思い込んでしまいましたが、本のコードが違っていたのですね。これはできれば本のコードの方を直したいなあ。他のタイポ報告もありがとうございました。

fu7mu4 (2013/03/23 13:44:27):

P.254 のdecode-param関数コードの16行目のスペースが#¥spaceは#¥Spaceではないですか?

shiro (2013/03/23 20:50:38):

どちらでも同じです。直前のhttp-charで#\Spaceを使っているので不統一が気持ち悪いといえばそうなんですが。

peropero (2013/03/24 04:35:45):

第1刷 p.73 下のコード 3行目 objects-at -> object-at 同じページの本文下から3行目も同じ objects-at -> object-at

peropero (2013/03/24 04:59:38):

第1刷 p.71 look関数の結果 1行目後半 OF A WIZARD'S HOUSE と、2行目前半 THERE IS は出力されないのでは？（p.60の *nodes* の定義、p.61の describe-location関数の定義より）

peropero (2013/03/24 06:20:41):

第1刷 p.71 look関数の結果 1行目後半 OF A WIZARD'S HOUSE と、2行目前半 THERE IS は出力されないのでは？（p.60の *nodes* の定義、p.61の describe-location関数の定義より）

ponkore (2013/03/24 13:21:59):

第１刷を見てます。 P.249 予想外のコンディションからリソースを保護する「ファイルハンドルやソケットを開放して」の「開放」は「解放」ではないでしょうか？

ponkore (2013/03/24 13:22:25):

P.305 15.3 ダイス・オブ・ドゥームの実装、バージョン１「ゲームのコードは正常なる関数型」の「正常」は「清浄」ではないでしょうか？

fu7mu4 (2013/03/24 13:54:18):

P.262 のWebサイトの立ち上げの最初の行ですが「個々の機能が全て動いているおとが確認できたので」は「個々の機能が全て動いていることが確認できたので」のtypoですね。

shiro (2013/03/25 11:12:06):

snufkonさん: ゲーム木の説明では原書が特に枝と節を区別していなくて、ここでもbranchになっています。統一した方が良いといえばそうなのですが。
peroperoさん: これはobjects-atの方が正しいです。が、別の場所でobject-atと表記しているところがありました (原書にもある誤り)。また、p.71の出力はご指摘のとおりです。原書の著者が書いてる途中でコードを変更して、出力の方を直し忘れたのかな。

ito (2013/04/08 04:53:54):

p.448 例 2: (setf (gethash 'my-key (nth foo 1)) 77)の (nth foo 1) は (nth 1 foo)

camel (2013/04/26 15:37:10):

読者です。 'p158のLispにおける入力の対象性' の'対象性'は対称性でしょうか

aznn (2013/06/08 12:49:56):

3版、P.15で、正解が56の時に〜の実行方法が分からないのですが… 書籍の通りに(bigger)と実行しても以下のエラーが出てしまいます。どうするのが良いのでしょうか？
- EVAL: undefined function SELF
The following restarts are available: USE-VALUE :R1 Input a value to be used instead of (FDEFINITION 'SELF). RETRY :R2 Retry STORE-VALUE :R3 Input a new value for (FDEFINITION 'SELF). ABORT :R4 Abort main loop

shiro (2013/06/08 20:37:03):

>aznnさん、setfをselfと打ち間違えていませんか。

amagi (2013/06/09 08:38:23):

３刷はどこで手に入れることができますか？とってもほしいんですけど、１刷りとか掴まされたら損した気分になりそうで・・・

aznn (2013/06/09 10:01:47):

>shiroさん超ごめんなさい…。ありがとうございました。初めたばかりで勝手が分からなくて…
>amagiさんオライリーのPDF版は3版でした。

amagi (2013/06/09 10:40:20):

>aznnさんありがとうございます。オライリーのサイトで買えばだいじょうぶかな・・・本も新しいのになっててくれればいいなー

hatsunetsu7 (2013/08/08 04:02:56):

楽しく読ませてもらっています。第1刷 p253 12: userid=foo&password=supersecretpassword は 12: userid=foo&password=supersecretpassword ではないでしょうか？Content-Length: 39とありますし。

shiro (2013/08/08 05:15:47):

あっそうですね。POSTリクエストのbodyで&を置き換える必要はないですね。

kenji (2013/10/01 23:22:18):

学生時代以来のLispです。まだ9章の途中までしか読めていません。原書からのtypoのようですが、第1刷 p172のコードの10行目はalread → already ですかね。

kenji (2013/10/06 02:31:36):

今読み終わりました。非常に楽しませていただきました。どうもありがとうございます。先程の投稿が表示されないので、重複してしまうかもしれませんが、typoのお知らせです。 p407 draw-tile関数 → draw-tile-svg関数 p444 three-way-ifの実装が説明と食い違っている p448 解説の下の段落でこのでは → ここでは p466 どうやってバグをやっつけるかの次の段落で遅延言語 → 遅延評価言語
p444のthree-way-ifは式がnilのとき → 式がtのときだと思うのですが、如何でしょうか？

shiro (2013/10/06 08:07:08):

kenjiさん、ありがとうございます。上の正誤表に反映させました。three-way-ifは、多分原著でも「0とnilとそれ以外を区別したい」という意図だと思うので、コードの方を訂正します。

taka (2013/10/31 10:28:50):

誤植と思われる箇所がありましたので失礼します．第2刷 p.395 5行目左の分岐 -> 右の分岐, 左側の枝 -> 右側の枝あとコードの追加情報です．原著サポートページのソースコードのdice_of_doom_v4.lispでp.421のweb-handle-humanが定義されておらず，handle-humanが定義されています．ブラウザ表示する場合には，p.421のweb-handle-humanを定義する必要があります．またp.259のserve関数を使う場合に，レスポンスヘッダを何か送らないとFirefoxではソースのまま表示されてしまうので注意が必要かと思います．
楽しい体験をありがとうございました．

taka (2013/10/31 12:30:55):

すみません，投稿の記述に誤りがありました．
レスポンスヘッダは必要なく，レスポンス行だけで十分でした．

hrk (2013/11/23 08:44:20):

typoではないでしょうか? 第3刷 p. 57 第3段落1行目「対象的」→「対称的」

lambda_sakura (2014/04/02 08:22:55):

楽しく読ませて頂いてます。気になる箇所がありましたのでご報告させて頂きます。
第1刷 p.140 mapcan関数の説明の2行目「mapcanは返されたリストをすべてappendしたものを返す。」となっています。
実際はmapcanはnconcしますし、原著だと"should be appended together."となっているようですので誤訳ではありませんか？

shiro (2014/04/02 08:29:08):

正誤表に反映してあります>lambda_sakuraさん

daiki (2014/05/26 15:02:43):

すみません。 p.71 look の所で分からなくなりました表示されないことと、２行目の魔法使いの館ってどういれたらいいでしょうか？

shiro (2014/05/27 04:31:03):

(look)を実行しても何も表示されないってことですか? ここは頻繁なやりとりには不向きなので、良ければ http://chaton.practical-scheme.net/gauche/ にお返事ください。

shiro (2014/05/27 04:31:50):

いや、http://chaton.practical-scheme.net/common-lisp-jp/ の方がいいかな。まあどちらでも良いです。

aki426 (2014/06/20 12:11:45):

楽しく読ませていただいております。ところで脱字を見つけました。
3刷p.118第4パラグラフ誤「調べるとができるわけだ。」正「調べることができるわけだ。」かと思います。次刷の修正にお役立て頂ければ。

aki426 (2014/06/27 12:21:17):

3刷p.159下から4行目誤「けれもボブが」正「けれどもボブが」かと思います。

aki426 (2014/07/09 06:04:19):

3刷p.259中央あたり　誤「read-sequence使ってストリームから」　正「read-sequenceを使ってストリームから」かと思います。

aki426 (2014/07/09 09:29:43):

すいません、上記3つの報告ですが、すべて第2刷でした。とんだ間違いをしていました。訂正させてください。

shiro (2014/07/09 22:40:27):

上の正誤表に載っていなければ3刷にも残ってると思います。後でまとめて反映しておきます。

daiki (2014/08/21 14:39:36):

すいません、気になったことがあります。ｐ１４７、９章からdefparameterで名前をつけたところが中身が表記されています。

shiro (2014/08/21 18:13:01):

確かに。CLISPだとdefparameterは変数名を返しますね。

shiro (2014/08/21 18:16:09):

いや、CLISPが、じゃなくてdefparameter, defvarは変数名を返すように仕様で定められてるんだな。

daiki (2014/09/25 14:50:25):

すみません。また、気になったことがひとつ、ｐ３１３　１０：のインデントです。Gaucheでは、(notの下になってますが第２版だと(and の下になってます。

daiki (2014/09/25 15:45:56):

すみません、自分がメモ帳に写していって、閉じ括弧ばかり追っていったのでややこしくなってました。ｐ３１３　１０：　５文字、１１：～１７：　６文字のスペースで落ち着きました。　

usa (2016/01/28 14:15:35):

第5刷購入しました。刷を重ねる毎に誤植が減っているようでありがたいです。 p.18下から二行目は「lables」は「labels」だと思います。

sto (2016/05/09 03:28:07):

3刷p.131 p130の10行目の解説している部分「xにない新しいノードを見つけたら、」と書かれていますが、get-connected関数にxはない。おそらくvisitedが正しいです。

shiro (2016/05/09 08:04:39):

>sto ああ、そうですね。5刷にもまだ残ってます。ありがとうございます。

non (2016/09/26 23:13:03):

第5刷ですが、p.49最初の行 (save-file))) の')'は1つ多くないでしょうか。

shiro (2016/09/27 02:32:46):

Good catch! >non

kei (2016/11/05 03:06:58):

第５刷のp.200・下から６行目「向きの初期値は 0 、つまり右上で」となっていますが「左上」ではないでしょうか。

shiro (2016/11/05 03:28:15):