作家在自己的国家必须是个陌生人。

小说是一面沿着大路行走的镜子。

小说是一种印象，不是一种论证；它是生活的一种印象。

发明是需求之母。

The secret is to believe in your dreams; in your potential that you can be like your star, keep searching.

"You can't manage what you don't measure."

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。