逻辑系统的构建应当兼顾表达力与可计算性，这是现代逻辑研究的一个关键问题。

诗人是沉默的守护者。

Sustainability isn't a choice anymore - it's a responsibility we all share in this industry.

可持续性不再是一种选择，而是我们在这个行业中都肩负的责任。

望小时候我总爱看夏日的晴空，把它当作是一幅自然的地点：蓝的一片是大洋，白云一朵朵大的是洲，小的是岛屿在海中；大陆上颜色深的是山岭山丛，许多孔隙裂缝是冷落的江湖，还有港湾像是望风帆的归途，等它们报告发现新土的成功。如今，正像是老话的苍海桑田，满怀的花草换得了一把荒烟，就是此刻我也得像一只迷羊辗转在灰沙里，幸亏还有蔚蓝，还有仿佛的云峰浮在缥渺间，倒可以抬头望望这一个仙乡。

卞之琳

我总是试图找到获胜的方法，即使在我状态不佳的时候。

I always try to find a way to win, even when I'm not playing my best.

诺瓦克·德约科维奇

永远不要靠得太近——这就是高贵。

费尔南多·佩索阿

爱不是教育的装饰品，而是教育的根基。没有爱的教育，如同没有土壤的种子。

朱永新

当你凝望我的时候，我心不在焉，当我奔向你的时候，你已经无影无踪了。我们总是在一次次错过时，失去了很多。不过，我想说这是因为我们还年轻。不，或许这就是我们的人生。从那以后，我总会回头望望来时的路。

One is the happiest thing is that somebody loves you.When you are at my time， I absent-minded，When I come to you， when you have gone.We are always in a meeting to miss， losing a lot of.However， I want to say this is because we are still young.No， perhaps this is our life.From then on， I always looked back the road.

路易莎·梅·奥尔科特

我是希望好运会站在我们这一边，即使是微不足道的机会，也值得尽力一试，不是吗？

马克·李维

你不必完美，做你自己就好。

You don’t have to be perfect. Just be yourself.

蕾哈娜

In software systems, it is often the early bird that makes the worm.

在软件系统中，蠕虫通常是早起的鸟儿。

艾伦·佩利

人在江湖飘，防挨朋友刀。

徐鹤宁

山红涧碧纷烂漫，时见松枥皆十围。