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ã•ã‚“も知らã¬é–“ã«ä¸€ã¤ã€Œå則ã€ã‚’犯ã—ã¦ã„ã‚‹ã“
{{#tags}}- {{label}}
{{/tags}}