SICPã‚’èªã‚€(39) å•é¡Œ 2.6 Churchæ•° - ボクノス
ã‚ã‹ã‚‰ãªã„ã¨ãã¯ã€ã‚ã‹ã£ã¦ã„る所を書ã出ãã†ã€‚ Churchæ•°ã£ã¦ãªã‚“ã !! 404 Blog Not Found:Turingã¨Churchã®ç‹é–“㧠è¦ã¯ã€ã‚ã‚‹æ•°ã¯ã€ã‚る関数fを何回xã«é©ç”¨ã™ã‚‹ã‹ã€ã¨ã„ã†å®šç¾©ã«ã—ã¦ã—ã¾ã†ã®ã§ã‚る。 Church æ•° -- OCaml.JP OCamlã ã‘ã©ã€ã‚ã‹ã‚Šã‚„ã™ã„。 selflearn @ ウィ゠- SICP (å•é¡Œ2.1 -) ã‹ãªã‚Šå‚考ã«ãªã‚Šã¾ã—ãŸã€‚ ãªã‚“ã¨ãªã掴ã‚ãŸæ‰€ã§ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã€‚ ã¾ãšã¯å®šç¾© Church数を定義ã™ã‚‹ã¨ã€‚ (define zero (lambda (f) (lambda (x) x))) (define one (lambda (f) (lambda (x) (f x)))) (define two (lambda (f) (lambda (x) (f (f x))))) 実行ã—ã¦ã¿ã‚‹ã¨ã€ #ã‚’è¿”ã™ã ã‘ã§ã€ä½•ã‚’ã‚„ã£ã¦ã„ã‚‹
404 Blog Not Found:Turingã¨Churchã®ç‹é–“ã§
2006å¹´04月16æ—¥13:53 カテゴリMath書評/画評/å“è©• Turingã¨Churchã®ç‹é–“㧠The Emperor's New Mind Roger Penrose [邦訳:皇å¸ã®æ–°ã—ã„心] ãªã‚“ã§ã²ã’ã½ã‚“ãŒå復ãŒã™ãã«ã‚ã‹ã‚‰ãªã‹ã£ãŸã‹ã‚’憶測ã™ã‚‹ã¨ã€ã€Œå¤‰æ•°ã¨ã¯ä»£å…¥ã™ã¹ãã‚‚ã®ã€ã€ã¨ã„ã†æ‰‹ç¶šã型言語ã®å‘ªç¸›ãŒæ€ã„ç«‹ã¤ã€‚ã²ã’ã½ã‚“ã¯åˆ¥ã«ãŒã£ã‹ã‚Šã™ã‚‹å¿…è¦ã¯ãªã„。hyukiã•ã‚“ã•ãˆãã‚Œã«å¼•ã£ã‹ã‹ã£ã¦ã„ãŸã‚“ã ã‹ã‚‰ã€‚ ãã®è¨¼æ‹ ã‚’ã€ä»¥ä¸‹ã«ãŠè¦‹ã›ã™ã‚‹ã€‚ [çµ]2005å¹´8月 - www.textfile.org sub fix { my $G = shift; return $G->( sub { my $x = shift; return fix($G)->($x); } ); } ã“ã‚Œã¯Perlã§å®Ÿè£…ã—ãŸä¸å‹•ç‚¹é–¢æ•°ã§ã€å…¨ãå•é¡Œãªãå‹•ã。ã—ã‹ã—ã€hyukiã•ã‚“も知らã¬é–“ã«ä¸€ã¤ã€Œå則ã€ã‚’犯ã—ã¦ã„ã‚‹ã“
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
SICP Reading's Wiki - ä½é‡Ž
{{#tags}}- {{label}}
{{/tags}}