—— 请按键盘 空白键 开始游戏 ——

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
The work of art is a trace of the invisible.
电影有力量改变我们看待世界的方式。
我写作是为了记住,为了不忘记。