증명과 프로그램은 어떻게 같은 구조를 가질까?
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
개별 글보다 주제 전체를 따라 읽고 싶다면 대표 글과 연관 자료를 함께 보세요.
그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

해외 학술 연구의 7개 분야
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
언어모델이 추론 흔적과 외부 행동·관찰을 번갈아 생성하는 ReAct 연구를 살펴봅니다. 전략과 환경 변화를 바꾸어 검증 가능한 경로를 비교하세요.
ReAct: Synergizing Reasoning and Acting in Language Models
산문을 반복해서 읽는 조건과 기억에서 꺼내 쓰는 조건을 비교한 고전 실험을 살펴봅니다. 학습 순서를 바꾸어 일주일 뒤 망각률 차이를 확인하세요.
Test-Enhanced Learning: Taking Memory Tests Improves Long-Term Retention
초기 후속 연구와 더 큰 개념적 재검토, 배경 통제 여부와 적용 질문을 선택해 허용되는 결론과 빠진 인과 근거를 구분합니다.
Predicting Adolescent Cognitive and Self-Regulatory Competencies From Preschool Delay of Gratification: Identifying Diagnostic Conditions
전국 9학년 무작위 실험과 여러 연구 메타분석을 선택해 표본·설계·대상에 따라 허용되는 결론을 구분합니다.
A national experiment reveals where a growth mindset improves achievement
116–120 / 417묶음