"

The λ-calculus is a formalism for representing functions and their application.

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： λ演算是一种表示函数及其应用的形式体系。
💬 推荐名言 20句推荐
原来人在黑暗中，最容易感受到的，就是孤单。
痞子蔡 痞子蔡
中国台湾作家
有时候，为自己的问题找到解决方案的最佳方法，就是解决别人的问题。
奥赞·瓦罗尔 奥赞·瓦罗尔
在多个领域取得了卓越的成就
人类的正义交给那苦刑的可怕的磨盘去磨的，是多么可怜的谷粒呀。
雨果 雨果
浪漫主义文学的代表作家
对我来说，美国是个埋葬往事的地方。
卡勒德·胡赛尼 卡勒德·胡赛尼
《追风筝的人》作者
汉代的美，正是美在这日日月月的人情之常。在平凡到不能再平凡的一碗白饭中寄托着对生活的爱与肯定。
蒋勋 蒋勋
台湾画家、诗人
欢迎加入我们：每一天都追求比醒来的那一刻多增长一分智慧；每一天都追求有能力承担更大的责任；每一天都追求尽善尽美地完成所有工作。日复一日，年复一年，你终将出人头地。
查理·芒格 查理·芒格
美国投资家
为什么很多人一起共得了艰苦，却享不了甘甜？”为什么很多人一起共得了艰苦，却享不了甘甜？”，因为前者没有选择，但后者有。”。
辛夷坞 辛夷坞
The path to net-zero requires both technological breakthroughs and pragmatic policy frameworks.
达伦·伍兹 达伦·伍兹
埃克森美孚CEO，推动低碳能源转型
做大事要有魄力，做小事要能细心，做难事要肯忍耐，做善事要求无相。
星云大师 星云大师
中国台湾佛光山开山宗长
生意做得越大，眼光越要放得远。做大生意的眼光，一定要看大局。你的眼光看到一省，就能做一省的生意，看得到天下，就能做天下的生意，看得到外国，就能做外国的生意。
胡雪岩 胡雪岩
中国近代著名红顶商人、徽商代表人物
所有真实的故事都是关于对立面的相遇。
阿里·史密斯 阿里·史密斯
实验性叙事风格
即使我知道整个世界明天将要毁灭，我今天仍然要种下我的葡萄树。
马丁路德金 马丁路德金
美国黑人民权运动领袖
La verdadera patria del poeta es su lengua.
安赫尔·冈萨雷斯 安赫尔·冈萨雷斯
西班牙战后重要诗人
我们不是在做企业，我们是在做文化。《农夫山泉：一瓶水的故事》
钟睒睒 钟睒睒
多次登顶中国首富
人们真的批评参加奥运会的职业运动员。 人们不喜欢改变。 很多人现在不喜欢奥运会，因为我们增加了滑板运动……我们正在使这项运动现代化。
拉里·埃里森 拉里·埃里森
获取智慧是一种道德义务，仅凭你已经知道的东西，你无法走得太远，你需要依靠不断地学习，才能在人生中不断地前进。
查理·芒格 查理·芒格
美国投资家
将“理性”和“智力”区分开来，高智商并不能消除成见。
丹尼尔·卡尼曼 丹尼尔·卡尼曼
2002年诺贝尔经济学奖获得者
微信的成功是因为它尊重用户。
张小龙 张小龙
微信创始人，中国社交平台领军人物
想起你，我会很愉悦的，你知道我也看着星星啊。所有的星星将会有着生锈辘轳的井，所有的星星都会流出水来让我喝。
安托万·德·圣-埃克苏佩里 安托万·德·圣-埃克苏佩里
《小王子》作者
有些事情在劫难逃。
陆小曼 陆小曼
中国近代女画家、作家、翻译家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行