概率论归根结底不过是常识的微积分化。

每一本书都是一次旅程，每一页都是踏入未知的一步。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

Leadership is about making tough decisions today that will benefit everyone tomorrow.

"The only true voyage of discovery, the only fountain of Eternal Youth, would be not to visit strange lands but to possess other eyes, to behold the universe through the eyes of another, of a hundred others, to behold the hundred universes that each of them beholds."

You can do anything you set your mind to, man.

凡事都有困难应考虑周详，行动上要顾虑缺失，想一想自己的行为，都有许多差错。

爱是世界上最强大的力量。