언어의 근간이 람다계산이다 튜링머시기다 이런거..
공부는 하고싶은데 먼책에 써있는지도 모르겠당