成功这个词在字典里才排在努力前面。
The only time success comes before work is in the dictionary.
科学界的女性不需要榜样，我们需要平等的机会。
我不是人，我是过程。
如果你想拥有从未有过的东西，你必须愿意做从未做过的事。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
In mining, efficiency and environmental care must go hand in hand.
每一寸山河都像黄金般珍贵，国家分裂的痛苦谁能承受？杜鹃啼血表达对国家的忧虑，精卫填海象征永不放弃的爱国之心。
创新不是发明新东西，而是用新的方式做旧的事情。