模型与推理

从原始来源出发，关注可以付诸实践的变化。