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

形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
过去是一个异国他乡；他们在那里做事的方式不同。
The past is a foreign country; they do things differently there.
理查德·弗拉纳根名人名言哲理格言警句语录 理查德·弗拉纳根
世界上⾼级的⼈很多，有趣的⼈也很多，⼜⾼级⼜有趣的⼈却少之⼜少。
余光中名人名言哲理格言警句语录 余光中
移情的本质是对儿时被压抑的某种依恋情感的重新体验。
弗洛伊德名人名言哲理格言警句语录 弗洛伊德
应对不自由世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反叛。
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
尼古拉·马修名人名言哲理格言警句语录 尼古拉·马修
我以前说过，我不会崇拜任何人，但是如果我要崇拜谁，一定是我未来的老公，能够跟我结婚的人，就是真正能够欣赏我、明白我价值的人。能成为我老公的人，真是太有品位、太有眼光、太识货啦！
金星名人名言哲理格言警句语录 金星
我拥有保护我的人。
迈克尔·乔丹名人名言哲理格言警句语录 迈克尔·乔丹
我们是共同的历史，共同的书。我们在品味或经验上不是被拥有或一夫一妻的。
We are communal histories, communal books. We are not owned or monogamous in our taste or experience.
迈克尔·翁达杰名人名言哲理格言警句语录 迈克尔·翁达杰
好好吃饭，好好睡觉，平常心就是大道！
黄剑名人名言哲理格言警句语录 黄剑
一个人在半醉时，说话含糊，喋喋不休，这是至乐至适之时。一种洋洋得意的感觉，一种排除一切障碍力量的自信心，一种加强的锐感，和一种好像介于现实和幻想之间的创作思想力，好似都已被提升到比平时更高的行列。
林语堂名人名言哲理格言警句语录 林语堂
Small-scale farmers are the backbone of the aquaculture industry; empowering them is crucial for global food systems.
小规模养殖户是水产养殖业的支柱；赋能他们对全球粮食体系至关重要。
彼得·范德米尔名人名言哲理格言警句语录 彼得·范德米尔
受教育的一半技能是学习你可以忽视的东西。
凯文·凯利名人名言哲理格言警句语录 凯文·凯利
你的时间有限，所以不要为别人而活。
史蒂夫·乔布斯名人名言哲理格言警句语录 史蒂夫·乔布斯
I owe nothing to Women's Lib.
我欠妇女解放运动什么也没有。
撒切尔名人名言哲理格言警句语录 撒切尔
形单影只流落与千差万别的人山人海中，暴露着肉身尚且找来羞辱，还敢赤裸起心魂么？
史铁生名人名言哲理格言警句语录 史铁生
我宁愿个人孤独地去经历人世的风波，去尝切生活的苦味，我不要安慰和同情，我却想把安慰和同情给别的人。我已经这样地过了几年，这种生活不定是愉快的，但我过得还好。
巴金名人名言哲理格言警句语录 巴金
好女人是一所学校，在我心中，爱情也是女人的学校，在恋爱中阅人阅人生。
董卿名人名言哲理格言警句语录 董卿
人之生也柔弱，其死也坚强。草木之生也柔脆，其死也枯槁。故坚强者死之徒，柔弱者生之徒。
老子名人名言哲理格言警句语录 老子
君以礼使臣，臣以忠事君。君谋其政，臣谋其事。政者，正名也，事者，勤功也。君勤其政，臣勤其事，则功名之道具立矣。
诸葛亮名人名言哲理格言警句语录 诸葛亮
从本质意义上，我们都是既失去家乡又永远没办法抵达远方的人。
蔡崇达名人名言哲理格言警句语录 蔡崇达