第十一讲: 从数到式的转变