我不需要理由去自信。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

求知若饥，虚心若愚。

She was becoming herself and daily casting aside that fictitious self which we assume like a garment with which to appear before the world.

Literature is the memory of humanity.

我们生活在一个影子的世界里，我们所谓的现实只是影子的影子。