통합검색

AI가 SQL LIKE의 밑줄을 글자 그대로 찾아도 될까?

파일 이름과 LIKE 패턴을 바꾸어, 밑줄 한 개가 실제 밑줄이 아니라 임의의 한 문자를 뜻하는 경우를 확인합니다.

AI가 URL의 +를 어디서나 빈칸으로 바꿔도 될까?

같은 A+B를 URL 경로와 폼 방식 검색어로 각각 해석해, 기호의 뜻이 문자열만이 아니라 처리 위치와 규칙에 달려 있음을 확인합니다.

AI가 에이치티티피 헤더 이름의 대문자와 소문자를 구분해도 될까?

에이치티티피(HTTP, 웹에서 요청과 응답을 주고받는 규칙)의 헤더 이름은 대문자와 소문자를 구분하지 않습니다. 표기와 비교 정책을 바꾸며 같은 필드를 놓치는 경우를 확인합니다.

요청을 받은 프로그램이 언젠가 응답한다는 것을 어떻게 증명할까요?

프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.

Amir Pnueli, The Temporal Logic of Programs (1977)

AI가 가족 이모지 하나를 여러 글자로 셀 수 있을까?

화면의 문자 하나가 여러 코드포인트와 UTF-16 단위로 이루어질 수 있습니다. 예시와 단위를 바꾸며 문자 수의 의미를 분리합니다.