LCPU 本学期第 5 次活动：自由讨论

[Casper Ti. Vector]

北京大学学生 Linux 俱乐部 2019 秋第 5 次活动
自由讨论
开始时间：2019 年 11 月 23 日（周六）14:30
地点：二教 506

本周我们将进行自由讨论活动，欢迎大家前来参加，讨论自己感兴趣的话题，
分享自己做的项目，一起解决技术问题。在本次的读书心得分享环节中，
Casper 准备了以下主题：

* 接口的数据结构表示和过程化表示
（参考 EoPL3 第 2.2.2~2.2.3 节、练习 3.34，另见 On Lisp 第 6 章）
* 递归函数，不动点、Y 组合子，停机问题
（参考 Wikipedia 上的“Fixed-point combinator”条目）
* Kleene 递归定理，自我复制程序、计算机病毒，Trusting Trust 后门
（参考 Wikipedia 上的“Kleene's recursion theorem”条目）
* S-m-n 定理、部分求值，Currying，三种 Futamura 投影
（参考 Wikipedia 上的“Partial evaluation”条目）

本次活动的近期热点清单见社团网站：
<https://lcpu.club/wiki/index.php?title=2019%E6%B4%BB%E5%8A%A8B05>。

--
My current OpenPGP key:
RSA4096/0x227E8CAAB7AA186C (expires: 2020.10.19)
7077 7781 B859 5166 AE07 0286 227E 8CAA B7AA 186C

[Casper Ti. Vector]

On Fri, Nov 22, 2019 at 04:22:38AM +0800, Casper Ti. Vector wrote:
> <https://lcpu.club/wiki/index.php?title=2019%E6%B4%BB%E5%8A%A8B05>。
活动总结（含示例和关键的公式、证明）已更新在同一页面，欢迎围观……