통합검색

결과가 같아도 원인을 거꾸로 단정할 수 없다

가상의 출입문은 카드 인증이나 관리자 수동 해제 중 하나로 열립니다. 문이 열렸다는 결과만 보고 카드가 사용되었다고 거꾸로 추론하면, 같은 결과를 만드는 다른 원인을 놓치게 됩니다.

가끔 빌릴까 오래 쓸까, 이동거리가 답을 언제 바꿀까?

사용 횟수·대여 이동거리·묶음 수령·제품 수명·수선 여부·세척 조건을 바꾸어 구매와 대여의 가상 생애주기 부담과 교차점을 비교합니다.

Product Life Cycle Accounting and Reporting Standard

따옴표 안의 ‘내가’는 누구를 가리킬까?

겹친 인용의 따옴표·발화자 표시·인칭 표현을 바꾸어 ‘내가’의 가능한 화자를 좁히고, 직접 인용과 간접 인용에서 관점이 달라지는 이유를 확인합니다.

간접인용과 직접인용

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

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

Propositions as Types

인공지능(AI)가 생각과 행동을 번갈아 하면 무엇이 달라질까?

언어모델이 추론 흔적과 외부 행동·관찰을 번갈아 생성하는 ReAct 연구를 살펴봅니다. 전략과 환경 변화를 바꾸어 검증 가능한 경로를 비교하세요.

ReAct: Synergizing Reasoning and Acting in Language Models