[B! continuation] ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ishideo id:ishideo

continuationã«é–¢ã™ã‚‹ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (22)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ç¶™ç¶š
ç¶™ç¶šã€continuationã¨æ¥ã‚Œã°ã‚„ã¯ã‚ŠSchemeã®è©±ã«ãªã‚‹ã®ã ã‚ã†ã‹ã€‚ä¸€èˆ¬ç¤¾ä¼šã§ schemeã¨è¨€ãˆã°ã€Œã™ããƒ¼ã‚€ï¼ˆnï¼‰è¨ˆç”»ã€‚é™°è¬€ã€‚ã€ã§ã‚ã‚‹ãŒã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢æ¥ç•Œã§ Schemeã¨è¨€ã£ãŸã‚‰Lispã®ä¸€ç¨®ã®ã“ã¨ã ã€‚Lispã«ã¯å¤‰ç¨®ãŒè…ã‚‹ã»ã©å˜åœ¨ã™ã‚‹ãŒã€ Common Lispã¨ä¸¦ã‚“ã§æœ‰åãªã®ãŒSchemeã§ã‚ã‚‹ã€‚Common LispãŒæ¨™æº–åŒ–ã®èª²ç¨‹ã§ã‚´ãƒ† ã‚´ãƒ†ã¨è£…å‚™ã—ã¦å·¨å¤§åŒ–ã—ãŸã®ã«å¯¾ã—ã€Schemeã¯é¥ã‹ã«ã‚³ãƒ³ãƒ‘ã‚¯ãƒˆã§ã‚¯ãƒªã‚¢ãªä»• æ§˜ã‚’æŒã¤ã€‚ã¾ãŸSchemeã¨ã¯è¨€èªžã®ä¸€èˆ¬åã§ã‚ã‚Šã€ãã®å®Ÿè£…ã«ã¯Gaucheã¨ã‹ scmã¨ã‹guileã¨ã‹MIT Schemeãªã©ãŒã‚ã‚‹ã€‚ ã•ã¦Call/CCã€æ£å¼åç§°Call with Current Continuationã€ã«ã¤ã„ã¦ èª¬æ˜Žã—ã‚ˆã†ã€‚Call/CCã¯ã¡ã‚‡ã£ã¨è¦‹ã¯setjmp/longjmpã¨åŒã˜ã‚ˆã†ã«è¦‹ãˆã‚‹ã®ã ãŒã€ ã‚¹ã‚¿ãƒƒã‚¯ãŒæ·±ããªã‚‹æ–¹å‘ã«ã‚‚ã‚¸ãƒ£
ishideo 2017/08/21
lisp

scheme

continuation

ruby

callcc
ãƒªãƒ³ã‚¯
ç•ªå¤–ç·¨ ç¶™ç¶š (continuation) - ãŠæ°—æ¥½ Ruby ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€
ã‚µãƒ¼ãƒ“ã‚¹çµ‚äº†ã®ãŠçŸ¥ã‚‰ã› ã„ã¤ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“ã‚¹ã‚’ã”åˆ©ç”¨ã„ãŸã ãèª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ãŠå®¢æ§˜ãŒã‚¢ã‚¯ã‚»ã‚¹ã•ã‚ŒãŸã‚µãƒ¼ãƒ“ã‚¹ã¯æœ¬æ—¥ã¾ã§ã«ã‚µãƒ¼ãƒ“ã‚¹ã‚’çµ‚äº†ã„ãŸã—ã¾ã—ãŸã€‚ ä»Šå¾Œã¨ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“ã‚¹ã‚’ã”æ„›é¡§ãã ã•ã„ã¾ã™ã‚ˆã†ã€ã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚
ishideo 2017/08/21
ruby

callcc

continuation

fiber
ãƒªãƒ³ã‚¯
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ - ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ ä»¥ä¸‹ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’ç›®å‡¦ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã‚’çµ‚äº†äºˆå®šã§ã‚ã‚‹æ—¨ã‚’ãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019å¹´æœ«ã‚’ç›®å‡¦ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æä¾›ã‚’çµ‚äº†ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã“ã®ãŸã³ã€æ£å¼ã«çµ‚äº†æ—¥ã‚’æ±ºå®šã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”ç¢ºèªãã ã•ã„ã€‚ çµ‚äº†æ—¥: 2020å¹´1æœˆ31æ—¥(é‡‘) ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1æœˆ31æ—¥(é‡‘) çµ‚äº†æ—¥ä»¥é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“ã€‚æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„ã€‚ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„ã¦ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã”åˆ©ç”¨ã®ã¿ãªã•ã¾ã«ã¯ã”è¿·æƒ‘ã‚’ãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 è¿½è¨˜ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2æœˆ28
ishideo 2017/08/21
ruby

continuation

callcc

javascript

yield

resursion
ãƒªãƒ³ã‚¯
åƒ•ã§ã‚‚ã‚ã‹ã‚‹ç¶™ç¶šã¨éƒ¨åˆ†ç¶™ç¶š - ã¾ã‚ã‚ã‚‚
callcc ã¨ shift/reset ã«ã¤ã„ã¦ã‚ã‹ã‚‹ã¨ã“ã ã‘æ›¸ã„ã¦ã¿ã¾ã™ã€‚ ç¶™ç¶š callcc ã¨ã„ã†æ“ä½œã¯ã€ç¾åœ¨ã‹ã‚‰å®Ÿè¡Œçµ‚äº†ã¾ã§ã€ç¶™ç¶šã‚’ã¾ã‚‹ã”ã¨å–ã‚Šå‡ºã—ã¾ã™ã€‚ä¾‹é¡Œã€‚ p [1] + callcc {|k| [2] + k.call([3]) } #=> [1, 3] callcc ã§ã¯ callcc ãŒãƒªã‚¿ãƒ¼ãƒ³ã—ã¦ã‹ã‚‰å®Ÿè¡Œçµ‚äº†ã™ã‚‹ã¾ã§ã®ç¶™ç¶š k ãŒå–ã‚Šå‡ºã›ã¾ã™ã€‚k.call([3]) ã§ç¶™ç¶šãŒå‘¼ã°ã‚Œã‚‹ã¨ã€ã„ããªã‚Šã€Œcallcc ãŒ [3] ã‚’è¿”ã—ãŸçž¬é–“ã€ã«å®Ÿè¡ŒãŒé£›ã³ã¾ã™ã€‚ã¤ã¾ã‚Šã“ã‚“ãªæ„Ÿã˜ã€‚ p [1] + [3] ã‚ã¨ã¯è‡ªæ˜Žã§ã™ãã€‚"[2] +" ã®ã‚ãŸã‚Šã¯ç„¡è¦–ã•ã‚Œã¾ã™ã€‚ éƒ¨åˆ†ç¶™ç¶š shift ã¨ã„ã†æ“ä½œã¯ã€ç¾åœ¨ã‹ã‚‰ reset ã¾ã§ã€ç¶™ç¶šã®ä¸€éƒ¨ã ã‘ã‚’å–ã‚Šå‡ºã—ã¾ã™ã€‚ã“ã®ç¶™ç¶šã®ä¸€éƒ¨ã‚’éƒ¨åˆ†ç¶™ç¶šã¨ã„ã„ã¾ã™ã€‚ä¾‹é¡Œã€‚ p [1] + reset { [2] + shift {|k| [3] +
ishideo 2017/08/21
ruby

continuation

callcc

shift

reset
ãƒªãƒ³ã‚¯
ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ / 2009å¹´1æœˆ28æ—¥ - ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯
How do we make dynamic web applications? In this tutorial, we show how to use Racket to achieve this goal. We explain how to start up a web server, how to generate dynamic web content, and how to interact with the user. Our working example will be a simple web journalâ€”a â€œblog.â€ This tutorial is intended for students who have read enough of How to Design Programs to know how to use structures, high
ishideo 2010/10/13
scheme

lisp

webapp

dev

PLT-Scheme
ãƒªãƒ³ã‚¯
ç¶™ç¶šæ¸¡ã—å½¢å¼ï¼ˆCPSï¼‰Javascriptãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
ç¶™ç¶šã¨ã¯ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ãŒãƒ—ãƒã‚°ãƒ©ãƒ ã‚’å®Ÿè¡Œã—ã¦ã„ã‚‹ã¨ãã®æ¬¡ã«ä½•ã‚’ã™ã‚‹ã®ã‹ã‚’è¡¨ã™æ¦‚å¿µã§ã™ã€‚è©³ã—ãã¯ä½•ã§ã‚‚ç¶™ç¶šã®ãƒšãƒ¼ã‚¸ã‚’å‚ç…§ã—æ¬²ã—ã„ã®ã§ã™ãŒã€ç¶™ç¶šã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’å®Ÿè¡Œã™ã‚‹ä¸Šã§æ¬ ã‹ã›ãªã„å˜åœ¨ã¨ãªã£ã¦ã„ã¾ã™ã€‚ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®ã‚ã‚‹è¡Œã‚’å®Ÿè¡Œã—ãŸã‚‰æ¬¡ã®è¡Œã‚’å®Ÿè¡Œã—ã¾ã™ã€‚é–¢æ•°ï¼ˆã‚µãƒ–ãƒ«ãƒ¼ãƒãƒ³ï¼‰ã‚’çµ‚äº†ã—ãŸã‚‰ã€å‘¼ã³å‡ºã—å…ƒã«æˆ»ã‚Šã¾ã™ã€‚ã“ã‚Œã‚‰ã¯å…¨ã¦ç¶™ç¶šã§ã™ã€‚ã‚ãŸã‚Šã¾ãˆã¨è¨€ãˆã°ã‚ãŸã‚Šã¾ãˆã®ã“ã¨ã§ã™ã€‚ã—ã‹ã—ã€ã“ã®ã‚ãŸã‚Šå‰ã®ã“ã¨ã‚’æ˜Žç¢ºã«æ„è˜ã—ã‚ˆã†ã¨ã™ã‚‹ã¨é€”ç«¯ã«ç›®ã®å‰ã«éœžãŒã‹ã‹ã£ãŸã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä¸–ç•Œã®æ¦‚å¿µã«ã¯ã€ç¦…ã®å…¬æ¡ˆã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã‚‹ã€‚ãã‚Œã‚’èª¬æ˜Žã™ã‚‹æ–‡ç« ã¯ã»ã‚“ã®ä¸€æ–‡ãªã®ã«ã€æœ€åˆã«ç›®ã«ã™ã‚‹æ™‚ã€ãã®æ–‡ã¯å…¨ãæ„å‘³ã‚’ãªã•ãªã„ã€æš—å·ã®ã‚ˆã†ã«æ„Ÿã˜ã‚‰ã‚Œã‚‹ã€‚ã ãŒã²ã¨ãŸã³ãã®æ¦‚å¿µã‚’ç†è§£ã™ã‚‹ã¨ã€ãã®æ¦‚å¿µã®èª¬æ˜Žã¯ç¢ºã‹ã«ãã®ä¸€æ–‡ã§èª¬æ˜Žã•ã‚Œã¦ã„ã‚‹ã®ãŒã‚ã‹ã‚‹ã®ã ã€‚ ãã‚“ãªã€ã€Œåˆ†ã‹ã‚Œã°åˆ†ã‹ã‚‹ã€ã¨ã„ã†ç¦…å•ç”ã®ä¸ã§ã‚‚ã€Œç¶™ç¶šã€ã¯æœ€ã‚‚è¬Žã‚ã„ãŸã‚‚ã®
ishideo 2009/09/14
cps

continuation

javascript
ãƒªãƒ³ã‚¯
Perlã§Continuationãƒ™ãƒ¼ã‚¹ã®ã‚¦ã‚§ãƒ–ã‚µãƒ¼ãƒ - karasuyamatenguã®æ—¥è¨˜
Continuationã£ã¦ã„ã†ã®ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã®å®Ÿè¡ŒéŽç¨‹ã‚’é€”ä¸ã§ãƒ•ãƒªãƒ¼ã‚ºã—ã¦åˆ¥ã®ã¨ã“ã‚ã‹ã‚‰å†ã‚¹ã‚¿ãƒ¼ãƒˆã•ã›ãŸã‚Šã™ã‚‹ã“ã¨ãŒã§ãã‚‹ã¨ã„ã†é ã®ç—›ããªã‚‹ã‚ˆã†ãªæ©Ÿèƒ½ã ã€‚ã¯ã‚„ã‚Šå¾¡æœ¬å®¶ã¯scheme(call/cc)ã ã‘ã©ä»–ã®ãƒã‚¤ãƒ¬ãƒ™ãƒ«è¨€èªžã§ã‚‚ã§ãã‚‹ã‚‚ã®ãŒã‚ã‚‹ã‚ˆã†ã ã€‚ ã‚¦ã‚§ãƒ–ãƒ•ãƒ¬ãƒ¼ãƒ ãƒ¯ãƒ¼ã‚¯ã¨ã—ã¦ã¯smalltalkã®seasideã‚„common lispã®uwcãŒæœ‰åã€‚Rubyã‚„Pythonã‚‚Generatorã‚’ä½¿ã£ã¦å®Ÿè£…ã—ãŸã‚‚ã®ãŒã‚ã‚‹ã‚‰ã—ã„ã€‚ã‚ã¨ã€ã‚¢ãƒ—ãƒªã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã¨ã—ã¦ã¯Paul Grahamæ°ã®news.ycombinator.comãŒæœ‰åã€‚ã“ã‚Œã¯å½¼ã®ã€Œ100å¹´è¨€èªžã€(å®Ÿã¯PLTã®ä¸Šã«ãƒžã‚¯ãƒã§ä½œã£ãŸLispã®æ–¹è¨€)ã«ã‚ˆã£ã¦å®Ÿè£…ã•ã‚Œã¦ã„ã‚‹ã€‚ perlã«ã¯call/ccã‚„generatorã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ«ãŒç„¡ã„ã®ã§Continuationãƒ™ãƒ¼ã‚¹ã®ãƒ•ãƒ¬ãƒ¼ãƒ ãƒ¯ãƒ¼ã‚¯ã¯ç„¡ã„ã¨æ€ã£ã¦ã„ãŸãŒã€é–“é•ã£ã¦ã„ãŸã€‚Perlã«ã§
ishideo 2009/09/10
continuation

perl

Continuity

Guard

Coro

cpan

Event
ãƒªãƒ³ã‚¯
HugeDomains.com
Captcha security check hisasann.com is for sale Please prove you're not a robot View Price Processing
ishideo 2009/07/02
java

javascript

rhino

continuation

shell
ãƒªãƒ³ã‚¯
ã‚µãƒ¼ãƒãƒ¼ã‚µã‚¤ãƒ‰JavaScript(Rhino)ã®ç¶™ç¶šã§Coroutineã‚’æ›¸ã„ã¦ã¿ãŸ - Gemmaã®æ—¥è¨˜
Scheme å…¥é–€ 16. ç¶™ç¶šã®ä¾‹ã€‚ 2ã¤ã®ã‚¿ã‚¹ã‚¯ã‚’äº¤äº’ã«å‘¼ã¶ã€‚ æ•°å—ã‚’ãƒ—ãƒªãƒ³ãƒˆã™ã‚‹ã‚¿ã‚¹ã‚¯ æ–‡å—ã‚’ãƒ—ãƒªãƒ³ãƒˆã™ã‚‹ã‚¿ã‚¹ã‚¯ var queue = []; function coroutine(thunk) { queue.unshift(thunk); } function start() { (queue.pop())(); } function pause() { var cc = new Continuation(); coroutine(function() {cc(false);}); start(); } coroutine(function() { for (var i = 0; i < 5; i++) { print(i + 1); pause(); }; }); coroutine(function() { for (var i = 0; i < 5; i++) { pri
ishideo 2009/07/02
javascript

rhino

coroutine

continuation
ãƒªãƒ³ã‚¯
Pythoné¢¨ã‚¸ã‚§ãƒãƒ¬ãƒ¼ã‚¿ã‚’é™å®šç¶™ç¶šã§ - Homoiconic Days
ã“ã“ã§ã„ã‚ã„ã‚è°è«–ã•ã‚Œã¦ã‚‹ã€call/ccã‚’ä½¿ã£ãŸã‚¸ã‚§ãƒãƒ¬ãƒ¼ã‚¿ã‚’å‹‰å¼·ãŒã¦ã‚‰ã«é™å®šç¶™ç¶šã§æ›¸ãç›´ã—ã¦ã¿ã‚‹ã€‚ãƒˆãƒªãƒƒã‚ãƒ¼ãªéƒ¨åˆ†ãŒãªããªã£ã¦ã€ã‹ãªã‚Šç´ ç›´ã«æ›¸ã‘ã‚‹ã€‚ (define (make-generator f) (let ((cont #f)) (lambda () (reset (if cont (cont #f) (f (lambda (v) (shift k (set! cont k) v)))))))) (define (fib-generator) (make-generator (lambda (yield) (let loop ((a 1) (b 1)) (yield a) (loop b (+ a b)))))) å‹•ä½œã¯ä»¥ä¸‹ã®ã¨ãŠã‚Šã€‚ > (define fib (fib-generator)) > (list (fib) (fib) (fib) (fib) (fib)) (1
ishideo 2009/06/02
scheme

gauche

python

generator

yield

continuation
ãƒªãƒ³ã‚¯
ã‚µãƒ¼ãƒãƒ¼ã‚µã‚¤ãƒ‰JavaScript(Rhino)ã®ç¶™ç¶šã§ambã‚’æ›¸ã„ã¦ã¿ãŸ - Gemmaã®æ—¥è¨˜
"amb ã¯ å¤©ä½¿ã®ã‚ªãƒšãƒ¬ãƒ¼ã‚¿ã§ã™ã€‚" ç‹¬ç¿’ Scheme ä¸‰é€±é–“ å‚è€ƒ RhinoWithContinuations Scheme å…¥é–€ 18. éžæ±ºå®šæ€§ SICP 4.3 Nondeterministic Computing ambã§ã€ä¸‰å¹³æ–¹ã®å®šç†ã‚’æº€ãŸã™æ•´æ•°ã®çµ„ã‚’æŽ¢ã™ã€‚ var fail = []; function amb(l) { if (l.length == 0) return (fail.pop())(); var k = new Continuation(); fail.push(function () {k(amb(l.slice(1)))}); return l[0]; } function pythag(a,b,c) { if (a * a + b * b == c * c) return [a,b,c]; amb([]); } print((function()
ishideo 2009/01/28
javascript

amb

continuation

rhino
ãƒªãƒ³ã‚¯
http://wataru.aoisakura.jp/tdiary/?date=20060328
ishideo 2008/09/23
python

lisp

programming

scheme

continuation

cps
ãƒªãƒ³ã‚¯
æœ¬ã‚’èªã‚€ FizzBuzzã¨Gaucheã§å¦ã¶ç¶™ç¶šã®åŸºç¤Ž
å…ˆæ—¥ã¯é…”ã£ãŸå‹¢ã„ã§ã€ŒFizzBuzzã¨Gaucheã§å¦ã¶é…å»¶è©•ä¾¡ã®åŸºç¤Žã®åŸºç¤Žã€ã£ã¦ã‚¨ãƒ³ãƒˆãƒªã‚’æ›¸ã„ã¦ã¿ã¾ã—ãŸã€‚ä»Šå›žã¯ã€å†ã³é…”ã£ãŸå‹¢ã„ã§ã€åŒã˜ãƒã‚¿ã‹ã‚‰ç¶™ç¶šæ¸¡ã—ã‚¹ã‚¿ã‚¤ãƒ«ï¼ˆCPSï¼šContinuation Passing Styleï¼‰ã«æŒ‘æˆ¦ã—ã¦ã¿ã¾ã™ã€‚ è¨€èªžã¯ä»Šå›žã‚‚Scemeï¼ˆGaucheï¼‰ã§ã™ã€‚ç¶™ç¶šæ¸¡ã—ã‚¹ã‚¿ã‚¤ãƒ«ã®çŸ¥è˜ã¯ã€ã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°Gaucheã€ã¨ã€Œã¾ã‚‹ã”ã¨JavaScriptï¼†Ajaxï¼ã€ã®å—ã‘å£²ã‚Šï¼ˆåŠ£åŒ–ã‚³ãƒ”ãƒ¼ï¼‰ã§ã™ã®ã§ã€å‹˜é•ã„ãŒã‚ã£ãŸã‚‰ã”æŒ‡æ‘˜ãã ã•ã„ã€‚ é…å»¶è©•ä¾¡ã¨ç¶™ç¶šæ¸¡ã—ã®æ¯”è¼ƒ é…å»¶è©•ä¾¡ç·¨ã§ã¯ã€ç„¡é™ãƒ«ãƒ¼ãƒ—ã‚’é¿ã‘ã‚‹ãŸã‚ã«é…å»¶è©•ä¾¡ã‚’ä½¿ã„ã¾ã—ãŸã€‚ç„¡é™ãƒ«ãƒ¼ãƒ—ã‚’é¿ã‘ã‚‹ãŸã‚ã®æ–¹æ³•ã¨ã—ã¦ã¯ã€ã»ã‹ã«ã€ç¶™ç¶šæ¸¡ã—ã«ã‚ˆã‚‹å‘¼ã³å‡ºã—ãƒˆãƒ©ãƒ³ãƒãƒªãƒ³ã‚’ä½¿ã£ãŸæ–¹æ³•ãŒã‚ã‚‹ã¿ãŸã„ã§ã™ã€‚ ã¨ã¦ã‚‚ãŠãŠã–ã£ã±ã«ã„ã†ã¨ã€é…å»¶è©•ä¾¡ã¯é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã€ç¶™ç¶šæ¸¡ã—ã¯æ‰‹ç¶šãåž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãªã‚“ã ãã†ã§ã™ã€‚ ã¾ãšæ‰‹ç¶šãåž‹ã£ã½ãæ›¸ã„ã¦ã¿ã‚‹
ishideo 2008/08/20
scheme

gauche

functional

continuation
ãƒªãƒ³ã‚¯
ã¯ã¦ãªãƒ–ãƒã‚° | ç„¡æ–™ãƒ–ãƒã‚°ã‚’ä½œæˆã—ã‚ˆã†
ã‚ªãƒ¼ãƒ™ãƒ«ã‚¸ãƒ¼ãƒŒå®Ÿé£Ÿãƒ¬ãƒ é£Ÿã¹ç‰©ã®é¼»å¡©å¡©(æœªã ã«é€šã˜ã‚‹ã®ã‹ãª) ã‚ªãƒ¼ãƒ™ãƒ«ã‚¸ãƒ¼ãƒŒã¨ã„ã†ã‚«ãƒ¬ãƒ¼ã‚’ã”å˜çŸ¥ã ã‚ã†ã‹ éƒ½å†…ã«ã‚ã‚‹ãƒ‡ãƒªãƒãƒªãƒ¼å°‚é–€ã®ã‚«ãƒ¬ãƒ¼å±‹ã§ã€ ãƒã‚±å¼ãªã©ã§å¤§äººæ°—ã®æœ¬æ ¼æ¬§é¢¨ã‚«ãƒ¬ãƒ¼ãŒæ¥½ã—ã‚ã‚‹ã‚‰ã—ã„ ã„ã„ãªã€œ ã„ã„ãªã€œã‚ªãƒ–ã‚¶ã‚¤ãƒ¤ãƒ¼ éƒ½å†…ã®å¥´ã‚‰ã¯ã“ã‚“ãªè‰¯ã„ãƒ¢ãƒ³é£Ÿã£ã¦ã‚“ã®ã‹ è¨±ã›ããˆã‚ˆâ€¦â€¦â€¦
ishideo 2008/03/31
python

continuation
ãƒªãƒ³ã‚¯
CPSï¼ˆç¶™ç¶šæ¸¡ã—æ–¹å¼ï¼‰å¤‰æ›ã‚’JavaScriptã§èª¬æ˜Žã—ã¦ã¿ã‚‹ã¹ã€ãƒŠãƒ¼ãƒ‹ã€ãŸã„ã—ãŸã“ã¨ããƒ¼ã¹ã‚ˆ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
ä¹…ã€…ã«The n-Category Cafeã‚’è¦‹ãŸã‚‰ã€Mike Stayã«ã‚ˆã‚‹"The Continuation Passing Transf orm and the Yoneda Embedding"ãªã‚“ã¦è¨˜äº‹ãŒã‚ã‚Šã¾ã—ãŸã€‚ ç±³ç”°åŸ‹ã‚è¾¼ã¿ã¯åœè«–ã§ã¯ãŠé¦´æŸ“ã¿ã€‚ç¶™ç¶šæ¸¡ã—ã¸ã®å¤‰æ›ã¯ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ãŠé¦´æŸ“ã¿ã€‚ ã“ã®2ã¤ã¯ã€å®Ÿã¯åŒã˜ã‚‚ã®ãªã‚“ã ã‚ˆã€‚ãªã‚“ã§ã€èª°ã‚‚ã“ã®ã“ã¨ã‚’è¨€ã‚ãªã„ã‚“ã ã‚ã†ãï¼Ÿ The Yoneda embedding is familiar in category theory. The continuation passing transf orm is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayã®ã“ã®è¨˜äº‹ã€é¢ç™½ã„ã®ã
ishideo 2008/01/17
javascript

continuation
ãƒªãƒ³ã‚¯
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
ishideo 2007/11/14
scheme

lisp

continuation
ãƒªãƒ³ã‚¯
Practical Scheme
Shiro Kawai ã¾ã ä¸‹æ›¸ã Schemeã®ç‰¹å¾´ã‚’ã‚ã’ã‚‹ã¨ãã«ã€ã€Œç¶™ç¶šã€ã‚„ã€Œcall/ccã€ãŒå‡ºã¦æ¥ãªã„ã“ã¨ã¯ãªã„ã€‚ ã§ã‚‚ã€R5RSã®call/ccã®é …ã‚’ã„ãã‚‰èªã‚“ã§ã‚‚ã€ã©ã†ã‚‚ã‚ˆãã‚ã‹ã‚‰ãªã„ã€‚ call/ccã‚’ä½¿ãˆã°Cè¨€èªžã®breakã¿ãŸã„ãªã®ã¨ã‹ã€ã‚³ãƒ«ãƒ¼ãƒãƒ³ã¨ã‹ã„ã† ã‚¹ãƒ¬ãƒƒãƒ‰ã‚‚ã©ãã¨ã‹ãŒæ›¸ã‘ã‚‹ã€ã¨ã„ã†ã®ã¯ã‚ã‹ã£ãŸã‘ã©ã€ä¸€ä½“ãã†ã„ã†ã®ãŒæ›¸ã‘ã¦ ä½•ãŒå¬‰ã—ã„ã®ã‹ã€ãã“ã‚“ã¨ã“ãŒãƒ”ãƒ³ã¨æ¥ãªã„ã‚“ã ã€‚ ä»Šã€ãã“ã«ã‚ã‚‹ç¶™ç¶š ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä¸–ç•Œã®æ¦‚å¿µã«ã¯ã€ç¦…ã®å…¬æ¡ˆã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã‚‹ã€‚ ãã‚Œã‚’èª¬æ˜Žã™ã‚‹æ–‡ç« ã¯ã»ã‚“ã®ä¸€æ–‡ãªã®ã«ã€æœ€åˆã«ç›®ã«ã™ã‚‹æ™‚ã€ ãã®æ–‡ã¯å…¨ãæ„å‘³ã‚’ãªã•ãªã„ã€æš—å·ã®ã‚ˆã†ã«æ„Ÿã˜ã‚‰ã‚Œã‚‹ã€‚ ã ãŒã²ã¨ãŸã³ãã®æ¦‚å¿µã‚’ç†è§£ã™ã‚‹ã¨ã€ ãã®æ¦‚å¿µã®èª¬æ˜Žã¯ç¢ºã‹ã«ãã®ä¸€æ–‡ã§èª¬æ˜Žã•ã‚Œã¦ã„ã‚‹ã®ãŒã‚ã‹ã‚‹ã®ã ã€‚ ãã‚“ãªã€ã€Œåˆ†ã‹ã‚Œã°åˆ†ã‹ã‚‹ã€ã¨ã„ã†ç¦…å•ç”ã®ä¸ã§ã‚‚ ã€Œç¶™ç¶šã€ã¯æœ€ã‚‚è¬Žã‚ã„ãŸã‚‚ã®ã®ä¸€ã¤ã¨è¨€ãˆã‚‹ã ã‚ã†ã€‚ æ–‡çŒ®ã‚’ç´
ishideo 2007/09/16
continuation

scheme
ãƒªãƒ³ã‚¯
ãªã‚“ã§ã‚‚ç¶™ç¶šã€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
ishideo 2007/09/16
continuation

perl

scheme
ãƒªãƒ³ã‚¯
Javascriptã§ç¶™ç¶šæ¸¡ã— - ãƒ’ãƒ“ãƒŽã‚ãƒã‚¯
id:nozom:20060317#1142577630ã®ç¶šãã€‚ä¸–ç•Œã§æœ€ã‚‚èª¤è§£ã•ã‚ŒãŸè¨€èªžã¨ã‚‚å‘¼ã°ã‚Œã‚‹Javascriptã‚’ä½¿ã£ã¦ç¶™ç¶šæ¸¡ã—ã‚’æ›¸ã„ã¦ã¿ãŸã€‚ ãªãŠã€Javascriptã®å‡¦ç†ç³»ã¨ã—ã¦Rhino*1ã‚’ä½¿ã£ãŸã€‚å‚è€ƒæ–‡çŒ®ã¯ã€Žå…¥é–€Javascriptã€(ISBN:4756138713)ã€‚ function fib(n) { if ((n == 1) || (n == 2)) return 1; else return fib(n - 1) + fib(n - 2); } function fib_cps(n, k) { if ((n == 1) || (n == 2)) return k(1); else return fib_cps(n - 1, function(v1) { return fib_cps(n - 2, function(v2) { return k(v1 + v2);
ishideo 2007/07/20
javascript

lisp

programming

scheme

continuation

cps
ãƒªãƒ³ã‚¯
jwacs - Downloads
ishideo 2007/07/18
jwacs

javascript

continuation
ãƒªãƒ³ã‚¯
1 2 æ¬¡ã®ãƒšãƒ¼ã‚¸