形式化方法不是银弹,但它们是追求可靠系统的重要工具。
君子重视自身的努力,而不羡慕那些由天决定的东西。
不要让过去决定你是谁,而是让它成为让你更强大的教训。
浪费是一种设计缺陷,而我们的工作就是修复它。
The study of mathematics is the indispensable basis for all intellectual and spiritual progress.