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

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
作家在稿纸上耕耘，农夫在土地上耕耘，教师在黑板上耕耘，禅者在心地上耕耘。
星云大师名人名言哲理格言警句语录 星云大师
过去他真蠢 …… 把文化与社会地位混为一谈，幼稚地认为只要受过高等教育就等于掌握了知识。
杰克·伦敦名人名言哲理格言警句语录 杰克·伦敦
不是说农村人就一定干不出什么名堂，主要是精神境界很可能被小农意识的汪洋大海所淹没。
路遥名人名言哲理格言警句语录 路遥
过度亲密是对成长的拒绝。
伯特·海灵格名人名言哲理格言警句语录 伯特·海灵格
这样做的目的是在你和你最冲动的行为之间加一个心理“减速带”——让生活适当减缓速度，让你暂停下来，想一想你真心想要做什么。
奥赞·瓦罗尔名人名言哲理格言警句语录 奥赞·瓦罗尔
你感到害怕时，对方同样害怕。只是善于控制自我的人不会让人看出而已。
德川家康名人名言哲理格言警句语录 德川家康
人类所有的力量，只是耐心加上时间的混合。
巴尔扎克名人名言哲理格言警句语录 巴尔扎克
光阴似箭，日月如梭。
周希陶名人名言哲理格言警句语录 周希陶
我拥有一条像狗一样忠心，像猫一样贴心，像爱人一样深情的鱼。她始终带着微笑的表情。
几米名人名言哲理格言警句语录 几米
大家的生活各有一片望不到头的汪洋，谁是发自内心管他人的风波的？
蔡崇达名人名言哲理格言警句语录 蔡崇达
战争已经被扔进了存放悲惨记忆的高阁，它仅仅在开启香槟酒的砰砰爆气里被偶尔提到。
加西亚·马尔克斯名人名言哲理格言警句语录 加西亚·马尔克斯
孩子需要你的扶助，今天的扶，正是为了将来的不扶或者少扶，否则问题越积累越多，差距越拉越大，孩子和你将不堪其苦——心平气和做该做的事。
薛瑞萍名人名言哲理格言警句语录 薛瑞萍
人情旦暮有翻复，平地倏忽成山谿。
刘伯温名人名言哲理格言警句语录 刘伯温
富贵定要依本分，贫穷不必枉思量。
周希陶名人名言哲理格言警句语录 周希陶
树怕烂根，人怕无志。
谚语名人名言哲理格言警句语录 谚语
你无法通过不正义的手段达成正义的目的。
罗翔名人名言哲理格言警句语录 罗翔
在我不会演戏时，我被叫去演戏，在我不会唱歌时我被要求唱funny face，在我不会跳舞时，我被要求与弗雷德阿斯坦共舞。所有这些我都没有准备过，为了能做到，我就近似疯狂的尝试和努力。
奥黛丽·赫本名人名言哲理格言警句语录 奥黛丽·赫本
最危险的敌人往往是我们自己。
The most dangerous enemy is often ourselves.
克尔凯郭尔名人名言哲理格言警句语录 克尔凯郭尔
腐败或是玩忽职守，会造成大量的效率低下，腐败还会形成恶性循环。
阿比吉特•班纳吉名人名言哲理格言警句语录 阿比吉特•班纳吉