언어론 수업 들을때 교수가 sicp 내용 중에서 핵심부분만 알려주고 거의 함수형 언어만 주구장창 가르침 교수가  formal method 이런거 국내에서 생소한 다룸 가만히 있어도 똑똑해보임... 다른 교수들과 레벨이 다르느낌


- dc official App