All men have the stars， but they are not the same things for different people。 For some， who are travelers， the stars are guides。 For others they are no more than little lights in the sky。 For others， who are scholars， they are problems。 For my businessman they were wealth。 But all these stars are silent。 You – you alone – will have the stars as no one else has them.
每一个人都有自己的星星，但其中的含意却因人而异。对旅人而言，星星是向导；对其他人而言，它们只不过是天际中闪闪发光的小东西而已；对学者而言，星星则是一门待解的难题；对我那位商人来说，它们就是财富。不过，星星本身是沉默的。你——只有你——了解这些星星与众不同的含义。
Innovation is the eternal driving force for enterprise development. We must continuously break through technological bottlenecks and promote industry progress.
科学是我们行业的支柱，但同情心是其灵魂。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
Every problem in mathematics has a solution; you just have to find the right path.
在计算中，将显而易见的东西变成有用的是“挫折”一词的活泼定义。