통합검색

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

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

AI가 HTTP Content-Length를 글자 수로 적어도 될까?

영문·한글·이모지 본문을 바꾸어 글자 수와 UTF-8 바이트 수를 비교하고, Content-Length에 들어갈 값을 검산합니다.

AI가 YAML의 yes를 스키마 확인 없이 참으로 읽어도 될까?

같은 yes·no·on·off를 YAML 1.1과 1.2 핵심 스키마로 번갈아 해석해, 글자 모양만으로 값의 종류를 정할 수 없는 경우를 확인합니다.

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

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

빛보다 빠르게 움직일 수 없다는 결론은 어떤 가정에서 나올까요?

열차 안의 사람과 승강장의 사람은 같은 만남을 서로 다른 위치와 시각으로 기록할 수 있습니다. 헝가리 연구진은 이런 기록을 논리식으로 적고, 빛의 움직임에 관한 가정에서 어떤 결론이 나오는지 따졌습니다. 가속하는 관찰자까지 포함할 때 가정을 어떻게 바꾸는지도 살펴봅니다.

Hajnal Andréka · Judit X. Madarász · István Németi · Gergely Székely, A Logic Road from Special Relativity to General Relativity (2012)