我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
最重要的是唤醒孩子自己的意志和创造能力。
快乐唔系拥有得多,而系计较得少。
理论计算机科学与应用数学之间的协同作用带来了曾经被认为不可能的突破。
我不让任何人夺走我的快乐。