どんな本？

総評するとLand of Lispでは、Common Lispで 対話型コマンドラインのゲームをつくったり Webサーバを立てたり SVGの描画をしたり AIプログラミングをしたり DSLをつくったり 一通り遊べる。かと言って敷居が高いかというとそんなことは無くて Lisp初めてな人でも取っ付きやすいように丁寧な解説がある。ページ数は多いけど、割とサクサク進められる(一部 難しい部分もある。特にAIプログラミングのあたりとかは比較的規模が大きい)。

完了までの期間

3週間程度。平日は帰社後に2時間ほど、毎週土日は3〜4時間ほどでできる分量だった。
結構仕事が忙しい時期で手がつけられない日もあったので、人によってはもう少し早く終わるかもしれない。

学んだこと・感じたこと

1. 「Lispがすごい理由の一つはマクロである」と言われる由縁がわかった。
正直これが一番大きな学びだったと思う。
17章「ドメイン特化言語」で実際にLispコードを別言語に変換する様は本当にすごいと思ったし、将来性を感じた。
( 因みに誤解の無いように述べると「マクロは使うべきではない」という人もいるし、マクロだけがLispの素晴らしさではない )

2. Common Lispの文法がそこそこ身に付いた。
Schemeから来たし、SICPで最低限の文法を身につけた程度なので最初は似たような手続きが多くて苦労した。
とはいえ終わる頃にはCLでの書き方とかそれなりにわかるようになった。

3. 関数プログラミングの「不浄な部分」「聖なる部分」
Common Lispでの関数プログラミングにおいて、副作用を認める「不浄な部分」と関数的に書く「聖なる部分」に分けてプログラムを組んで行くっていう考え方は面白かったし、しっくりきた。

Land of Lispを学ぶ上で知っておくと助けになると感じた部分

・HTML
・AIプログラミング
(アルファベータ法、ミニマックスアルゴリズム、ヒューリスティクス等)
・対話型プログラミング
・SVG
・遅延評価
・末尾最適化
・Lispによる再帰

遅延評価とか末尾最適化とかLispによる再帰とかはSICPで嫌という程出てきたから割とすんなりと落とし込めた。
HTMLとかSVGの最低限の構造を知っておくと、は17章の「ドメイン特化言語」の章で マクロを使ってDSLを表現する際 その威力に感動するだろう。
ちょっと踏み込んだSVGに慣れておくと、19章あたりでSVGを利用したWebインタフェースを組む時にコードの理解が容易になるかもしれない。
対話型プログラミング、AIプログラミング独特の書き方があるので、馴染みがないと苦労するかも。

次にすること

・「Lispを別言語に変換するマクロを作って 業務でお咎め無くLispを好き放題使えるようにしたい」と思うようになったけど、銀の弾丸臭がするので 引き続きマクロに慣れ親しんでいきたい。
・残る積読本は「実践CommonLisp」「On Lisp」。次は「実践CommonLisp」。
・10月に関数型言語全般の比較的大きなイベントがあるみたいなので 圏論とモナドを理解する為にもしかすると先にHaskell本を一冊やるかもしれない。
・↑を片付けたら「Let over Lambda」「実用CommonLisp」のいずれかを購入予定。

The post LispでAIやらWebサーバ構築やら一通り体験できる本『Land of Lisp』書評 appeared first on きのこる庭.

完了までの期間

3.5ヵ月程度。平日は帰社後に2～3時間ほど、毎週土日はSICPに費やした。

学んだこと・できるようになったこと

1. より抽象的に物事の仕組みが考えられるようになった。
(「言語」という制約されたドメインを取っ払って純粋に実装について考えられるようになった)
2. 再帰のコードは悩まなくてもスンナリ頭に入るようになった。
3. Eval & Apply の陰陽によるプログラムの成り立ちを理解した。

4. 数学・コンピュータ科学に関する以下のことが人に説明できる程度には身についた。
- Newton法
- エラトステネスの篩
- パスカルの三角形
- 不動点探索
- ユークリッド互除法
- 二分木
- モンテカルロ法
- データ主導プログラミング
- メッセージパッシング
- フレーム
- セマフォ
- Huffman符号化木
- 非決定性計算
- 並列処理
- ストリーム
etc…

5. 関数プログラミングに可能性を感じた。
- apply, map, filter の絶大な威力に戦慄した。
- 無限ストリームに戦慄した。
※ 特に Huffman符号化木がモールス信号とか実用で採用されている点に関しては結構感銘を受けたのと同時に、アカデミックな分野がまだまだ現実世界に応用できる可能性を秘めていると確信した。

6. 集中力が養われた。
7. 昔難しいと思っていた本が割とすんなり読めるようになった。
8. (´・ω・`)がLispの構文のようなものに見えるようになった。
9. 「スマフォ」という単語を見ると「セマフォ」を思い浮かべるようになった。
10. 「エラトステネス」のtypoがなくなった。
11. 括弧が無意識の世界に消え去った。
12. Lispの闇の扉が開いた。
13. lambda
14. λ
15. 神はLispで世界をおつくりになられた

大変だったこと・不安だったこと

1. 問題を一つ解くのに相当時間がかかることもあったので常に頭を悩ませていた。
2. 毎晩遅くまでパソコンに向かって勉強していたので日中眠気に襲われることがしばしば。
3. 周囲がAnsibleとかDockerの話をしている中で自分だけ古典をやっていたので 最新技術のアウトプットが遅れるのが心配だった。
とはいえ、いつまでも「SICPやりたい」という思いが頭の片隅に残っている状態だけは避けたかったので集中的に時間を設けてさっさと終わらせた方がよいだろうと思って終わらせた。

実際に終えてみた感想

正直一周するだけでは勿体無い本だと感じた。スルメ本(なんだそりゃ)。
特に4章以降、内容が面白いのにデバッグが中途半端で理解度が曖昧な部分が出てしまったので、これからSICPを始める方にオススメすることは、とにかくデバッグ環境の再現は面倒でも必ずやった方が良いということ。特に4章以降に関してはデバッグがあってこそ理解が深まるし 楽しいし、何より5章への繋ぎになる(逆に4章の理解が曖昧だと5章で地獄を見る)。

SICPは人生を変える本だったか

まだやり終えたばかりだから何ともいえないし、そもそも元々文系寄りの自分が中途半端な理解度でSICPに言及しても良いのかわからない。
ただ、感じた点を3点挙げると以下の通り(飽くまでも主観論)。

1. 技術に対する興味の範囲(個人的に未開拓の部分)は明らかに広がった。
SICPを続けていくうちにLispのごく一部に触れるわけだけど、そのうちLispを取り巻くマクロの世界に憧れを抱き始めるようになった(なお、SICP自体にはマクロの話は出てこない)。その思いはSICPを解き進めていくうちにどんどん強くなっていって、SICPを終えた後はもっとLispを深めたいと思う程になった。SICPはLispの本ではないけれど、それ程までにLispは魅力的だった(初心者の自分から見ても)。

2. アカデミックな視野がちょっと広がった
膨大な学問の世界のごくごく一部とはいえ、コンピュータサイエンスに関する知見は確実に広がったし、先人が生み出した素晴らしい抽象化されたモデルは今後の自分の発想を支える糧になると思う(二分木がHuffman符号化木に、Huffman符号化木がモールス信号のモデルに変貌を遂げたように 現実の状況に応じて姿を変えて)。
アウトプットが重視されている現代においても、個人的に 本質的な革新を支える要素として学術的なモデルに依存する所は物凄く大きいと考えている(今「イケてる」なんて言われている技術が実は1980年代の学術論文に書かれていた なんて話もチラッと聞いたことがある)。

3. 日頃「抽象のモデル」を無意識で組み立てる習慣がついた
これは上記の「学んだこと・できるようになったこと」の1番と若干被るけれど、ある事実がどのように構造化されているのか、どのように抽象化・具体化しうるのか。抽象の概念は学術的なモデル、システムを超えてコミュニケーション、日常生活にも活きてくる(…と信じたい)。

次にすること

Lispと関数型言語にすっかり魅せられてしまった、ということで既に以下の三冊を購入済み。
(僕のようにLispも関数型言語も初心者な人間がSICPをやっていると少なからずこのように闇に引き込まれると思う)
次のアクションは年内に以下の三冊を終了させる。

・Land of Lisp
・実践Common Lisp
・On Lisp

Lispに関しては時間があればLet over Lambda, 実用Common Lispもトライしたい。

んでもってLispを散々遊びつくした後はHaskellかClojureをいじるんだ。
Schemeやった後の感想として、なんか直感的に見やすいのはClojureだけど モナドやら圏論やら面白そうな話題が飛び交っている Haskell をいじることになりそう。

…と、ここまで来るとなんだかインプットに寄りすぎな感じがするので、今年度 上記を一通りいじった後は 実際に上記のツールを交えて 習慣的にアイデアを発想しながら形にしていくことを中心に動いていこうと思ってる。

最後に

正直僕一人だけだったら確実に挫折していました。
読書会で志を共にした皆さん、先にSICPを学ばれてブログに解説を書かれていた方々、SICPを通して様々な考察と問題を投げかけてくれたBen Bitdiddleさん、Louis Reasonerさん、Eva Lu Atorさん、Alissa P Hackerさん 他たくさんの方々に感謝。

リンク

・SICP難易度リスト

ものすごく主観的ですが以下に難易度リストをまとめました。

第1章 難易度リスト
第2章 難易度リスト
第3章 難易度リスト
第4章 難易度リスト
第5章 難易度リスト

・SICP学習事項まとめ

第1章に関するまとめ
第2章に関するまとめ

The post 『計算機プログラムの構造と解釈』(SICP)を読み終えて appeared first on きのこる庭.