The goal of software engineering is to produce reliable, maintainable, and efficient software systems.
朗兰兹纲领不是一个理论,而是一个由猜想和定理构成的网络,如果完全建立起来,它将统一数论和表示论。