潜意识是未曾付诸文字的人类洪荒时代史。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
逻辑学研究不仅仅是关于推理规则,更是关于思想结构本身。
企业文化是它的支柱。没有强大的价值观,即使是最好的战略也会失败。
欲望是人的本质。
The only disability in life is a bad attitude.