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

I don't sing because I'm happy; I'm happy because I sing.
The future of computing lies in the development of systems that can verify their own correctness.
Enterprises must have the spirit of self-revolution.
人往往将现况归咎于环境因素,但我不相信造化弄人。世界上出类拔萃的人都是运筹帷幄,主动找寻自己想要的环境。要是遍寻不获,他们就创造一个。