La vie est une tragédie pour celui qui sent, et une comédie pour celui qui pense.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
We change our behavior when the pain of staying the same becomes greater than the pain of changing.
音乐是我的日记,记录着我的生活。
如果你无所畏惧,生活就会无限可能。