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

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The books that everybody admires are those that nobody reads.
人人都称赞的书，恰恰是没人读的书。
阿纳托尔·法朗士名人名言哲理格言警句语录 阿纳托尔·法朗士
伟大的企业不是产生于长大之后，而是产生于诞生之时，一个企业如果有志向，有追求，有韧性，一定能茁壮成长。
王健林名人名言哲理格言警句语录 王健林
运气可能会来，也可能不会来，但是不该影响你本来要坚守的心。悲观是远见，乐观是智慧。希望你远见和智慧总是平衡拥有。
董宇辉名人名言哲理格言警句语录 董宇辉
牛马四足，是谓天；落马首，穿牛鼻，是谓人。故曰，无以人灭天，无以故灭命，无以得殉名，谨守而勿失，是谓反其真。
牛马生着四足，这是天性；给马戴上笼头，给牛穿上鼻绳，就是人为。所以说，不要人为毁灭天性，不要用故意造作去毁灭天命，不要以德行去为名利殉葬，谨守天道勿使丧失，这就叫返归本真。
庄子名人名言哲理格言警句语录 庄子
官差吏差，来人不差。
吴承恩名人名言哲理格言警句语录 吴承恩
想想生活中什么对你来说真正重要，把它放在首位。
桑迪普·马赫什瓦里名人名言哲理格言警句语录 桑迪普·马赫什瓦里
要硬扎一点，结实一点，才配活到这块土地上。
沈从文名人名言哲理格言警句语录 沈从文
教育上的水是什么？就是情，就是爱。教育没有了情爱，就成了无水的池，任你四方形也罢、圆形也罢，总逃不出一个空虚。班主任广博的爱心就是流淌在班级之池中的水，时刻滋润着学生的心田。
夏丏尊名人名言哲理格言警句语录 夏丏尊
尊重孩子正在进行的所有合理的活动并试着了解，是我们教育方法中最首要的原则。
蒙台梭利名人名言哲理格言警句语录 蒙台梭利
Investing success comes from making fewer mistakes, not from being smarter.
投资成功并不是靠你有多聪明，而是在于你犯的错误有多少。
比尔·格罗斯名人名言哲理格言警句语录 比尔·格罗斯
我自己20年前写的许多给我留下印象的文章，现在对我来说是很陌生的。
恩斯特·马赫名人名言哲理格言警句语录 恩斯特·马赫
在毫无察觉的情况下支配着人们大脑的暴政，是独一无二的真正的暴政，因为你没有办法同它浴血奋战。没错，成吉思汗和拿破仑都是可怕的暴君，可是，埋葬在坟墓深处的摩西、佛祖和穆罕默德，对人类采取了更深刻的专制统治。
古斯塔夫·勒庞名人名言哲理格言警句语录 古斯塔夫·勒庞
No one can be free unless he is independent.
谁若不能独立,谁就谈不上自由。
蒙台梭利名人名言哲理格言警句语录 蒙台梭利
我的哲学令人不快，因为我说出了真理。
叔本华名人名言哲理格言警句语录 叔本华
纳尔齐斯在接待他时并不显得特别庄重。院长面无表情地听他的朋友讲自己的冒险、痛苦与罪恶，提了不多几个问题，从未打断他，甚至听到歌尔德蒙承认自己已对上帝的公正与仁慈失去信仰时仍然无动于衷。当他听出歌尔德蒙受了许多磨难与惊骇，不止一次已濒于毁灭的时候，他却有些吃惊；可随后又不得不微微笑了，为他的朋友始终保持着天真无邪的本性而深深感动。因为他发觉，歌尔德蒙为之忧虑和忏悔的不虔诚的想法，与他本人思想中的怀疑和危机相比简直算不了什么。
赫尔曼·黑塞名人名言哲理格言警句语录 赫尔曼·黑塞
大自然不仅向我们献出果实，也向我们献出鲜花。
梭罗名人名言哲理格言警句语录 梭罗
如果谎言是一种伤害，请选择沈默。
徐志摩名人名言哲理格言警句语录 徐志摩
I’m interested in the poetry of the everyday.
我对日常的诗意感兴趣。
杰里米·戴勒名人名言哲理格言警句语录 杰里米·戴勒
我希望我的女儿美丽大方，多才多艺，为人善良，受到赞美、爱慕和尊重，年轻时幸福快乐，婚姻美满。愿上天保佑，让她们无忧无虑，过上愉快而有意义的生活。
路易莎·梅·奥尔科特名人名言哲理格言警句语录 路易莎·梅·奥尔科特