The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
阿隆佐·邱奇名人名言哲理格言警句语录 阿隆佐·邱奇
人生就是一连串的死亡与复活。
罗曼·罗兰
很多人可以抄袭我们的创意、我们的模式，但是他们抄袭不了我们付出的努力、付出的汗水。
马云
青春是个短暂的美梦，当你醒来时，它早已消失无踪。
莎士比亚
可能的情况是，当一个人的头脑停止思考，不再具有吸收新观念的能力时他就真的死了。
乔治·奥威尔
成功的意义应该是发挥了自己的所长，尽了自己的努力之后，所感到的一种无愧于心的收获之乐，而不是为了虚荣心或金钱。
罗兰
Our own use of the vocabulary, in fact, not from our own. Our own nothing more than just according to our temper character environmental education and social relations and do some modification. Just a little change, so that it is different from other people's expression, the unique style of our brand, as it is our own things. All other things are some old stuff, is thousands of years for several hundred years, generations of people said the hackneyed and stereotyped expressions.
马克吐温
阳子，向日葵开的最好的那一天，东京的太阳也正暖。我们到了柳川，象结婚时来的那次一样，那家旅馆的小院仍然是干净的绿色。而我们住过的房间也没有变过。
荒木经惟
最好的解决方案往往来自那些与动物最亲近的人。
The best solutions often come from those who work closest with the animals.
汉斯·维尔德斯
恶行有时只是被过度发挥的美德！
Vices are sometimes only virtues carried to excess!
查尔斯·狄更斯
小说是一面行走在路上的镜子。
The novel is a mirror walking down the road.
J·M·库切
在科技行业，变化是唯一不变的东西。
张伟
不要为过去的时间叹息！我们在人生的道路上，最好的办法是向前看，不要回头。
罗曼·罗兰
归根结底，断舍离是一种可以帮助我们重新审视自己与物品之间的关系的工具。它能让我们察觉到自身的思维习惯，甚至是对待生活的态度。察觉到自己的思维习惯与生活态度后，是保持不变，还是加以修正，抑或弃旧图新，则是自己的自由，全看自己 。
山下英子
地理环境的变迁，往往与人类活动密切相关，研究历史地理必须重视人地关系。
谭其骧
日中则移，月满则亏。
司马迁
如果过早地硬要孩子说话，他们就没有时间学习正确地发音，也没有时间理解大人让他们说的那些话。然而，如果任由他们自己去发展，他们首先会练习最简单的音节，然后在这些音节的基础上逐步加上他们的手势表达的含义，在学习你教的词语之前，他们会教给你他们自己的词语。这样一来，直到明白了你教的那些词语是什么意思，他们才会学着用它们。因为不慌不忙地用你教的那些词语，他们一开始会仔细观察你使用它们是用于何种意义，当他们确信自己明白了那些词语的意思时，就会采用它们。
卢梭
忠于职守要分善恶，助纣为虐没有好下场。
高尔基
久利之事莫为，众争之地莫往。
佚名
一次一粒沙，一次一件事。
卡耐基