"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
丑的被显露而美的得不到表彰，只显出品行的缺陷，却看不见高尚的事迹。
王充
没有一条真理比凯恩斯的这句话更靠谱了：在市场回归理性之前，你很可能已经破产了。
吉姆·罗杰斯
大凡聪明之人，极是误事。何以故，惟聪明生意见，意见一生，便不忍舍割。往往溺于爱河欲海者，皆极聪明之人。
陈继儒
和尚不说鬼，袋里没有米。
谚语
税收不仅是政府收入的主要来源，更是调节经济、分配收入、稳定社会的重要工具。
杨灿明
The Book of Life begins with a man and a woman in a garden…It ends with Revelations.
《生命之书》始于一座花园里的一男一女……它最后以《启示录》告终。
奥斯卡·王尔德
The most important ability of a product manager is to turn yourself into a fool.
产品经理最重要的能力是把自己变傻瓜。
马化腾
常言月满那么亏，水满那么溢，又道是登高必跌重。如今我们家赫赫扬扬，已将百载，一日倘或乐极悲生，假设应了那句“树倒猢狲散〞的俗语，岂不虚称了一世的诗书旧族了！
曹雪芹
成功不仅仅是获胜，而是永不放弃。
Success is not just about winning, it's about never giving up.
马克·帕克
In Burkina Faso, we have a saying: 'A tree takes time to grow.' Good architecture also takes time.
在布基纳法索，我们有句谚语："一棵树需要时间生长。"好的建筑也需要时间。
迪埃贝多·弗朗西斯·凯雷
Catch people doing something right.
抓住人们做对的事情。
肯·布兰查德
支配想像的是未来，而不是过去。黄金时代是在我们前面，不是在我们背后。
杜威
南瓜是我的人生伴侣，它让我感受到诗意般的安定。
草间弥生
我们很少信任比我们好的人，宁肯避免与他们来往。相反，我们常对与我们相似、和我们有着共同弱点的人吐露心迹。我们并不希望改掉弱点，只希望受到怜悯与鼓励。
加缪
我所熟知的她总是美丽正直诚实就算无依无靠也靠自己的力量坚强地站着我一定是憧憬着那样完美的她擅自去期待擅自把她理想化擅自认为自己理解她然后擅自地失望告诫过自己无数次结果却还是没有改她也会撒谎连这种理所当然的事都无法容忍的自己我很厌恶这样的自己。
渡航
我相信简单的生活，有纪律的生活，专注的生活。
I believe in a simple life, a life of discipline, a life of focus.
埃鲁德·基普乔格
I'm not a perfectionist, but I like to feel that things are done well.
我不是一个完美主义者，但我喜欢感觉事情做得很好。
夏奇拉
“发愿”与“见体”是吾人一生最要紧的事。愚当下甚有警省。吾人一生若于此二者皆无有，则只有下堕，一生不如一生。因而时时念及之。
梁漱溟
祸兮福之所倚，福兮祸之所伏。孰知其极？其无正也。正复为奇，善复为妖。人之迷，其日固久。
老子