blog
22 posts
- 2019.4
- 符号表达式的递归函数及其机器计算
- 定理证明程序的复杂性
- Unix 分时系统
- 一个用于大型共享数据库的数据关系模型
- 编程警句 130(31-40)
- 编程警句 130(1-30)
- FORTH - 一种交互式计算的语言
- 无痛理解贝叶斯网络理论
- FORTH - 一种交互式计算的语言
- 计算机程序设计的公理化基础
- 一种基于 APL 的机器
- 如何判断自己准备好读研/博了
- 双目标进化优化中的生殖偏差,连锁学习和多样性保持
- 关于偏好的任务分配的分式 0-1 规划
- 用于数据挖掘的元启发式方法
- 再见,多谢博士生涯!(5)
- 再见,多谢博士生涯!(4)
- 再见,多谢博士生涯!(3)
- 再见,多谢博士生涯!(2)
- 再见,多谢博士生涯!(1)
- 关于论文
- 0001.1
- 越糟糕越好:简单之美 (Worse Is Better)