XmacsLabs
/
planet
mirror of https://gitee.com/XmacsLabs/planet.git
1
0
Fork 0
Code

slides

This commit is contained in:
Darcy Shen 2024-01-31 15:50:26 +08:00
parent dfe4019410
commit 77b673e4d2
1 changed files with 153 additions and 75 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

228
SICP/slide01.tm
View File

@ -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>
</initial>