통합검색

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.

Propositions as Types

자료를 더 넣으면 중요한 근거도 반드시 남을까?

여섯 자료 중 핵심 근거의 위치와 검토 예산을 바꾸어, 포함 여부를 규칙으로 직접 확인합니다.

AI를 바꾸면 예전 검사를 다시 해야 할까?

두 버전의 고정 검사 결과와 출시 기준을 바꾸어, 평균 개선 뒤에도 생길 수 있는 회귀를 찾습니다.

둘을 지우고 남은 하나를 고를 때

가상의 배송 경로 조사에서 세 후보 가운데 기록과 맞지 않는 두 경로를 차례로 제외합니다. 남은 후보를 선택하는 추론은 그 후보를 직접 관찰한 결과가 아니라, 대안들이 배제되었다는 결합 근거에 의존합니다.

마시멜로를 오래 기다린 아이는 반드시 더 잘 자랄까?

초기 후속 연구와 더 큰 개념적 재검토, 배경 통제 여부와 적용 질문을 선택해 허용되는 결론과 빠진 인과 근거를 구분합니다.

Predicting Adolescent Cognitive and Self-Regulatory Competencies From Preschool Delay of Gratification: Identifying Diagnostic Conditions