통합검색

도착 예정 5분은 얼마나 흔들릴까?

실시간 버스 예측 연구는 작은 화면에서 분위수 점그림이 밀도그림보다 확률 추정의 분산을 줄였다고 보고했습니다.

When(ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?

입출력 테스트와 형식 명세 증명은 어떤 다른 보장을 주는가?

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

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

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

A Multi-Level Typology of Abstract Visualization Tasks

완성된 풀이를 보여 주기만 하면 초보자가 배울까?

Atkinson·Derry·Renkl·Wortham은 풀이예시 연구를 인지부하 관점에서 종합해 예시-문제 쌍, 단계 표지, 자기설명과 점진적 빈칸의 설계 원리를 제안했습니다.

Learning from Examples: Instructional Principles from the Worked Examples Research

검색 문서 속 명령을 AI가 따라도 될까?

요약하려고 가져온 문서의 ‘승인 상태를 바꿔라’는 문장을 지시가 아닌 자료로 표시하고, 읽기 전용 권한으로 행동 경로를 차단하는 두 겹 방어를 비교합니다.