—— 请按键盘 空白键 开始游戏 ——

永远要黑白分明、百折不回。你的诚信必须要毋庸置疑。当一个人不需要付出代价或承担后果的时候,坚持做正确的事情并非难事。但当必须得放弃一些东西时,你就很难保持信用记录。要始终言而有信,不要为了自己的利益误导任何人。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
唯一真正的罪过是后悔。
The root of the problem is the failure to distinguish between operational effectiveness and strategy.
人们雕刻东西,如果半途而废,即使是腐烂的木头也不能刻断;如果坚持到底,即使是金属或者石头都能雕空。