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

5 views
Skip to first unread message

Casper Ti. Vector

unread,
Nov 21, 2019, 3:22:48 PM11/21/19
to lc...@googlegroups.com
北京大学学生 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

unread,
Nov 23, 2019, 2:34:17 PM11/23/19
to lc...@googlegroups.com
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>。
活动总结(含示例和关键的公式、证明)已更新在同一页面,欢迎围观……
Reply all
Reply to author
Forward
0 new messages