—— 请按键盘 空白键 开始游戏 ——

The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
爱就是冒着受伤的风险,而不爱则是保证了一生的虚度。
生活不是如何在风暴中生存,而是如何在雨中起舞。
The biggest risk is not taking any risk. In a world that’s changing quickly, the only strategy that is guaranteed to fail is not taking risks.
引用自海明威《老人与海》,张海迪在演讲中多次引用以表达坚韧精神