두 대상이 같다는 증거가 여러 가지일 수 있을까?
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
Homotopy Type Theory: Univalent Foundations of Mathematics
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
Homotopy Type Theory: Univalent Foundations of Mathematics
어려운 단서 인출의 이점이 피드백 뒤에도 유지되는가?
Feedback at Test Can Reverse the Retrieval-Effort Effect
완성 텍스트 읽기보다 일부를 생성할 때 학습이 높아지는가?
Text Generation Benefits Learning: a Meta-Analytic Review
정보 누출은 학습·평가 파일을 분리하는 것만으로 모두 막히지 않습니다. 자료를 가공하고 모형을 선택하는 전체 과정에서 경계를 지켜야 합니다.
Leakage and the Reproducibility Crisis in ML-based Science
단순 일치율과 카파는 우연 일치에 대한 가정이 달라 같은 자료에서도 다른 신뢰도 신호를 낼 수 있습니다.
Interrater Reliability: The Kappa Statistic
31–35 / 70편