"

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

约瑟夫·斯法基斯 约瑟夫·斯法基斯
💡 解读： "We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
🏷️ 标签： 我 我们 需要 可以 而是
💬 推荐名言 20句推荐
生命的极致在于生命的狂喜。
杰克·伦敦 杰克·伦敦
美国现实主义文学巨匠
政者正也，子帅以正，孰敢不正？
孔子 孔子
列为“世界十大文化名人”之首
我会自我怀疑，我会缺乏安全感。很多夜晚，当我出现在比赛场时，我心里却嘀咕：“我的背好疼，我的脚好疼，我的膝盖好疼。但是我不会那么紧张。我们都会有缺乏自信的时候。你不应该否认这一事实，但是你不要向它屈服，你要敢于面对它。
科比·布莱恩特 科比·布莱恩特
篮球运动员
人生成功的秘诀，唯有没有成功的人才能体会出来。
星云大师 星云大师
中国台湾佛光山开山宗长
那一只只与我握过的手，那一朵朵与我交换过的粲然微笑，那一句句平凡的对话，我如何能够像风吹拂过衣裙似的，把这些人淡淡地吹散，漠然地忘记？
三毛 三毛
台湾女作家
昔者吾先君桓公，明君也，而管仲贤相也。夫以贤相佐明君，而东门防全也。古者不为，殆有为也。
晏子 晏子
春秋时期齐国著名政治家、思想家、外交家
我来是为了王的下葬。
加西亚·马尔克斯 加西亚·马尔克斯
《百年孤独》作者
我这个二十岁的人，一再严肃地反省到自己由于孤儿根性养成的怪脾气，我正因为受不了那种令人窒息的忧郁感，这才走上伊豆的旅程。
川端康成 川端康成
1960年获法国政府授予的艺术文化勋章
偿还了人情债之后，没有必要吹嘘自己是个知恩必报的人。
拉罗什富科 拉罗什富科
17世纪法国古典作家
你表达了自己，你才拥有了生命。
舒婷 舒婷
朦胧诗派代表人物
生命的历史是变化的历史。
斯万特·帕博 斯万特·帕博
古人类基因组研究
国破山河在，城春草木深。
杜甫 杜甫
被后世尊称为“诗圣”
The more we try to control the world, the more it slips through our fingers.
奥尔加·托卡尔丘克 奥尔加·托卡尔丘克
叙事艺术的革新者
人的知识是力量，青年应当是知识上很有力量的人。
克鲁普斯卡娅 克鲁普斯卡娅
苏联杰出的教育家
伟大是熬出来的。
徐新 徐新
中国最优秀的风险投资家之一
I don’t do things for the response or the controversy. I just live my life.
蕾哈娜 蕾哈娜
全球流行音乐的超级巨星
The key is to stay humble and hungry.
诺瓦克·德约科维奇 诺瓦克·德约科维奇
单赛季三满贯
冲突有消极的一面——例如破坏关系和耗散资源，这是我们在常识中理解冲突时往往印入脑海的一面；但冲突也有积极的面——如推生变革和促进反省。
熊浩 熊浩
《我是演说家》冠军
货币政策的目标不仅是稳定物价，还要兼顾经济增长和金融稳定。
陈雨露 陈雨露
金融学教授，教材主编
除了鲜血、辛劳、泪水和汗水，我什么都没有。
丘吉尔 丘吉尔
“最伟大的100名英国人”中有史以来最伟大的英国人
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行