문돌이었다가(언어학) 컴공으로 넘어왔는데, 코딩보다는 기초이론이 재밌어서 호프스태더가 쓴 괴델의 증명 읽고 있다. 근데 어려움. 졸업하기 전까지 계산이론 커버하고 가야징...