"

The challenge in model checking is not just to find errors, but to understand why they occur.

埃德蒙·克拉克 埃德蒙·克拉克
💡 解读： 模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
💬 推荐名言 19句推荐
人的心里如果没有值得信赖的对象，便无法自立。
加藤谛三 加藤谛三
日本当代最著名的心理学家
管理是一门艺术，需要不断地学习和实践。
沈南鹏 沈南鹏
红杉中国创始及执行合伙人
我们活得似乎永远都不会死，我们死得也好像从没活过。
多丽丝·莱辛 多丽丝·莱辛
被誉为继伍尔芙之后最伟大的女性作家
The way to learn about the mind is to reverse-engineer it: to figure out what natural selection designed it to accomplish.
史蒂芬·平克 史蒂芬·平克
语言与心智研究权威
我不是没有素材，而是没有时间。
德雷克 德雷克
连续两年销量冠军
他们先是无视你，再来是嘲笑你，接着他们与你战斗，最后你赢了。
甘地 甘地
圣雄甘地
我也发现，很多男女之间的痴缠爱恋，好像上瘾症一般的迷恋，其实并不是真正的爱。这种痴迷的爱情，其实隐含了人生的功课要你去面对。除非你在这个人身上学会了你该学的功课，然后你还是决定继续爱着他，那就表示这是真爱。如果只是无法克制的情欲，那只是你要学习的功课，愈是致命的吸引力，愈是有重大的课题隐藏其中。
张德芬 张德芬
女作家
一个人如果太依赖别人的判断，那他就永远不可能真正拥有自己的思想。
梁文道 梁文道
中国香港作家
读书须用意，一字值千金。
谚语 谚语
广泛流传于民间的简洁而富有教育意义的语句
善待他人，学会倾听，时刻保持乐观，并避免谈论你的悲惨故事。只要你能表现出自信、对他人的尊重和好奇心，再加上笑容，你就可以成为一个很有吸引力的人。
梅耶·马斯克 梅耶·马斯克
全球首富埃隆·马斯克的母亲
当一般人都在竞相希望获胜的时候，世界上最优秀的一批人却认识到，他们必须先避免失败，才能赢得胜利。
沙恩·帕里什 沙恩·帕里什
一位企业家，也是一名智慧的探索者
没有书籍，就不能打赢思想之战，正如没有军舰就不能打赢海战一样。
罗斯福 罗斯福
美国历史上首位连任四届的总统
归根结底，我们只能明白自我真正了解的人，我们只能完全了解我们真正喜爱的人。
林语堂 林语堂
中国现代著名作家、学者、翻译家、语言学家
无希望的永古不失望，不希翼那不可希翼的，永古无悲哀。
冰心 冰心
被誉为“文坛祖母”
认识到自控力有限，因此要聪明地使用它。
凯利·麦格尼格尔 凯利·麦格尼格尔
斯坦福大学心理学家
The theory of moral sentiments is the foundation of the theory of political economy.
亚当·斯密 亚当·斯密
经济学的主要创立者
写作的行为是对遗忘的反抗。
安东尼奥·洛博·安图内斯 安东尼奥·洛博·安图内斯
近年来诺贝尔文学奖的热门人选之一
死亡就像每夜落在我们头上的睡眠，甚至像每个落在我们头上的黄昏。
佚名 佚名
我不是天才。我只是努力工作，永不放弃。
草间弥生 草间弥生
前卫艺术代表人物
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行