自动定理验证じどう: 地动；自动ていり: 定理；命题しょうめい: 证明；表明；照明；照射；照度；采光；试验；试管；坚固性じどうていりしょうめいプログラム: 自动定理验证程序じどうていおんほしょう: 自动低音补偿下载手机日语词典可随时随地查词查翻译
