真正的创新解决实际问题,而不仅仅是创造新奇。
I believe in the power of cinema to transport people to different worlds and times.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Cleverness is a gift, kindness is a choice.
文学让我们在一生中活出千种生活。
The true artist is not proud; he knows that art is greater than himself.