# 보존 정리 ## 개요 **보존 정리**(Preservation Theorem), 또는 **형식 보존**(type preservation), 때때로 **진전과 보존**(Progress and Preservation)의 일부로 언급되는 개념은 프로그래밍 언어의 **형식 시스템**(타입 시스템)에서 매우 중요한 성질 중 하나입니다. 이 정리는 "형식이 지...
검색 결과
"형식 보존"에 대한 검색 결과 (총 2개)
LyX ##요 **LyX**는 WIWYM**(What You See Is You Mean**, "는 것이 의미하는 바 나타낸다")을 지향 문서 작성 도구로, 사용자에게 LaTeX의 강한 조판 기능을픽 사용자 인터페이스(GUI)를 통해 보다 쉽게 접근할 수 있도록 설계된 오픈소스 소프트웨어이다. LyX는 전통적인 WYSIW**(What You See Wh...