电子学的未来掌握在那些能够利用半导体力量的人手中。
λ演算本质上是一个关于函数及其应用的理论。