semantics 2 posts [Programming Languages #2] Structural Induction과 프로그램의 의미 정의 Mar 18, 2026 [Programming Languages #1] 프로그래밍 언어는 무엇을 배우는 학문인가? Mar 17, 2026