12.6 用程序来表示人类的思考方式