博客

上节课的博客

https://blog.csdn.net/Changed117/article/details/109643737

视频地址

https://www.bilibili.com/video/BV1Xx41117tr?p=6

我肥来啦，这节课名字叫符号化求导程序

初中数学功底的我差点给送走，第一次看了几分钟就顶不住了，今天终于看懂了（略懂），希望以后会有时间补数学吧。

在上节课中，教授为我们展示了如何构建一个健壮的系统，要点在于：与其将问题分解针对性的解决小问题，不如将问题分层表示并且在其之上构造一种语言。这么做的好处就是当需求发生小改变的时候只需要做一些微小的调整就可以实现。















接下来展示了昨天课上的一个求导程序，他传入一个过程f返回一个过程x



这个过程混淆了程序的过程和数据的边界，接下来要更加严重的混淆两者，参与到过程自身所表示的代数表达式的操作中去。所以接下来要讨论如下的东西



这是从微积分书中摘录的对表达式的求导法则，图中等号的左右边是等值的。