통합검색

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

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

Separation Logic: A Logic for Shared Mutable Data Structures

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.

Combinatory Logic

학생이 만든 문제를 더 풀면 학습 효과도 자동으로 커질까?

145명 5학년 준실험은 학생 생성 문항을 푸는 조건이 교사 문항이나 문제 생성만 한 조건보다 추가 이득을 보이지 않은 결과도 함께 보고했습니다.

Effects of Student-generated Questions as the Source of Online Drill-and-practice Activities on Learning

답이 길면 AI 심판은 더 좋은 답으로 볼까?

핵심 근거는 2개로 같은 60단어·180단어 답을 길이 보너스 규칙과 근거 루브릭으로 채점해 선택이 뒤집히는 과정을 확인합니다.

학생 100명이 네 반에 묶여 있으면 독립 정보도 100명분일까?

네 반 100명이 반 안에서 닮을 때 설계효과 3.4와 근사 유효 표본 29.4를 계산해 사람 수와 독립 정보량을 구분합니다.