위에 Turing Computable function에 대한 답변으로 guest님이 답하신 글이 사라졌네요. 음. "Curry-Howard Isomorphism."에 대한 글이었는데... 이에 대해서 많이 아시는 분 이야기좀 해주세요. ------- 감사합니다. 초보는 외로워~ ---------------------------------------------------------------------------- A : 뭘 그렇게 생각하니 ? 어떤꽃인지아직도보지못했다. 정근 : 나 ... 난 말이지, 난, 나는 ... 봄에만살짝피었다지는꽃. *** 수선화 애인 *** 어떤꽃일까 ? ----------------------------------------------------------------------------