数学物理化学编程推理