기억에 남는 그래프가 더 잘 이해된 그래프일까?
대규모 시각화 기억 연구는 독특함과 색·사람 모양의 기억 효과를 보였지만 이해 정확성과는 구분해야 합니다.
What Makes a Visualization Memorable?
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과41건
검색 결과 제목
‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
Provability Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
인공지능(AI)에게 여러 번 물어 가장 많은 답을 고르면 더 정확할까?
자기일관성 방법은 다양한 풀이 경로에서 최종 답을 모읍니다. 정답률 개선과 답의 논리적 보증을 구별하고, 반복 답변의 독립성도 따져 봅니다.
Self-Consistency Improves Chain of Thought Reasoning in Language Models
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
논리적으로 같은 문장을 조금 바꾸면 인공지능(AI) 답도 그대로일까?
RobustLR는 최소 논리 편집과 동치 변환으로 연역 모델의 일관성을 검사했고, 학습된 모델들이 특히 부정에서 흔들림을 보였습니다.
RobustLR: A Diagnostic Benchmark for Evaluating Logical Robustness of Deductive Reasoners
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
자기 자신을 입력으로 받는 규칙은 왜 위험할까?
Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.
Type Theory
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
21–25 / 41편