From 77b673e4d293ea5f5eeaffbf3ea8328ba0fb72f5 Mon Sep 17 00:00:00 2001
From: Darcy Shen <da@liii.pro>
Date: Wed, 31 Jan 2024 15:50:26 +0800
Subject: [PATCH] slides

---
 SICP/slide01.tm | 228 ++++++++++++++++++++++++++++++++----------------
 1 file changed, 153 insertions(+), 75 deletions(-)

diff --git a/SICP/slide01.tm b/SICP/slide01.tm
index a6eca79..e3404ca 100644
--- a/SICP/slide01.tm
+++ b/SICP/slide01.tm
@@ -7,28 +7,162 @@
     <\slide>
       <tit|\<#96F6\>\<#57FA\>\<#7840\>SICP\<#FF1A\>\<#7B2C\>1\<#8BFE\>>
 
-      <section*|\<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#8981\>\<#7D20\>>
+      \;
 
-      <\compact>
-        <subsection|\<#8868\>\<#8FBE\>\<#5F0F\>>
-
-        <subsection|\<#547D\>\<#540D\>\<#4E0E\>\<#73AF\>\<#5883\>>
-
-        <subsection|\<#7EC4\>\<#5408\>\<#5F0F\>\<#7684\>\<#6C42\>\<#503C\>>
-
-        <subsection|\<#590D\>\<#6742\>\<#8FC7\>\<#7A0B\>>
-
-        <subsection|\<#8FC7\>\<#7A0B\>\<#5E94\>\<#7528\>\<#7684\>\<#4EE3\>\<#6362\>\<#6A21\>\<#578B\>>
-
-        <subsection|\<#6761\>\<#4EF6\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#548C\>\<#8C13\>\<#8BCD\>>
-
-        <subsection|\<#5B9E\>\<#4F8B\>\<#FF1A\>\<#91C7\>\<#7528\>\<#725B\>\<#987F\>\<#6CD5\>\<#6C42\>\<#5E73\>\<#65B9\>\<#6839\>>
-
-        <subsection|\<#8FC7\>\<#7A0B\>\<#4F5C\>\<#4E3A\>\<#9ED1\>\<#76D2\>\<#62BD\>\<#8C61\>>
-      </compact>
+      <\wide-tabular>
+        <tformat|<cwith|2|-1|1|-1|cell-height|40px>|<cwith|2|-1|1|-1|cell-vmode|exact>|<table|<row|<\cell>
+          <very-large|<\sectional-normal-bold>
+            \<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#8981\>\<#7D20\>
+          </sectional-normal-bold>>
+        </cell>|<\cell>
+          <very-large|<\sectional-normal-bold>
+            Elements of Programming
+          </sectional-normal-bold>>
+        </cell>>|<row|<\cell>
+          \<#8868\>\<#8FBE\>\<#5F0F\>
+        </cell>|<\cell>
+          Expressions
+        </cell>>|<row|<\cell>
+          \<#547D\>\<#540D\>\<#4E0E\>\<#73AF\>\<#5883\>
+        </cell>|<\cell>
+          Naming and the Evironment
+        </cell>>|<row|<\cell>
+          \<#7EC4\>\<#5408\>\<#5F0F\>\<#7684\>\<#6C42\>\<#503C\>
+        </cell>|<\cell>
+          Evaluating Combinations
+        </cell>>|<row|<\cell>
+          \<#590D\>\<#5408\>\<#8FC7\>\<#7A0B\>
+        </cell>|<\cell>
+          Compound Procedures
+        </cell>>|<row|<\cell>
+          \<#8FC7\>\<#7A0B\>\<#5E94\>\<#7528\>\<#7684\>\<#4EE3\>\<#6362\>\<#6A21\>\<#578B\>
+        </cell>|<\cell>
+          The Subsitution Model for Procedure Application
+        </cell>>|<row|<\cell>
+          \<#6761\>\<#4EF6\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#548C\>\<#8C13\>\<#8BCD\>
+        </cell>|<\cell>
+          Conditional Expressions and Predicates
+        </cell>>|<row|<\cell>
+          \<#5B9E\>\<#4F8B\>\<#FF1A\>\<#91C7\>\<#7528\>\<#725B\>\<#987F\>\<#6CD5\>\<#6C42\>\<#5E73\>\<#65B9\>\<#6839\>
+        </cell>|<\cell>
+          Example: Square Roots by Newton's Method
+        </cell>>|<row|<\cell>
+          \<#8FC7\>\<#7A0B\>\<#4F5C\>\<#4E3A\>\<#9ED1\>\<#76D2\>\<#62BD\>\<#8C61\>
+        </cell>|<\cell>
+          Procedures as Blackbox Abstractions
+        </cell>>>>
+      </wide-tabular>
     </slide>
 
     <\slide>
+      <tit|\<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#8981\>\<#7D20\>>
+
+      \<#4EFB\>\<#4F55\>\<#4E00\>\<#95E8\>\<#7F16\>\<#7A0B\>\<#8BED\>\<#8A00\>\<#90FD\>\<#53EF\>\<#4EE5\>\<#7528\>\<#6765\>\<#63CF\>\<#8FF0\>\<#6570\>\<#636E\>\<#539F\>\<#8BED\>\<#548C\>\<#8FC7\>\<#7A0B\>\<#539F\>\<#8BED\>\<#FF0C\>\<#90FD\>\<#6709\>\<#505A\>\<#7EC4\>\<#5408\>\<#548C\>\<#505A\>\<#62BD\>\<#8C61\>\<#7684\>\<#65B9\>\<#6CD5\>\<#3002\>
+
+      <\itemize>
+        <item>\<#539F\>\<#8BED\> <math|\<rightarrow\>>
+        \<#8868\>\<#8FBE\>\<#5F0F\>
+
+        <\itemize>
+          <item>\<#6570\>\<#636E\>\<#539F\>\<#8BED\>
+
+          <item>\<#8FC7\>\<#7A0B\>\<#539F\>\<#8BED\>
+
+          <\definition>
+            \<#64CD\>\<#7EB5\>\<#6570\>\<#636E\>\<#7684\>\<#89C4\>\<#5219\>\<#7684\>\<#63CF\>\<#8FF0\>\<#FF0C\>\<#79F0\>\<#4E3A\><dfn|\<#8FC7\>\<#7A0B\>>\<#3002\>
+          </definition>
+        </itemize>
+
+        <item>\<#7EC4\>\<#5408\> \<#FF08\>\<#505A\>\<#7EC4\>\<#5408\>\<#FF09\>
+
+        <item>\<#62BD\>\<#8C61\> \<#FF08\>\<#505A\>\<#62BD\>\<#8C61\>\<#FF09\>
+      </itemize>
+
+      <tree|\<#8868\>\<#8FBE\>\<#5F0F\>|<tree|\<#539F\>\<#8BED\>|\<#6570\>\<#636E\>\<#539F\>\<#8BED\>|\<#8FC7\>\<#7A0B\>\<#539F\>\<#8BED\>>|<tree|\<#7EC4\>\<#5408\>\<#5F0F\>|(\<#8868\>\<#8FBE\>\<#5F0F\>0
+      \<#8868\>\<#8FBE\>\<#5F0F\>1 \<#8868\>\<#8FBE\>\<#5F0F\>2 <text-dots>
+      \<#8868\>\<#8FBE\>\<#5F0F\>N)>>
+
+      \;
+    </slide>
+
+    <\slide>
+      <tit|\<#8868\>\<#8FBE\>\<#5F0F\>>
+
+      \ 
+
+      REPL\<#FF1A\>Read Eval Print Loop \<#8BFB\>\<#53D6\>\<rightarrow\>\<#6C42\>\<#503C\>\<rightarrow\>\<#6253\>\<#5370\>\<rightarrow\>\<#5FAA\>\<#73AF\>
+      \<#FF08\>\<#4E3B\>\<#4F53\>\<#FF1A\>\<#89E3\>\<#91CA\>\<#5668\>\<#FF09\>
+
+      <\session|scheme|default>
+        <\folded-io|Scheme] >
+          486 ; \<#5341\>\<#8FDB\>\<#5236\>
+        <|folded-io>
+          486
+        </folded-io>
+
+        <\folded-io|Scheme] >
+          (+ 137 349) ; \<#52A0\>\<#6CD5\>
+        <|folded-io>
+          486
+        </folded-io>
+
+        <\input|Scheme] >
+          \;
+        </input>
+      </session>
+
+      <tree|\<#64CD\>\<#4F5C\>\<#7B26\>|\<#64CD\>\<#4F5C\>\<#6570\>
+      1|\<#64CD\>\<#4F5C\>\<#6570\> 2|<text-dots>|\<#64CD\>\<#4F5C\>\<#6570\>
+      N>
+
+      \;
+
+      <tree|+|137|349>
+
+      <\definition>
+        \<#5728\>Scheme\<#8BED\>\<#8A00\>\<#4E2D\>\<#FF0C\>\<#5C06\>\<#4E00\>\<#7EC4\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#653E\>\<#5728\>\<#5C0F\>\<#62EC\>\<#53F7\>\<#91CC\>\<#9762\>\<#5F62\>\<#6210\>\<#4E00\>\<#4E2A\>\<#65B0\>\<#7684\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#4EE5\>\<#8868\>\<#793A\>\<#5E94\>\<#7528\>\<#4E00\>\<#4E2A\>\<#8FC7\>\<#7A0B\>\<#FF0C\>\<#79F0\>\<#4E3A\><dfn|\<#505A\>\<#7EC4\>\<#5408\>>\<#6216\>\<#8005\><dfn|\<#7EC4\>\<#5408\>>\<#FF0C\>\<#800C\>\<#8FD9\>\<#7C7B\>\<#65B0\>\<#7684\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#79F0\>\<#4E3A\><dfn|\<#7EC4\>\<#5408\>\<#5F0F\>>\<#3002\>
+      </definition>
+    </slide>
+
+    <\slide>
+      <tit|\<#547D\>\<#540D\>\<#4E0E\>\<#73AF\>\<#5883\>>
+
+      \;
+    </slide>
+
+    <\slide>
+      <tit|\<#7EC4\>\<#5408\>\<#5F0F\>\<#7684\>\<#6C42\>\<#503C\>>
+
+      \;
+    </slide>
+
+    <\slide>
+      <tit|\<#590D\>\<#5408\>\<#8FC7\>\<#7A0B\>>
+
+      \;
+    </slide>
+
+    <\slide>
+      <tit|\<#8FC7\>\<#7A0B\>\<#5E94\>\<#7528\>\<#7684\>\<#4EE3\>\<#6362\>\<#6A21\>\<#578B\>>
+
+      \;
+    </slide>
+
+    <\slide>
+      <tit|\<#6761\>\<#4EF6\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#548C\>\<#8C13\>\<#8BCD\>>
+
+      \;
+    </slide>
+
+    <\slide>
+      <tit|\<#5B9E\>\<#4F8B\>\<#FF1A\>\<#91C7\>\<#7528\>\<#725B\>\<#987F\>\<#6CD5\>\<#6C42\>\<#5E73\>\<#65B9\>\<#6839\>>
+
+      \;
+    </slide>
+
+    <\slide>
+      <tit|\<#8FC7\>\<#7A0B\>\<#4F5C\>\<#4E3A\>\<#9ED1\>\<#76D2\>\<#62BD\>\<#8C61\>>
+
       \;
     </slide>
   </slideshow>
@@ -42,60 +176,4 @@
     <associate|page-packet|2>
     <associate|page-screen-margin|false>
   </collection>
-</initial>
-
-<\references>
-  <\collection>
-    <associate|auto-1|<tuple|?|1>>
-    <associate|auto-2|<tuple|1|1>>
-    <associate|auto-3|<tuple|2|1>>
-    <associate|auto-4|<tuple|3|1>>
-    <associate|auto-5|<tuple|4|1>>
-    <associate|auto-6|<tuple|5|1>>
-    <associate|auto-7|<tuple|6|1>>
-    <associate|auto-8|<tuple|7|1>>
-    <associate|auto-9|<tuple|8|1>>
-  </collection>
-</references>
-
-<\auxiliary>
-  <\collection>
-    <\associate|toc>
-      <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|\<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#8981\>\<#7D20\>>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-1><vspace|0.5fn>
-
-      <with|par-left|<quote|1tab>|1<space|2spc>\<#8868\>\<#8FBE\>\<#5F0F\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-2>>
-
-      <with|par-left|<quote|1tab>|2<space|2spc>\<#547D\>\<#540D\>\<#4E0E\>\<#73AF\>\<#5883\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-3>>
-
-      <with|par-left|<quote|1tab>|3<space|2spc>\<#7EC4\>\<#5408\>\<#5F0F\>\<#7684\>\<#6C42\>\<#503C\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-4>>
-
-      <with|par-left|<quote|1tab>|4<space|2spc>\<#590D\>\<#6742\>\<#8FC7\>\<#7A0B\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-5>>
-
-      <with|par-left|<quote|1tab>|5<space|2spc>\<#8FC7\>\<#7A0B\>\<#5E94\>\<#7528\>\<#7684\>\<#4EE3\>\<#6362\>\<#6A21\>\<#578B\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-6>>
-
-      <with|par-left|<quote|1tab>|6<space|2spc>\<#6761\>\<#4EF6\>\<#8868\>\<#8FBE\>\<#5F0F\>\<#548C\>\<#8C13\>\<#8BCD\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-7>>
-
-      <with|par-left|<quote|1tab>|7<space|2spc>\<#5B9E\>\<#4F8B\>\<#FF1A\>\<#91C7\>\<#7528\>\<#725B\>\<#987F\>\<#6CD5\>\<#6C42\>\<#5E73\>\<#65B9\>\<#6839\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-8>>
-
-      <with|par-left|<quote|1tab>|8<space|2spc>\<#8FC7\>\<#7A0B\>\<#4F5C\>\<#4E3A\>\<#9ED1\>\<#76D2\>\<#62BD\>\<#8C61\>
-      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
-      <no-break><pageref|auto-9>>
-    </associate>
-  </collection>
-</auxiliary>
\ No newline at end of file
+</initial>
\ No newline at end of file