February 19, 2026 4분 읽기 오토마타와 컴파일러 10 - 의미 분석과 타입 검사 파서가 잡지 못하는 오류를 의미 분석이 어떻게 잡아내는지, 그리고 타입 검사가 프로그램의 안전성을 보장하는 원리
February 25, 2026 4분 읽기 오토마타와 컴파일러 11 - 중간 표현과 최적화 컴파일러가 왜 중간 표현을 거치는지, 그리고 최적화가 어떻게 프로그램을 더 빠르게 만드는지
March 5, 2026 5분 읽기 오토마타와 컴파일러 12 - 코드 생성 최적화된 중간 표현이 실제 기계어로 변환되는 과정과, 오토마타 이론에서 시작하여 컴파일러 구현까지 이어지는 여정의 마무리
January 25, 2026 5분 읽기 컴퓨터 구조 05 - CPU 권한 수준과 보호 CPU가 왜 권한 수준을 구분하는지, x86 보호 링과 ARM 예외 수준이 어떻게 시스템을 보호하는지