과학관 실험대에서 가설을 잠그고 같은 재료로 여러 번 실험한 뒤 심판이 증거를 확인하는 것과 같아요.
아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.왜 배우는지 쉬운 설명 보기
“가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요”에서 무엇을 먼저 확인해야 할까요?
01 · 같이 연습해요
작은 문제부터 하나씩 직접 풀어봐요
먼저 예상하고, 한 단계씩 확인하고, 막힌 곳을 고쳐 봐요. 도움을 열어도 괜찮아요. 도움을 본 문제는 나중에 모양을 바꿔 다시 풀어보면 됩니다.
연습에서 작성 중인 답0 / 8
01
찾아보기 · 기초
bm64-recognize: Evidence Foundry · 믿을 수 있는 성능 주장 만들기에서 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 순서로 실행한다.
짧은 이야기
BENCHMARK OBSERVATORY에는 ‘A가 B보다 빠르다’는 문장과 그래프가 도착한다. 학생은 숫자를 보기 전에 무엇을 비교했고 어디까지 말할 수 있는지 계약표로 분해한다.
이번에 해볼 것
네 성능 주장을 candidate·correctness gate·metric·workload·measurement boundary·environment·practical threshold·claim limit 열로 분류하세요. 측정할 수 없거나 의미가 다른 후보는 실행 전에 거절하세요.
먼저 볼 것
순차 탐색과 정렬+이진 탐색은 같은 membership 답을 내야 하지만 정렬 setup을 포함할지는 query 수와 claim에 따라 달라진다.
앞 원소 이동 배열 queue와 ring queue는 같은 FIFO 출력 순서를 보존해야 한다.
adjacency matrix BFS와 adjacency list BFS는 같은 시작점·도달 집합을 반환해야 하며 sparse·dense profile을 구분한다.
직접 구간 합과 prefix sum은 같은 query 답을 내야 하며 전처리와 query 수를 함께 봉인한다.
실행시간·메모리·에너지·보안은 서로 대신할 수 없는 별도 metric과 evidence다.
정답 대신 4단계 힌트 보기
먼저 볼 것
bm64: 집계 숫자를 가리고 비교 문제군·workload profile·protocol package의 64선택을 8 frame evidence line으로 보여 주는 interactive SVG에서 candidate 외에 달라진 조건과 raw point를 표시한다.
뜻 풀기
benchmark는 빠른 숫자 모음이 아니라 반증 가능한 claim·동일 output·versioned workload·공정한 측정·불확실성·bounded decision의 계약이다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.
8개 답이 남았습니다.
02 · 막힌 곳을 찾아요
틀린 답에서 생각이 갈라진 첫 지점 찾기
전부 다시 풀지 않아도 돼요.괜찮아요. 가장 빠른 숫자는 잠시 가리고 “가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요” 그림에서 서로 다른 조건 한 곳만 다시 찾아봐요.
막히는 이유와 고치는 방법 자세히 보기같은 곳에서 다시 막혔을 때 필요한 설명만 펼쳐 보세요.
헷갈림 01
결과를 본 뒤 metric·workload·threshold·포함 단계를 바꾼다.
겉으로 보이는 막힘
sealed claim과 최종 결론의 대상·분모·범위가 달라진다.
막힌 까닭
실행 전 protocol version을 봉인하지 않았다.
다시 해보는 방법
기존 run을 탐색 evidence로 격리하고 새 version claim·protocol로 전체 조합을 다시 실행한다.
헷갈림 02
최종 숫자나 chart 모양만 보고 output·setup·warmup·uncertainty·profile·energy/security boundary를 건너뛴다.
겉으로 보이는 막힘
후보 순서나 raw spread가 setup·warmup·state·environment와 함께 바뀐다.
막힌 까닭
equivalent work·measurement boundary·runtime control 중 하나가 깨졌다.
다시 해보는 방법
첫 divergence와 manifest diff를 보존하고 한 축만 수정해 paired raw run을 다시 수집한다.
헷갈림 03
raw·uncertainty·guardrail·claim boundary를 숨기고 항상 빠름 결론을 만든다.
겉으로 보이는 막힘
다른 estimator·seed·environment에서 승자가 바뀐다.
막힌 까닭
사람 판정보다 winner card를 강제했다.
다시 해보는 방법
immutable raw와 모든 gate를 복원하고 approve·revise·reject·inconclusive를 다시 판정한다.
03 · 내게 맞는 도움 고르기
같은 목표를 원하는 도움만큼 연습해요
안내 받으며
한 단계씩
네 단계 중 지금 필요한 한 단계만 열어 천천히 따라가요.
도움을 봐도 괜찮아요.혼자 해보기
내 힘으로
도움을 보지 않고 새 그림에서도 “가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요”의 비교 계약과 보류 조건을 한 번 만들어 보세요.
이름과 숫자만 바뀐 작은 문제부터 시작해요.더 도전하기
하나 더 바꾸기
시작점이나 선 하나를 더 바꾸고, 답이 달라지는지 먼저 예상해요.
한 번에 한 가지만 바꿔요.
내게 맞는 연습 방법 자세히 보기한 단계 도움, 혼자 하기, 한 걸음 더를 쉬운 말로 나눴어요.
한 단계 도움: 그림에서 지금 볼 한 곳만 짚고, 내 생각을 먼저 고른 뒤 다음 칸을 열어요.
혼자 해보기: 도움을 보지 않고 새 그림에서도 “가장 빠른 숫자보다 믿을 수 있는 주장을 만들어요”의 비교 계약과 보류 조건을 한 번 만들어 보세요.
한 걸음 더: 한 번에 약속 하나만 바꾸고 답이 어떻게 달라지는지 먼저 예상한 뒤 확인해요.
