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

관심 주제로 찾아보기
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
Homotopy Type Theory: Univalent Foundations of Mathematics
Correll과 Gleicher는 막대그래프 위 오차막대가 같은 거리도 평균 안쪽과 바깥쪽에서 다르게 판단하게 하는 ‘within-the-bar bias’를 실험했다.
Error Bars Considered Harmful: Exploring Alternate Encodings for Mean and Error
평균으로의 회귀를 이해하려면 출발값·변화량·측정의 흔들림을 함께 봐야 합니다. 보정 공식도 가정 검토를 대신하지 않습니다.
Correcting for Regression to the Mean in Behavior and Ecology
어려운 단서 인출의 이점이 피드백 뒤에도 유지되는가?
Feedback at Test Can Reverse the Retrieval-Effort Effect
Slamecka와 Graf의 다섯 실험을 통해 단어를 스스로 생성한 조건이 읽기 조건보다 이후 자유회상과 재인에서 우세했던 생성효과와 그 경계를 살펴봅니다.
The generation effect: Delineation of a phenomenon
161–165 / 400편