計算機科學是數十年來的證明，越是自動化，就能解決越多的問題，因此需要做的工作也越多。 這是建設者版本的傑文斯。