PL
correct-by-construction
- 만들면서 올바름을 보장하는
- 만들면 다맞는
- 틀린걸만들수없는
댓글 5개
이
이광근/YiKwangkeun·틀린걸만들수없는·14시간 전
틀린걸만들수없는을 제안해요.
이
이광근/YiKwangkeun·만들면 다맞는·14시간 전
만들면 다맞는을 제안해요.
허
허기홍·만들면서 올바름을 보장하는·18시간 전
만들면서 올바름을 보장하는을 제안해요.
이
이광근/YiKwangkeun·14시간 전
만들게 되면 옳은게 되는(만들었으면 자동으로 다 맞는), 의 뜻을 짧게 전달하는 쉬운말이 있을듯해요. 뭔가 있어요 이 느낌의 말.
이
이광근/YiKwangkeun·14시간 전
proof-by-construction하고 헷갈릴 수 있어요. 어떤게 존재한다는 명제를 증명할때, "proof-by-construction"은 존재하는 그런 것을 하나 만들어 보여서 증명하는 것을 뜻합니다. 다른 증명방법은: 없다고 가정하고 모순을 이끌어내기, 가 있고요.