作家在自己的国家必须是个陌生人。
小说是一面沿着大路行走的镜子。
小说是一种印象,不是一种论证;它是生活的一种印象。
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."
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。