二十世纪的伟大斗争是自由主义与极权主义之间的斗争。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
人生は、一度きりの旅。後悔しないように、思い切って生きよう。
成功不是终点,失败也不是致命的:重要的是继续前进的勇气。