통합검색

AI가 받은 규칙이 충돌하면 무엇을 먼저 지킬까?

개인정보 보호·마감·표현 형식 규칙을 바꾸어, 필수 제약과 선호가 충돌할 때 실행 경로를 확인합니다.

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

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

Propositions as Types

배터리 두 개가 모두 80%면 남은 에너지도 같을까?

서로 다른 용량의 배터리에 같은 80%가 표시될 때 남은 에너지와 사용량을 와트시로 비교합니다.

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

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

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

‘금요일까지 보내 주세요’—누가 무엇을 확인해야 전달이 끝날까?

요청 문장·받는 사람의 되짚기·보낸 사람의 확인을 바꾸어 확정된 조건과 남은 질문을 나눕니다.

Tool: Closed-Loop Communication