통합검색

문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?

논리 게임은 양화사 해석을 두 플레이어의 선택과 승리전략으로 바꿉니다.

Logic and Games

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

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

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

증명을 한 번에 쓰고 오류 메시지로 고치면 될까?

Baldur는 전체 Isabelle/HOL 증명을 생성한 뒤 오류 메시지로 수리합니다.

Baldur: Whole-Proof Generation and Repair with Large Language Models

정책 뒤 수치가 떨어지면 정책 효과라고 말해도 될까?

반환 누락이 정책 직전 46개에서 42개로 줄었다는 전후 차이 −4와, 기존 +2 추세를 연장한 48개 대비 직후 간격 −6을 구분합니다.

첫 측정이 극단적이면 다음에도 그대로일까?

첫 측정 88 이상만 고르면 처치 없이도 평균이 92에서 86으로 내려가는 예시로, 자연스러운 재측정 변화와 개입 효과를 분리합니다.