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

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
傻瓜总是相信自己以外的人都是傻瓜。
芥川龙之介名人名言哲理格言警句语录 芥川龙之介
经济的进步依赖于持续的创新和技术进步。
亚当·斯密名人名言哲理格言警句语录 亚当·斯密
真正的勇气是控制自己的欲望，而不是征服别人。
弗朗索瓦·德·拉罗什富科名人名言哲理格言警句语录 弗朗索瓦·德·拉罗什富科
生命中有太多不确定，但是唯一确定的是我们可以选择积极面对生命，去坚持、去热爱、去探索、去奋斗。
莫言名人名言哲理格言警句语录 莫言
人生没有如果，只有后果和结果。
There are no ifs in life, only consequences and results.
孟非名人名言哲理格言警句语录 孟非
工人们，只有联合起来才能战胜压迫者。
马克思名人名言哲理格言警句语录 马克思
成熟的爱是倚靠不是依赖，倚靠是在你偶尔疲倦的时候可以靠一下，休息一下，倚赖则是赖着不走了。
蒋勋名人名言哲理格言警句语录 蒋勋
地球上唯一伟大的是人，人身上唯一伟大的是心灵。
On earth there is nothing great but man；in the man there is nothing great but mind.
苏格拉底名人名言哲理格言警句语录 苏格拉底
穷爸爸教我怎样写一份出色的简历以便找到一份好工作。
罗伯特·清崎名人名言哲理格言警句语录 罗伯特·清崎
好言一句三九暖，恶语一声三伏寒。
谚语名人名言哲理格言警句语录 谚语
小米和大家一起，始终保持对这个世界的热爱，才能在变化中发现机会、在挑战中找到出口，才能让我们的世界变得更好。
雷军名人名言哲理格言警句语录 雷军
I never think about the consequences of missing a big shot… when you think about the consequences, you’re probably going to miss.
我从不考虑错失关键球的后果……当你考虑后果时，你很可能会失误。
拉斐尔·纳达尔名人名言哲理格言警句语录 拉斐尔·纳达尔
磨砺内心比油饰外表要难得多，犹如水晶与玻璃的区别。
毕淑敏名人名言哲理格言警句语录 毕淑敏
一个人要伟大，不能不付代价。天才的作品是用眼泪灌溉的。凡具有生命的东西，同一切生物一样有它多灾多病的童年。
巴尔扎克名人名言哲理格言警句语录 巴尔扎克
人生没有最好的年龄，只有最好的心态，我们争不过岁月，也跑不过时间，唯有以自己喜欢的的方式，过好每一个日出日落。
杨绛名人名言哲理格言警句语录 杨绛
我对于自己的译诗工作，也只希望能做到传达原意。如果不懂外文的读者，可以借此了解一点外国诗人的思想、感情的表现方法，也就可以满足了。
施蛰存名人名言哲理格言警句语录 施蛰存
学着主宰自己的生活；即使孑然一身，也不算一个太坏的局面。不自怜、不自卑、不怨叹，一日一日来，一步一步走，那份柳暗花明的喜乐和必然的抵达，在于我们自己的修持
三毛名人名言哲理格言警句语录 三毛
所以我觉得，全力利用好直面现实的过程，尤其是在和困难障碍斗争时的痛苦经历，从中竭力吸取教训，这样定能更快实现目标。
瑞·达利欧名人名言哲理格言警句语录 瑞·达利欧
资产阶级，由于开拓了世界市场，使一切国家的生产和消费都成为世界性的了……过去那种地方的和民族的自给自足和闭关自守状态，被各民族和各方面的互相往来和各方面的互相依赖所代替了。
恩格斯名人名言哲理格言警句语录 恩格斯