程序测试可以用来显示错误的存在,但永远不能显示它们的缺失!
如果人们不相信数学是简单的,那只是因为他们没有意识到生活有多么复杂。
In semiconductors, we need the patience to sharpen a sword for ten years, but also the urgency to seize the day.