통합검색

같은 ‘여기’인데 서술자와 인물이 다른 곳을 가리킬 수 있을까?

말하는 사람·발화 위치·지시 표현을 바꾸어 ‘여기·거기·그 사람’의 해석 중심과 추가 문맥을 비교합니다.

Indexicals

지원 통로를 이용했으니 모두 우선카드를 가진 사람일까?

직원 동행·임시 허가 조건을 바꾸어 원규칙과 역조건을 따로 검사하고 역조건을 무너뜨리는 허용 반례를 찾습니다.

forall x: Calgary · The Material Conditional

AI가 긴 식별번호를 JSON 숫자로 옮기면 끝자리가 바뀔까?

긴 정수를 JavaScript 숫자로 읽고 JSON으로 다시 쓰면 일부 끝자리가 반올림될 수 있습니다. 안전 경계 안팎의 값을 바꿔 확인합니다.

60데시벨 소리 두 개를 합치면 120데시벨일까?

데시벨 숫자를 바로 더하지 않고 소리 에너지 비로 되돌려 합칩니다. 두 소리의 크기를 바꾸며 결합 레벨을 직접 계산합니다.

연 5퍼센트 복리는 해마다 같은 금액만 늘어날까?

복리는 지난 이자까지 다음 계산의 밑금액에 포함합니다. 원금·이율·기간·복리 횟수를 바꾸며 단리와 누적 차이를 비교합니다.