Book
2 Data Abstraction 2.1 Specifying Data via Interfaces Exercise 2.1, 2.2
1.3.2 Scope and Lexical Addresses Exercise 1.31-33 Further Reading
4 The Computational Model of Logic Programs 4.1 Unification
1.3.2 Scope and Lexical Addresses Exercise 1.27-30
3.5 Manipulating Symbolic Expressions 3.5.1 Exercises for Section 3.5 3.6 Background
1.3.1 Free and Bound Variables Exercise 1.19-26
1.3 Scoping and Binding of Variables 1.3.1 Free and Bound Variables
1.2.4 Exercises Exercise 1.18 [***] (1.- 3.)
1.2.4 Exercises Exercise 1.17 [***] (1.- 3.)
1.2.4 Exercises Exercise 1.16 [**] (1.- 5.)
1.2.4 Exercises Exercise 1.15 [*] (1.-10.)
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
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
6.4 A Set of Searching Tools Searching Trees Guiding the Search
1.2.1 Deriving Programs from BNF Data Specifications Exercise 1.5-7 eopl:error は Gauche だと errorf で代用可能
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 を読み始めた.
2.3 Recursive Rules
2.2 Structured Data and Data Abstraction
6.3 A Rule-Based Translator Tool
6.2 A Pattern-Matching Tool
Section 9.11. Multitasking with Engines
Chapter 6: Building Software Tools 6.1 An Interactive Interpreter Tool
P65-78 @株式会社タイムインターメディア会議室 IIR 勉強会が終わってら,一応 PAIP本持って来ちゃったので行ってみた所,本編は既に終了してた.. 何やら翌日の継続祭りの予行練習をやっていた 読書会開催の告知が届かなかったらしく,参加者が激少なかった
Section 9.10. A Unification Algorithm
5.5 History and References 5.6 Exercises