처음이어도 괜찮아요 · 그림부터 시작해요
무엇을 줄 세우고 무엇을 찾는지 정하기
입력, 줄 세우는 기준, 찾는 답을 먼저 약속하고 서로 다른 정답 규칙을 구별할 수 있어요.
먼저 떠올릴 생활 장면반 친구들을 키순으로 세우기 전에, 누구를 어떤 기준으로 세우고 누구를 찾을지 먼저 정하는 것과 같아요.- 1짧은 이야기 읽기
- 2내 생각 하나 고르기
- 3네 걸음 같이 보기
- 4내 말로 한 줄 적기
02 · 낯선 말부터 풀기
정확한 이름보다 먼저 쉬운 뜻을 읽어요
처음 보는 말도 책 읽듯 풀어봐요
이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.
그림에서 찾을 쉬운 규칙
- 01입력 카드와 찾는 질문을 서로 다른 색으로 표시해요.
- 02작은 값 먼저인지, 큰 값 먼저인지, 같은 값은 어떻게 둘지 말해요.
- 03정답이 값인지 위치인지, 첫 자리인지 끝 다음 자리인지 정해요.
- 04빈 줄·한 장·같은 값 카드에서도 약속이 그대로인지 확인해요.
03 · 그림으로 보기
카드가 움직이고 찾을 범위가 줄어드는 모습을 따라가요
- 01오늘의 장면도서 목록·성적표·상품 검색·로그 조사를 여덟 장 카드와 두 개 query로 줄여 무엇을 줄 세우고 무엇을 찾는지 정하기 판단을 수행한다.
- 02첫 걸음입력 카드와 찾는 질문을 서로 다른 색으로 표시해요.
- 03결과 열기내 답을 먼저 적은 뒤 결과를 열어 봐요.
04 · 책처럼 천천히 되짚기
방금 한 일을 한 줄씩 다시 읽어요
도서 목록·성적표·상품 검색·로그 조사를 여덟 장 카드와 두 개 query로 줄여 무엇을 줄 세우고 무엇을 찾는지 정하기 판단을 수행한다.
ss01 · 8-record public fixture · duplicate tie · deterministic key/query order05 · 이제 내가 해볼 차례
여기까지 오면 이런 일을 할 수 있어요
입력, 줄 세우는 기준, 찾는 답을 먼저 약속하고 서로 다른 정답 규칙을 구별할 수 있어요.
- 입력 카드와 찾는 질문을 서로 다른 색으로 표시해요.
- 작은 값 먼저인지, 큰 값 먼저인지, 같은 값은 어떻게 둘지 말해요.
- 정답이 값인지 위치인지, 첫 자리인지 끝 다음 자리인지 정해요.
- 빈 줄·한 장·같은 값 카드에서도 약속이 그대로인지 확인해요.
오늘 해낼 일과 다 했다고 볼 기준 보기쉬운 순서를 익힌 뒤 더 정확히 확인하고 싶을 때 열어요.
생활 기록 여덟 개에서 정렬 대상과 탐색 답을 분리해 두 가지 contract를 작성한다.을 수행하고 입력·key·query·출력·금지 연산을 연결한 문제 계약 카드로 order/query contract·invariant·cost·claim level을 독립 검증한다.
- 무엇을 줄 세우고 무엇을 찾는지 정하기의 input·output·key/comparator·tie·duplicate·mutation 계약을 AI 없이 먼저 고정한다.
- 값을 오름차순으로 만들라는 문제와 원래 순서를 보존해 조건을 찾으라는 문제를 같은 계약으로 읽는다.를 empty·singleton·all-equal·already-sorted·reverse·adversarial 중 해당하는 최소 반례로 재현한다.
- correctness와 comparison·write·space·preprocessing/query cost, library 문서와 측정 관찰을 서로 구분한다.
- 입력·key·query·출력·금지 연산을 연결한 문제 계약 카드와 사람의 accept·revise·reject 판정 및 보장하지 않는 범위를 제출한다.
06 · 자주 헷갈리는 지점
틀린 답도 이유를 알면 다음에는 맞힐 수 있어요
처음부터 모두 맞힐 필요는 없어요.괜찮아요. 처음 어긋난 한 단계만 찾아요. 방금 고른 위치를 지우기보다 입력·기준·질문 세 칸 중 비어 있는 한 칸부터 채워 보세요.
헷갈리기 쉬운 이유 세 가지 보기내가 어디에서 다르게 생각했는지 찾고 싶을 때 열어요.
01무엇을 줄 세우고 무엇을 찾는지 정하기에서 작은 예제의 최종 순서나 위치가 맞으면 기준·동률·중복·mutation 계약도 자동으로 맞다.
한 번 더 생각해 볼 질문도서 목록·성적표·상품 검색·로그 조사에서 같은 최종 값처럼 보이지만 안정성이나 위치 답이 달라지는 두 계약을 만드세요.
이렇게 고쳐 생각해요입력 record, 출력 형태, 정렬 key, 찾는 target과 허용 연산을 코드 전에 한 문장으로 고정한다.처럼 정답 전에 input·order·query contract와 observable result를 봉인해야 한다.
02탐색 질의(query) 한 번이 빠르면 모든 input order·key range·query count에서 같은 방법이 최선이다.
한 번 더 생각해 볼 질문값을 오름차순으로 만들라는 문제와 원래 순서를 보존해 조건을 찾으라는 문제를 같은 계약으로 읽는다.를 드러내며 선택이 뒤집히는 최소 input family를 제시하세요.
이렇게 고쳐 생각해요입력·key·query·출력·금지 연산을 연결한 문제 계약 카드에 worst case, preprocessing, comparison/write/space와 관찰값을 분리해야 한다.
03AI 구현과 AI가 만든 expected trace가 일치하면 무엇을 줄 세우고 무엇을 찾는지 정하기의 correctness와 성능이 독립 검증된다.
한 번 더 생각해 볼 질문값을 오름차순으로 만들라는 문제와 원래 순서를 보존해 조건을 찾으라는 문제를 같은 계약으로 읽는다.를 드러내는 AI-off fixture와 사람이 계산할 expected result를 쓰세요.
이렇게 고쳐 생각해요같은 가정을 공유한 두 결과는 독립 oracle이 아니며 손계산 trace·brute force·metamorphic relation·공식 계약 중 별도 근거가 필요하다.
07 · 더 궁금할 때만 보기