第二节 分配类计算推理