처음이어도 괜찮아요 · 그림부터 시작해요
가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요
“가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요”에서 무엇을 먼저 확인해야 할까요?
먼저 떠올릴 생활 장면과학관 실험대에서 가설을 잠그고 같은 재료로 여러 번 실험한 뒤 심판이 증거를 확인하는 것과 같아요.- 1짧은 이야기 읽기
- 2내 생각 하나 고르기
- 3네 걸음 같이 보기
- 4내 말로 한 줄 적기
02 · 낯선 말부터 풀기
정확한 이름보다 먼저 쉬운 뜻을 읽어요
처음 보는 말도 책 읽듯 풀어봐요
이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.
그림에서 찾을 쉬운 규칙
- 01그림 살펴보기: “가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요”에서 후보 외에 달라지는 조건 하나를 찾아요.
- 02비교 질문 만들기: 누구에게 어떤 상황에서 어떤 숫자가 필요한지 한 문장으로 말해요.
- 03같은 절차로 재기: 정답과 입력을 확인한 뒤 원시 기록을 여러 번 남겨요.
- 04범위 안에서 판정하기: 흔들림과 다른 비용을 보고 채택·수정·기각·보류 중 하나를 골라요.
03 · 그림으로 보기
가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요 · 64선택 Evidence Foundry
1번째 확인, 비교 주장을 먼저 봉인. 최종 판정은 아직 열리지 않았습니다.
체험 학습 · 비교 실험
빠른 숫자보다, 다시 확인할 수 있는 주장을 만들어요.
틀린 답을 빨리 내거나, 한 후보의 준비 시간을 숨기면 좋은 비교가 아니에요. 같은 정답과 같은 일을 확인한 뒤 여러 원시 기록이 허용하는 범위 안에서만 결론을 내립니다.
수업의 정확한 실험 범위 보기
가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요가장 빠른 숫자를 고르는 대신 동일 output·workload·measurement·runtime control·raw uncertainty·profile·claim boundary를 64선택·512 addressable frame에서 감사한다.
- 01주장
- 02정답
- 03입력
- 04경계
- 05통제
- 06원자료
- 07분석
- 08판정
먼저 비교할 장면을 골라요
어떤 두 방법을 비교할까요?
입력과 실험 규칙 바꾸기tiny · cold · balanced control
실험 01 · frame 1/8
후보·metric·threshold·적용 범위와 금지할 일반화를 실행 전에 적었나요?
- 01 · 주장순차 탐색 ↔ 정렬 + 이진 탐색deterministic-abstract-work-tick · 차이 기준 5%
- 02 · 같은 정답아직 열지 않았어요
- 03 · 입력 지도아직 열지 않았어요
- 04 · 측정 경계아직 열지 않았어요
- 05 · 실행 통제아직 열지 않았어요
- 06 · 원자료아직 열지 않았어요
- 07 · 분석아직 열지 않았어요
작은 화면·정적 보기
원자료를 표로 확인해요
여섯 번째 확인에서 후보별 반복값을 집계하기 전 원자료 그대로 공개합니다.
04 · 책처럼 천천히 되짚기
방금 한 일을 한 줄씩 다시 읽어요
Evidence Foundry · sequential-search-vs-sort-binary/array-shift-queue-vs-ring-deque/matrix-bfs-vs-list-bfs/direct-sum-vs-prefix-sum × tiny-cold/growing-steady/structured-skewed/boundary-adversarial × balanced-control/asymmetric-setup/warmup-order-bias/ai-shared-oracle
4 comparison family × 4 workload profile × 4 protocol package = 64 selection; 8 frame per selection; 512 addressable frame; 11 final-only verdict05 · 이제 내가 해볼 차례
여기까지 오면 이런 일을 할 수 있어요
“가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요”에서 무엇을 먼저 확인해야 할까요?
- 그림 살펴보기: “가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요”에서 후보 외에 달라지는 조건 하나를 찾아요.
- 비교 질문 만들기: 누구에게 어떤 상황에서 어떤 숫자가 필요한지 한 문장으로 말해요.
- 같은 절차로 재기: 정답과 입력을 확인한 뒤 원시 기록을 여러 번 남겨요.
- 범위 안에서 판정하기: 흔들림과 다른 비용을 보고 채택·수정·기각·보류 중 하나를 골라요.
오늘 해낼 일과 다 했다고 볼 기준 보기쉬운 순서를 익힌 뒤 더 정확히 확인하고 싶을 때 열어요.
실행 전에 다음 계약을 봉인한다: Evidence Foundry의 결론은 correctness gate를 통과한 두 후보를 sealed workload·metric·환경에서 반복 측정한 bounded claim이다. SEAL_CLAIM→VERIFY_EQUAL_OUTPUT→MAP_WORKLOAD→MARK_TIMING_BOUNDARY→CONTROL_RUNTIME→COLLECT_RAW_RUNS→ANALYZE_AND_PROFILE→AUDIT_BOUNDED_CLAIM 순서로 실행한다. 이어서 다음 위험을 raw receipt·independent oracle·paired comparison·profile 또는 reproduction evidence로 확인한다: 최종 숫자나 chart 모양만 보고 output·setup·warmup·uncertainty·profile·energy/security boundary를 건너뛴다.
- bm64의 decision·candidate·metric·workload·claim boundary를 실행 전에 설명한다.
- bm64에서 correctness·setup·warmup·order·environment를 같은 protocol로 통제한다.
- bm64의 raw repetitions·spread·profile과 excluded run을 추적 가능하게 보존한다.
- bm64에서 evidence가 부족하면 inconclusive를 선택하고 bounded human verdict를 남긴다.
06 · 자주 헷갈리는 지점
틀린 답도 이유를 알면 다음에는 맞힐 수 있어요
처음부터 모두 맞힐 필요는 없어요.괜찮아요. 가장 빠른 숫자는 잠시 가리고 “가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요” 그림에서 서로 다른 조건 한 곳만 다시 찾아봐요.
헷갈리기 쉬운 이유 세 가지 보기내가 어디에서 다르게 생각했는지 찾고 싶을 때 열어요.
01bm64에서 가장 빠른 한 번이 후보의 실제 성능이다.
한 번 더 생각해 볼 질문같은 후보를 같은 입력으로 다시 실행했을 때 값이 달라지면 어떤 결론까지 허용되는가?
이렇게 고쳐 생각해요한 번의 관찰은 timer·order·환경 noise와 입력 우연을 분리하지 못하므로 raw repetitions와 protocol이 필요하다.
02bm64에서 더 빠른 후보가 더 좋은 정답이다.
한 번 더 생각해 볼 질문경계 입력을 틀리는 빠른 mutant가 timing winner가 될 수 있는가?
이렇게 고쳐 생각해요동일 output·오류·mutation·안전 계약을 통과한 후보만 성능 비교 대상이 된다.
03bm64 profile에서 큰 box가 보이면 원인과 개선이 증명됐다.
한 번 더 생각해 볼 질문같은 hotspot을 보이면서 실제 elapsed 차이가 없는 반례를 만들 수 있는가?
이렇게 고쳐 생각해요profile은 원인 후보이며 한 축 변경·correctness 재검증·uninstrumented benchmark가 필요하다.
07 · 더 궁금할 때만 보기
선생님과 검토자를 위한 믿을 만한 원문
원문과 어디까지 참고했는지 펼쳐 보기처음 배우는 동안에는 열지 않아도 괜찮아요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.