殖民地是一個(gè)新人類(lèi)計(jì)劃將被測(cè)試的地方，在那里一個(gè)無(wú)國(guó)界、無(wú)種族、無(wú)國(guó)家、無(wú)階級(jí)、無(wú)性別、無(wú)宗教、無(wú)貨幣和無(wú)財(cái)產(chǎn)世界的夢(mèng)想將被實(shí)現(xiàn)。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
與其茍延殘喘，不如縱情燃燒。
一個(gè)問(wèn)題如果在計(jì)算機(jī)上可以快速解決，那么它屬于P類(lèi)問(wèn)題；如果一個(gè)解可以快速驗(yàn)證，那么它屬于NP類(lèi)問(wèn)題。
The loss of money is the least of all losses, but the loss of confidence is the greatest of all.