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

Music can change the world because it can change people.
不管别人怎么说,文字和语言的确能改变世界。
The most important property of a program is whether it accomplishes the intention of its user.
【译文】与人说话只能说三分,不能把内心的想法全部吐露给别人。有意栽花花不一定开放,无意去插柳柳树却可能长得茂盛。龙和虎的形态好画,却难以画出它们的骨骼。了解人的表面很容易,但了解人的内心却十分困难。
I have always believed that the way to make money is to buy when everyone else is selling and to sell when everyone else is buying.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The richness I achieve comes from nature, the source of my inspiration.