科学无国界，因为知识属于人类，是照亮世界的火炬。
Science knows no country, because knowledge belongs to humanity, and is the torch which illuminates the world.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
人类心智的结构更适合更新世而非现代世界。
The best songs are the ones that make you feel alive.
即使对于应税客户，共同基金经理也以非常相同的方式监管资产，只是忽略了税收影响，并将纳税义务转嫁给基本上毫无戒心的基金股东。
智能化养殖是未来渔业的发展方向，谁先掌握谁就赢得先机。
我不让任何人夺走我的力量。
你越能将个人价值观与工作结合起来，你的生活就会越充实。