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

1.3.2 Scope and Lexical Addresses Exercise 1.27-30

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.)

1.2.3 Other Patterns of Recursion Exercise 1.14

1.2.2 Some Important Examples Exercise 1.8 remove Exercise 1.9 subst Exercise 1.10-12 notate-depth Exercise 1.13

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 を読み始めた.

Section 9.11. Multitasking with Engines

Section 9.10. A Unification Algorithm

Section 9.9. Fast Fourier Transform

Section 9.8. Defining Abstract Objects

9.7. A Meta-Circular Interpreter for Scheme

@ジュンク堂新宿店 素人くさいSICP読書会が化けた． 今回もプログラミングGauche を会場でパラパラ眺めた程度で読書してないので，何も書かない予定だったが一応記録だけ． gauche.night の第一部とオーバーラップする内容が多かった． レポはこのへんが詳し…

9.6. Formatted Output

9.5. Scheme Printer

Kent Dybvig さんの dissertation. これも読み始めた. きっと生駒からの毒気にあたったに違いない.