爱与失去是同一枚硬币的两面;没有失去就没有爱。
The purpose of psychotherapy is to set people free.
重要的是培养透过一种事物观察另一种事物的能力,从特殊中看到普遍。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
我写作是为了体验那些未曾经历的人生。
一个测量可用的常识:手臂伸直两测指尖的距离就是你的身高。