在科学中最令人兴奋的短语，预示着新发现的不是"我发现了！"而是"这有点奇怪..."
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
如果我们说不同的语言，我们将感知到稍微不同的世界。
The most important thing is to be true to yourself and to the character you're playing.
I'm not afraid to die, I'm afraid not to try.
真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。
我不是榜样。仅仅因为我会说唱，并不意味着我是榜样。
人生は、自分で選んだ道を歩むことだ。
艺术是一种让平凡变得非凡的方式。
Law is nothing else than an ordinance of reason for the common good， made by him who has care of the community.