통합검색

‘그가 책을 건넸을 때 그는 웃었다’의 두 ‘그’는 같은 사람일까?

이름·담화 중심·앞 문맥·행동 의미를 바꾸어 민재와 도윤 가운데 남는 지시 후보와 보완할 단서를 비교합니다.

Employing the Centering Theory in Pronoun Resolution from the Semantic Perspective

80명이 시작했는데 50명만 끝냈다면 ‘모두 좋아졌다’고 써도 될까?

시작·완료·개선 인원과 미완료자 가정을 바꾸어 완료자 비율, 전체 하한·상한과 허용되는 결과 문장을 고칩니다.

CONSORT 2025

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

AI가 같은 답을 여러 번 하면 더 믿을 수 있을까?

다섯 번의 보이는 출력과 외부 정답을 나란히 두고, 높은 일치율이 도움이 되는 조건과 같은 오류가 반복되는 경우를 구분합니다.

함께 움직였다고 원인이라고 말할 수 있을까?

두 값이 함께 변한 관찰과 하나의 조건을 실제로 바꾸었을 때 생기는 차이를 공통 원인 그림으로 구분합니다.