译文：还记得从前中秋时，我对着丹桂丛饮酒，花影倒映在酒杯中，月影也倒映在酒杯中。
海洋赋予我们生命，我们有责任通过保护它来回报。
The future of computing lies in the development of systems that can verify their own correctness.
La poesía es la única prueba concreta de la existencia del hombre.
计算的目的是模仿我们的综合能力，而不是理解我们的分析能力。