처음이어도 괜찮아요 · 그림부터 시작해요
다음 선택에 필요한 기억을 빠짐없이 찾아요
“다음 선택에 필요한 기억을 빠짐없이 찾아요”에서 무엇을 먼저 알아야 할까요?
먼저 떠올릴 생활 장면카드 게임에서 현재 점수만 같아도 남은 카드 색이 다르면 다음 행동이 달라지는 장면과 같아요.- 1짧은 이야기 읽기
- 2내 생각 하나 고르기
- 3네 걸음 같이 보기
- 4내 말로 한 줄 적기
02 · 낯선 말부터 풀기
정확한 이름보다 먼저 쉬운 뜻을 읽어요
처음 보는 말도 책 읽듯 풀어봐요
이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.
그림에서 찾을 쉬운 규칙
- 01그림 살펴보기: “다음 선택에 필요한 기억을 빠짐없이 찾아요”에서 달라지는 사람·칸·횟수 중 하나를 찾아요.
- 02작은 질문 만들기: 지금 장면에서 알아야 할 답을 내 말로 한 문장만 말해요.
- 03순서대로 이어 보기: 바로 답할 수 있는 가장 작은 장면에서 다음 장면으로 가요.
- 04다시 확인하기: 마지막 답이 만들어진 길을 되짚고, 다른 작은 예에서도 같은지 봐요.
03 · 그림으로 보기
다음 선택에 필요한 기억을 빠짐없이 찾아요 · 급식 식판 SVG
- 01오늘의 장면dp03 · 카드 게임에서 현재 점수만 같아도 남은 카드 색이 다르면 다음 행동이 달라지는 장면과 같아요.
- 02첫 걸음그림 살펴보기: “다음 선택에 필요한 기억을 빠짐없이 찾아요”에서 달라지는 사람·칸·횟수 중 하나를 찾아요.
- 03결과 열기내 답을 먼저 적은 뒤 결과를 열어 봐요.
04 · 책처럼 천천히 되짚기
방금 한 일을 한 줄씩 다시 읽어요
dp03 · 카드 게임에서 현재 점수만 같아도 남은 카드 색이 다르면 다음 행동이 달라지는 장면과 같아요.
tiny-state-sufficiency fixture with empty·tie·state-collision·boundary05 · 이제 내가 해볼 차례
여기까지 오면 이런 일을 할 수 있어요
“다음 선택에 필요한 기억을 빠짐없이 찾아요”에서 무엇을 먼저 알아야 할까요?
- 그림 살펴보기: “다음 선택에 필요한 기억을 빠짐없이 찾아요”에서 달라지는 사람·칸·횟수 중 하나를 찾아요.
- 작은 질문 만들기: 지금 장면에서 알아야 할 답을 내 말로 한 문장만 말해요.
- 순서대로 이어 보기: 바로 답할 수 있는 가장 작은 장면에서 다음 장면으로 가요.
- 다시 확인하기: 마지막 답이 만들어진 길을 되짚고, 다른 작은 예에서도 같은지 봐요.
오늘 해낼 일과 다 했다고 볼 기준 보기쉬운 순서를 익힌 뒤 더 정확히 확인하고 싶을 때 열어요.
코드 전에 다음 계약을 적는다: 같은 상태로 합친 두 과거는 앞으로 가능한 선택과 추가 비용이 모두 같아야 한다. 합칠 수 없으면 누락된 정보를 새 state dimension으로 추가하고 base·order를 다시 검사한다. 이어서 다음 위험을 collision witness·귀납·독립 oracle·mutant·비용 receipt 중 맞는 증거로 확인한다: 현재 합계만 저장해 마지막 선택이나 남은 횟수 때문에 달라지는 미래를 잃는다.
- dp03의 state가 답하는 질문과 모든 index 의미를 생활 말로 설명한다.
- dp03의 recurrence 경우·base·dependency order를 빠짐없이 적는다.
- dp03의 실제 답을 복원하고 correctness와 state×transition 비용을 분리한다.
- dp03 AI 후보와 expected oracle이 recurrence·cache·tie helper를 공유하지 않게 한다.
06 · 자주 헷갈리는 지점
틀린 답도 이유를 알면 다음에는 맞힐 수 있어요
처음부터 모두 맞힐 필요는 없어요.괜찮아요. 마지막 숫자는 잠시 가리고 “다음 선택에 필요한 기억을 빠짐없이 찾아요” 그림에서 먼저 달라지는 한 곳만 다시 찾아봐요.
헷갈리기 쉬운 이유 세 가지 보기내가 어디에서 다르게 생각했는지 찾고 싶을 때 열어요.
01dp03에서 같은 숫자가 나오면 같은 state다.
한 번 더 생각해 볼 질문같은 숫자지만 다음 합법 선택이 다른 두 이력을 만들 수 있는가?
이렇게 고쳐 생각해요state는 저장된 숫자가 아니라 앞으로 답할 부분 문제와 필요한 정보의 계약이다.
02dp03 점화식을 적었으므로 모든 입력에서 맞다.
한 번 더 생각해 볼 질문빠진 마지막 선택·겹친 경우·도달 불가 base 중 어느 반례가 있는가?
이렇게 고쳐 생각해요경우가 완전하고 배타적인지, base가 참인지, 더 작은 상태의 정확성이 원래 답으로 이어지는지 증명해야 한다.
03dp03 표가 자연스럽게 채워지므로 상태와 비용이 증명됐다.
한 번 더 생각해 볼 질문같은 animation을 보이면서 틀린 loop order나 불충분 state를 가진 mutant를 만들 수 있는가?
이렇게 고쳐 생각해요animation은 관찰 도구이며 독립 oracle·proof·state 수·transition work receipt를 대신하지 않는다.
07 · 더 궁금할 때만 보기
선생님과 검토자를 위한 믿을 만한 원문
원문과 어디까지 참고했는지 펼쳐 보기처음 배우는 동안에는 열지 않아도 괜찮아요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
