從前莊周夢見自己變成蝴蝶，一只翩翩飛舞、快樂自由的蝴蝶。不知道自己本是莊周。頃刻間醒來，驚疑地發(fā)現(xiàn)自己仍是莊周。不知是莊周做夢變成蝴蝶，還是蝴蝶做夢變成莊周。莊周與蝴蝶終究是不一樣的。這就叫“物化”。
The pursuit of knowledge is a lifelong journey.
Attosecond science allows us to capture the fastest motions in the microcosm, like freezing the wingbeat of a hummingbird.
形式化方法不是銀彈，但它們是追求可靠系統(tǒng)的重要工具。
如果人生都能像初次相遇那樣美好，就不會有后來的離別和傷感。
預測未來的最好方式就是創(chuàng)造未來。
Live simply so that others may simply live.