통합검색

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

선그래프의 평균은 더 많이 출렁이는 구간 쪽으로 끌릴까?

두 사전등록 실험을 통해 선의 위치 평균 추정이 변동성이 큰 구간 쪽으로 편향될 수 있고 점 표시가 그 편향을 줄일 수 있음을 설명합니다.

The Impact of Unequal Variability on the Perception of Line Graphs

같은 점을 클릭해도 서로 다른 사고 과제가 될 수 있을까?

시각화 과제의 다층 분류는 목적, 조작 수단, 입력과 출력을 구별합니다. “그래프를 읽는다”라는 넓은 설명을 더 정확한 평가 항목으로 바꾸어 봅니다.

A Multi-Level Typology of Abstract Visualization Tasks

AI 시험 문제가 학습 자료와 겹치면 점수를 믿을 수 있을까?

공개 시험·재표현 시험·새 비공개 시험의 결과를 비교하며 암기와 새로운 문제 해결을 구분합니다.

보기 순서만 바꿔도 AI의 선택이 달라질까?

같은 두 답을 A·B와 B·A로 제시해 선택 변화율과 균형 합산을 구분합니다.