해외 학술 연구

해외 학술 연구

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

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

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

해외 학술 연구의 7개 분야

조건 초기화

해외 학술 연구509편 · 478묶음

검색 결과 제목

  1. 11같은 논리 규칙을 따르는 두 세계는 크기도 같을까?
  2. 12모든 프로그램이 언젠가 멈출지 알아낼 수 있을까?
  3. 13같은 결론을 말해도, 전제의 종류가 다르면 같은 논증일까요?
  4. 14한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?
  5. 15다시 읽기와 기억에서 꺼내 보기, 언제 비교해야 할까?
논문 대담Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)Journal of the College of Islamic Sciences, no. 81, 64–87
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

같은 결론을 말해도, 전제의 종류가 다르면 같은 논증일까요?

10t 한계 교량과 8t 차량의 교육용 사례에서 정의와 판단, 추론의 형식과 전제 재료를 분리합니다. 하데르의 논문을 따라 논증·변증·수사·시·궤변의 목적과 근거가 어떻게 달라지는지 살펴봅니다.

Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)

논문 대담John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002), 55–74
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?

주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.

John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)

짧은 연구 읽기검사로 강화되는 학습: 기억 검사가 장기 기억을 높인다 (Test-enhanced learning: taking memory tests improves long-term retention)해외 학술 연구
논리교육과 평가해외 학술 연구 · 짧은 연구 읽기 · 일반

다시 읽기와 기억에서 꺼내 보기, 언제 비교해야 할까?

헨리 로디거와 제프리 카피키의 2006년 실험 논문 초록을 읽습니다. 글을 반복해서 읽는 방법과 자료를 보지 않고 내용을 떠올리는 방법의 결과가, 학습 직후와 며칠 뒤 검사에서 어떻게 달라졌는지 살펴봅니다.

검사로 강화되는 학습: 기억 검사가 장기 기억을 높인다 (Test-enhanced learning: taking memory tests improves long-term retention)

11–15 / 478묶음