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

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
每个人都有一个觉醒期，但觉醒的早晚决定个人的命运。
路遥名人名言哲理格言警句语录 路遥
清颍东流，愁目断，孤帆明灭。
苏轼名人名言哲理格言警句语录 苏轼
有人会问，女孩子上那么久的学、读那么多的书，最终不还是要回一座平凡的城，打一份平凡的工，嫁作人妇，洗衣煮饭，相夫教子，何苦折腾？我想，我们的坚持是为了，就算最终跌入繁琐，洗尽铅华，同样的工作，却有不一样的心境；同样的家庭，却有不一样的情调；同样的后代，却有不一样的素养。
杨澜名人名言哲理格言警句语录 杨澜
缆侵堤柳系，幔宛浪花浮。
杜甫名人名言哲理格言警句语录 杜甫
作品总是在与其他作品对话。
The work is always in conversation with other works.
西蒙妮·利名人名言哲理格言警句语录 西蒙妮·利
一个人的品格不应由他的特殊行动来衡量，而应由他的日常行为来衡量。
爱默生名人名言哲理格言警句语录 爱默生
人唯有在能够感觉自己有价值时，才有勇气。
岸见一郎名人名言哲理格言警句语录 岸见一郎
Words are wise men's counters, they do but reckon by them; but they are the money of fools.
言语是智者的筹码，他们只是用它们来计算；但它们是愚人的金钱。
托马斯·霍布斯名人名言哲理格言警句语录 托马斯·霍布斯
为什么我们花了那么多时间长大，却只是为了分离？
巴勃罗·聂鲁达名人名言哲理格言警句语录 巴勃罗·聂鲁达
空谷传声，虚堂习听。
周兴嗣名人名言哲理格言警句语录 周兴嗣
没有理由说善不能像恶一样经常胜利。任何事物的胜利都是组织的问题。
There is no reason why good cannot triumph as often as evil. The triumph of anything is a matter of organization.
库尔特·冯内古特名人名言哲理格言警句语录 库尔特·冯内古特
实言实行实心，无不导人之理。
吕坤名人名言哲理格言警句语录 吕坤
Every brushstroke carries the weight of my thoughts and emotions.
爱德华多·纳兰霍名人名言哲理格言警句语录 爱德华多·纳兰霍
任何哲学给自己规定的任务都是把世界理解为合乎理性的，一切合乎理性的，一定也是必然的；一切必然的，应当成为现实的。
马克思名人名言哲理格言警句语录 马克思
最革命者，也会在不知不觉中成为最古老的传统的人。
罗曼·罗兰名人名言哲理格言警句语录 罗曼·罗兰
最好的剪辑是那些你注意不到的剪辑。
The best edits are the ones you don't notice.
杰米·塞尔柯克名人名言哲理格言警句语录 杰米·塞尔柯克
矛盾其实并不存在，你无论在什么时候遇到矛盾，检查一下你都有哪些前提，就会发现其中一个是错的。
安·兰德名人名言哲理格言警句语录 安·兰德
我们都以幸福为目标生活；我们的生活各不相同，却又相同。
"We all live with the objective of being happy; our lives are all different and yet the same."
伊丽莎白·斯特劳特名人名言哲理格言警句语录 伊丽莎白·斯特劳特
常思奋不顾身，而殉国家之急。
史记
司马迁名人名言哲理格言警句语录 司马迁