[일반] lambda calculus 관심 있는 사람 있음?

[기괴공학도(mecheng98)]

mapsto랑 ()를 가지고 만든 거임.
Github 마이너 갤러리에 연재되어있음.

- 희망의 등불

[궁닙꾸거원(psets)]

컴공과 가서 굶어 뒤지는 건 매우 힘들다. 근데 그걸로 박사학위 받으면 굶어 뒤질 수 있음.

[익명(119.202)]

이분은 빛갓공학과에 취미로 하시는 분이라 굶어죽을 걱정은 안해도댈듯 ㅋㅋ

[기괴공학도(mecheng98)]

제가 심심해서 공부해본 첫번째 수학입니다. - 훈다리 훈다리

[궁닙꾸거원(psets)]

Haskell이나 OCaml 쓰시나요?

[기괴공학도(mecheng98)]

아니요. 함수형 언어의 배경지식 쌓으려고 한 건데, 읽어도 함수형 언어 잘 모르겠어요. - 훈다리 훈다리

[익명(119.202)]

람다 계산 재밌져 ㅋㅋ

[익명(119.202)]

여기도 연재글 올려보시면 어떨까여

[기괴공학도(mecheng98)]

네 그럴게요 - 훈다리 훈다리

[익명(119.202)]

아 근데 님 무슨 자료로 공부하시는 지 알겠음 ㅋㅋ

[기괴공학도(mecheng98)]

람다 대수는 H.Barendregt이 쓴 입문서 보고 했어요. - 훈다리 훈다리