통합검색

표 한 장은 어떻게 계산의 순서를 보여 줄 수 있을까?

결과값만 맞으면 계산 절차도 옳다고 할 수 있을까요? 에이다 러브레이스가 분석기관을 설명하며 남긴 ‘주 G’의 단계표를 따라 연산 명령, 기억장소, 중간값, 반복을 구별하고, 설계된 절차와 실제 실행의 증거가 어떻게 다른지 살펴봅니다.

곱셈표 없이 큰 수를 어떻게 곱했을까?

곱셈 기호와 암기한 구구단이 없다면 13×27을 어떻게 계산할까요? 린드 수학 파피루스에 남은 두 배·열 배 계산의 증거를 따라 한 수를 더하기 쉬운 조각으로 나누고, 고른 줄의 합이 왜 원래 곱과 같은지 검증합니다.

인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

Constitutional AI 공개본의 비판·수정과 AI 피드백 강화학습 절차를 구분하고, 원칙 선택과 평가의 남은 한계를 살핍니다.

Constitutional AI: Harmlessness from AI Feedback

“잘했어”라는 말만으로 다음 풀이가 좋아질까?

Hattie와 Timperley의 피드백 모형에서 목표·현재·다음 행동의 세 질문과 과제·과정·자기조절·자아의 네 수준을 구분합니다.

The Power of Feedback

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

Reynolds의 분리논리 해설을 따라 분리곱과 프레임 규칙이 서로 겹치지 않는 힙 영역에 대한 국소 추론을 어떻게 가능하게 하는지 살핍니다.

Separation Logic: A Logic for Shared Mutable Data Structures