钢琴上贴着一条告示：请不要枪杀钢琴师，他已经尽力了。

心灵不是一台需要被理解的机器，而是一个需要被体验的生命过程。

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

任何公司最有价值的资产是其员工。

艺术不是反映现实的镜子，而是塑造现实的锤子。