40年前我导师有点不相信我对一个研究得很透的基础算法的提速，主要是我的口语太烂，激动了就更糟。好在算法正确性是可证明的。