한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과23건

검색 결과 제목

  1. 6그래프는 표보다 언제 더 설득적일까?
  2. 7선택지가 많으면 언제나 선택이 어려울까?
  3. 8그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  4. 98,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
  5. 10좋은 문장 하나보다 대화의 주고받음이 더 설득적일까?
같은 데이터 40→60 → 그래프: 차이 강조 → 표: 수치 검산 → 사전 태도가 효과 조절를 비교하는 LTCT 교육용 도식

그래프는 표보다 언제 더 설득적일까?

같은 데이터 40→60 → 그래프: 차이 강조 → 표: 수치 검산 → 사전 태도가 효과 조절를 비교하는 LTCT 교육용 도식
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

그래프는 표보다 언제 더 설득적일까?

세 논쟁적 주제의 실험은 초기 태도가 약한 참가자에게 그래프의 설득 효과가 더 컸지만 강한 반대 태도에서는 달라질 수 있음을 보였습니다.

The Persuasive Power of Data Visualization

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
50개 연구 → 63개 비교 조건 → 참가자 5,036명 → 평균≈0·이질성 큼를 비교하는 LTCT 교육용 도식

선택지가 많으면 언제나 선택이 어려울까?

50개 연구 → 63개 비교 조건 → 참가자 5,036명 → 평균≈0·이질성 큼를 비교하는 LTCT 교육용 도식
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 심화

선택지가 많으면 언제나 선택이 어려울까?

50개 연구의 63개 조건과 5,036명을 종합한 메타분석은 선택 과부하의 평균 효과가 사실상 0에 가까웠지만 연구 간 차이가 컸다고 보고했습니다.

Can There Ever Be Too Many Options? A Meta-Analytic Review of Choice Overload

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
한 문제에서 첫 후보 하나와 8192개 후보 묶음이 각각 검증기로 들어가 pass at 1과 pass at 8192로 나뉘는 도식

8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?

한 문제에서 첫 후보 하나와 8192개 후보 묶음이 각각 검증기로 들어가 pass at 1과 pass at 8192로 나뉘는 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?

Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
언어 특징과 진입 시점 왕복 구조가 관찰된 설득 표시 노드에 합류하되 인과 확정 아님이 표시된다.

좋은 문장 하나보다 대화의 주고받음이 더 설득적일까?

언어 특징과 진입 시점 왕복 구조가 관찰된 설득 표시 노드에 합류하되 인과 확정 아님이 표시된다.
논증과 대화해외 학술 연구 · 연구 해설 · 심화

좋은 문장 하나보다 대화의 주고받음이 더 설득적일까?

온라인 토론 자료 연구는 설득 여부가 문장 특징뿐 아니라 참여 시점과 왕복 대화 같은 상호작용과 연결됨을 보여 줍니다.

Winning Arguments: Interaction Dynamics and Persuasion Strategies in Good-faith Online Discussions

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →

6–10 / 23편