통합검색

몇 번 해야 끝날지 몰라도, 반복 계획을 만들 수 있을까요?

나무가 언제 쓰러질지 모를 때 look·chop·store 행동을 반복 계획으로 묶습니다. 실제 F=3 실행 기록부터 N₁ 생성·N₂ 시험, 단순한 문제 조건과 N+2 정리의 적용 범위까지 살펴봅니다.

Hector J. Levesque, Planning with Loops (2005)

parseInt가 12를 돌려주면 입력 전체가 올바른 정수일까?

12px·12.5·1e3·빈 문자열을 실제로 변환하고, 앞부분을 읽는 함수와 전체 입력 형식을 검사하는 규칙을 비교합니다.

메아리가 0.2초 뒤 돌아오면 벽은 얼마나 멀리 있을까?

소리가 벽까지 갔다가 돌아오는 경로를 따라가며 전체 이동 거리와 벽까지의 거리를 구별합니다.

정규표현식에 m을 붙이면 점이 줄바꿈까지 찾을까?

A와 B 사이의 공백을 줄바꿈으로 바꾸고 s·m 설정을 비교합니다. 점이 허용하는 문자와 점이 반복되는 횟수를 따로 시험합니다.

AI가 HTTP Content-Length를 글자 수로 적어도 될까?

영문·한글·이모지 본문을 바꾸어 글자 수와 UTF-8 바이트 수를 비교하고, Content-Length에 들어갈 값을 검산합니다.