(Scheme) (Lisp)
サービス終了ã®ãŠçŸ¥ã‚‰ã› ã„ã¤ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”利用ã„ãŸã ãèª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ãŠå®¢æ§˜ãŒã‚¢ã‚¯ã‚»ã‚¹ã•ã‚ŒãŸã‚µãƒ¼ãƒ“スã¯æœ¬æ—¥ã¾ã§ã«ã‚µãƒ¼ãƒ“スを終了ã„ãŸã—ã¾ã—ãŸã€‚ 今後ã¨ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”愛顧ãã ã•ã„ã¾ã™ã‚ˆã†ã€ã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚
Perl 5.8 ã§ä¼¼éžç¶™ç¶š - Tociyuki::Diary
torus solutions! ã•ã‚“ã®ã€Œãªã‚“ã§ã‚‚継続ã€Perl ã§ã€‚ã€ã®ã‚³ãƒ¼ãƒ‰ä¾‹ã¯ Scheme ãªã‚‰ç¢ºã‹ã«ç¶™ç¶šã«ãªã£ã¦ã„ã‚‹ã®ã§ã™ãŒã€Perl 5.8 ã¾ã§ã¯æœ«å°¾é–¢æ•°å‘¼ã³å‡ºã—ã‚’ goto ã«ã—ã¦ãã‚Œãªã„ã®ã§ã€ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã‚’スタックã«ç©ã¿ä¸Šã’ã‚‹å†å¸°å‘¼ã³å‡ºã—ã®ã¾ã‚“ã¾ã§ã™ã€‚ (11月18日追記)ã“ã®å•é¡Œã‚’å°é£¼å¼¾ã•ã‚“ãŒã€Œç¶™ç¶šã¯åŠ›ãªã‚Šã€ã§è§£æ±ºã—よã†ã¨è©¦ã¿ã¦ã„ã¾ã™ãŒã€ã“ã®è§£ã¯æ®‹å¿µãªãŒã‚‰ leaf_count_cps_g ã®å‘¼ã³å‡ºã—ãŒãƒ«ãƒ¼ãƒ—(ã‚‚ã—ã㯠goto)ã«ãªã£ã¦ã„ã¾ã›ã‚“。ãã‚‚ãã‚‚ scheme 㧠å†å¸°ç‰ˆ leaf_count を継続を使ã£ã¦æ›¸ã改ã‚ã‚‹å‹•æ©Ÿã¯ã€Œç¶™ç¶šã¨é–¢æ•°ã®ã™ã¹ã¦ã‚’末尾呼ã³å‡ºã—ã«æ›¸ãæ›ãˆã‚‹ã“ã¨ã§ãƒ«ãƒ¼ãƒ—化ã™ã‚‹ã€ã“ã¨ã§ã™ã‹ã‚‰ã€Perl ã§ã‚‚ãã†ã—ã¦ã¿ãŸã„ã®ã§ã™ã€‚ ãã‚Œãªã‚‰ã°ã¨ goto &subroutineå を使ãˆãªã„ã‹ã¨ã‚„ã£ã¦ã¿ãŸã®ã§ã™ã‘ã©ã€æ€ã£ãŸã‚ˆã†ã«å‹•ã„ã¦ãã‚Œã¾ã›ã‚“ã§ã—ãŸã€‚
継続ã¯åŠ›ãªã‚Š : 404 Blog Not Found
2005å¹´08月28æ—¥21:42 カテゴリLightweight Languages 継続ã¯åŠ›ãªã‚Š LLDN2005ã€ã¿ãªã•ã‚“ãŠç–²ã‚Œã•ã¾ã§ã—ãŸã€‚ç§ã¯å¯ä¸è¶³ã‚‚ã‚ã£ã¦ä»Šæ—¥ã¯ä¸€æ—¥ä¸æ»ã‚“ã§ã¾ã—ãŸã€‚昼ã®éƒ¨ã¨å¤œã®éƒ¨ã«é–¢ã—ã¦ã™ã§ã«ãƒ¬ãƒãƒ¼ãƒˆãŒã„ãã¤ã‹ä¸ŠãŒã£ã¦ã„ã¾ã™ã€‚ Perl6 and Parrot Essentials Randall/Sulgaski/Tötsch 本blogã§ã¯ã€é †ä¸åŒã«LLDN2005ã§ã¯æ‰±ã„ãã‚Œãªã‹ã£ãŸã€Œå®¿é¡Œã€ã‚’片付ã‘ã¦è¡Œã事ã«ã—ã¾ã™ã€‚ã¾ãšã¯ç¶™ç¶šã«ã¤ã„ã¦ã€‚ ä¼šå ´Kahuaã¸ã®è³ªç–‘å•ç”ã®ä¸ã§ã€ç¶™ç¶šã«é–¢ã™ã‚‹è³ªå•ãŒå¤±ç¤¼ãªãŒã‚‰ã¨ã‚“ã¡ã‚“ã‹ã‚“ã§ã€è¨€èªžå±‹ã«ã¨ã£ã¦ã¯å¸¸è˜ã§ã‚る継続(continuation)ã‚‚ã€ã¾ã ã¾ã 一般的ã«ç†è§£ã•ã‚Œã¦ã„ã‚‹ã¨ã¯è¨€ãˆãªã„ã“ã¨ã‚’実感ã—ãŸã€‚ã™ã§ã«gaucheã®Shiroã•ã‚“ã«ã‚ˆã‚‹ã€Œãªã‚“ã§ã‚‚継続ã€ãªã©ã®ã™ã°ã‚‰ã—ã„解説ãŒã‚ã‚‹ã«ã‚‚é–¢ã‚らãšã€ã“ã“ã§è›‡è¶³çš„ãªèª¬æ˜Žã¨ã€ãã—ã¦Par
ãªã‚“ã§ã‚‚継続ã€Perl ã§ã€‚ : torus solutions!
最近よãコンティニュエーション・パッシングã ã¨ã‹ã€ 継続ベースã®â—‹â—‹ã¨ã‹ã€ ãã†ã„ã†è©±é¡Œã‚’耳ã«ã—ã¾ã™ã€‚ ã§ã‚‚継続ã£ã¦ã„ã†ã®ãŒä½•ãªã®ã‹è‰¯ã分ã‹ã‚‰ãªã‹ã£ãŸã®ã§ã€ ãŠæ£æœˆä¼‘ã¿ã« Shiro Kawaiã•ã‚“ã® ãªã‚“ã§ã‚‚継続 ã‚’èªã‚“ã§ã¿ã¾ã—ãŸã€‚ 今ã¾ã§ãšã£ã¨é›£ã—ã„ã ã‚ã†ã¨æ€ã£ã¦èªã‚“ã§ãªã‹ã£ãŸã‚“ã ã‘ã©ã€ ã“ã‚ŒãŒã¾ãŸã¨ã¦ã‚‚分ã‹ã‚Šã‚„ã™ãã¦é¢ç™½ã‹ã£ãŸã®ã§ã€ 途ä¸ã«ã‚ã’られã¦ã„ãŸã‚µãƒ³ãƒ—ルコードを Perl ã§ã‚‚書ã„ã¦ã¿ã¾ã—ãŸã€‚ 普通ã®å†å¸°å½¢å¼ Scheme ã§ã¯ (define (leaf-count tree) (if (pair? tree) (+ (leaf-count (car tree)) (leaf-count (cdr tree))) 1)) Perl ã§ã¯ Perl ã«ã¯ãƒšã‚¢ãŒãªã„ã®ã§ã€ 2 è¦ç´ ã®é…列ã§ã‚¨ãƒŸãƒ¥ãƒ¬ãƒ¼ãƒˆã™ã‚‹ã“ã¨ã«ã—ã¾ã™ã€‚ ãれ以外ã¯ãã®ã¾ã‚“ã¾ã§ã™ã€‚ sub leaf_count
CPS（継続渡ã—æ–¹å¼ï¼‰å¤‰æ›ã‚’JavaScriptã§èª¬æ˜Žã—ã¦ã¿ã‚‹ã¹ã€ãƒŠãƒ¼ãƒ‹ã€ãŸã„ã—ãŸã“ã¨ãーã¹ã‚ˆ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
久々ã«The n-Category Cafeを見ãŸã‚‰ã€Mike Stayã«ã‚ˆã‚‹"The Continuation Passing Transform and the Yoneda Embedding"ãªã‚“ã¦è¨˜äº‹ãŒã‚ã‚Šã¾ã—ãŸã€‚ 米田埋ã‚è¾¼ã¿ã¯åœè«–ã§ã¯ãŠé¦´æŸ“ã¿ã€‚継続渡ã—ã¸ã®å¤‰æ›ã¯ã‚³ãƒ³ãƒ”ュータ・プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ãŠé¦´æŸ“ã¿ã€‚ ã“ã®2ã¤ã¯ã€å®Ÿã¯åŒã˜ã‚‚ã®ãªã‚“ã よ。ãªã‚“ã§ã€èª°ã‚‚ã“ã®ã“ã¨ã‚’言ã‚ãªã„ã‚“ã ã‚ã†ã？ The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayã®ã“ã®è¨˜äº‹ã€é¢ç™½ã„ã®ã
Scheme:使ã„ãŸã„人ã®ãŸã‚ã®ç¶™ç¶šå…¥é–€
使ã„ãŸã„人ã®ãŸã‚ã®ç¶™ç¶šå…¥é–€ç¶™ç¶šæ¸¡ã—å½¢å¼call/ccã¯æ™®é€šã®é–¢æ•°call-with系関数call-with-procedurecall-with-continuation-procedurecall-with-current-continuationè©•ä¾¡é †åºã¨ç¶™ç¶šcall/ccパズルãŠæ‰‹å…ƒãƒžãƒ«ãƒã‚¹ãƒ¬ãƒƒãƒ‰éƒ¨åˆ†ç¶™ç¶šreset/pcã¨call/pcç’°å¢ƒç ´å£Šã¨éƒ¨åˆ†ç¶™ç¶šéƒ¨åˆ†ç¶™ç¶šã®ä½¿ç”¨æ³•PRINT-AND-NEXT-REPLè°è«–質å•ãŠæ‰‹å…ƒãƒžãƒ«ãƒã‚¹ãƒ¬ãƒƒãƒ‰ã®ã‚µãƒ³ãƒ—ルプãƒã‚°ãƒ©ãƒ ã«ã¤ã„㦠使ã„ãŸã„人ã®ãŸã‚ã®ç¶™ç¶šå…¥é–€ ã¨ã‚Šã‚ãˆãšæ®´ã‚Šæ›¸ã。 ãã©ã‹ã£ãŸã‚Šå†—é•·ãªæ–‡ç« ã«ãªã£ã¦ãŸã‚Šã€é‡è¤‡ã—ã¦ãŸã‚Šã€é–“é•ã£ã¦ãŸã‚Šã€ ãŠãŠã„ãªã‚‹å‹˜é•ã„ã‚’ã—ã¦ãŸã‚Šã€æ¥ã‚’ã‚«ã„ã¦ãŸã‚Šã™ã‚‹ã‹ã‚‚ã—ã‚Œãªã„ã‘ã©ã”愛敬。 è—ã‚’ã‚‚ã¤ã‹ã¿ãŸã„æ°—æŒã¡ã§ç¶™ç¶šã‚’使ãˆã‚‹ã‚ˆã†ã«ãªã‚ŠãŸã„人ã¯èªã‚“ã§ã¿ã¦ãã ã•ã„。 ãŸã ã—所詮ã¯è—ã§ã™ã€‚(ï½— 継続渡ã—å½¢å¼ ä¾‹ã«ã‚ˆã£ã¦éšŽä¹—fact
Practical Scheme
Shiro Kawai ã¾ã 下書ã Schemeã®ç‰¹å¾´ã‚’ã‚ã’ã‚‹ã¨ãã«ã€ã€Œç¶™ç¶šã€ã‚„「call/ccã€ãŒå‡ºã¦æ¥ãªã„ã“ã¨ã¯ãªã„。 ã§ã‚‚ã€R5RSã®call/ccã®é …ã‚’ã„ãらèªã‚“ã§ã‚‚ã€ã©ã†ã‚‚よãã‚ã‹ã‚‰ãªã„。 call/ccを使ãˆã°C言語ã®breakã¿ãŸã„ãªã®ã¨ã‹ã€ã‚³ãƒ«ãƒ¼ãƒãƒ³ã¨ã‹ã„ㆠスレッドもã©ãã¨ã‹ãŒæ›¸ã‘ã‚‹ã€ã¨ã„ã†ã®ã¯ã‚ã‹ã£ãŸã‘ã©ã€ä¸€ä½“ãã†ã„ã†ã®ãŒæ›¸ã‘㦠何ãŒå¬‰ã—ã„ã®ã‹ã€ãã“ã‚“ã¨ã“ãŒãƒ”ンã¨æ¥ãªã„ã‚“ã 。 今ã€ãã“ã«ã‚る継続 プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä¸–ç•Œã®æ¦‚念ã«ã¯ã€ç¦…ã®å…¬æ¡ˆã®ã‚ˆã†ãªã‚‚ã®ãŒã‚る。 ãれを説明ã™ã‚‹æ–‡ç« ã¯ã»ã‚“ã®ä¸€æ–‡ãªã®ã«ã€æœ€åˆã«ç›®ã«ã™ã‚‹æ™‚〠ãã®æ–‡ã¯å…¨ãæ„味をãªã•ãªã„ã€æš—å·ã®ã‚ˆã†ã«æ„Ÿã˜ã‚‰ã‚Œã‚‹ã€‚ ã ãŒã²ã¨ãŸã³ãã®æ¦‚念をç†è§£ã™ã‚‹ã¨ã€ ãã®æ¦‚念ã®èª¬æ˜Žã¯ç¢ºã‹ã«ãã®ä¸€æ–‡ã§èª¬æ˜Žã•ã‚Œã¦ã„ã‚‹ã®ãŒã‚ã‹ã‚‹ã®ã 。 ãã‚“ãªã€ã€Œåˆ†ã‹ã‚Œã°åˆ†ã‹ã‚‹ã€ã¨ã„ã†ç¦…å•ç”ã®ä¸ã§ã‚‚ 「継続ã€ã¯æœ€ã‚‚謎ã‚ã„ãŸã‚‚ã®ã®ä¸€ã¤ã¨è¨€ãˆã‚‹ã ã‚ã†ã€‚ 文献をç´
11. 継続 | Schemeã¸ã®é“
継続(continuation)ã¨ã¯ï¼Œå¼ã‚’評価ã—ã¦ã„る途ä¸ã®ã‚る時点ã§ï¼Œã€Žã„ã¾å¾—られ㟠値を使ã£ã¦ï¼Œã“ã®å¾Œã¯ä½•ã‚’計算ã™ã‚‹ã®ã‹ã€ã‚’表ã™ã‚‚ã®ã§ã‚る．ãŸã¨ãˆã°ï¼ŒScheme ã®é–¢æ•°å‘¼ã³ã ã—ã®å¼ã‚’評価ã™ã‚‹éš›ã«ã¯ï¼Œã¾ãšé–¢æ•°ã¨ãã®å¼•æ•°ã‚’評価ã—ã¦ï¼Œã㮠後ã§é–¢æ•°ã«å¼•æ•°ã‚’é©ç”¨ã™ã‚‹ï¼Ž ==> (+ (* 1 2) (* 3 4)) ;; ==> (+ 2 12) ;; ==> 14 14 ã“ã®å¼ã®å ´åˆï¼Œã¾ãšã€Œ+ã€,「(* 1 2)ã€,「(* 3 4)ã€ã‚’è©• 価ã—ãŸã®ã¡ï¼Œã€Œ(+ 2 12)ã€ã‚’評価ã™ã‚‹ï¼Ž å„部分å¼ã®è©•ä¾¡ãŒå·¦ã‹ã‚‰å³ã¸é€²ã‚€ã‚‚ã®ã¨ã™ã‚‹ã¨ï¼Œ ãŸã¨ãˆã°ï¼Œã€Œ(* 3 4)ã€ã‚’評価ã—ãŸå¾Œã«ã™ã‚‹ã¹ã計算，ã¤ã¾ã‚Šç¶™ç¶šã¯ï¼Œ 『ã„ã¾å¾—られãŸå€¤ã«2ã‚’åŠ ãˆã‚‹ã€ ã§ã‚る．ã“ã®å¼ã®è©•ä¾¡ã‚’完了ã™ã‚‹ãŸã‚ã«ã¯ï¼Œ Schemeã®ã‚·ã‚¹ãƒ†ãƒ ã¯ï¼Œã“ã®ç¶™ç¶šã‚’知ã£ã¦ã„ãªã‘ã‚Œã°ãªã‚‰ãªã„． 継続ã¯ï¼Œã€Œä½•ã‚’評価ã—ã¦ï¼Œãã®å€¤ã«ã‚ˆã£ã¦æ¬¡ã«ã¯ä½•ã‚’è¡Œã†ã€
Route 477(2007-06-20)
â– [ruby][event] Rubyå‹‰å¼·ä¼šï¼ é–¢è¥¿-16「30分ã§ã‚ã‹ã‚‹callccã®ä½¿ã„方〠先週末ã®Rubyå‹‰å¼·ä¼šï¼ é–¢è¥¿ã§ã€Rubyã«ãŠã‘ã‚‹callccã®ä½¿ã„æ–¹ã«ã¤ã„ã¦ç™ºè¡¨ã•ã›ã¦ã„ãŸã ãã¾ã—ãŸã€‚ スライド： pdf ppt 継続ã®èª¬æ˜Žã«ã¤ã„ã¦ã¯ã€Œãªã‚“ã§ã‚‚継続ã€ãŒã‚ˆãå‚ç…§ã•ã‚Œã‚‹ã‚“ã ã‘ã©ã€ ã¡ã‚‡ã£ã¨èª¬æ˜ŽãŒãƒœãƒˆãƒ アップã™ãŽã‚‹ã¨æ€ã†ã®ã§(僕も最åˆã«èªã‚“ã ã¨ãã¯å…¨ç„¶åˆ†ã‹ã‚‰ãªã‹ã£ãŸ)ã€ã€Œcallccã§ä½•ãŒã§ãã‚‹ã‹ã€ã¨ã„ã†å¿œç”¨é¢ã‹ã‚‰æ”»ã‚ã‚‹ 構æˆã«ã—ã¦ã¿ã¾ã—ãŸã€‚ 最åˆã¯ã€Œç¶™ç¶šã‹ã‚ã„ã„よ継続ã€ã€Œãれをã™ã¦ã‚‹ãªã‚“ã¦ã¨ã‚“ã§ã‚‚ãªã„ã€ã¨æ€ã£ã¦ãŸã‚“ã ã‘ã©ã€ ã„ã‚ã„ã‚調ã¹ã¦ã‚‹ã†ã¡ã«ãªã‚“ã§callccãŒå«Œã‚れるã®ã‹ãŒç†è§£ã§ãã¦ã—ã¾ã£ãŸã€‚callccã¯ã‹ã‚ã„ã„ã‘ã©ã€éžå¸¸ã«æ‰‹ã®ã‹ã‹ã‚‹å¥´ã‚‰ã—ã„。 ã—ã‹ã‚‚ã€é¢ç™½ã„利用例ã¯ã„ã£ã±ã„ã‚ã‚‹ã‘ã©å®Ÿç”¨çš„ãªä¾‹ãŒã‚ã‚“ã¾ã‚Šãªã„ã‚“ã よã^^;。 callccãŒç„¡ããªã‚‹ã¨Rubyã®ã€Œã‹ã£ã“よã•
404 Blog Not Found:perl - to goto or not to goto, that's the continuation
2007å¹´04月18æ—¥06:45 カテゴリLightweight Languages perl - to goto or not to goto, that's the continuation Perlã§ã‚‚gotoを使ãˆã°ã€æœ¬å½“ã®ç¶™ç¶š(continuation)ãŒå¯èƒ½ã§ã‚ã‚‹ã“ã¨ã‚’示ã™ã€‚ 継続ã£ã¦ãªã‚“ã®ã“ã¨ã ã‹ã•ã£ã±ã‚Šã‚ã‹ã‚‰ãªã„一ã¯ã€ä»¥ä¸‹ã«ã‚らã‹ã˜ã‚目をã¨ãŠã—ã¦ãŠã„ã¦ã„ãŸã ããŸã„。 ãªã‚“ã§ã‚‚継続 ãªã‚“ã§ã‚‚継続ã€Perl ã§ã€‚ : torus solutions! 404 Blog Not Found:継続ã¯åŠ›ãªã‚Š Tociyuki::Diary - Perl 5.8 ã§ä¼¼éžç¶™ç¶š Perl 5ã®gotoã«ã¯ã€3種類ã‚る。 goto LABEL ã“ã¡ã‚‰ã¯Cãªã©ã§è¦‹ã‚‰ã‚Œã‚‹gotoã¨ç‰ä¾¡ã§ã‚る。 goto END; print "Hello\n"; END: print "Goobye\n"; G
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}