앞으로의 삶 정적 분석하기 Permalink
김재호 / 02 Dec 2022
Posts by Category
Study
삽질의 즐거움: vim편
김재호 / 26 Sep 2022
창의성에 대한 단상: Coresspondence(대응), Isomorphism(동형), Equivalence(동치)
김재호 / 31 Jul 2022
개념정리: 의미 구조(Semantics)의 표현 방식들
김재호 / 30 Jul 2022
Records
생애 첫 수업조교
김재호 / 04 Jun 2022
Trip
2023 PLDI를 다녀와서 Permalink
김재호 / 11 Jul 2023