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

Never be satisfied with where you are; always strive for better.
The past is always changing, because we are always changing our relationship to it.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
I'm not a human being, I'm a martian.
数据库中最重要的东西是数据模型。如果你把数据模型做对了,其他一切都会随之而来。