derivation 1 post [Program Synthesis #13] Deductive Synthesis: Specification에서 프로그램을 유도하기 Mar 21, 2026