통합검색

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

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

Hector J. Levesque, Planning with Loops (2005)

자바스크립트에서 −1 % 7은 왜 6이 아니라 −1일까?

몫을 0 쪽으로 버리는 나머지 계산과 일곱 칸을 순환하는 위치 계산을 나누어 실행합니다.

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

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

수정할 수 없는 입력란도 폼 데이터에 들어갈까?

같은 값이 보이는 텍스트 입력란을 비활성화·읽기 전용으로 바꾸고, 브라우저가 만든 폼 데이터에 값이 포함되는지 확인합니다.

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

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