永遠(yuǎn)不要停止學(xué)習(xí)，因?yàn)槭澜缬肋h(yuǎn)不會(huì)停止變化。
我相信文學(xué)的力量可以改變我們看待世界的方式。
"The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'"
形式驗(yàn)證的挑戰(zhàn)在于彌合抽象模型與實(shí)際實(shí)現(xiàn)之間的差距。