-
证明与示例：研究问题的不同方法
今年（2018 年）下半年，在和团队其他成员合作时往往感觉到大家的认知方法有较大的差异——在研究一个问题时，我更倾向于从系统的角度比较形式化（formal）、泛化（generic）地进行；而大多数人似乎更热衷于用例子去理解问题。
-
如花与狗子
城里早市的竞争是很激烈的，为此我还编了两首歌。希望有一天这歌能传唱到然家人那里，到时主仆重聚岂不美哉！
-
干原治水
上大学的时候修过一门混学分的公选课——中国古代史。和所有其他的公选课一样，上课的学生要么旷课，要么缩在最后几排睡觉。但有一天下午老师讲的一个历史事件，直到今天仍然历历在目。