-
推理论证与实例走查：研究问题的两条路
在研究一个系统时，有人偏好从假设与约束出发做推理论证（形式化推导、基于模型的分析），有人偏好从具体输入出发做实例走查（trace/案例分析）。两者都重要，但常见误区也很致命。
-
如花与狗子
城里早市的竞争是很激烈的，为此我还编了两首歌。希望有一天这歌能传唱到然家人那里，到时主仆重聚岂不美哉！
-
干原治水
上大学的时候修过一门混学分的公选课——中国古代史。和所有其他的公选课一样，上课的学生要么旷课，要么缩在最后几排睡觉。但有一天下午老师讲的一个历史事件，直到今天仍然历历在目。