9.2
今天没有推 CS61A 进度,可以说是卡在一道思考题上了,先是想了很久,然后开摆看答案,再对着答案想了很久,搞出这样一篇低观点的劣质笔记:匿名递归,构造出了一条歪歪扭扭的思考路径。
当然,这似乎与 λ 演算和组合子都有关联,而我之前可以说是对此一无所知,于是发动传统艺能:为寻找入门 λ 演算的方法而花了大把的时间。所幸找到一份还可以的资料:Lambda-Calculus and Combinators ,看了十几页,准备明天继续...
军训占去了太多时间,你交有独特的政工制度,在大部分同学在室外”普训“的同时,政工们坐在教室吹着空调。这是可以理解的:如果需要同学来剪辑视频,难道要求他们必须在室外工作吗?然而,令人大跌眼镜的是,偶然发现一名政工在教室里卷线性代数!本是照顾和优待,竟然被当做了政工内卷的机会!诚挚地提议:你交建立政工监督制度,该工作就工作,该休息就休息,休息时间只能打开原神!✨