数学的本质不是使简单的事物复杂化,而是使复杂的事物简单化。
The essence of mathematics is not to make simple things complicated, but to make complicated things simple.
模型检查是验证有限状态并发系统正确性的强大技术。
我不是商人,我就是生意本身。
"语言是唯一的家园。"
商业中最危险的一句话是"我们一直都是这么做的"。