타입이론 관심있어서 그쪽에서 쓰이는 수준으로만 공부 해보고싶음.대수학 강의는 들었었음