겹치는 이동의 방향 안전성

오늘의 질문

source와 destination range가 겹치면 아직 읽지 않은 값을 덮지 않는 이동 방향 또는 overlap-safe primitive를 선택한다. 이를 생략하면 오른쪽 shift를 앞에서부터 복사해 한 값을 suffix 전체에 반복하거나 API의 overlap 사전조건을 위반한다.에서도 이름과 평균적 인상만으로 그럴듯한 선택을 만들 수 있지만, 반증 가능한 sequence 결정은 남길 수 없습니다.

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

01 · 혼자 확인해요

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

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

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

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

01
먼저 생각하기 · 기초
al44 predict · 겹치는 이동의 방향 안전성: “오른쪽 shift를 앞에서부터 복사해 한 값을 suffix 전체에 반복하거나 API의 overlap 사전조건을 위반한다.” 조건에서 상태·비용·observer 유효성을 실행 전에 봉인한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
움직임과 비교
02
내 말로 설명하기 · 익힌 것을 써보기
al44 explain · 겹치는 이동의 방향 안전성: source와 destination range가 겹치면 아직 읽지 않은 값을 덮지 않는 이동 방향 또는 overlap-safe primitive를 선택한다.이 필요한 이유와 각 write 전에 unread source가 보존되는지 표시한 overlap trace만으로는 보장할 수 없는 범위를 설명한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
설명 기준과 비교
03
틀린 곳 고치기 · 익힌 것을 써보기
al44 debug · 겹치는 이동의 방향 안전성: AI가 만든 분석에 “오른쪽 shift를 앞에서부터 복사해 한 값을 suffix 전체에 반복하거나 API의 overlap 사전조건을 위반한다.”를 주입하고 최초 잘못된 가정만 수정한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
답과 설명 함께 비교
04
새 문제에 써보기 · 새 문제
al44 transfer · 겹치는 이동의 방향 안전성: in-place editor buffer·packet compaction·array rotation로 판단을 옮겨 보존할 sequence semantics와 달라지는 비용·수명 규칙을 방어한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
설명 기준과 비교

4개 답이 남았습니다.

02 · 나중에 한 번 더

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

겹치는 이동의 방향 안전성의 미공개 sequence에서 계약·총비용·observer 유효성을 독립 재구성하는 능력의 미공개 empty·singleton·middle·end·alias·reallocation fixture에서 AI 없이 계약·상태·총비용·observer verdict를 작성하고 deterministic replay evidence를 제출한다.

검증 과제

AI가 제안한 겹치는 이동의 방향 안전성 분석에 copy/view 혼동, size/capacity 혼동, locate cost 누락, stale observer, nested alias, exact growth 추측 또는 언어별 N/A 누락 중 하나 이상을 심어 독립 반례와 공식 근거로 찾아 수정한다.