电影是关于画面内和画面外的东西。
"Cinema is a matter of what's in the frame and what's out."
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The process of creation is more important than the result. 创作的过程比结果更重要。