真正的历史学家是真理的战士。
The true historian is a soldier of truth.
The challenge in model checking is not just to find errors, but to understand why they occur.
未来属于那些能够在保持卓越运营的同时适应变化的人。
市场保持非理性的时间可能比你保持偿付能力的时间更长。
艺术的价值不在于它的价格,而在于它打动人心的力量。
La lumière est dans le livre. Ouvrez le livre tout grand. Laissez-le rayonner, laissez-le faire.
The deeper the sorrow, the greater the art.