# 플라톤의 언어관: 이데아론적 의미론 (Platonic Semantics via Theory of Forms) 플라톤의 언어관은 단어와 세계의 사물 간의 단순한 대응 관계를 넘어, 언어가 세계의 본질적 실재(이데아)를 어떻게 드러내고 표현하는지에 기반한다는 철학적 관점이다. 이 문서는 플라톤의 **이데아론(Theory of Forms)**을 바탕으로 한...
검색 결과
검색어를 입력하세요.
# WYSIWYM ## 개요 **WYSIWYM**(What You See Is What You Mean, 무엇을 의미하는지가 곧 결과다)은 문서 작성 및 편집 방식의 하나로, 사용자가 작성하는 콘텐츠의 **의미**(의도, 구조, 의미론적 역할)에 집중할 수 있도록 설계된 접근 방식입니다. 이는 전통적인 **WYSIWYG**(What You See Is ...
# 보존 정리 ## 개요 **보존 정리**(Preservation Theorem), 또는 **형식 보존**(type preservation), 때때로 **진전과 보존**(Progress and Preservation)의 일부로 언급되는 개념은 프로그래밍 언어의 **형식 시스템**(타입 시스템)에서 매우 중요한 성질 중 하나입니다. 이 정리는 "형식이 지...