学习不仅仅是知识的积累，而是理解的转变。

"What is a poet? An unhappy person who conceals profound anguish in his heart but whose lips are so formed that as sighs and cries pass over them they sound like beautiful music."

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

译文：答应别人的话，千两黄金都不能更改。

每一分都很重要，你必须为每一分而战。

Every cell in your body carries a story billions of years old.

电影的美在于它让我们感觉不那么孤独。