GeekNews범주론 그림으로 보는 순서Order Theory 기반 State Machine 전이 모델링 및 테스트 단순화Backendadvanced20 분 소요2026년 4월 20일