통합검색

중간 정리 없이도 같은 결론을 증명할 수 있을까?

시퀀트 계산법에서 컷 규칙을 사용하는 증명과 컷을 제거한 증명을 비교하면서 부분식 성질과 무모순성의 범위를 살펴봅니다.

Gerhard Gentzen original 1935 publication

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

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

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

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

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

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

AI가 Base64로 바꾼 글은 암호처럼 안전할까?

Base64는 바이트를 제한된 문자 집합으로 표현하는 가역 인코딩입니다. 원문 길이를 바꾸며 출력 길이와 되돌릴 수 있는 성질을 확인합니다.