你必须愿意为无物而快乐。

人工智能的关键一直是表示法。

The end of history will be a very sad time. The struggle for recognition, the willingness to risk one's life for a purely abstract goal, the worldwide ideological struggle that called forth daring, courage, imagination, and idealism, will be replaced by economic calculation, the endless solving of technical problems, environmental concerns, and the satisfaction of sophisticated consumer demands.

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

燃气发动机是所有热机中最完美的，因为它结合了蒸汽机和内燃机的优点。