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

形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
世界上，需要有执迷不悟的，万劫不复的，痛不欲生的，才显现你们和尚的价值和可贵啊，我帮你们，我入地狱。
冯唐名人名言哲理格言警句语录 冯唐
在一个小时内，高社会经济地位家庭的孩子平均听到的单词数量是2000个。贫困家庭的孩子听到的单词仅仅只有600个。另外，父母对孩子的回应也是有很大差异的。在高社会经济地位家庭中，父母每小时对孩子的回应有250次，但在低社会经济地位家庭中，父母对孩子的回应每小时不到50次。就拿家长对孩子的口头批准来说，高社会经济地位家庭的孩子每小时会听到大约40个口头批准，然而，贫困家庭的孩子听到的口头批准只有4个。
达娜·萨斯金德名人名言哲理格言警句语录 达娜·萨斯金德
大多数群体一般只干2件事：锦上添花或落井下石。
古斯塔夫·勒庞名人名言哲理格言警句语录 古斯塔夫·勒庞
天薄我以福，吾厚吾德以迓之；天劳我以形，吾逸吾心以补之；天厄我以遇，吾亨吾道以通之。天且奈我何哉？
洪应明名人名言哲理格言警句语录 洪应明
面对困难和挑战时，我们应该保持勇气和坚定。
柏拉图名人名言哲理格言警句语录 柏拉图
如果我们成功，很大程度上，这是正派、体面、原则性和理想主义的成功：在过去的两年里，因为价值观方面的原因，我们得到了太多不合一般商业逻辑的支持和帮助。
罗永浩名人名言哲理格言警句语录 罗永浩
做任何一个行业，都得在岗位上有所表现，既红、不骄、不迟到、不早退、敬业乐业、有衣食，那才是高手。
亦舒名人名言哲理格言警句语录 亦舒
铁轨无尽，伸入江南温柔的水乡，柳丝弄晴，轻轻地抚着麦浪。
余光中名人名言哲理格言警句语录 余光中
"We are all the heroes of our own stories."
我们都是自己故事中的英雄。
乔纳森·科名人名言哲理格言警句语录 乔纳森·科
我不是创造艺术，我就是艺术。
I don’t create art. I am art.
奈良美智名人名言哲理格言警句语录 奈良美智
有志于圣人之学者，外孔、孟之训而他求，是舍日月之明，而希光于萤爝之微也，不亦谬乎？
王阳明名人名言哲理格言警句语录 王阳明
一个纵情恣乐、毫无节制的人，会变成放荡的人；一个像乡下人一样、忌避一切快乐的人，会变为麻木不仁的人。
亚里士多德名人名言哲理格言警句语录 亚里士多德
一个人要兴旺发达，得有那么一点精气神。汪曾祺
汪曾祺名人名言哲理格言警句语录 汪曾祺
忘却自我中有着快乐。——因而，我要努力把别人眼中的光明当作我的太阳，把别人耳中的音乐当作我的乐曲，把别人唇上的微笑当作我的幸福。
海伦·凯勒名人名言哲理格言警句语录 海伦·凯勒
真正的是二人世界。我们很安静，但是不冷清。多一个人就难免会有不能共同讨论的话题，这就是一种分心，从一种不设防变成了一种社交。三个人的世界太拥挤。
陈果名人名言哲理格言警句语录 陈果
如果你没有意识到人终将死去，就不能体会活着的滋味。
乔斯坦·贾德名人名言哲理格言警句语录 乔斯坦·贾德
"We read to know we're not alone."
我们阅读是为了知道我们并不孤单。
塞斯·诺特博姆名人名言哲理格言警句语录 塞斯·诺特博姆
永远不要停止相信自己。
Never stop believing in yourself.
宝儿名人名言哲理格言警句语录 宝儿
I'm not a perfect person, but I'm trying to be better every day.
我不是一个完美的人，但我每天都在努力变得更好。
玛丽·布莱姬名人名言哲理格言警句语录 玛丽·布莱姬