我们关注的不是数字,而是产生数字的那些东西。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
世界上最好和最美丽的东西是看不见甚至摸不到的 - 它们必须用心去感受。
"The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'"