线性规划 营养成分 规划求解 printcap 风险投资商 斯坦福大学 诺贝尔奖获得者 IT时代