통합검색

전제를 한 번 더 써도 된다는 규칙을 막으면, 커리 역설을 피할 수 있을까요?

커리 집합 R의 자기소속과 축약·MP가 임의 결론으로 이어지는 과정을 추적합니다. 기본 논리의 축약 실패와 보수적 확장까지 견디는 조건을 구분하고 1993년 추측의 1997년 반례를 확인합니다.

Greg Restall, How to be Really Contraction Free (1993)

AI가 CSS의 width만 보고 화면의 상자 너비를 말해도 될까?

같은 width에 안쪽 여백과 테두리를 더하고 box-sizing을 바꾸어, 선언한 너비와 실제 테두리 바깥 너비를 비교합니다.

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

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

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

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

AI가 해제된 체크박스를 거짓 값으로 받아도 될까?

체크 상태·제출값·숨은 기본값을 바꾸어 서버가 받는 항목을 확인하고, ‘값 없음’과 ‘거짓’을 구분합니다.