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

每一次创造行为首先都是破坏行为。
"Every act of creation is first an act of destruction."
You can't wait for others to arrange your life; what you want, you must strive for yourself.
心理现象是大自然对生存问题的解决方案。
Be yourself and don't care what others think.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The only way to learn mathematics is to do mathematics.