程序员计算机代码类比推理