コンピューター科学者たちは嘘を証明する方法を発見 ノート