2.丢番图几何与规范理论