"

The λ-calculus is, in essence, a theory of functions and their application.

阿隆佐·邱奇 阿隆佐·邱奇
💡 解读： λ演算本质上是一个关于函数及其应用的理论。
💬 推荐名言 20句推荐
我一上了中学，父亲就开始告诉我，需有：“一技之长”。他说，与其做个“样样皆通，样样稀松”的好学生，不如做个有一样专精，其他稀松的专才。有了一技之长，你可以用它赚钱吃饭，你也可以在它上面获得成就。
罗兰 罗兰
中国台湾作家
西方重视语言，重视语法。中国人不重视，觉得语言之前的东西像内心的体验、感觉、情感最重要，那些东西是不可言说的。西方哲学家当然也有这种倾向，认为不可言说的东西是很重要的，但他们毕竟把可以言说的东西规范化了。
邓晓芒 邓晓芒
2019年度作者
酒是穿肠毒药，色是刮骨钢刀，恨是惹祸根苗。
佚名 佚名
爱情本来并不复杂，来来去去不过三个字，不是“我爱你，我恨你，”“便是算了吧，你好吗？对不起。
张爱玲 张爱玲
中国近现代史上的20位杰出女性
当有人骂你的时候你不要骂回去，当你骂回去的时候你就摧毁了自己。
尼克松 尼克松
美国第34任副总统及第37任总统
梦想不会逃跑，逃跑的永远是自己。
佚名 佚名
真正的智慧不在于知识的积累，而在于对自我和宇宙的深刻理解。
宗萨钦哲仁波切 宗萨钦哲仁波切
第三世钦哲传承的主要持有人
未来学习中心的考试评价将不是为了选拔，而是为了诊断，是告诉你的在学习过程中发生了什么，用大数据的课程记录和作业观察跟踪你的学习过程，帮助你分析在哪些方面有差距，在哪些方面有提升的空间，指导每个人不断调整自己的学习过程、修正自己的学习方法，以取得更好的学习成果。
朱永新 朱永新
中国教育政策研究院副院长
即使是嫉妒之语，我也不能从她的话里毫无损伤地逃掉。
大江健三郎 大江健三郎
日本作家、1994年诺贝尔文学奖获得者
忍受孤寂或者比忍受贫困需要更大的毅力，贫困可能会降低人的身价，但是孤寂却可能败坏人的性格。
德尼·狄德罗 德尼·狄德罗
法国启蒙思想家、哲学家、戏剧家
绩效精神要求每个人都能充分发挥自己的长处，重点必须放在一个人的长处上——放在他擅长做什么而不是他不能做什么上。
彼得·德鲁克 彼得·德鲁克
现代管理学之父
作最坏的打算，抱最高的希望。
傅雷 傅雷
中国民主促进会（民进）的重要缔造者之一
对世界重新编码的能力，就是最低成本的创新资源。
罗振宇 罗振宇
“得到app”创始人
I have often been asked how my plays come about. I cannot say. Nor can I ever explain to myself what they mean.
哈罗德·品特 哈罗德·品特
2005年被授予诺贝尔文学奖
在富有仪式感的情境中教技巧。为了学写外貌，我带孩子们去见雷夫；为了学写童话，我让孩子们参加童话写作大赛；为了学写场景，我带孩子们去看电影。
蒋军晶 蒋军晶
浙江省特级教师
真相并不总是令人舒适，但它是必要的。
哈维尔·马里亚斯 哈维尔·马里亚斯
现代西班牙文学的重要代表
我发誓，无论自己能做什么、不能做什么、欠缺什么、拥有什么，我都绝不能轻易讨厌自己，要好好珍惜自己，到死都要继续爱自己。
松浦弥太郎 松浦弥太郎
日本最会生活的男人
分手快乐祝你快乐，你可以找到更好的，不想过冬厌倦沉重，就飞去热带的岛屿游泳。
梁静茹 梁静茹
女歌手
The challenge of our time is to build an economy that works for everyone, not just the privileged few.
克劳迪娅·戈尔丁 克劳迪娅·戈尔丁
性别与劳动力市场研究
放弃不难，但坚持一定很酷。
东野圭吾 东野圭吾
日本推理小说作家
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行