#计算机

最经典的类型论例子：无类型 λ 演算的规则、使用和合流性。

关于最早的 LISP 的核心想法，它如何实现图灵完备及元编程，及在此基础上的扩展和现状。

固定大小迷宫的随机化 Prim 算法及其 C++ 示例；无限迷宫的递归分割算法及其 Javascript 示例。

计算机科学研究信息的表示、处理与传递，涵盖算法、系统、网络与人工智能等广泛领域，是现代技术的核心学科。

密码学研究信息安全的理论与方法，是现代信息安全的数学基础。