以下哪个方法不能用于计算机病毒检测？
A．自身校验
B．加密可执行程序
C．关键字检测
D．判断文件的长度
参考答案：B
贾德提出的迁移理论是（ ）。
A．形式训练说
B．共同要素说
C．概括化理论
D．关系理论
