障礙越大，克服它的榮耀就越大。
真相往往令人不適，但必不可少。
Structured Programming supports the law of the excluded middle.
可持續(xù)性是采石業(yè)的未來，我們必須立即行動。
我們要用技術(shù)創(chuàng)新推動產(chǎn)業(yè)升級。