HELLO SICP WORLD

MIT コンピュータ学科の1年生が学ぶ SICP という有名なプログラミングの教科書があります. 初学者がプログラミングを学ぶ教科書として絶賛されていますが非常に高度な内容となっています. ここではみんなで集まってわいわいやりながら SICP を読破します! 参加者も歓迎していますので参加したい方はメンバーの方に連絡を取ってください.

- - - -

LISP は, それをモノにしたときのすばらしい悟り体験のために勉強しましょう.

この体験は, その後の人生でよりよいプログラマーとなる手助けとなるはずです.

たとえ, 実際には LISP そのものをあまり使わなくても.

by Eric S. Raymond (http://cruel.org/freeware/hacker.html)

- - - -

目的

• 計算機科学とプログラミングの理解と習得
• より良いプログラムを書けるようになる

形式

• 輪講形式
  • 本の節で担当を分ける
  • 理解したことを github リポジトリに ReStructuredText 形式で書く
• PR 駆動開発
  • お互いレビューし合う

読解

Github - sicp-discussion

1 手続きによる抽象の構築

• 1 手続きによる抽象の構築
• 1.1 プログラムの要素
• 1.1.1 式
• 1.1.2 名前と環境
• 1.1.3 組み合わせの評価
• 1.1.4 合成手続き
• 1.1.5 手続き作用の置き換えモデル
• 1.1.6 条件式と述語
• 1.1.7 例: Newton 法による平方根
• 1.1.8 ブラックボックス抽象としての手続き
• 1.2 手続きとその生成するプロセス
• 1.2.1 線形再帰と反復
• 1.2.2 木構造再帰
• 1.2.3 増加の程度
• 1.2.4 べき乗
• 1.2.5 最大公約数
• 1.2.6 例: 素数性のテスト
• 1.3 高階手続きによる抽象
• 1.3.1 引数としての手続き
• 1.3.2 lambdaを使う手続きの構築
• 1.3.3 一般的方法としての手続き

2 データによる抽象の構築

• 2.1.3 データとは何か?

2 データによる抽象の構築

• 2 データによる抽象の構築
• 2.1 データ抽象入門
• 2.1.1 例: 有理数の算術演算

解答

Github - sicp-answers

1 手続きによる抽象の構築

• Exercise 1.1
• Exercise 1.2
• Exercise 1.3
• Exercise 1.4
• Exercise 1.5
• Exercise 1.6
• Exercise 1.7
• Exercise 1.8
• Exercise 1.9
• Exercise 1.10
• Exercise 1.11
• Exercise 1.12
• Exercise 1.13
• Exercise 1.15
• Exercise 1.16
• Exercise 1.17
• Exercise 1.18
• Exercise 1.19
• Exercise 1.20
• Exercise 1.21
• Exercise 1.22
• Exercise 1.23
• Exercise 1.27
• Exercise 1.34
• Exercise 1.35
• Exercise 1.36
• Exercise 1.37
• Exercise 1.38
• Exercise 1.39

備考

• メンバー紹介
• 議事録

Indices and tables

• Index
• Module Index
• Search Page