Logicae Summit 2026 - 가상매듭 불변량 계산 프로그램
지난 Logicae Summit 2026에서 우리 팀(이진하, 이준석, 김효섭, 이도열)은 〈가상매듭이론 - H-polynomial 및 불변량 계산 알고리즘 구현〉을 발표했다. 다같이 준비하면서 즐거웠던 경험이었다.
Lee Doyeol
2025 Logicae Summit - 준비 후기
Logicae Summit은 로지케이의 구성원 학생들이 자신들의 주제에 관하여 다른 학생들이 새로운 분야에 입문하는 것을 도와주는 취지에서 시작되었습니다.
올해 2025 Logicae Summit에서 나는 방송 파트 전체를 담당하게 됐다.
생각보다 할 일이 많았고, 장비 셋업부터 루프 애니메이션 제작까지 혼자 챙기느라 빡세기도 했지만, 지나고 보니 꽤 재밌는 경험이었다. 이번 글에서는 ‘어떻게 준비했는지’, ‘어떤
딥러닝으로 증명하기(DL4TP)
https://github.com/ZHAOYU-LI/dl4tp
1. DL4TP란 무엇인가?
Welcome to our repository! This is a curated collection of resources related to deep learning for theorem proving.
수학 정리 증명(Theorem Proving) 분야는 오랫동안 사람이 작성한 논리 규칙 등에 기반해 발전해왔다. 하지만, 최근에는 대형 언어 모델(LLM)들이 빠르게 이
Notion에서 LaTeX 사용하기
글을 시작하기에 앞서..
필자는 노션을 매우 좋아하고, 노션과 노션 캘린더에 인생이 담겨있는 사람이다. KSA의 수학 수업을 정리하기 위해 LaTeX을 배우게 되었는데, 이 글에서 기초적인 Notion LaTeX 문법을 소개하려고 한다.
이 글에서 소개하는 LaTeX 문법은 기본적으로 Notion에서만 사용이 가능하기에, Overleaf 등에서 쓰이는 문법과는 조금 다르다. (기초적인 부분은 같다)
여담으로, LaTeX은 라텍스가