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

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
在人际关系中，善意和谎言胜过千言万语的真实。
"In human relationships, kindness and lies are worth a thousand truths."
格雷厄姆·格林名人名言哲理格言警句语录 格雷厄姆·格林
科学的不朽荣誉，在于它通过对人类心灵的作用，克服了人们在自己面前和在自然界面前的不安全感。
爱因斯坦名人名言哲理格言警句语录 爱因斯坦
所谓性感，是自信、是独立、是神秘、是自由，是不经意的举手投足间，取悦自己的瞬间。
波伏娃名人名言哲理格言警句语录 波伏娃
他们不到觉悟的时候，就不会造反；他们不造反，就不会觉悟。
乔治·奥威尔名人名言哲理格言警句语录 乔治·奥威尔
我认为我的一大优点是我的期望值很低，我的意思是大多数斯坦福大学的毕业生都抱有很高的期望，你应该抱有很高的期望，因为你来自一所很棒的学校，你非常成功。你在班上名列前茅，显然你有能力支付学费，然后你将从地球上最好的院校之一毕业，你周围都是其他令人难以置信的孩子，你自然有非常高的期望，期望值非常高的人，韧性非常低，不幸的是，韧性对于成功至关重要。
黄仁勋名人名言哲理格言警句语录 黄仁勋
良知只是个是非之心。
王阳明名人名言哲理格言警句语录 王阳明
让生命像一团热烈燃烧的火，直到死亡才能使它熄灭。
李银河名人名言哲理格言警句语录 李银河
我宁愿失去一个印度，也不愿失去一个莎士比亚。
丘吉尔名人名言哲理格言警句语录 丘吉尔
Life is like a box of chocolates, you never know what you're gonna get.
人生就像一盒巧克力，你永远不知道下一块会是什么味道。
迟子建名人名言哲理格言警句语录 迟子建
我们始终有一种错觉，以为我们的感情源自于我们的内心。
古斯塔夫·勒庞名人名言哲理格言警句语录 古斯塔夫·勒庞
随着断层线战争的加剧，双方都尽量诋毁对方，常常把对方形容成非人的恶魔，以证明杀害他们是合法的。
萨缪尔·亨廷顿名人名言哲理格言警句语录 萨缪尔·亨廷顿
爱的需要总是先于爱一个特定的人。我们选择的伴侣必定在相遇的人当中，如果给予不同的范围，不同的航班，不同的时间或事件，那么我爱上的人可能不是她。
阿兰·德波顿名人名言哲理格言警句语录 阿兰·德波顿
对于我来说，自由不仅仅意味着身体上的不受束缚，更重要的是精神世界的独立自主，以及追求真实自我的勇气。
夏洛蒂·勃朗特名人名言哲理格言警句语录 夏洛蒂·勃朗特
美，节奏好，和谐，都由于心灵的聪慧和善良。
柏拉图名人名言哲理格言警句语录 柏拉图
要从无方法中找方法，便只好不择手段。
芥川龙之介名人名言哲理格言警句语录 芥川龙之介
爱情之于他是经常的爱好，一切都自然而然，并无损害，如同儿时中过牛痘的人，因为有了免疫力便拿着爱情随便挥舞，怎么舞都是好看。而我则站在边上干看，深知任何爱情都足以置我于死地，所以迟迟不肯加入这个游戏。我等待着置我于死地的爱情。
廖一梅名人名言哲理格言警句语录 廖一梅
男人是奇怪的东西，而更奇怪的是女人。
拜伦名人名言哲理格言警句语录 拜伦
知行合一、教学相长、有教无类。
宋志平名人名言哲理格言警句语录 宋志平
一旦扎下了根，生命就再也不撒手了。并且，一旦越过了I点，生命就不再娇贵脆弱，而会出落得桀骜不驯。单细胞细菌出奇地不屈不挠，它们生存在每一种你想得到的恶劣环境中，包括强辐射地区。将病房里的细菌完全清除？也许只有医院才知道这根本就是天方夜谭。
凯文·凯利名人名言哲理格言警句语录 凯文·凯利