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

模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
做人要能随遇而安、随缘生活、随心自在、随喜而做；处事要从澹处着眼、疑处用心、无处下手、拙处力行。
星云大师名人名言哲理格言警句语录 星云大师
In the realm of algorithms, simplicity is the ultimate sophistication.
在算法的领域里，简单是最终的复杂。
曼纽尔·布卢姆名人名言哲理格言警句语录 曼纽尔·布卢姆
石洗蓝布多口袋的马甲，又入世，又出世。
木心名人名言哲理格言警句语录 木心
自由不在于幻想中摆脱自然规律而独立，而在于认识这些规律，从而能够有计划地使自然规律为一定的目的服务。
弗里德里希·恩格斯名人名言哲理格言警句语录 弗里德里希·恩格斯
我不认为我的作品是为儿童或成人而作。我只是认为它就是存在。
"I don't think of my work as being for children or for adults. I just think of it as being."
雷蒙德·布里格斯名人名言哲理格言警句语录 雷蒙德·布里格斯
不要迷惑于表象⽽要洞察事务的本质，初学者的⼼态是⾏动派的禅宗。所谓初学者的⼼态是指，不要⽆端猜测、不要期望、不要武断也不要偏见。初学者的⼼态正如⼀个新⽣⼉⾯对这个世界⼀样，永远充满好奇、求知欲、赞叹。
史蒂夫·乔布斯名人名言哲理格言警句语录 史蒂夫·乔布斯
昌明教育平生愿，故向书林努力来
张元济名人名言哲理格言警句语录 张元济
安莫安于知足，危莫危于多言。
弘一法师名人名言哲理格言警句语录 弘一法师
我们必须在经济增长和生态保护之间取得平衡——别无选择。
We must balance economic growth with ecological preservation—there's no other option.
珍妮弗·斯科特名人名言哲理格言警句语录 珍妮弗·斯科特
读书使人充实，讨论使人机智，笔记使人准确，读史使人明智，读诗使人灵秀，数学使人周密，科学使人深刻，伦理使人庄重，逻辑修辞使人善辩。凡有所学，皆成性格。
培根名人名言哲理格言警句语录 培根
那一刻，我发现，我有天，经过你的身边，找不到你的视线。
王菲名人名言哲理格言警句语录 王菲
尽管走下去，不必逗留着去采着花儿来保存，因为一路上花朵自会开放的。
泰戈尔名人名言哲理格言警句语录 泰戈尔
感觉，是年轻人才玩得起的东西。男女之间，最昂贵的不是玩钱，是玩感觉。
苏芩名人名言哲理格言警句语录 苏芩
我的生命已近黄昏，暮色已经降临。我过去的音调与色彩已经消失，它们已经随着往事的梦境模糊地溜走了。往日的回忆是非常美好的，是以泪水洗涤，以昨天的微笑抚慰的。我渴望但徒然地聆听着远处那微弱而迷人的起床号声，和那咚咚作响的军鼓声。在梦境里，我又听到隆隆的炮声，劈啪的步枪射击声，战场上古怪而悲伤的低语声。然而，在我黄昏的记忆中，我总是来到西点，耳边始终回响着：责任一荣誉一国家。
麦克阿瑟名人名言哲理格言警句语录 麦克阿瑟
企业竞争的本质是人才竞争。
The essence of corporate competition is talent competition.
徐留平名人名言哲理格言警句语录 徐留平
剪水为衣，搏山为钵，山水的衣钵可授之何人？叩山为钟鸣，抚水成琴弦，山水的清音谁是知者？山是千绕百折的璇玑图，水是逆流而读或顺流而读的回文诗，山水的诗情谁来领管？
张晓风名人名言哲理格言警句语录 张晓风
对美的事物做似是而非的赞颂，这无异于侮辱。
让·奥古斯特·多米尼克·安格尔名人名言哲理格言警句语录 让·奥古斯特·多米尼克·安格尔
The best stories are those that challenge our perceptions.
最好的故事是那些挑战我们认知的故事。
乔纳森·利特尔名人名言哲理格言警句语录 乔纳森·利特尔
这个时代真正的高手，几乎都有一个特点——他们既懂得如何驱动自己持续地努力和积累，也懂得借助社会和科技趋势放大自己努力的收益。
古典名人名言哲理格言警句语录 古典