McCarthy? god = (λf . (λx . f (x x)) (λx . f (x x))) god (by definition of McCarthy?)
= (λx . god (x x)) (λx . god (x x)) (β-reduction of λf: applied main function to god)
= (λy . god (y y)) (λx . god (x x)) (α-conversion: renamed bound variable)
= god ((λx . god (x x)) (λx . god (x x))) (β-reduction of λy: applied left function to right function)
= god (McCarthy? god)
정말 무섭네요...
말이 씨가 된다더니...
이번 해에 무슨 악재가 들었는지 모르겠네요...
리습 덕분에 즐거웠고, 즐거워하고 있고, 앞으로도 즐거워할 겁니다...
편히 쉬시길...
Talk is cheap. Show me the code.
https://www.potatogim.net/
rip...
lisp...
There is no spoon. Neo from the Matrix 1999.
이제 슬슬 한명씩 떠나고 있군요. 순환의 시기가
이제 슬슬 한명씩 떠나고 있군요.
순환의 시기가 왔나 봅니다.
========================
조직 : E.L.D(Embedded Linux Developer/Designer)
블로그 : poplinux@tistory.com
카페 : cafe.naver.com/poplinux
임베디드 리눅스 관련 프리렌서 지향
오노.. 빅뉴스네요. 이분이 없었다면 emacs 도
오노.. 빅뉴스네요. 이분이 없었다면 emacs 도 없었겠죠.
명복을 빕니다
인공지능(Artificial Intelligence (AI)) 이라는 표현도 이 분이 만드셨네요
요즈음 김프에 빠져있는데 거기서 Script-Fu가
요즈음 김프에 빠져있는데 거기서 Script-Fu가 Scheme을 쓰는데 그게 또 LISP 종류라죠...
요즘 큰 인물들이 많이들 떠나네요...
세벌 https://sebuls.blogspot.kr/
immortal McCarthy!
McCarthy? = λf.(λx.f (x x)) (λx.f (x x))
McCarthy? god = (λf . (λx . f (x x)) (λx . f (x x))) god (by definition of McCarthy?)
= (λx . god (x x)) (λx . god (x x)) (β-reduction of λf: applied main function to god)
= (λy . god (y y)) (λx . god (x x)) (α-conversion: renamed bound variable)
= god ((λx . god (x x)) (λx . god (x x))) (β-reduction of λy: applied left function to right function)
= god (McCarthy? god)
고인의 명복을 빕니다. lisp은 잘모르지만 요즘
고인의 명복을 빕니다.
lisp은 잘모르지만 요즘 공부하는터라 많이 듣던 이름인데, 놀랍고 안타깝습니다..
한 세기를 지배할 법했던 언어중에 하나 올해는 뭔가
한 세기를 지배할 법했던 언어중에 하나
올해는 뭔가 저주가 걸린 것 같군요;;
평안하시길
삼가 고인의 명복을 빕니다.
삼가 고인의 명복을 빕니다.
재벌 2세가 재벌이 될 확률과
금메달리스트 2세가 금메달을 딸 확률이 비슷해지도록
자유오픈소스 대안화폐를 씁시다.
아이디의 아이디어 무한도전
http://blog.aaidee.com
귀태닷컴
http://www.gwitae.com
올해는 정말...
삼가 고인의 명복을 빕니다.
삼가 고인의 명복을 빕니다
http://techcrunch.com/2011/10/24/creator-of-lisp-john-mccarthy-dead-at-84/
-----
인공지능 창시자라는 사실을 모르는 이들이 의외로 많은
인공지능 창시자라는 사실을 모르는 이들이 의외로 많은 듯.
헉...
데니스리치도 하늘나라로 떠난지 얼마 안됐는데 벌써.... 명복을 빕니다.
---------------------------------------------------------------------------------
C(++)과 php 펄등을 공부하고있습니다.
반갑습니다! 리눅스 :-)
고인의 명복을 빕니다.
고인의 명복을 빕니다.
http://mr.hanul.co
고인의 명복을 빌면서... 최근 몇 달 사이에 IT
고인의 명복을 빌면서...
최근 몇 달 사이에 IT 거물들이 속속 세상을 떠나시네요..
이런 우스개 소리도 있더라구요..
"하늘나라에서 분명 전산화 프로젝트 발주를 한 것이다!!"
그곳에서 편히 쉬세요~
----------------------
얇은 사 하이얀 고깔은 고이 접어서 나빌레라