数学的論理は機械の思考を可能にします。
科学 92回閲覧