연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
장이브 지라르의 《Linear Logic》(1987)을 따라, 전제의 사용에서 증명망과 정규화까지 읽습니다. 14개의 문답, 15개의 생각그림, 세 가지 실험을 함께 담았습니다.
Jean-Yves Girard, Linear Logic (1987)
Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.
Linear Logic
Lipsitch 등의 음성 대조 개념을 통해 관찰연구의 숨은 교란과 편향을 진단하는 법을 탐구합니다.
Negative Controls: A Tool for Detecting Confounding and Bias in Observational Studies
SelfCheckGPT가 검은상자 생성 모델의 여러 표본 사이 불일치를 이용해 환각을 탐지한 방법을 읽고, 일관성과 사실성을 구분합니다.
SelfCheckGPT: Zero-Resource Black-Box Hallucination Detection for Generative Large Language Models
포함 연구·비교 질문·측정 방식을 바꾸어 직접 근거 수, 측정 한계와 허용되는 해석을 갱신합니다.
Do smartphone usage scales predict behavior?
1–5 / 23편
