海洋给予我们如此之多，现在是我们通过负责任的做法回馈的时候了。

炼油创新不是要重新发明轮子，而是让轮子转得更清洁、更智能。

I have to remind myself that some birds are not meant to be caged. Their feathers are just too bright.

理解计算的极限需要深入研究支撑算法复杂性的数学基础。

We kid ourselves if we think that the ratio of procedure to data in an active data-base system can be made arbitrarily small or even kept small.