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

形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我爱你，记住这一点。
马特·海格名人名言哲理格言警句语录 马特·海格
丁磊总结自己的成功：一命二运三风水，四积阴德五读书。积德在读书之前，做人在做事之前。
杨奇函名人名言哲理格言警句语录 杨奇函
历史的进程不是由个人意志所能改变的，而是由整个社会的发展所推动的。
当年明月名人名言哲理格言警句语录 当年明月
Serving small and micro enterprises is both a social responsibility and a market opportunity for banks.
服务小微企业是银行的社会责任，也是市场机遇。
田国立名人名言哲理格言警句语录 田国立
智仁勇三者是中国重要的精神遗产，过去它被认为天下之达德，今天依然不失为个人完满发展之重要指标。
陶行知名人名言哲理格言警句语录 陶行知
快乐有时会让有些人感到非常有压力。
伯特·海灵格名人名言哲理格言警句语录 伯特·海灵格
再快也有人比你快，再慢也有人比你慢。
刘慈欣名人名言哲理格言警句语录 刘慈欣
波：（勃然大怒）你干吗老是要用你那混帐的时间来折磨我？这是十分卑鄙的。什么时候！什么时候！有一天，难道这还不能满足你的要求？有一天，任何一天。有一天他成了哑巴，有一天我成了瞎子，有一天我们会变成聋子，有一天我们诞生，有一天我们死去，同样的一天，同样的一秒钟，难道这还不能满足你的要求？（平静一些）他们让新的生命诞生在坟墓上，光明只闪现了一刹那，跟着又是黑夜。（他抖动绳子）走！
塞缪尔·贝克特名人名言哲理格言警句语录 塞缪尔·贝克特
我走在命运为我规定的路上,虽然我并不愿意走在这条路上,但是我除了满腔悲愤的走在这条路上别无选择。
尼采名人名言哲理格言警句语录 尼采
建筑的本质在于它改变生活的能力。
The essence of architecture lies in its ability to transform lives.
巴克里希纳·多西名人名言哲理格言警句语录 巴克里希纳·多西
I'm not afraid of being forgotten because my music won't be.
我不怕被遗忘，因为我的音乐不会。
周杰伦名人名言哲理格言警句语录 周杰伦
佛说，地水火风共成身，随波因缘招异果。
德川家康名人名言哲理格言警句语录 德川家康
无不让也，不可，说在殆。
墨子名人名言哲理格言警句语录 墨子
今天不论谁从世界上消失，明天太阳还是会从东边出来，这个世界就是如此，多么大的变化，人们都能适应。自以为重要的人，必须知道这一点。
刘墉名人名言哲理格言警句语录 刘墉
既然是梦想不妨就让它完美些罢。何必连梦想也那么拘谨那么谦虚呢？我便如醉如痴并且极端****地梦想下去。
史铁生名人名言哲理格言警句语录 史铁生
太太离家出走并不可怕，可怕的是她还会回来。
朱德庸名人名言哲理格言警句语录 朱德庸
I don't care about being remembered as the most famous person in the world. I want to be remembered as the most fearless.
我不在乎被记住是世界上最出名的人。我想被记住是最无所畏惧的人。
Lady Gaga名人名言哲理格言警句语录 Lady Gaga
我就是一个普通的农村孩子，突然捡了个大运气而已。这么多年，我一直欺骗自己，说自己帅，我这么帅一定会出人头地。最后被人认识，却不是因为帅。好难过。笨一点挺好的，我就是个笨人。 惟愿孩儿愚且鲁，无灾无难到公卿。
董宇辉名人名言哲理格言警句语录 董宇辉
应对不自由世界的唯一方法是变得绝对自由，以至于你的存在本身就是一种反抗。
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
伊斯梅尔·卡达莱名人名言哲理格言警句语录 伊斯梅尔·卡达莱