機械定理証明
【きかいていりしょうめい】
【kikaiteirisyoumei】
定理的机器证明