長時間與計算機接觸會使數(shù)學(xué)家變成文員，反之亦然。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
美將拯救世界，但只有真實的美才能做到。
電影的美在于它能夠講述跨越文化和世代的故事。
唯一真正的光是靈魂的光。
I'm not a rapper, I'm a hell legend.