Egglog을 사용한 등식 포화를 이용한 선형 대수 최적화
2025-09-16
이 튜토리얼에서는 Egglog를 사용하여 선형 대수 최적화기를 구축하는 방법을 보여줍니다. 간단한 산술 표현식(상수, 변수, 덧셈, 곱셈)부터 시작하여 등식 포화를 이용하여 최적화 규칙(교환 법칙, 결합 법칙, 상수 폴딩)을 구축합니다. 튜토리얼에서는 변환기 정의, 재작성 규칙 작성, `egraph.run()`을 사용한 최적화 및 2 * (x * 3)과 6 * x의 동등성 검증 방법을 자세히 설명합니다.