한 번 고른 답이 끝까지 괜찮은지 확인해요

오늘의 질문

친구와 카드 답을 하나씩 비교하며 처음 달라진 곳에 표시를 붙이는 상황과 같아요.

아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.

왜 배우는지 쉬운 설명 보기

오늘은 “한 번 고른 답이 끝까지 괜찮은지 확인해요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.

01 · 혼자 확인해요

연습한 문제를 다시 풀며 혼자 확인하기

지금은 방금 연습한 문제를 다시 보는 시간이에요.아직 “완전히 익혔다”고 기록하지 않아요. 나중에 모양이 다른 문제도 도움 없이 풀면 그때 다시 확인할 수 있어요.

선생님과 검토자가 보는 확인 기준처음 풀 때는 이 숫자를 몰라도 괜찮아요.

답과 과정 확인: 80% 이상
내 말로 설명: 80% 이상
막힌 곳 고치기: 80% 이상
다른 문제에 써보기: 80% 이상

스스로 확인하며 작성 중인 답0 / 4

01
먼저 생각하기 · 기초
gd64 Safe Choice Forge · 한 번의 선택을 증명하기 · predict에서 4 workload×4 policy×4 profile의 64선택과 선택당 8프레임, 총 512프레임을 objective·feasibility·local choice·proof/counterexample·verdict로 판정한다.
짧은 이야기
학생은 네 장의 생활 그림에서 정책의 첫 선택을 눈으로 예측한다. 정답을 누르기 전에는 최종 verdict가 보이지 않는다.
이번에 해볼 것
각 그림에서 첫 선택 카드와 그 뒤에도 남는 선택지를 고르세요. 그런 다음 왜 안전해 보이는지 한 문장, 아직 증명되지 않은 부분 한 문장을 적으세요.
먼저 볼 것
- max-compatible-activities × earliest-finish-first: [0,2), [1,5), [2,4), [4,7)
- fractional-capacity-value × highest-value-density: (cost,value) = (2,8), (3,9), capacity 4
- minimum-spanning-forest × minimum-safe-connector: A-B(1), B-C(2), A-C(2)
- indivisible-capacity-value × largest-immediate-gain: (weight,value) = (4,7), (3,6), (3,6), capacity 6
- 그림의 색은 후보를 구분할 뿐 correctness를 뜻하지 않는다.
순서대로 적기 · 혼자 고른 답과 까닭 한 줄완벽하지 않아도 괜찮아요. 내 생각을 짧은 한 문장으로 적어 보세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
정답과 비교

한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.

4개 답이 남았습니다.

02 · 나중에 한 번 더

모양이 다른 문제에서도 같은 생각을 써봐요

새로운 “한 번 고른 답이 끝까지 괜찮은지 확인해요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.

혼자 확인하기

처음 보는 비슷한 문제를 도움 없이 다시 풀고, 달라진 첫 지점을 내 말로 설명해 보세요.

혼자 해냈다고 볼 기준 보기선생님이나 검토자와 결과를 확인할 때 사용할 기준이에요.

gd64 Safe Choice Forge · 한 번의 선택을 증명하기의 미공개 empty·singleton·tie-heavy·counterexample·integrality-change·objective-change·overflow·scale fixture에서 AI 없이 contract·ordered choice trace·proof 또는 최소 반례·independent optimum·human verdict를 작성하고 deterministic replay evidence를 제출한다.

AI가 제안한 Safe Choice Forge · 한 번의 선택을 증명하기 설명에 local-is-global·example-is-proof·fractional-to-integral copy·weighted interval earliest-finish·negative-edge Dijkstra·heap-is-proof·hidden tie·approximation-is-exact·market-is-standard·API-is-runtime 중 하나 이상을 심어 공식 source와 독립 oracle로 찾아 수정한다.