计算机、证明和证据
계산궤、증명화증거
Computer, Proof, and Testimony