关于爱情最悲哀的事情不仅是它不能永远持续,而且心碎很快就会被遗忘。
协作的文化打破了壁垒,释放了真正的潜力。
当事人应置身于利害之外,提出倡议的人则应设身于利害之中,才能知道利害得失。
宇宙正在膨胀,而且膨胀的速度在加快。
If one hears bad music it is one's duty to drown it by one's conversation.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."