통합검색

한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?

주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.

John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)

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

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

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

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

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

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

진자의 줄을 네 배 길게 하면 한 번 왕복하는 시간도 네 배가 될까?

줄 길이와 추의 질량을 따로 바꾸어 진자의 왕복 시간을 비교하고, 길이의 제곱근이 시간에 나타나는 까닭을 살핍니다.