2008-05-01から1ヶ月間の記事一覧
1.2.4 Exercises Exercise 1.17 [***] (1.- 3.)
6.5 GPS as Search 6.6 History and References
1.2.4 Exercises Exercise 1.16 [**] (1.- 5.)
1.2.4 Exercises Exercise 1.15 [*] (1.-10.)
P232-234 @月島某所 参加者 6 名 (builtin * 1) Exercise 4.20 ふじもとさんが発表 Exercise 4.21 Y-combinator 未満 引数に渡された手続が運ばれて行くのがポイント おおもりさんがプログラムの意味を説明させられていた misc スタックオーバーフローを意図…
3.4 Binary Trees
6.4 A Set of Searching Tools Searching Graphs
1.2.3 Other Patterns of Recursion Exercise 1.14
6.4 A Set of Searching Tools Guessing versus Guranteeing a Good Solution
3.3 Composing Recursive Programs
P231-232 @東京大学大学院情報理工学系研究科創造情報学専攻 秋葉原拠点 参加者 8 名 Exercise 4.18 (delay dy) の所が問題になるっぽいけど... e1 と e2 の評価順序が不定の時に一体何が起きるのか. dy の値が滅茶苦茶になった後に y が評価されると困る…
6.4 A Set of Searching Tools Search Paths
1.2.2 Some Important Examples Exercise 1.8 remove Exercise 1.9 subst Exercise 1.10-12 notate-depth Exercise 1.13
P109-134 5 Index compression @株式会社百度 (Baidu) 会議室(六本木ヒルズ20F) 参加者 17 名 前回の復習 6.1 Parametric and zone indexes 6.1.1 Weighted zone scorint 線形結合 ;; 要するに足し算 各ゾーンについて,足すと 1 になるように weight を決め…
3.2 Lists
P231 @コントロールプラス株式会社 参加者 8 名 (builtin * 1) なかやまさんと naoya_t さんが久しぶりに復帰 Exercise 4.16 おおもりさんが宿題を発表 quote問題 結局問題の箇所は, (list 'quote '*unassigned*) とすれば良い. Exercise 4.17 ホワイトボ…
6.4 A Set of Searching Tools Searching Trees Guiding the Search
3 Recursive Programming 3.1 Arithmetic
1.2.1 Deriving Programs from BNF Data Specifications Exercise 1.5-7 eopl:error は Gauche だと errorf で代用可能
2.4 Logic Programs and the Relational Database Model 2.5 Background
P230-231 @コントロールプラス株式会社 紅茶とチョコレートごちそうさまでした 参加者 6 名 (builtin * 1) Exercise 4.16 make-procedure につっこめば変換は一度で良い. procedure-body はセレクターなので,変換回数が増える apply の度に呼ばれるのはイ…
1.2 Recursively Specified Programs
1 Inductive Sets of Data 1.1 Recursively Specified Data 1.1.1 Inductive Specification 1.1.2 Defining Sets of Values with Backus-Naur Form Exercise 1.1-3 1.1.3 Induction Exercise 1.4
Forward Preface Kent Dybvig の The Scheme Programming Language をようやく読み終わったので,懲りずに別の Scheme 本をと思い EoPL を読み始めた.