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

Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
时间是亳不留情的，它真使人在自己制造的镜子里照见自己的苍老。
季羡林名人名言哲理格言警句语录 季羡林
同样一件事，几家欢乐几家愁。为什么？就是对事情的诠释角度不同罢了。与其去改变外在的人、事、物，不如改变我们自己的内心来得省事省力。
埃克哈特·托利名人名言哲理格言警句语录 埃克哈特·托利
有人问我:""你这一辈子不停地看门诊、做手术，会不会觉得很累，有没有感到很枯燥？""我的体会是:一个人全神贯注地做他愿意做、喜爱做的事情，是很愉快的。我从拿起手术刀、走上手术台的那天起，看到一个个肝癌病人被救治，看到一个个肝病治疗禁区被突破，看到一个个康复者露出久违的笑容，常常情不自禁地喜悦，发自内心地高兴。在医生这个岗位上，我感悟了生命的可贵、责任的崇高、人生的意义。看来，我这一辈子是放不下手术刀了。我曾反复表达过个人的心愿:如果有一天我真的倒下，就让我倒在手术室里，那将是我一生最大的幸福！
吴孟超名人名言哲理格言警句语录 吴孟超
如果有人与你一起坚持一个目标，一定要再拉一个人和你们一起坚持，因为群体干一件事情会比个体干一件事情坚持得更久。
俞敏洪名人名言哲理格言警句语录 俞敏洪
民主政治并不意味着人民真正在统治，民主政治的意思只能是：人民有接受或拒绝将要来统治他们的人的机会。民主政治就是政治家的统治。  
约瑟夫·熊彼特名人名言哲理格言警句语录 约瑟夫·熊彼特
埋头苦干，不理闲事，是一种骄傲，并非退缩。
亦舒名人名言哲理格言警句语录 亦舒
所有的本质不都是形式的，其中有物质的，前者是逻辑的对象、后者是科学的对象。
加缪名人名言哲理格言警句语录 加缪
书写而成的事物，总是与它的指示物，与现实之间有所间隔，间隔是生成的开始，也铰接了被遗忘的身体。
安德烈·布勒东名人名言哲理格言警句语录 安德烈·布勒东
A whole stack of memories never equal one little hope.
拥有再多的追忆，也永远比不上(对未来)抱著一点小小的希望。
查尔斯·舒尔茨名人名言哲理格言警句语录 查尔斯·舒尔茨
教育的目的，在于解决问题，所以不能解决问题的，不是真教育。
陶行知名人名言哲理格言警句语录 陶行知
停止批判你自己，停止批判你的伴侣，完全接受你伴侣的一切，而不是去批判或以任何方式改变他。
埃克哈特·托利名人名言哲理格言警句语录 埃克哈特·托利
每个人都是独一无二的，不要试图模仿别人或者追求别人认可，而是要做最真实的自己。
路遥名人名言哲理格言警句语录 路遥
年老之后，当我回顾自己的一生，看到我用毕生的精力去捕捉那个世界独特的美，我相信我会感到心满意足的。没有人能使我相信我是虚度了光阴。
石黑一雄名人名言哲理格言警句语录 石黑一雄
有时候，所以爱钱是因钱不够多，所以爱权是因为权力太少，所以被骂是因为自己不够大。
李敖名人名言哲理格言警句语录 李敖
正确的爱应该以仰慕为基础。我们应该去爱那些对我们有教育意义的先贤。我懂得这个道理，并且一辈子都在实践它。
查理·芒格名人名言哲理格言警句语录 查理·芒格
我们寻找数据中的异常，这些异常可以给我们带来优势。
We look for anomalies in the data that can give us an edge.
詹姆斯·西蒙斯名人名言哲理格言警句语录 詹姆斯·西蒙斯
我的太极老师说的，人只有自己处于静的状态，才有可能在推手中第一时间感受到对手的力道和意图！我当时的感受是只有清空自己，才能最大限度和最快的接收信息，作出正确的判断和应对。期货也莫不如此！
葛卫东名人名言哲理格言警句语录 葛卫东
交相钩，交相强，犹若相害也。
大家互相钩，互相镶，就是互相残害啊！ 
墨子名人名言哲理格言警句语录 墨子
一旦你遵从内心行事，那么你便会实现目标，然后你便能够掌握意志。
赫尔曼·黑塞名人名言哲理格言警句语录 赫尔曼·黑塞