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