计算机科学家一次就能写出bug free代码，以前觉得很牛的呀。现在看来，是花了一个星期做数学形式化验证，以及对于错误代价的恐惧，比如错了就得再算上一天。其实我是想说，这事，我刚干了一次。错的弱智，一个变量导致计算结果覆盖了之前的结果，重算一次一天也就过去了。