可持续性不仅仅是关于环境,它还关乎人。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
成为一个作家就是成为一个永远在寻找真相的人。
毫无疑问:计算机处理数字-而不是符号。我们通过对活动进行数字化的程度来衡量我们的理解(和控制)。
Teachers are the most important role models in schools, the most instructive examples, and the most vivid examples for students.