Paul Grahamæ°ã®è‘—書On Lispã®é‚¦è¨³ã‚’ç„¡å„Ÿã§å…¬é–‹ã—ã¦ã„ã¾ã™ï¼ŽCommon Lispã®ãƒžã‚¯ãƒã«é–¢ã™ã‚‹è²´é‡ãªæƒ…å ±ãŒã„ã£ã±ã„ã§ã™ï¼Ž
On Lisp
Paul Grahamæ°ã®è‘—書On Lispã®é‚¦è¨³ã‚’ç„¡å„Ÿã§å…¬é–‹ã—ã¦ã„ã¾ã™ï¼ŽCommon Lispã®ãƒžã‚¯ãƒã«é–¢ã™ã‚‹è²´é‡ãªæƒ…å ±ãŒã„ã£ã±ã„ã§ã™ï¼Ž
よã†ã“ãã€â„ƒ-ute 㪠Lisp ã®ä¸–ç•Œã¸
発祥: http://ex23.2ch.net/test/read.cgi/morningcoffee/1188654905/ ã¯ã˜ã‚ã«Scheme ã¨ã„ㆠLisp 語æ—ã®è¨€èªžã‚’用ã„㦠℃-ute ã®ç›¸é–¢é–¢ä¿‚をプãƒã‚°ãƒ©ãƒ ã—ã€æ§˜ã€…ãªè§’度ã‹ã‚‰é–¢ä¿‚性を分æžã™ã‚‹æ‰‹æ³•ã‚’紹介ã—ã¦ã„ãã¾ã™ï¼ˆã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã¯æœ€å¾Œã«å¼µã‚Šã¾ã™ï¼‰ã€‚ ã¾ãšã¯ã€ãƒ¡ãƒ³ãƒãƒ¼é–“ã®é–¢ä¿‚を「リストã€ã¨ã„ã†ãƒ‡ãƒ¼ã‚¿åž‹ã§è¡¨ç¾ã—ã¾ã™ã€‚例ãˆã°ã€Œæ žèœ->æ„›ç†ã€ã¨ã„ã†é–¢ä¿‚㯠(kanna . airi) ã¨ã„ã†å½¢ã§è¡¨ã™ã“ã¨ãŒã§ãã¾ã™ã€‚ã“ã‚Œã«ã€ã€Œå¤§å¥½ãã€ã¨ã„ã†æƒ…å ±ã‚’ä»˜åŠ ã—ã€ã¤ã„ã§ã«ãã®é–¢ä¿‚ã®æ€§è³ªã‚’数値化ã—ãŸã‚‚ã®ã‚’åŠ ãˆã‚‹ã¨ ((kanna . airi) (desc "大好ã") (score . 1)) ã®ã‚ˆã†ã«ãªã‚Šã€é–¢ä¿‚図ã«ãŠã‘る一ã¤ã®çŸ¢å°ã®æƒ…å ±ã‚’ãƒ‡ãƒ¼ã‚¿åŒ–ã§ããŸã“ã¨ã«ãªã‚Šã¾ã™ï¼ˆæš«å®šçš„ã«ã€å¥½æ„㯠1ã€è‰¯å¥½ãƒ»ä¸ç«‹ã¯ 0ã€é™ºæ‚ªã¯ -1 ã®ï¼“段階ã§è¡¨ã™ã“ã¨ã«ã—ã¾
Lisp:Så¼ã®ç†ç”±
Så¼ã¯äººã«å„ªã—ã„ã‹ Shiro: Lispã®ä¸äººæ°—ã®ç†ç”±ã¨ã—ã¦ç†é ã«ä¸Šã’られるã®ãŒã€æ‹¬å¼§ã らã‘㮠独特ã®è¦‹ãŸç›®ã€‚ã¨ã£ã¤ãã«ãã„ã€ä¸€èˆ¬çš„ãªè¡¨è¨˜æ³•ã¨é•ã£ã¦ã„ã¦ã‚ã‹ã‚Šã«ãã„〠ç‰ã€…ã€æ§˜ã€…ãªã“ã¨ãŒè¨€ã‚ã‚Œã¦ãã¾ã—ãŸã€‚ã—ã‹ã—〠Så¼ã‚’æ¨ã¦ãŸLispも開発ã•ã‚Œã¾ã—ãŸãŒ æµè¡Œã£ãŸã¨ã¯ã„ã„難ãã€Lispãªäººã€…ã¯ã„ã¾ã ã«æ‹¬å¼§ã«å›ºåŸ·ã—ã¦ã„ã‚‹ã‹ã®ã‚ˆã†ã§ã™ã€‚ Så¼ã®ãƒ¡ãƒªãƒƒãƒˆã‚’Lisperã«å°‹ãã‚Œã°ã€ã‚¨ãƒ‡ã‚£ã‚¿ãŒã©ã†ã®ã€ãƒžã‚¯ãƒãŒã©ã†ã®ã€ã¨ã„ã£ãŸ 回ç”ãŒçœŸã£å…ˆã«è¿”ã£ã¦æ¥ã‚‹ã¨æ€ã†ã‚“ã§ã™ãŒã€ãã†ã„ã†ç†å±ˆã‚’ã„ãらç†è§£ã—ã¦ã‚‚ Så¼ãŒãƒ€ãƒ¡ãªäººãŒSå¼ã‚’好ãã«ãªã£ãŸã‚Šã¯ã—ã¾ã›ã‚“。ã©ã†ã‚‚ã€ã‚‚ã£ã¨æ ¹æœ¬çš„㪠感覚ã«å¤§ããªéš”ãŸã‚ŠãŒã‚るよã†ãªæ°—ãŒã—ã¾ã™ã€‚éžLisperã‹ã‚‰ç†è§£ã—ãŒãŸã„〠Lisperã®æŒã¤æ„Ÿè¦šã¨ã¯ã©ã‚“ãªã‚‚ã®ãªã‚“ã§ã—ょã†ã‹ã€‚Lisp脳ã‹ã‚‰è¦‹ãŸä¸–界㯠ã©ã‚“ãªã‚‚ã®ãªã®ã§ã—ょã†ã‹ã€‚ 構文木を人間ãŒæ›¸ã? Så¼ã¯è¨€ã£ã¦ã¿ã‚Œã°è¨€èªžã®æ§‹æ–‡æœ¨ã
Lisp:Geometry
(Shiro: ç§ã¯Nichimen Geometryã«ãªã£ã¦ã‹ã‚‰ã€ プラグイン書ãç‰ã§å°‘々ã„ã˜ã£ãŸã«ã™ãŽãªã„ã®ã§ã€ Symbolics時代ã®ã“ã¨ã¨ã‹ã€å‘¨è¾ºäº‹æƒ…ã«ã‚‚ã‚ã¾ã‚Šè©³ã—ããªã„ã£ã™ã€‚ è˜è€…ã®æ–¹ã€ãŒã‚“ãŒã‚“ä¿®æ£ã—ã¦ãã ã•ã„)。 (khashi)ã€€æƒ…å ±è¿½åŠ ã—ã¨ã„ãŸã‚“ã§ã™ãŒã€ã¾ã¨ã¾ã‚ŠãŒãªããªã£ã¦ã—ã¾ã£ãŸã‚“ã§ã€é©å½“ã«æ•´ç†ã—ã¨ã„ã¦ãã ã•ã„。 Geometryã¨ã¯ Lispã§æ›¸ã‹ã‚ŒãŸãƒ¢ãƒ‡ãƒªãƒ³ã‚°ãƒ„ール。 ã‚‚ã¨ã‚‚ã¨Symbolicsã®ã‚°ãƒ©ãƒ•ã‚£ãƒƒã‚¯ã‚¹ãƒ»ãƒ‘ッケージS-Products ã®ãƒ¢ãƒ‡ãƒªãƒ³ã‚°ãƒ»ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã€‚ 1981年公開ã®æ˜ 画「トãƒãƒ³ã€ã®ãƒ¢ãƒ‡ãƒªãƒ³ã‚°ã‚’担当ã—ã¦ãŸLarry Maloneã«ã‚ˆã£ã¦é–‹ç™ºã•ã‚ŒãŸã€‚　ã“ã®ãƒ„ールãŒæœ€åˆã«æ—¥æœ¬ã§ãƒ‡ãƒ¢ã•ã‚ŒãŸã®ã¯1985å¹´ã®ç‘æ³¢åšè¦§ä¼šã‚¢ãƒ¡ãƒªã‚«é¤¨ã€‚ 市販ã•ã‚Œã¦ã‹ã‚‰20å¹´ã®æ´å²ã‚’æŒã£ã¦ã„る。　尚且ã¤20å¹´é–“1人ã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã‚ˆã£ã¦ãƒ¡ãƒ³ãƒ†ãƒŠãƒ³ã‚¹ã•ã‚Œã¦ã„る。 開発当åˆã¯ã€Zeta
Lisp:よãã‚ã‚‹æ£è§£ - Lispã«ã¤ã„ã¦ã®æ£ã—ã„èªè˜ã¨ã€ãã‚Œã§ã‚‚LisperãŒLispを使ã†ç†ç”±
Lispã«ã¤ã„ã¦ã®æ£ã—ã„èªè˜ã¨ã€ãã‚Œã§ã‚‚LisperãŒLispを使ã†ç†ç”± yoriyukiã•ã‚“ã®ã‚¨ãƒ³ãƒˆãƒªãŒãªã‹ãªã‹ 真実をçªã„ã¦ã„ãŸã®ã§ã€ãƒã‚¿ã«ã•ã›ã¦ã„ãŸã ãã¾ã™ã€‚ åŽŸå› ã®ã»ã¨ã‚“ã©ã¯çµŒè·¯ä¾å˜æ€§ã¨ã‹ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯åŠ¹æžœã«ã‚ˆã‚‹ã‚‚ã®ã§ã€Lisp自体ã®æ€§è³ªã¨ã¯ç„¡é–¢ä¿‚ã ã¨æ€ã„ã¾ã™ã€‚ã¨è¨€ã£ãŸä¸Šã§ã€ç§ãŒä½•ã¨ãªãLisp系言語を使ã‚ãªã„ç†ç”±ã¨ã—ã¦ã¯ã€ Too dynamic: 実行時ã«ã‚³ãƒ¼ãƒ‰ãŒå·®ã—替ãˆã‚‰ã‚Œã‚‹ã“ã¨ãŒã™ã”ã„利点ã ã€ã¨è¨€ã£ã¦ã„る人ãŒã„ã¾ã—ãŸãŒã€é€†ã«è¨€ãˆã°ä»Šã©ã®ã‚³ãƒ¼ãƒ‰ãŒèµ°ã£ã¦ã„ã‚‹ã‹ç†è§£ã—ã«ãã„ã€ã¨ã„ã†æ¬ 点ã«ã‚‚繋ãŒã‚‹ã€‚ Meta programming:Så¼ã®ãŠã‹ã’ã§Meta ProgrammingãŒã—ã‚„ã™ã„ãŒã€Meta Programmingを多用ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒ ã¯ç†è§£ã—ã«ãã„。 動的型付ã‘:利点ã§ã‚‚ã‚ã‚‹ã‘ã©ã€ç‰¹æœ‰ã®ãƒã‚°ã‚’引ãèµ·ã“ã™ã€‚ è˜åˆ¥åã«é–¢æ•°ã¨å€¤ã®2種類ãŒåˆ¥ã€…ã«ãƒã‚¤ãƒ³ãƒ‰ã§ãる。ã“ã‚Œã¯ç§ã«ã¯éžå¸¸ã«ç¾Ž
LispãŒä½•æ•…使ã‚ã‚Œãªã„ã‹ - æ•°å¦çŒ«ã®ç”Ÿæ´»ã¨æ„見
åŽŸå› ã®ã»ã¨ã‚“ã©ã¯çµŒè·¯ä¾å˜æ€§*1ã¨ã‹ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯åŠ¹æžœ*2ã«ã‚ˆã‚‹ã‚‚ã®ã§ã€Lisp自体ã®æ€§è³ªã¨ã¯ç„¡é–¢ä¿‚ã ã¨æ€ã„ã¾ã™ã€‚ã¨è¨€ã£ãŸä¸Šã§ã€ç§ãŒä½•ã¨ãªãLisp系言語を使ã‚ãªã„ç†ç”±ã¨ã—ã¦ã¯ã€Too dynamic: 実行時ã«ã‚³ãƒ¼ãƒ‰ãŒå·®ã—替ãˆã‚‰ã‚Œã‚‹ã“ã¨ãŒã™ã”ã„利点ã ã€ã¨è¨€ã£ã¦ã„る人ãŒã„ã¾ã—ãŸãŒã€é€†ã«è¨€ãˆã°ä»Šã©ã®ã‚³ãƒ¼ãƒ‰ãŒèµ°ã£ã¦ã„ã‚‹ã‹ç†è§£ã—ã«ãã„ã€ã¨ã„ã†æ¬ 点ã«ã‚‚繋ãŒã‚‹ã€‚Meta programming:Så¼ã®ãŠã‹ã’ã§Meta ProgrammingãŒã—ã‚„ã™ã„ãŒã€Meta Programmingを多用ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒ ã¯ç†è§£ã—ã«ãã„。動的型付ã‘:利点ã§ã‚‚ã‚ã‚‹ã‘ã©ã€ç‰¹æœ‰ã®ãƒã‚°ã‚’引ãèµ·ã“ã™ã€‚è˜åˆ¥åã«é–¢æ•°ã¨å€¤ã®2種類ãŒåˆ¥ã€…ã«ãƒã‚¤ãƒ³ãƒ‰ã§ãる。ã“ã‚Œã¯ç§ã«ã¯éžå¸¸ã«ç¾Žã—ããªãæ„Ÿã˜ã¾ã™ã€‚主観ã§ã™ãŒã€‚一方ã§Schemeã¯è¨€èªžä»•æ§˜ãŒå¼±ã„。(特ã«Module機能ãŒæ¨™æº–ã§ãªã„)Proprietaryãªå®Ÿè£…ãŒä¸å¿ƒã€‚CMU Lispã¯Stand
Lisp:よãã‚る誤解
Lispã«ã¤ã„ã¦ã®ã‚ˆãã‚る誤解ã¨ã€ãã®ä¸ã«ã‚ã‚‹ã¡ã‚‡ã£ã¨ã—ãŸçœŸå®Ÿ ã¯ã¦ãªã®è³ªå•: プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§æœ€å¼·ï¼ˆã‚¹ã‚±ãƒ¼ãƒ©ãƒ–ル）ãªã®ã¯ã€ Lispã ã¨æ€ã‚ã‚Œã¾ã™ã€‚ http://jp.franz.com/index.html ã—ã‹ã—〠世間ã§ã¯ãƒžã‚¤ãƒŠãƒ¼è¨€èªžã®ã‚ˆã†ã§ã™ã€‚ ãªãœã§ã—ょã†ã‹ã€‚ ã«ã¤ã„ãŸå›žç”ã®ã„ãã¤ã‹ã«ã¯ã€ã€ŒLispã‚’å°‘ã—ã ã‘ã‹ã˜ã£ãŸäººãŒã—ãŒã¡ãªèª¤è§£ã€ãŒ å«ã¾ã‚Œã¦ã‚‹ã‚ˆã†ãªã®ã§ã€ãれをãƒã‚¿ã«å°‘ã—解説ã—ã¦ã¿ã¾ã™ã€‚ ãŸã ã€èª¤è§£ãŒç”Ÿã˜ã‚‹ã®ã¯ã€ã‚„ã£ã±ã‚Šãã‚Œãªã‚Šã®ç†ç”±ãŒã‚ã£ã¦ã€å¾“ã£ã¦ã㮠誤解ã®ä¸ã«ã‚‚(æ¡ä»¶ã¤ãã®)真実ãŒå«ã¾ã‚Œã¦ã„ã‚‹ã“ã¨ãŒã‚ã‚Šã¾ã™ã€‚ ãã®ã¸ã‚“ã¾ã§ã‚’ã‚‚å«ã‚ã¦è€ƒãˆã¦ã¿ã¾ã—ょã†ã€‚以é™ã€å¼•ç”¨ã¯å›žç”ã‹ã‚‰ã§ã™ã€‚ Lispã¯ã‚¹ã‚¯ãƒªãƒ—ト言語? 一昔å‰ã¾ã§ã€ã“れらã®ã‚¹ã‚¯ãƒªãƒ—ト系ã®è¨€èªžã¯ã€Œã¨ã¦ã¤ã‚‚ãªãé…ã„ã€ã®ãŒå«Œã‚れる最大ã®è¦å› ã§ã—ãŸãŒã€æœ€è¿‘ã®ã‚³ãƒ³ãƒ”ューターã®æ€§èƒ½å‘上ã§ã‚ˆã†ã‚„ãRuby,Python,Li
Life with Cygwin
æ²–ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢æ ªå¼ä¼šç¤¾ã¯ã€æ²–é€šä¿¡ã‚·ã‚¹ãƒ†ãƒ æ ªå¼ä¼šç¤¾ãŠã‚ˆã³æ ªå¼ä¼šç¤¾æ²–インフォテックã¨å¹³æˆ22å¹´10月1日をもã£ã¦åˆä½µã„ãŸã—ã¾ã—ãŸã€‚新会社åã¯ã€æ ªå¼ä¼šç¤¾OKIソフトウェアã¨ãªã‚Šã¾ã™ã€‚3社ãŒè¡Œã£ã¦ãŠã‚Šã¾ã™äº‹æ¥ã¯æ–°ä¼šç¤¾ã«ã¦å¾“æ¥é€šã‚Šç¶™ç¶šã„ãŸã—ã¾ã™ã€‚
Introduction to Scheme Programming Language
ã¾ãˆãŒã 世ã®ä¸ã«ã¯æ§˜ã€…ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžãŒã‚ã‚‹ãŒï¼Œæœ¬æ–‡æ›¸ã§ã¯ï¼ŒLispプãƒã‚°ãƒ©ãƒŸãƒ³ グ言語ã®ä¸€ã¤ã®æ–¹è¨€ã§ã‚ã‚‹Scheme(スã‚ーム)を紹介ã™ã‚‹ï¼Žã“ã“ã§ã¯Schemeを直観 çš„ã«ç†è§£ã™ã‚‹ã“ã¨ã‚’ã¾ãšç›®æ¨™ã¨ã—ã¦ï¼Œå½¢å¼çš„ã«å®Œå…¨ã§ã‚ã‚‹ã‹ã©ã†ã‹ã«ã¯ã“ã ã‚ら ãªã„ã“ã¨ã«ã™ã‚‹ï¼Ž ※見ãŸç›®ã«ã‚‚ã‚ã¾ã‚Šã“ã ã‚らãªã„ã“ã¨ã«ã™ã‚‹:-) より詳ã—ãã¯ï¼Œ 湯浅太一 「Scheme入門〠岩波書店 K.ディヴィグ著 / æ‘ä¸Šé›…ç« è¨³ 「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž SCHEME〠ピアソン・エデュケーション 2000 猪股俊光, 益崎真治 「Schemeã«ã‚ˆã‚‹è¨˜å·å‡¦ç†å…¥é–€ã€ 森北出版 1994 D.P.フリードマン, M.フェライセン è‘—/ å…ƒå‰æ–‡ç”·, 横山晶一 訳 「Scheme手習ã„〠マグãƒã‚¦ãƒ’ル出版 1990 H. Abelson, G.J. Sussman and J. Sussman è‘— "Strucuture a
SICPReading's Wiki - FrontPage
æ•°å¦ã‚„Lispã®ã€Œç´ 人ã€ã§ã‚‚ã€åè‘—ã®èª‰ã‚Œé«˜ã„「計算機プãƒã‚°ãƒ©ãƒ ã®æ§‹é€ ã¨è§£é‡ˆ 第二版ã€ã‚’何ã¨ã‹èªã‚“ã§ã¿ãŸã„ï¼ã¨ã„ã†æƒ³ã„ã‹ã‚‰ã€Œç´ 人ãã•ã„SICPèªæ›¸ä¼šã€ã‚’ç«‹ã¡ä¸Šã’ã¾ã—ãŸã€‚ å‚åŠ è€…ã¸ã®ãŠçŸ¥ã‚‰ã› 10月1日（水），第126回ã¯èŒ…å ´ç”ºã®ã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ«ãƒ—ラスã§ã™ 今後ã®äºˆå®šï¼ˆç¢ºå®šåˆ†ï¼‰ 10月8日（水），第127回ã¯èŒ…å ´ç”ºã®ã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ«ãƒ—ラスã§ã™ 注æ„ï¼ Yahoo!グループã®ãƒ¡ãƒ¼ãƒ«ãŒå±Šãã«ãããªã£ã¦ã„ã¾ã™ã€‚開催告知ãŒæ¥ãªã„ãªãƒ¼ã¨æ€ã£ãŸã‚‰ã€å¿…ãšç´ 人ãã•ã„SICPèªæ›¸ä¼š Yahoo! Groupsã®ã€ŒéŽåŽ»ã®ãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ã€ã‚’確èªã—ã¦ãã ã•ã„ï¼ï¼ï¼ æ¦‚è¦ æ–°ãŸã«å‚åŠ ã‚’è€ƒãˆã¦ã„ã‚‹æ–¹ã¯ã€ç«‹ã¡ä¸Šã’ã®çµŒç·¯ã€‘ã‚„ã€æœ€è¿‘ã®çŠ¶æ³ã€‘ã‚‚ã”å‚考㫠（※ é‹å–¶æ–¹æ³•ãªã©ã¯ä»Šå¾Œå¤‰æ›´ã•ã‚Œã‚‹å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ï¼‰ 日時：毎週水曜日 20:00〜22:00 (第1回ã¯2006å¹´2/15(æ°´)) é–‹å‚¬å ´æ‰€ï¼šåŸºæœ¬çš„ã«ã¯ 第1é€±ã€€èŒ…å ´ç”ºæŸæ‰€ 第2é€±ã€€èŒ…å ´ç”º
ãªãœLispãªã®ã‹
Hofstadter『メタマジック・ゲーム〠ミンスã‚ー「ゲーデルã¯Lispã‚’æ€ã„ã¤ã„ã¦ãŠãã¹ãã ã£ãŸã€‚ã‚‚ã—å½¼ãŒLispã‚’æ€ã„ã¤ã„ã¦ã„ãŸãªã‚‰ã°å½¼ã®ä¸å®Œå…¨æ€§å®šç†ã®è¨¼æ˜Žã¯ã‚‚ã£ã¨ç°¡å˜ãªã‚‚ã®ã«ãªã£ã¦ã„ãŸã ã‚ã†ã€ ゲーデルã®è¨¼æ˜Žã®ä¸€ç•ªé›£ã—ã„ã¨ã“ã‚ã¯ã€æ•°å¦çš„体系ã«è‡ªåˆ†è‡ªèº«ã‚’語らã›ã‚‹ã¨ã“ã‚ã«ã‚る。天æ‰ã®ã²ã‚‰ã‚ããŒä½•æ®µéšŽã‹å¿…è¦ã«ãªã‚‹ã€‚ã—ã‹ã—ã€Lispã¯ã€å°‘ãªãã¨ã‚‚ゲーデルãŒå¿…è¦ã¨ã—ã¦ã„ãŸæ„味ã§ã€ã¾ã•ã«è‡ªåˆ†è‡ªèº«ã‚’直接語るã“ã¨ãŒã§ãã‚‹ ゲーデルã¯Lispを発明ã—ãŸï¼ ä¸å®Œå…¨æ€§å®šç†ã®Lisp, Mathematicaã«ã‚ˆã‚‹è¨˜è¿° 和田英一「Lispã¸ã®ã“ã ã‚ã‚Šã€(PDF) Eric S. Raymond「ãƒãƒƒã‚«ãƒ¼ã«ãªã‚ã†ã€LISP ã¯ã€ãれをモノã«ã—ãŸã¨ãã®ã™ã°ã‚‰ã—ã„悟り体験ã®ãŸã‚ã«å‹‰å¼·ã—ã¾ã—ょã†ã€‚ã“ã®ä½“験ã¯ã€ãã®å¾Œã®äººç”Ÿã§ã‚ˆã‚Šã‚ˆã„プãƒã‚°ãƒ©ãƒžãƒ¼ã¨ãªã‚‹æ‰‹åŠ©ã‘ã¨ãªã‚‹ã¯ãšã§ã™ã€‚ãŸã¨ãˆã€å®Ÿéš›ã«ã¯ LI
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ã•ã‚“も知らã¬é–“ã«ä¸€ã¤ã€Œå則ã€ã‚’犯ã—ã¦ã„ã‚‹ã“
sumiiã®ãƒ–ãƒã‚°
（Twitterã‹ã‚‰å‚ç…§ã™ã‚‹ãŸã‚ã®ãƒ¡ãƒ¢ã§ã™ï¼‰ ã¾ãšãã‚‚ãも「関数ã€ã¯ã€ŒåŒã˜å½¢ã®è¨ˆç®—を何度も書ã‹ãªã„ãŸã‚ã®ä»•çµ„ã¿ã€ã§ã‚ã‚‹ã“ã¨ã‚’å分ã«ç†è§£ã™ã‚‹ï¼ˆã•ã›ã‚‹ï¼‰ã€‚ãã®ä¸Šã§ã€ sum(0) = 0 sum(1) = 0+1 sum(2) = 0+1+2 sum(3) = 0+1+2+3 sum(4) = 0+1+2+3+4 ...も「åŒã˜è¨ˆç®—を何度も書ã„ã¦ã„ã‚‹ã€ã‹ã‚‰ã€ sum(0) = 0 sum(1) = sum(0)+1 sum(2) = sum(1)+2 sum(3) = sum(2)+3 sum(4) = sum(3)+4 ...ã¨æ›¸ãæ›ãˆã‚‹ã€‚ã“れを一般化ã™ã‚‹ã¨ sum(0) = 0 sum(n) = sum(n-1)+n （n>0ã®å ´åˆï¼‰ã¤ã¾ã‚Š sum(n) = if n=0 then 0 else sum(n-1)+nã¨ãªã‚‹ 追記：n<0ã®å ´åˆã¯æ°—ã«ã™ã‚‹ãªã€‚ ï¼ˆé«˜æ ¡ã§ç¿’ã†ã¯ãšã®ï¼‰æ•°å¦çš„帰ç´æ³•
flatlineã®æ—¥è¨˜è·¡åœ°
一応明記ã—ã¦ãŠãã¨ï¼Œæ•°ã‹æœˆå‰ã‹ã‚‰ id:flalin ã«ç§»è¡Œã—ãŸï¼Ž ã•ã‚‰ã«ï¼Œã“ãªã„ã ã®ç¶šãã§æ›¸ã„ãŸè—¤å ‚先生ã®åˆ†ã‚‚上ã’ã¦ãŠã“ã†ï¼Žã“ã¡ã‚‰ã‚‚ã‹ãªã‚Šã‚„ã£ã¤ã‘． http://user.ecc.u-tokyo.ac.jp/~tt076524/compPhysB.pdf Monte Carlo計算ã®Wang-Leeアルゴリズムã«ã¤ã„㦠Yan and de Pabloã§ã¯æœ¬å½“ã¯2ã¤ã®ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã‚’æ案ã—ã¦ã‚‹ã‚“ã ãŒï¼Œ1ã¤ç›®ãŒã©ã†èªã‚“ã§ã‚‚ç†è§£ä¸èƒ½ã ã£ãŸã®ã§çœã„ãŸï¼Žè‘—者ら自身も2ã¤ç›®ã®æ–¹ã‚’褒ã‚ã¦ã‚‹ã®ã¯äº‹å®Ÿã ã—． 追記： ãã†è¨€ãˆã°èª¤å·®ã«é–¢ã™ã‚‹è©³ã—ã„åˆ†æž arXiv:cond-mat/0506555*1 を見ã¤ã‘ã‚‹ã ã‘見ã¤ã‘ãŸã®ã ãŒï¼Œâˆš(ln f)ã«å比例ã¨ã‹ä½•ã¨ã‹ã‚ˆã分ã‹ã‚‰ãªã„ã®ã§ï¼Œè§¦ã‚Œã‚‹ã®ã‚’忘れã¦ã„ãŸï¼Žã¾ãã„ã„や． *1:http://jp.arxiv.org/abs/cond-mat/0506555 ã¾
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://user.ecc.u-tokyo.ac.jp/~t50473/franz20051117/franz20051117.pdf
{{#tags}}- {{label}}
{{/tags}}