形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
爱情是叹息吹起的一阵烟；恋人的眼中有它净化了的火星；恋人的眼泪是它激起的波涛。它又是最智慧的疯狂，哽喉的苦味，吃不到嘴的蜜糖。
莎士比亚
我所谓的"清香"，即食时如坐在河边闻到新涨的春水的气味 好想尝尝。
汪曾祺
The true measure of a company's success is its ability to adapt and thrive in the face of adversity.
衡量一个公司成功的真正标准是它在逆境中适应和发展的能力。
伊恩·罗杰斯
真正重视软件的人应该制造自己的硬件。
People who are really serious about software should make their own hardware.
约翰·布朗
我们向着黄河，向着祖国的原野，歌唱我们伟大的民族精神。
光未然
我不是一个回头看的人，我总是向前看。
I'm not a person who looks back. I'm always looking forward.
桑德拉·布洛克
你们读书不要像孩子一样为了好玩，也不要像孜孜以求者为了学习。是的，不能这样，而是为了生活而读书。
福楼拜
如果你认为我不知道其中的真相，那就是在侮辱我的智慧。
马里奥·普佐
信任是通过透明度和问责制建立的。
Trust is built through transparency and accountability.
琳达·库克
我是变革的催化剂。作为一个局外人，你不可能在30多年的时间里取得成功而不留下一些伤痕。
I’m a catalyst for change. You can’t be an outsider and be successful over 30 years without leaving a certain amount of scar tissue.
鲁伯特·默多克
出名要趁早呀，来的太晚，快乐也不那么痛快。个人即使等得及，时代是仓促的，已经在破坏中，还有更大的破坏要来。
张爱玲
有时候，那些有精神崩溃症状的人看起来可以很美，因为他们移动或走路的方式里面有一种脆弱的东西。他们显出一种让他们更美的情调。
安迪·沃霍尔
行动！行动！我们在这里就是为了这个目的。
费希特
我们人民的故事就是土地的故事，它们是一体的。
The stories of our people are the stories of the land, and they are one and the same.
亚历克西斯·赖特
这套曲子模拟大海浩淼，万里无波，远处潮水缓缓推近，渐近渐快。其后洪涛汹涌，白浪连山。而潮水中鱼跃鲸浮，海面上风啸鸥飞，再加上水妖海怪，群魔弄潮。忽而冰山飘至，忽而热海如沸，极尽变幻之能事。而潮退后水平如镜，海底却又是暗流湍急，于无声处隐伏凶险，更令聆曲者不知不觉入伏，尤为防不胜防。
金庸
文学的作用正在于此：向别人展示他所看待的世界。（……）他曾想创作一部毫无创作动机的书，不带任何动机，不强迫自己无缘无故地去写，可他对此很快就丧失了兴趣，这不足为怪。他曾暗暗发誓，一定要做到心诚，但只是做到了随意。他企图不站在过去也不站在现在的角度谈论自己，但是，他生命的真实存在于自身之外，存在于事件、他人和他物之中。要谈自己，必须谈其他的一切。（……）当时，设想文学再也毫无意义曾使他心安理得，可这并没有阻止他创作了一部自己颇为得意的剧作，一部有明确时间、明确地点的剧作，而且也具有某种意义，正是为此他才感到满意。那么，为什么不动笔创作一部时间与地点明确，而且具有一定意义的小说呢？叙述一个当今的故事，读者们可以从中看到自己的忧虑，发现自己的问题；既不去揭示什么，也不去鼓动什么，仅仅作为一个见证。
波伏娃
应对不自由世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反抗。
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
乔治·桑德斯
物流是经济的血脉，我们要让它更畅通。
徐冠巨
人这一生，匆匆而过，若说真有所图，也不过是份温暖和惦记。进一寸有一寸的喜欢，退一步有退一步的守候。有些人相交，是精神上的损耗，有些人相交，是一场灵魂的提升，若不能同频，不如独处。
林徽因