변형(Variants)을 갖는 단순 타입 역방향 자동 미분: 준동일성 완성(Idempotent Completion)을 통한 의미론적 정확성

요약

본 논문은 변형(Variants)을 갖는 단순 타입 환경에서의 역방향 자동 미분(Reverse-mode automatic differentiation) 문제를 다룹니다. 기존의 의미론적 접근 방식이 단일 코탄젠트 타입을 가정하는 한계를 극복하고, 준동일성 완성(Idempotent Completion) 개념을 도입하여 변형 구조를 포함한 정확한 의미론적 프레임워크를 제시합니다.

핵심 포인트

• 변형 타입 환경에서 자동 미분은 기존의 단순 타입 표현을 방해함.
• 준동일성 완성 및 카루비 완성을 통해 의미론적 정확성을 확보함.
• 최종적으로 일반적인 대상 타입과 투영자만을 사용하여 변형을 갖는 역방향 자동 미분의 쌍카테시안 폐쇄 의미론을 구축함.