"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
雨是一生错过，雨是悲欢离合。
海子
科学研究能破除迷信，因为它鼓励人们根据因果关系来思考和观察事物。
爱因斯坦
除了教练之功，管理者还要把所有功劳大声地、公开地推给所有做出贡献的员工。
刘润
是以圣人抱一为天下式。不自见，故明；不自是，故彰；不自伐，故有功；不自矜，故长。夫唯不争，故天下莫能与之争。
老子
山峦与田野，遗忘那些永远不能实现的梦。
马塞尔·普鲁斯特
进不失廉，退不失行。
即使官场得意，步步高升，也要保持廉洁奉公的作风；即使退位之后，也要坚守节操，有始有终。
晏子
假使有神，我怎能忍受我不是那神，所以没有神！
尼采
这就是那些一诺千金的人的作风，以为别人也和他们一样。
卡勒德·胡赛尼
于东来听完他的个人经历后，心平气和地给出建议：“即使遇到再大的困难，也要心向阳光”“负债几百万，但你的生命不值几百万”“轻松地去生活，越轻松心越静”。
黄伟芳
一朝开始便能够永远将事业继续下去的人是幸福的。
赫尔岑
读书对于智慧，就像体操对于身体一样。
爱迪生
"The use of traveling is to regulate imagination by reality, and instead of thinking how things may be, to see them as they are."
旅行的用途是用现实来调节想象力，而不是想象事情可能是怎样的，而是看到它们实际是怎样的。
让-保罗·迪布瓦
一首诗则是生命的真正的形象,用永恒的真理表现了出来。
拜伦
不是我选择这样的命运，我从来不想要这样的生活，但反正我拿到的就是这样的牌。以往我总觉得这是一种负担，但那一夜，我明白那是一种恩赐。
蕾秋·乔伊斯
像我这样的女人，总是以一个难题的形式出现在感情里。
韩寒
我追。一个成年人在一群尖叫的孩子中奔跑，但我不在乎。我追。风拂过我的脸庞，我唇上挂着一个像潘杰希尔峡谷那样大大的微笑。我追。
卡勒德·胡赛尼
子曰：见贤思齐焉，见不贤而内自省也。
孔子
紧抱着我的泥土自会让我呼吸。
威廉·福克纳
怎样通过市场细分取得竞争优势？这里有两个关键：首先，你要进入一个好的细分市场；其次，你要进行战略定位(这里的战略定位并不是你通常理解的心智定位)，并通过经营和设计在这个细分市场中获得优势。
小马宋