통합검색

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

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

차가운 컵 겉면의 물방울은 컵 안에서 새어 나온 걸까?

실내 온도·습도·컵 표면 온도를 바꾸어 공기 중 수증기가 어느 조건에서 컵 겉면의 물방울로 바뀌는지 살펴봅니다.

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

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

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

참가자가 몇 명인지 몰라도, 각자 아는 내용을 논리로 검사할 수 있을까요?

회의 참가자마다 알고 있는 내용이 다릅니다. “모든 참가자가 누군가의 참석을 안다”는 말을 어떻게 적고 검사할까요? 사람을 가리키는 변수 두 개를 사용해, 이런 조건을 만족하는 상황이 가능한지 따지는 연구를 읽습니다.

Anantha Padmanabha · R. Ramanujam, Two Variable Fragment of Term Modal Logic (2019)

AI가 해시값이 같으면 파일을 누가 만들었는지도 알 수 있을까?

일반 해시는 내용 변화 확인에 쓰이지만 공개 계산이라 공격자가 파일과 해시를 함께 바꿀 수 있습니다. 변경·검사값·비밀키 조건을 바꾸며 근거 범위를 확인합니다.