我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
魂灵去了远方的人啊，你不要惧怕黑夜，这里有一团火光，为你的行程照亮。
迟子建
儿童心理学和教育学作为一门科学学科，其性质一直是国际的，仅仅在某一国家进行这种研究而不了解全世界同性质研究的整体情况实际上是不可能的。
皮亚杰
不要哭，不要让别人听到我们在哭。
余华
I've learned that you have to be strong enough to stand alone, smart enough to know when you need help, and brave enough to ask for it.
我了解到你必须足够坚强才能独自站立，足够聪明才能知道何时需要帮助，并且足够勇敢去寻求帮助。
珍妮·杰克逊
授权不是分权，授出去的是决策权，保留下来的是监督权。
任正非
不让则不和，不和不可以远征。
解释：不谦让， 就会不团结; 不团结， 就不可以出师远征。
左丘明
我作为一名中国的科技工作者，活着的目的就是为人民服务。 如果人民最后对我的一生所做的工作表示满意的话，那才是最高的奖赏。
钱学森
技术本身没有价值，技术的价值在于解决实际问题。
胡晓明
Leadership in fisheries means having the courage to make tough choices for long-term benefits.
渔业领导力意味着有勇气为长期利益做出艰难选择。
豪尔赫·卡斯蒂略
保持头脑的清晰和思想的纯净。要让自己的精神远离不良思想，保持纯洁和自由。 
奥格·曼狄诺
爱情不可能长期地隐藏，也不可能长期地假装。
拉罗什富科
专家要快速适应社会变化，赶不上时代变化就会掉队，华为没有收容队。
任正非
“女人可以原谅男人对他的伤害，”他说，“但是永远不能原谅他对她做出的牺牲。”
毛姆
人们出生时大同小异，死亡却各有各的走法。
迟子建
这是个盛世，物质繁荣，高楼林立，名车接踵，酒醉金迷；这是个乱世，精神匮乏，人欲横流，卑鄙趾高，哀鸿触目。
钱文忠
You think when you wake up in the mornin yesterday don't count. But yesterday is all that does count. What else is there? Your life is made out of the days it's made out of. Nothin else.
你以为早上醒来昨天就不算数了。但昨天才是真正算数的。还有什么呢？你的生命就是由那些日子组成的。没有别的。
科马克·麦卡锡
要想向我学知识，你必须先有强烈的求知欲望，就像你有强烈的求生欲望一样。
苏格拉底
智慧岂非也像是刀一样，受的折磨越多，就被磨得越锋利。
古龙
不结婚，晚年没伴；结了婚，不一定活到晚年。不拼命工作，没钱养老；太拼命工作有可能用不着养老。
杨绛