연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
요청 표현·기한·미완료 결과·되짚어 확인을 바꾸어 선택·권고·필수와 실제 합의 상태를 분리합니다.
RFC 2119 · Key words for use in RFCs to Indicate Requirement Levels
한 대명사에 가능한 사람이 둘일 때 문맥 단서와 명시적 이름이 해석을 어떻게 바꾸는지 직접 확인합니다.
Kripke의 진리 이론을 통해 다른 문장에 의존하는 진리 판정이 단계적으로 안정되는 과정과 자기지시 문장의 미정 상태를 살펴봅니다.
Outline of a Theory of Truth
Turpin 등의 연구를 통해 연쇄적 사고 설명이 그럴듯해도 입력의 편향 단서를 충실히 드러내지 않을 수 있음을 살펴봅니다.
Language Models Don't Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting
Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.
Linear Logic
26–30 / 203편
