仅靠技术无法拯救我们的海洋;这需要每个利益相关者的承诺。
任何经济理论的最终检验标准是它是否能改善现实世界的决策。
ENIAC是电子计算机发展史上的第一个巨大飞跃。