1
0
Fork 0
planet/SICP/index.tm

148 lines
6.9 KiB
Plaintext
Raw Permalink Normal View History

2024-01-30 14:16:00 +08:00
<TeXmacs|2.1.2>
2024-02-06 13:58:22 +08:00
<style|<tuple|generic|chinese|doc>>
2024-01-30 14:16:00 +08:00
<\body>
<doc-data|<doc-title|\<#96F6\>\<#57FA\>\<#7840\>SICP>>
<\itemize>
2024-02-02 20:17:13 +08:00
<item>SICP\<#8BFE\>\<#672C\>
SICP\<#5B98\>\<#7F51\>\<#FF1A\><hlink|Structure and Interpretation of
Computer Programs|https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html>
\<#4EA4\>\<#4E92\>\<#5F0F\>SICP\<#FF1A\><slink|https://gitee.com/XmacsLabs/interactive-sicp>
2024-02-06 13:58:22 +08:00
\<#5982\>\<#4F55\>\<#4E0A\>\<#4EA4\>\<#4F5C\>\<#4E1A\>\<#FF1A\>
<\itemize>
<item><menu|File|Export|Pdf with embedded
document>\<#7136\>\<#540E\>\<#5C06\>PDF\<#4F5C\>\<#4E3A\>\<#9644\>\<#4EF6\>
<item>\<#90AE\>\<#4EF6\>\<#6807\>\<#9898\>\<#FF1A\>\<#96F6\>\<#57FA\>\<#7840\>SICP-\<#7B2C\>x\<#8BFE\>-who
<item>\<#76EE\>\<#6807\>\<#90AE\>\<#7BB1\>\<#FF1A\>shenda AT ustc.edu
</itemize>
2024-05-22 20:43:04 +08:00
<item>\<#7B2C\>11\<#8BFE\>\<#FF1A\>\<#7B26\>\<#53F7\>\<#6570\>\<#636E\>\<#548C\>\<#7B26\>\<#53F7\>\<#6C42\>\<#5BFC\>
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>11|slide11.tm>
2024-05-16 16:13:08 +08:00
<item>\<#7B2C\>10\<#8BFE\>\<#FF1A\>\<#51FD\>\<#6570\>\<#5F0F\>\<#7F16\>\<#7A0B\>\<#4E09\>\<#677F\>\<#65A7\>
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>10|slide10.tm>
\<#4EE3\>\<#7801\>\<#FF1A\><hlink|\<#4EE3\>\<#7801\>\<#6E05\>\<#5355\>10|code10.tm>
2024-04-18 19:31:08 +08:00
<item>\<#7B2C\>8\<#8BFE\>\<#FF1A\>\<#6709\>\<#7406\>\<#6570\>\<#7684\>\<#6570\>\<#636E\>\<#62BD\>\<#8C61\>
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>08|slide08.tm>
\<#4EE3\>\<#7801\>\<#FF1A\><hlink|\<#4EE3\>\<#7801\>\<#6E05\>\<#5355\>08|code08.tm>
2024-04-11 17:22:26 +08:00
<item>\<#7B2C\>7\<#8BFE\>\<#FF1A\>\<#9AD8\>\<#9636\>\<#51FD\>\<#6570\>
\<#7EC3\>\<#4E60\>\<#FF1A\>\<#8BFE\>\<#540E\>\<#4E60\>\<#9898\>\<#7684\>\<#6570\>\<#5B66\>\<#542B\>\<#91CF\>\<#6BD4\>\<#8F83\>\<#91CD\>\<#FF0C\>\<#53EF\>\<#81EA\>\<#884C\>\<#9009\>\<#62E9\>\<#4E00\>\<#4E9B\>\<#4E60\>\<#9898\>\<#7EC3\>\<#4E60\>\<#4E00\>\<#4E0B\>
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>07|slide07.tm>
\<#4EE3\>\<#7801\>\<#FF1A\><hlink|\<#4EE3\>\<#7801\>\<#6E05\>\<#5355\>07|code07.tm>
2024-03-19 16:19:29 +08:00
<item>\<#7B2C\>6\<#8BFE\>\<#FF1A\>\<#7B97\>\<#6CD5\>\<#7684\>\<#65F6\>\<#7A7A\>\<#590D\>\<#6742\>\<#5EA6\>\<#FF08\>\<#4E60\>\<#9898\>\<#8BFE\>\<#FF09\>
2024-03-22 14:02:18 +08:00
\<#7EC3\>\<#4E60\>\<#FF1A\><hlink|\<#4E60\>\<#9898\>\<#8BFE\>\<#8BFE\>\<#4EF6\>06|https://gitee.com/XmacsLabs/interactive-sicp/raw/main/exercise06.tm>
2024-03-19 16:19:29 +08:00
\<#4EE3\>\<#7801\>\<#FF1A\><hlink|\<#4EE3\>\<#7801\>\<#6E05\>\<#5355\>06|code06.tm>
2024-03-13 22:01:27 +08:00
<item>\<#7B2C\>5\<#8BFE\>\<#FF1A\>\<#7B97\>\<#6CD5\>\<#7684\>\<#65F6\>\<#7A7A\>\<#590D\>\<#6742\>\<#5EA6\>
2024-03-13 21:29:49 +08:00
2024-03-13 22:01:27 +08:00
\<#8BB2\>\<#4E49\>\<#FF1A\><hlink|\<#4EA4\>\<#4E92\>\<#5F0F\>\<#8BB2\>\<#4E49\>05|https://gitee.com/XmacsLabs/interactive-sicp/raw/main/course05.tm>
2024-03-13 21:29:49 +08:00
2024-03-13 22:51:15 +08:00
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>05|slide05.tm>
2024-03-13 21:29:49 +08:00
2024-03-13 22:01:27 +08:00
\<#4EE3\>\<#7801\>\<#FF1A\><hlink|\<#4EE3\>\<#7801\>\<#6E05\>\<#5355\>05|code05.tm>
2024-03-13 21:29:49 +08:00
<item>\<#7B2C\>4\<#8BFE\>\<#FF1A\>\<#9012\>\<#5F52\>\<#4E0E\>\<#8FED\>\<#4EE3\>\<#FF08\>\<#4E60\>\<#9898\>\<#8BFE\>\<#FF09\>
2024-02-06 13:58:22 +08:00
2024-03-04 22:14:49 +08:00
\<#7EC3\>\<#4E60\>\<#FF1A\><hlink|\<#4E60\>\<#9898\>\<#8BFE\>\<#8BFE\>\<#4EF6\>04|https://gitee.com/XmacsLabs/interactive-sicp/raw/main/exercise04.tm>
2024-03-13 21:29:49 +08:00
\<#56DE\>\<#653E\>\<#FF1A\><hlink|\<#4E60\>\<#9898\>\<#8BFE\>4.1|https://www.bilibili.com/video/BV1Kz421Q72B/>
<hlink|\<#4E60\>\<#9898\>\<#8BFE\>4.2|https://bilibili.com/video/BV14t421L7Pg/>
<item>\<#7B2C\>3\<#8BFE\>\<#FF1A\>\<#9012\>\<#5F52\>\<#4E0E\>\<#8FED\>\<#4EE3\>
2024-03-04 22:14:49 +08:00
2024-02-26 00:10:51 +08:00
\<#8BB2\>\<#4E49\>\<#FF1A\><hlink|\<#4EA4\>\<#4E92\>\<#5F0F\>\<#8BB2\>\<#4E49\>03|https://gitee.com/XmacsLabs/interactive-sicp/raw/main/course03.tm>
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>03|slide03.tm>
2024-02-06 13:58:22 +08:00
2024-03-07 15:50:11 +08:00
\<#4EE3\>\<#7801\>\<#FF1A\><hlink|\<#4EE3\>\<#7801\>\<#6E05\>\<#5355\>03|code03.tm>
\<#56DE\>\<#653E\>\<#FF1A\><hlink|B\<#7AD9\>\<#89C6\>\<#9891\>|https://www.bilibili.com/video/BV1UJ4m1a7PA/>
2024-02-02 20:17:13 +08:00
<item>\<#7B2C\>2\<#8BFE\>\<#FF1A\>\<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#539F\>\<#7406\>\<#FF08\>\<#4E60\>\<#9898\>\<#8BFE\>\<#FF09\>
2024-03-04 22:14:49 +08:00
\<#7EC3\>\<#4E60\>\<#FF1A\><hlink|\<#4E60\>\<#9898\>\<#8BFE\>\<#8BFE\>\<#4EF6\>02|https://gitee.com/XmacsLabs/interactive-sicp/raw/main/exercise02.tm>
2024-01-30 14:39:37 +08:00
2024-03-07 15:50:11 +08:00
\<#56DE\>\<#653E\>\<#FF1A\><hlink|\<#4E60\>\<#9898\>\<#8BFE\>2.1|https://www.bilibili.com/video/BV1kU421d7jz/>
<hlink|\<#4E60\>\<#9898\>\<#8BFE\>2.2|https://www.bilibili.com/video/BV1gx4y1C7wn/>
2024-01-31 21:09:14 +08:00
<item>\<#7B2C\>1\<#8BFE\>\<#FF1A\>\<#7F16\>\<#7A0B\>\<#7684\>\<#57FA\>\<#672C\>\<#539F\>\<#7406\>
2024-01-30 15:10:04 +08:00
2024-02-06 13:58:22 +08:00
\<#8BB2\>\<#4E49\>\<#FF1A\><hlink|\<#4EA4\>\<#4E92\>\<#5F0F\>\<#8BB2\>\<#4E49\>01|https://gitee.com/XmacsLabs/interactive-sicp/raw/main/course01.tm>
2024-01-31 21:09:14 +08:00
2024-02-26 00:10:51 +08:00
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>01|slide01.tm>
2024-01-31 21:09:14 +08:00
2024-02-03 13:34:08 +08:00
\<#56DE\>\<#653E\>\<#FF1A\><hlink|B\<#7AD9\>\<#89C6\>\<#9891\>|https://www.bilibili.com/video/BV1cp421f7xP/>
2024-01-31 21:09:14 +08:00
\<#8BFE\>\<#540E\>\<#FF1A\>\<#8BF7\>\<#5B8C\>\<#6210\>\<#8BB2\>\<#4E49\>\<#4E2D\>\<#7684\>\<#4E60\>\<#9898\>
2024-02-03 13:34:08 +08:00
\<#52D8\>\<#8BEF\>1\<#FF1A\>
<\session|scheme|default>
<\unfolded-io|Scheme] >
(define pi 3.14159)
<|unfolded-io>
<errput|define: pi is immutable>
</unfolded-io>
<\unfolded-io|Scheme] >
pi
<|unfolded-io>
3.141592653589793
</unfolded-io>
<\input|Scheme] >
\;
</input>
</session>
\<#51FA\>\<#73B0\>\<#4E0A\>\<#8FF0\>\<#63D0\>\<#793A\>\<#7684\>\<#539F\>\<#56E0\>\<#662F\>\<#FF0C\>\<#3C0\>\<#5DF2\>\<#7ECF\>\<#88AB\>\<#5B9A\>\<#4E49\>\<#4E86\>\<#3002\>
\<#52D8\>\<#8BEF\>2\<#FF1A\>
normal order evaluation\<#5E94\>\<#8BE5\>\<#7FFB\>\<#8BD1\>\<#4E3A\>\<#6B63\>\<#5219\>\<#5E8F\>\<#6C42\>\<#503C\>\<#3002\>B\<#7AD9\>\<#7B2C\>1\<#8BFE\>\<#7684\>\<#6B63\>\<#5219\>\<#5E8F\>\<#6C42\>\<#503C\>\<#548C\>\<#5E94\>\<#7528\>\<#5E8F\>\<#6C42\>\<#503C\>\<#8BB2\>\<#53CD\>\<#4E86\>\<#3002\>\<#6B63\>\<#5219\>\<#5E8F\>\<#662F\>\<#5148\>\<#5C55\>\<#5F00\>\<#FF0C\>\<#518D\>\<#6C42\>\<#503C\>\<#3002\>\<#5E94\>\<#7528\>\<#5E8F\>\<#6C42\>\<#503C\>\<#662F\>\<#5148\>\<#5BF9\>\<#64CD\>\<#4F5C\>\<#6570\>\<#6C42\>\<#503C\>\<#FF0C\>\<#518D\>\<#5E94\>\<#7528\>\<#64CD\>\<#4F5C\>\<#7B26\>\<#3002\>
2024-01-31 21:09:14 +08:00
<item>\<#7B2C\>0\<#8BFE\>\<#FF1A\>\<#51C6\>\<#5907\>Scheme\<#7F16\>\<#7A0B\>\<#7684\>\<#73AF\>\<#5883\>
\<#8BFE\>\<#4EF6\>\<#FF1A\><hlink|\<#5E7B\>\<#706F\>\<#7247\>|slide00.tm>
\<#8BFE\>\<#540E\>\<#FF1A\>\<#8BF7\>\<#9884\>\<#4E60\>\<#7B2C\>1\<#8BFE\>\<#7684\>\<#8BB2\>\<#4E49\>
2024-01-30 14:16:00 +08:00
</itemize>
</body>
<initial|<\collection>
2024-02-06 13:58:22 +08:00
</collection>>
<\references>
<\collection>
<associate|auto-1|<tuple|<with|mode|<quote|math>|<rigid|\<circ\>>>|?>>
</collection>
</references>
<\auxiliary>
<\collection>
<\associate|idx>
<tuple|<tuple|<with|font-family|<quote|ss>|\<#6587\>\<#4EF6\>>|<with|font-family|<quote|ss>|\<#5BFC\>\<#51FA\>>|<with|font-family|<quote|ss>|\<#53EF\>\<#7F16\>\<#8F91\>PDF>>|<pageref|auto-1>>
</associate>
</collection>
</auxiliary>