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

관심 주제로 찾아보기
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
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
Benjamini–Hochberg 절차는 발견들 가운데 거짓 발견의 기대 비율을 통제합니다. 적어도 하나의 오류를 막는 가족단위 오류율과 분모가 다릅니다.
Controlling the False Discovery Rate: A Practical and Powerful Approach to Multiple Testing
Slamecka와 Graf의 다섯 실험을 통해 단어를 스스로 생성한 조건이 읽기 조건보다 이후 자유회상과 재인에서 우세했던 생성효과와 그 경계를 살펴봅니다.
The generation effect: Delineation of a phenomenon
31–35 / 101편