—— 请按键盘 空白键 开始游戏 ——

形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
天赋如果无益于人世，必将一天天衰减下去；天赋若是被懒惰所左右，旺盛激越的事业心就没有指望了。
克雷洛夫名人名言哲理格言警句语录 克雷洛夫
我喜爱客户的原因之一是他们永不满足。他们的期望不是静止的，而是上升的，这符合人的本性。我们没有止步于原始狩猎时期，对更好的追求从未停止，昨天的“惊艳”很快变成了今天的“常态”。
杰夫·贝索斯名人名言哲理格言警句语录 杰夫·贝索斯
使他觉得遥远的不是时间长，而是两三件不可挽回的事。
博尔赫斯名人名言哲理格言警句语录 博尔赫斯
而那逝去了的，将重新变为可爱。
普希金名人名言哲理格言警句语录 普希金
道路已经抉择，没有蔷薇花，并不曾后悔过，人在月光里容易梦游，渴望得到，也懂得温柔。
舒婷名人名言哲理格言警句语录 舒婷
人类最伟大的能力不是改变世界，而是改变自己。
Our greatest ability as humans is not to change the world, but to change ourselves.
甘地名人名言哲理格言警句语录 甘地
If you can look into the seeds of time, And say which grain will grow and which will not, speak then to me, who neither beg nor fear Your favours nor your hate.
要是你们能够洞察时间所播的种子，知道哪一颗会长成，哪一颗不会长成，那么请对我说吧；我既不乞讨你们的恩遇，也不惧怕你们的憎恨。
莎士比亚名人名言哲理格言警句语录 莎士比亚
如果你能勇敢承认自己错了，那你一定能从这个错误中获得好处。因为承认错误，不仅可以赢得别人的尊敬，也可以增加你的自尊。
卡耐基名人名言哲理格言警句语录 卡耐基
钱钟书把书消化以后变成一种精深的学问，这不容易。还有就是他记性好，加上见闻广，对人生有鲜明的态度，这在老先生很难得。钱先生的书写得也好，他有人生，他的人生也很有趣，《围城》是懂得人生的大书。
黄永玉名人名言哲理格言警句语录 黄永玉
The world is a book, and those who do not travel read only one page.
世界是一本书，不旅行的人只读了一页。
达契娅·马莱伊尼名人名言哲理格言警句语录 达契娅·马莱伊尼
爱美之心，人皆有之。
爱默生名人名言哲理格言警句语录 爱默生
Quantum mechanics is not just a theory, it's a way of understanding reality.
量子力学不仅仅是一个理论，它是一种理解现实的方式。
约翰·克劳泽名人名言哲理格言警句语录 约翰·克劳泽
We are waiting for the long-promised invasion. So are the fishes.
我们等待入侵很久了。鱼也是。
丘吉尔名人名言哲理格言警句语录 丘吉尔
天资是由"天"来决定的，我们无能为力。机遇是不期而来的，我们也无能为力。只有勤奋一项完全是我们自己决定的，我们必须在这一项上狠下工夫。
季羡林名人名言哲理格言警句语录 季羡林
天助自助者，上帝也喜欢照顾勇敢的人，所以，只要我们不退缩，不逃避，尽管人海风涛险恶，但我们多半都能够化险为夷。勇敢地生活，勇敢地面对苦难，把苦难当作我们这一生不能逃避的考验，通过了这些考验，我们就可到达彼岸。
罗兰名人名言哲理格言警句语录 罗兰
一家公司的力量在于其员工。赋予他们力量，就是赋予未来力量。
The strength of a company lies in its people. Empower them, and you empower the future.
露西·布朗名人名言哲理格言警句语录 露西·布朗
生活是多么广阔。生活又是多么芬芳。凡是有生活的地方就有快乐和宝藏。
何其芳名人名言哲理格言警句语录 何其芳
总的来说，嫉妒、怨憎、仇恨和自怜都是灾难性的思想状态。过度自怜会让人近乎偏执，偏执是最难逆转的东西之一，你们不要陷入自怜的情绪中。
查理·芒格名人名言哲理格言警句语录 查理·芒格
作为男人的一生，是儿子也是父亲。前半生儿子是父亲的影子，后半生父亲是儿子的影子。
贾平凹名人名言哲理格言警句语录 贾平凹