形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
她（老伴）生前嘴上一直反对我捡垃圾，但十多年了，其实她一直在默默帮助我支持我。
王坤森
Quality should never be compromised for the sake of short-term profits.
绝不能为了短期利益而牺牲质量。
大卫·安德森
"I'm not a fan of me, I'm a fan of my music."
我不喜欢我自己，我喜欢的是我的音乐。
The Weeknd
并不是因为我什么都有了，在外面的世界中，我已经找不到东西可以满足我了，所以转而追求内外的世界。真相是，我受苦的能力太差了。一旦我陷入痛苦当中，我就想要逃跑，抗拒，压抑，甚至将痛苦投射出去。所以，“灵修”后来变成了我的一个护身符，你拿走了我的灵修，我就失去人生的意义了。到处去上课，不停地读书，表面上是在寻找真理，其实是在追求离苦之道，而这过程，也变成了一种逃避痛苦的工具。
张德芬
You were born to be real, not perfect.
你生来是为了真实，而不是完美。
塔莉亚
春节的爆竹在冷过头的冬天有一下没一下的，凉凉的，仿佛浸在水缸里的酸菜。
龙应台
创新决定我们飞得有多高，品质决定我们走得多远
雷军
把每个机会当做救命稻草，牢牢抓在手中，没有理想、没有目标是不行的。
宗庆后
在儿童的心理发展中会出现各种“敏感期”，正是这种敏感期，使儿童用一种特有的强烈程度去接触世界，并充满激情和活力。
蒙台梭利
好习惯是一个人在社交场中所能穿着的最佳服饰。
苏格拉底
人生有两出悲剧：一是万念俱灰，另一是踌躇满志。
萧伯纳
谁的情感无法张扬，谁在陌生的房故作勇敢，谁在夜晚害怕腐烂，任呼吸突然变得野蛮，先爱吧把这一副肩膀挡掉一点遗憾，先爱吧看似一双翅膀躲啊躲已经黑暗，先爱吧人们不懂 这样一旦欲求不满，先爱吧之后感伤之后再算，之后再算。
徐志摩
家就是城堡，即使国王，不经邀请也不能擅自入内。
爱默生
各种学科除了各自的目标之外，有个共通的总目标，就是：教育学生，使之成为国家的合格公民。
叶圣陶
任何民族都喜欢把大自然中的东西变样儿来装饰自己的房间，比如伊朗地毯
贾平凹
我不啼哭，不哀叹，不悔恨，金黄的落叶堆满心间，我已不再是青春少年。
路遥
生活是一系列荒谬。
Life is a series of absurdities.
托马斯·伯恩哈德
有些离开像一场手术，切掉了你的一部分，却让你更完整。生命教会我们：疼痛的尽头，往往是更宽阔的自己。
张小娴
喜欢的歌，静静地听，喜欢的人，远远地看！
饶雪漫