통합검색

기준 URL 끝의 슬래시 하나가 사진 주소를 바꿀까?

같은 photo.webp를 두 기준 주소와 결합하고, 끝의 슬래시와 맨 앞의 슬래시가 각각 어느 경로를 바꾸는지 확인합니다.

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

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

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

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

근거가 붙은 주장에 반례가 있는지, 어디까지 확인하면 될까요?

“이 자료가 이 주장의 근거다”라는 문장도 논리적으로 검사할 수 있을까요? 토마스 슈투더의 연구는 반례를 찾는 데 필요한 모형의 크기에 상한을 두는 조건을 다룹니다. 반례 하나를 찾는 일과 가능한 경우를 모두 확인하는 일을 구분해 읽습니다.

Thomas Studer, Justification logic enjoys the strong finite model property (2015)

AI가 열 자리 시간값을 초인지 밀리초인지 짐작해도 될까?

같은 숫자를 초와 밀리초로 각각 해석해 날짜가 얼마나 달라지는지 확인하고, 자릿수 추정과 명시된 단위 계약을 구분합니다.