증명과 프로그램이 같은 구조라고 말할 수 있을까?
Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.
Propositions as Types
개별 글보다 주제 전체를 따라 읽고 싶다면 대표 글과 연관 자료를 함께 보세요.
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.
Propositions as Types
성향점수는 관찰된 공변량을 균형화하지만 숨은 교란을 해결하지 않습니다.
The Central Role of the Propensity Score in Observational Studies for Causal Effects
미끼 선택지 연구는 지각적 근접성에 대한 민감도와 선택 맥락 효과의 관계를 살폈습니다. 집단 평균과 개인차, 연관과 원인을 구분해 읽습니다.
Attraction to similar options: The Gestalt law of proximity is related to the attraction effect
200만 단어가 넘는 세 장르의 논증 대화를 분석한 연구는 네 질문 유형이 논증 구조를 서로 다르게 움직인다고 분류했습니다.
Questions in argumentative dialogue
Tversky와 Kahneman의 기준점 실험은 무관한 시작값도 수량 추정의 출발점이 되어 조정이 부족할 수 있음을 보여 줍니다.
Judgment under Uncertainty: Heuristics and Biases
296–300 / 458편