PL
correct-by-construction
- 만들면서 올바름을 보장하는
- 만들면 다맞는
- 틀린걸만들수없는
- 옳도록 만들어지는
- 구성에 따라 옳은
댓글 9개
신
신채환·구성에 따라 옳은·18일 전
구성을 어떻게 했는가로부터 옳음을 자동으로 보일 수 있다는 점에서 ‘따름 정리[corollary]’를 떠올렸습니다.
- 구성06: 3등급 기초 어휘
- 따르다01, 옳다01: 1등급 기초 어휘
이
이광근/YiKwangkeun·18일 전
구성 => 어렵게 들리는데 굳이?
이
이광근/YiKwangkeun·18일 전
채환: 어깨힘 더 빼고 더 유연하게 흔들거라! 유연한 우리말 활용력? 시집을 닥치는대로 읽어보기 (유효한 처방일 것이다)
안
안중원·옳도록 만들어지는·20일 전
옳도록 만들어지는을 제안해요.
이
이광근/YiKwangkeun·틀린걸만들수없는·2달 전
틀린걸만들수없는을 제안해요.
이
이광근/YiKwangkeun·만들면 다맞는·2달 전
만들면 다맞는을 제안해요.
허
허기홍·만들면서 올바름을 보장하는·2달 전
만들면서 올바름을 보장하는을 제안해요.
이
이광근/YiKwangkeun·2달 전
만들게 되면 옳은게 되는(만들었으면 자동으로 다 맞는), 의 뜻을 짧게 전달하는 쉬운말이 있을듯해요. 뭔가 있어요 이 느낌의 말.
이
이광근/YiKwangkeun·2달 전
proof-by-construction하고 헷갈릴 수 있어요. 어떤게 존재한다는 명제를 증명할때, "proof-by-construction"은 존재하는 그런 것을 하나 만들어 보여서 증명하는 것을 뜻합니다. 다른 증명방법은: 없다고 가정하고 모순을 이끌어내기, 가 있고요.