통합검색

두 평가자가 많이 동의하면 AI 검사는 믿을 만할까?

두 평가자의 2×2 판정표를 바꾸어 단순 일치율과 우연 기대 일치, 카파를 비교합니다.

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.

Propositions as Types

80명이 시작했는데 50명만 끝냈다면 ‘모두 좋아졌다’고 써도 될까?

시작·완료·개선 인원과 미완료자 가정을 바꾸어 완료자 비율, 전체 하한·상한과 허용되는 결과 문장을 고칩니다.

CONSORT 2025

모두 일관되게 투표했는데, 다수결은 왜 모순일까?

같은 세 사람의 표를 전제별로 합칠 때와 결론으로 합칠 때 결과가 갈립니다. 표를 직접 바꾸며 두 경로를 비교합니다.

Aggregating Sets of Judgments: An Impossibility Result

왜곡된 그래프를 고칠 때 장식을 모두 없애야 더 잘 배울까?

2026년 PLOS One 연구에서 올바른 그래프를 보여 주는 교정은 효과가 있었지만, 장식을 없앤 깨끗한 디자인이 원래 디자인을 유지한 교정보다 낫지는 않았습니다.

Debunking Misleading Graphs Effectively: How Vocationally Educated Young Adults Perceive Graphs