自我不是一成不变的东西,而是通过选择行为不断形成的东西。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
通往伟大歌剧的荣耀之路没有捷径。
I'm not here to be perfect; I'm here to be real.
我总是试图在我讲述的每个故事中找到人性。
The only way to understand another culture is to assume the frame of reference of that culture.
We are just an advanced breed of monkeys on a minor planet of a very average star. But we can understand the Universe. That makes us something very special.