해외 논리학 논문·연구 해설

해외 학술 연구

그림으로 이해하고, 원문으로 깊이 읽습니다.

관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

해외 학술 연구의 7개 분야

읽기 난이도자료 유형조건 초기화

해외 학술 연구512편 · 481묶음

같은 원문을 다룬 글 묶기

표시정렬

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

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

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

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

시각화 수사 연구는 선택·강조·배치·주석이 독자의 해석 경로를 형성함을 사례 코딩으로 보이며, 정확한 수치만으로 중립성이 보장되지 않음을 설명합니다.

Visualization Rhetoric: Framing Effects in Narrative Visualization

인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

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

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

논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

세 실험 533명과 10만 건 넘는 단답 응답에서 초기 정답 반복의 이득은 재학습이 늘수록 줄었고, 넓은 간격의 재학습은 비교적 적은 추가 비용으로 장기 기억을 높였습니다.

Optimizing Schedules of Retrieval Practice for Durable and Efficient Learning: How Much Is Enough?

인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

스트루프의 원논문은 글자 읽기와 색 이름 말하기의 간섭을 서로 다르게 비교했습니다. 익숙한 반응이 현재 과제에 끼어드는 장면을 살펴봅니다.

Studies of Interference in Serial Verbal Reactions

396–400 / 481묶음