Logicae Summit 2026 - 가상매듭 불변량 계산 프로그램 지난 Logicae Summit 2026에서 우리 팀(이진하, 이준석, 김효섭, 이도열)은 〈가상매듭이론 - H-polynomial 및 불변량 계산 알고리즘 구현〉을 발표했다. 다같이 준비하면서 즐거웠던 경험이었다.
