継続モナドã«ã‚ˆã‚‹ãƒªã‚½ãƒ¼ã‚¹ç®¡ç† - Qiita
継続モナドã£ã¦ä½•ã«ä½¿ã†ã‚“ã å•é¡Œã«å¯¾ã™ã‚‹ä¸€ã¤ã®ä¾‹ã€‚ リソース管ç†ã®å•é¡Œ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’ã‚„ã£ã¦ã„ã‚‹ã¨å¿…ãšã¾ã¨ã‚り付ã„ã¦ãã‚‹ã®ãŒãƒªã‚½ãƒ¼ã‚¹ç®¡ç†ã®å•é¡Œã§ã™ã€‚ã“ã“ã§æŒ‡ã™ãƒªã‚½ãƒ¼ã‚¹ã¨ã„ã†ã®ã¯ã€ãƒ•ã‚¡ã‚¤ãƒ«ã®ãƒãƒ³ãƒ‰ãƒ«ã ã¨ã‹ã€ã‚½ã‚±ãƒƒãƒˆã ã¨ã‹ã€æŽ’他処ç†ã®ãŸã‚ã®ãƒãƒƒã‚¯ã ã¨ã‹ã€ã‚°ãƒ©ãƒ•ã‚£ãƒƒã‚¯ã®ãƒãƒ³ãƒ‰ãƒ«ã ã¨ã‹ãã†ã„ã†è©±ã§ã€GCã®ãªã„言語ã ã¨ãƒ¡ãƒ¢ãƒªã®ç®¡ç†ã‚‚ã“ã‚Œã«å«ã¾ã‚Œã‚‹ã§ã—ょã†ã‹ã€‚ 言ã†ã¾ã§ã‚‚ãªãã€ãƒªã‚½ãƒ¼ã‚¹ã‚’確ä¿ã—ãŸå¾Œã¯ã—ã‹ã‚‹ã¹ãタイミングã§ç¢ºå®Ÿã«è§£æ”¾ã—ã¦ã‚„ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ã—ã‹ã—往々ã«ã—ã¦ã€ç¾å®Ÿã®ãƒ—ãƒã‚°ãƒ©ãƒ ã§ã¯ãƒªã‚½ãƒ¼ã‚¹ã®è§£æ”¾æ¼ã‚ŒãŒç™ºç”Ÿã—ã¦ã—ã¾ã„ã¾ã™ã€‚å˜ã«è§£æ”¾ã™ã‚‹ã‚³ãƒ¼ãƒ‰ã‚’書ã忘れるã¨è¨€ã†ã®ãŒä¸€ç•ªå˜ç´”ã§ã—ょã†ã‚‚ãªã„ç†ç”±ã§ã™ãŒã€ãã‚Œã§ã‚‚ã€C言語ã®ã‚ˆã†ã«ãƒªã‚½ãƒ¼ã‚¹è§£æ”¾ã®ãŸã‚ã®ç‰¹åˆ¥ãªä»•çµ„ã¿ã‚’æŒãŸãªã„言語ã§ã¯ã€ã“れを徹底ã™ã‚‹ã®ã‚‚çµæ§‹éª¨ã®æŠ˜ã‚Œã‚‹ã“ã¨ã ã£ãŸã‚Šã—ã¾ã™ã€‚ãã‚Œã¯ã¨ã‚‚ã‹ãã€ã‚‚ã†å°‘ã—高尚ãªæ‚©ã¿ã¨ã—ã¦ã¯ã€ä¾‹å¤–ã¨ã®çµ„ã¿åˆã‚ã›ã§ç™ºç”Ÿã™ã‚‹è§£
マクãƒã¨é™å®šç¶™ç¶š
é™å®šç¶™ç¶š(shift/reset)shiftã¯resetã¾ã§ã®ç¶™ç¶šã‚’ã¨ã‚‹ (reset (+ (shift k (k 1)) 2)) ; => 3 ; k = (fn [x] (+ x 2)) 実装shiftã¯ç¶™ç¶šã‚³ãƒ³ãƒ†ã‚ストを返㙠resetã¯callã«ã‚ˆã‚‹ç¶™ç¶šæ¸¡ã—å½¢å¼ã«å¤‰æ› callã¯ç¶™ç¶šã‚’é©ç”¨ã™ã‚‹ (macroexpand (quote (reset (+ (shift k (k 1)) 2)))) (cont.core/call + (fn* [G__3646] (cont.core/call (new cont.core.Context (fn* [k] (k 1))) (fn* [G__3647] (cont.core/call (G__3646 G__3647 2) (fn* [G__3645] G__3645)))))) 例éžæ±ºå®šæ€§è¨ˆç®— (defn amb [& xs] (
Coqã§ç¶™ç¶šãƒ¢ãƒŠãƒ‰ - Qiita
Coqã§ç¶™ç¶šãƒ¢ãƒŠãƒ‰ 2014_05_15 @suharahiromichi 2014_06_01 @suharahiromichi Classを使用ã—ã¦å®šç¾©ã—ãªãŠã—ãŸã€‚ モナドã¨ç¶™ç¶šã®è©±ã‚’一度ã§ç‰‡ä»˜ã‘ã¦ã—ã¾ãŠã†ã¨æ€ã†ã€‚継続モナドã«ã¤ã„ã¦è§£èª¬ã—ãŸãƒšãƒ¼ã‚¸ã¯å¤šã„ã‘ã‚Œã©ã€å¤§éƒ¨åˆ†ãŒHaskellã§ã‚ã‚‹ã‹ã‚‰ã€Coq SSReflect ã§æ›¸ã„ã¦ã¿ãŸã€‚ã‚‚ã£ã¨ã‚‚ã€æœ¬è³‡æ–™ã®å†…容もHaskellã«ã¤ã„ã¦è§£èª¬ã—ãŸæ–‡çŒ®2.を多ãå‚考ã«ã•ã›ã¦ã„ãŸã ã„ãŸã€‚ ã¾ãŸã€ãƒ•ã‚£ãƒœãƒŠãƒƒãƒé–¢æ•°ã®è¨¼æ˜Žã¯æ–‡çŒ®3.ã®Coqã«ã‚ˆã‚‹è¨¼æ˜Žã‚’SSReflectã«ä¿®æ£ã—ãŸã‚‚ã®ã§ã‚る。 Coqã®ãƒ¢ãƒŠãƒ‰ã®ãƒ‘ッケージã¯æ–‡çŒ®1.ã«ã‚ã‚‹ãŒã€ã“ã‚Œã¯ä½¿ç”¨ã—ã¦ã„ãªã„。ãŸã ã—「>>=ã€æ¼”ç®—åã®å„ªå…ˆé †ä½ã¯ã‚ã‚ã›ãŸã€‚ 本資料ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã¯ä»¥ä¸‹ã«ã‚ã‚Šã¾ã™ã€‚ https://github.com/suharahiromichi/coq/blob/master/ssr/s
sweet.jsã§shift/reset: é™å®šç¶™ç¶šã‚’使ã£ã¦ã‚³ãƒ¼ãƒ«ãƒãƒƒã‚¯åœ°ç„ã‹ã‚‰æŠœã‘出㙠- 標高+1m
Stop Writing JavaScript Compilers! Make Macros Insteadã‚’èªã‚“ã§ã€sweet.jsを使ã£ã¦ã¿ãŸã€‚ 解決ã—ãŸã„事 JavaScriptã§ã¯éžåŒæœŸå‡¦ç†ãŒå¤šã„ã®ã§ã€ç¶™ç¶šæ¸¡ã—スタイルã®ã‚³ãƒ¼ãƒ‰ã°ã£ã‹ã‚Šã«ãªã‚‹ã®ã ã‘ã©ã€ã¿ã‚“ãªã“れをcallback hellã¨ã‹pyramid of doomã¨ã‹å‘¼ã‚“ã§å«Œã£ã¦ã„る。 ãã“ã§ãƒ—ãƒãƒŸã‚¹ã¨ã‹ãƒ•ãƒ¥ãƒ¼ãƒãƒ£ã£ã¦ã„ã†ã®ãŒä½¿ã‚れるよã†ã«ãªã£ãŸã€‚プãƒãƒŸã‚¹ã‚’使ã†åˆ©ç‚¹ã¯çµæžœãŒå‡ºã¦ã„ãªã„状態をファーストクラスãªå€¤ã¨ã—ã¦ä½¿ãˆã‚‹äº‹ã ã¨æ€ã†ã€‚ãƒã‚¹ãƒˆã¯ãªããªã‚‹ã‘ã©ã€çµå±€æ–‡æ³•ã®æ”¯æ´ãŒãªã„ã‹ã‚‰promise.then(function () {...})ã¿ãŸã„ã«ã€é™å®šç¶™ç¶šæ¸¡ã—çš„ãªã“ã¨ã¯ã—ãªãã¡ã‚ƒã„ã‘ãªã„。 継続渡ã—å½¢å¼ãŒå«Œãªã‚‰call/ccã¨ã‹shift/resetã‚’å°Žå…¥ã—ãŸã‚‰ã„ã„ã‚“ã˜ã‚ƒãªã„ã‹ã¨ã¯ãšã£ã¨æ€ã£ã¦ã„ãŸã€‚ãã“ã§ä»Šæ—¥ã¯ã€sweet.
logict
logict Provides support for logic-based evaluation. Logic-based programming uses a technique known as backtracking to consider alternative values as solutions to logic statements, and is exemplified by languages such as Prolog and Datalog. Logic-based programming replaces explicit iteration and sequencing code with implicit functionality that internally "iterates" (via backtracking) over a set of
OchaCamlã«è§¦ã£ã¦ã¿ãŸã€‚ - claustrophobia
PPL2014（ http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ ）ã«å‚åŠ ã—ã¦æ¥ã¾ã—ãŸã€‚ 去年ã«å¼•ç¶šãã®å‚åŠ ï¼ˆä½†ã—去年ã¯ç™ºè¡¨ãªã—ã§è¦‹ã«è¡Œã£ãŸã ã‘）ã ã£ãŸã®ã§ã™ãŒã€åŽ»å¹´ã‚‚今年も（主ã«ãŠèŒ¶å¥³å‹¢ã«ã‚ˆã‚‹ï¼‰é™å®šç¶™ç¶šã®ç™ºè¡¨ã‚’èžã„ã¦ã¯ã€Œé™å®šç¶™ç¶šã£ã¦ãªã‚“ã ã£ã‘ã€ã¨æ€ã£ã¦ã¯ã‚°ã‚°ã£ãŸã‚Šã€æ•™ãˆã¦ã‚‚らã£ãŸã‚Šã—ã¦ã„ã¾ã—ãŸã®ã§ã€ã„ã„åŠ æ¸›ã¡ã‚‡ã£ã¨ã¯å¦ã‚“ã§ãŠã“ã†ã¨æ€ã„ã€OchaCamlを入れã¦éŠã‚“ã§ã¿ã¾ã—ãŸã€‚ å…¬å¼ãƒšãƒ¼ã‚¸é€šã‚Šã«ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã—ã¦ã¿ã¾ã™(OSã¯Ubuntu)。tarã‚’è½ã¨ã—㦠cd ~/Project/OchaCaml tar xpfvz cl75unix.tar.gz tar xpfvz OchaCaml.tar.gz patch -p0 < OchaCaml/OchaCaml.diff cd cl75/src make configure ã¨ã€ã“ã“ã§ã‚¨ãƒ©ãƒ¼ã€‚ gcc:
OchaCaml: shift/reset-extension of Caml Light
OchaCaml: shift/reset-extension of Caml Light September 16, 2017 What is OchaCaml OchaCaml is a Caml Light system extended with delimited control operators, shift and reset. It supports the let-polymorphic type system with answer type modification. Added Features reset (fun () -> M) Delimit the context of M. shift (fun k -> M) Clear the current delimited continuation, bind it to k, and execute M.
CPSã§å®Ÿè£…ã—ãŸãƒ¢ãƒŠãƒ‰ã¯ä½•æ•…速ã„ã®ã‹ - Mizon Dev Diary
2014-01-20 CPSã§å®Ÿè£…ã—ãŸãƒ¢ãƒŠãƒ‰ã¯ä½•æ•…速ã„ã®ã‹ãƒ¢ãƒŠãƒ‰å¤‰æ›åã®é€Ÿã•ã‚’測ã£ã¦ã¿ã‚‹ - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰CPSã§ãƒ¢ãƒŠãƒ‰ã‚’実装ã™ã‚‹ã¨é€Ÿããªã‚‹ã‚‰ã—ã„。以å‰ã€ãã®ç†ç”±ã«ã¤ã„ã¦è€ƒãˆã¦ã¿ãŸã®ã ãŒã€çµè«–ã«é”ã—ãªã‹ã£ãŸã€‚ãã“ã§ã€ç¶šãを書ã。ã¾ãšã€Twitterã§ã‚ã‚‹æ–¹ã«æ•™ãˆã¦ã„ãŸã ã„ãŸã®ã ãŒã€CPSã§å®Ÿè£…ã—ãŸãƒ¢ãƒŠãƒ‰ã¯ã€éžCPSã§å®Ÿè£…ã—ãŸãƒ¢ãƒŠãƒ‰ã«æ¯”ã¹ã¦æ¬¡ã®2点ã®ç†ç”±ã«ã‚ˆã‚Šé«˜é€Ÿã§ã‚ã‚‹ã¨ã„ã†ã€‚データã®ç”Ÿæˆ/分解ãŒæŠ‘ãˆã‚‰ã‚Œã‚‹ã‹ã‚‰åˆæˆæ™‚ã«ç¶™ç¶šã‚’ç ´æ£„ã§ãã‚‹ã‹ã‚‰ã©ã†ã„ã†ã“ã¨ãªã®ã ã‚ã†ã‹ã€‚Maybeモナドを例ã¨ã—ã¦ä»¥ä¸Šã®2点を確èªã—ãŸã„——。ã¨ã€ç¢ºèªã—ãŸã‹ã£ãŸã®ã ãŒã€æ¤œè¨¼ã—ãŸã¨ã“ã‚ã€1点目ã«ã¤ã„ã¦ã¯çµè«–ã‚’å¾—ãŸã‚‚ã®ã®ã€2点目ã«ã¤ã„ã¦ã¯ã€Œé€Ÿããªã‚‰ãªã„ã€ã¨ã„ã†çŸ›ç›¾ã—ãŸçµè«–ãŒå‡ºã¦ã—ã¾ã£ãŸã€‚ãã“ã§ã€ä»¥ä¸Šã®1点目ã«ã¤ã„ã¦ã®ã¿æ¤œè¨¼ã—ãŸè¨˜éŒ²ã‚’ã¤ã‘る。éžCPS版Maybeモナドã¾ãšã€éžCPS版ã®Maybeモナドã®å®šç¾©ã¯ä»¥ä¸‹
GHCã§å‹•ãcall/ccã®å®Ÿè£… - www.kotha.netã®è£
IOモナド上ã§å‹•ä½œã™ã‚‹call/ccを実装ã§ãã‚‹ã“ã¨ãŒåˆ†ã‹ã£ãŸã®ã§æ›¸ã„ã¦ãŠã。ãŸã ã—実用ã«è€ãˆã‚‹ã‚‚ã®ã§ã¯ãªã„。 ã“れを使ã†ã¨ãŸã¨ãˆã°ã“ã†ã„ã†ã‚³ãƒ¼ãƒ‰ã‚’書ãã“ã¨ãŒã§ãる。 import Control.Applicative import Control.Monad import Data.IORef import System.IO.Unsafe import Continuation (callCC, withContinuationsDo) test :: IO () test = do r <- callCC $ \cc -> return $ Right $ cc . Left case r of Left val -> do putStrLn $ "left: " ++ show val return () Right cc -> do putStrLn "right" cc "f
NECãŒãƒ“ッグデータã®æ©Ÿæ¢°å¦ç¿’を高速化ã™ã‚‹æŠ€è¡“を開発ã€ã‚¤ãƒ³ãƒ¡ãƒ¢ãƒªãƒ¼å‡¦ç†ã‚„MPIã‚’å°Žå…¥
NECã¯ã€ãƒ“ッグデータ分æžã‚’高速化ã™ã‚‹åˆ†æ•£å‡¦ç†ãƒ•ãƒ¬ãƒ¼ãƒ ワーク「Felissã€ã‚’開発ã—ãŸï¼ˆç™ºè¡¨è³‡æ–™ï¼‰ã€‚ビッグデータ分æžã§ã‚ˆã用ã„られるHadoopã¯ã€Map-Reduceåž‹ã®å˜ç´”ãªåˆ†æžã§ã‚ã‚Œã°é«˜é€Ÿã«å®Ÿè¡Œã§ãã‚‹ãŒã€ç¹°ã‚Šè¿”ã—演算を多用ã™ã‚‹æ©Ÿæ¢°å¦ç¿’処ç†ã§ã¯ã€ã‚¸ãƒ§ãƒ–é–“ã§ã‚¹ãƒˆãƒ¬ãƒ¼ã‚¸ã‚’経由ã—ã¦ãƒ‡ãƒ¼ã‚¿ã‚’ã‚„ã‚Šå–ã‚Šã™ã‚‹HDFSãŒãƒœãƒˆãƒ«ãƒãƒƒã‚¯ã¨ãªã‚Šã€æ¼”ç®—ã®åŠ¹çŽ‡ã‚’上ã’ã«ãã„。 ãã“ã§NECã®Felissã§ã¯ã€ã‚¸ãƒ§ãƒ–é–“ã®ãƒ‡ãƒ¼ã‚¿ã®ã‚„ã‚Šå–りをインメモリーã§å®Ÿæ–½ã™ã‚‹ã‚ˆã†ã«ã—ãŸã€‚ã•ã‚‰ã«æ¼”算ノード間ã®é€šä¿¡ãªã©ã«ãŠã„ã¦ã€ä¸¦åˆ—処ç†ã®éš›ã®ãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ãƒ‘ッシングã®APIã¨ã—ã¦ä¸€èˆ¬çš„ãªã€ŒMPIã€ã‚’åŒæ™‚ã«ä½¿ãˆã‚‹ã‚ˆã†ã«ã—ãŸã€‚ã“ã‚Œã«ã‚ˆã‚Šã€æ©Ÿæ¢°å¦ç¿’ã®ã‚ˆã†ãªè¤‡é›‘ãªæ¼”ç®—ã«ã¤ã„ã¦ã€é€šå¸¸ã®Hadoopを用ã„ã‚‹å ´åˆã¨æ¯”ã¹ã¦10å€ã»ã©é«˜é€Ÿã«å®Ÿè¡Œã§ãるよã†ã«ã—ãŸã€‚Felissã¯HDFSã®ã‚¤ãƒ³ã‚¿ãƒ•ã‚§ãƒ¼ã‚¹ã‚’å‚™ãˆã¦ãŠã‚Šã€æœ€åˆã®ãƒ‡ãƒ¼ã‚¿èªã¿å‡ºã—ã¯HDFSã‹ã‚‰è¡Œãˆã‚‹ã€‚
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
Island Life - 継続ã®èµ·æº
About å—ã®å³¶ã®ãƒ—ãƒã‚°ãƒ©ãƒžã€‚ ãŸã¾ã«å½¹è€…。 Practical Schemeã®ä¸»ã€‚ WiLiKi:Shiro 最近ã®ã‚¨ãƒ³ãƒˆãƒª ç„¡é™cxré«˜æ ¡å—験Defense振り返ã£ã¦ã¿ã‚‹ã¨2019å¹´ã¯è‰²ã€…å¦ã‚“ã§æ¥½...覚ãˆã‚‹ã‚ˆã‚Šå¿˜ã‚Œã‚‹æ–¹ãŒé›£ã—ã„(ã“ã¨ã‚‚ã‚ã‚‹)眼é¡ã®ã¤ã‚‹ã¨3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動ã£ã¦è‡ªåˆ†ã‚’æ™’ã‘出ã•ãã°ãªã‚‰ãªã„ã¨...ループを使ã‚ãšã«1ã‹ã‚‰100ã¾ã§More... 最近ã®ã‚³ãƒ¡ãƒ³ãƒˆ shiro on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/14)1357 on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/01)ベアトリーãƒã‚§ on ãƒã‚¤ãƒãƒã‚¤ãƒãƒã‚¤ãƒã®ã‚·ãƒ¥ãƒ¼ãƒªãƒ³ã‚¬ãƒ³ (2022/04/02)ベアトリーãƒ
Island Life - 継続ã®èµ·æº
About å—ã®å³¶ã®ãƒ—ãƒã‚°ãƒ©ãƒžã€‚ ãŸã¾ã«å½¹è€…。 Practical Schemeã®ä¸»ã€‚ WiLiKi:Shiro 最近ã®ã‚¨ãƒ³ãƒˆãƒª 米国ã®å¤§å¦é€²å¦ç„¡é™cxré«˜æ ¡å—験Defense振り返ã£ã¦ã¿ã‚‹ã¨2019å¹´ã¯è‰²ã€…å¦ã‚“ã§æ¥½...覚ãˆã‚‹ã‚ˆã‚Šå¿˜ã‚Œã‚‹æ–¹ãŒé›£ã—ã„(ã“ã¨ã‚‚ã‚ã‚‹)眼é¡ã®ã¤ã‚‹ã¨3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動ã£ã¦è‡ªåˆ†ã‚’æ™’ã‘出ã•ãã°ãªã‚‰ãªã„ã¨...More... 最近ã®ã‚³ãƒ¡ãƒ³ãƒˆ shiro on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/14)1357 on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/01)ベアトリーãƒã‚§ on ãƒã‚¤ãƒãƒã‚¤ãƒãƒã‚¤ãƒã®ã‚·ãƒ¥ãƒ¼ãƒªãƒ³ã‚¬ãƒ³ (2022/04/02)ベアトリーãƒã‚§ on ãƒã‚¤ãƒãƒ
Ruby ã« callcc ã‚’å…¬å¼ã«ã‚µãƒãƒ¼ãƒˆã•ã›ã‚ˆã† - ã¾ã‚ã‚ã‚‚
Ruby ã® callcc ã¨ã„ã†ã¨ã€ ç¾åœ¨ã® Ruby ã® Continuation ã¯æ¬ 陥å“ã§ã€ã¾ã¨ã‚‚ã«åˆ©ç”¨ã§ããªã„ã‚·ãƒãƒ¢ãƒŽã§ã™ã€‚具体的ã«ã¯ã€dynamic-wind 相当ã®æ©Ÿèƒ½ãŒã‚ã‚Šã¾ã›ã‚“。 (ç•¥) ã¡ãªã¿ã«ã€dynamic-wind 相当ã®æ©Ÿèƒ½ã‚’入れるã®ã¯ã€æ‹¡å¼µãƒ©ã‚¤ãƒ–ラリを全部 callcc safe ã«ã™ã‚‹ä½œæ¥ã«ç›¸å½“ã—ã¾ã™ã®ã§ã€ç¾å®Ÿçš„ã˜ã‚ƒãªã„ã‚“ã˜ã‚ƒãªã„ã‹ãªãã€ã¨æ€ã£ã¦ã„ã¾ã™ã€‚ ruby-dev:30988 ã¨ã„ã†è©±ãŒã‚ã£ã¦ã€ã€Œãã£ã‹ãƒ¼æ¬ 陥å“ãªã®ã‹ãƒ¼ã€ã€Œç›´ã™ã®ã‚‚難ã—ã„ã®ã‹ãƒ¼ã€ã¨æ‚²ã—ã‚“ã§ã„ã¾ã—ãŸã€‚ ãŒã€dynamic-wind を実装ã™ã‚‹ã ã‘ãªã‚‰åºƒç¯„囲ã®ä¿®æ£ã¯ä¸è¦ãªã“ã¨ã«æ°—ãŒã¤ãã¾ã—ãŸã€‚ã¤ã¾ã‚Šç›´ã™ã®ã¯ç°¡å˜ã€‚ã¨ã„ã†ã‚¨ãƒ³ãƒˆãƒªã€‚ ãã®å‰ã«: dynamic-wind ã¨ã¯ dynamic-wind ã¨ã¯ã€ç¶™ç¶šå‘¼ã³å‡ºã—ã§æŒ‡å®šã—ãŸç¯„囲ã«çªå…¥ã—ãŸã‚Šè„±å‡ºã—ãŸã‚Šã™ã‚‹ã¨ãã«èµ·å‹•ã™ã‚‹ãƒãƒ³ãƒ‰ãƒ©ã‚’è¨å®šã™ã‚‹é–¢
CPSãƒã‚§ã‚¤ãƒ³ - keigoiã®æ—¥è¨˜
追記：「æ±äº¬Nodeå¦åœ’#1「éžåŒæœŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ”¹å–„ã€ã®ã‚¨ãƒƒã‚»ãƒ³ã‚¹ã€ã¨ã„ã†ã‚¹ãƒ©ã‚¤ãƒ‰ã§ã€ä¼¼ãŸã‚ˆã†ãªãƒ†ã‚¯ãƒ‹ãƒƒã‚¯ãŒä½¿ã‚ã‚Œã¦ã„ã‚‹ã®ã‚’見ãŸ(p.32-)。 ãã‚“ãªã«ã‚¹ã‚¸ã¯æ‚ªããªã„ã®ã‹ã‚‚ã—ã‚Œãªã„。 JavaScriptã§ã¯éžåŒæœŸçš„ã«é–¢æ•°ã‚’呼ã¶ã“ã¨ãŒå¤šã„。例ãˆã°imgã‚¿ã‚°ã®ãƒãƒ¼ãƒ‰ãŒçµ‚ã‚ã£ãŸã‚‰æ¬¡ã«Aを処ç†ã—ã¦ã€ãã‚ŒãŒçµ‚ã‚ã£ãŸã‚‰Bã‚’ã—ã¦â€¦ãªã©ã€‚ ã“ã†ã„ã†ã¨ãCPSå½¢å¼ã§ãƒ—ãƒã‚°ãƒ©ãƒ を書ãã¯ã‚ã«ãªã‚‹ã€‚ func1(arg1, function(res1){ func2(arg2, function(arg3, res2){..})}) ã‹ã‚ˆã†ã«JavaScriptã§ã¯é–¢æ•°ãƒªãƒ†ãƒ©ãƒ«ãŒã™ã“ã¶ã‚‹æ‰±ã„ã¥ã‚‰ã„ -- 'function' ã¨ã‹ 'return' ã¨ã‹ {} ã®ãƒã‚¹ãƒˆã¨ã‹â€¦ã‚ã¨ã‚«ãƒªãƒ¼åŒ–ã™ã‚‹ã«ã‚‚一苦労 -- JavaScriptプãƒã‚°ãƒ©ãƒžã¯ã©ã†æ›¸ãã‚“ã ã‚ã†ï¼Ÿ ã“ã†ã„ã†éžåŒæœŸå‘¼ã³å‡ºã—ã‚’ã†ã¾ãåŒæœŸçš„ã«è¨˜è¿°ã™ã‚‹
2004-10-02
最近C++を使ã†æ™‚é–“ãŒé•·ã„ã®ã§ãŒãŒãƒ¼ã£ã¨ C++æ‰¹åˆ¤æ–‡ç« ã‚’æ›¸ã上ã’ã¦ã¿ã‚‹â€¦ã€‚ (注：以下ã®æ–‡ç« ã«ãŠã„ã¦ã€C言語ã¨ã¯C/C++ã‚’ã•ã™ã‚‚ã®ã¨ãŠè€ƒãˆãã ã•ã„) gotoã¯ä»Šã‹ã‚‰30年以上もå‰ã®ãƒ€ã‚¤ã‚¯ã‚¹ãƒˆãƒ©å…ˆç”Ÿã«ã‚ˆã‚‹æ’²æ»…é‹å‹•ã® 甲æ–ã‚‚ã‚ã£ã¦ã‹ã©ã†ãªã®ã‹ã€ä»Šæ—¥ã§ã¯è‰¯ããªã„ã‚‚ã®ã®ä»£åè©žã®ã‚ˆã†ã« ãªã£ã¦ã„る。良ããªã„ã¨ã„ã†ã“ã¨ã®ä¸»ãªç†ç”±ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã®æµã‚ŒãŒ 見ãˆã«ãããªã‚‹ã€ç‰ã®ã‚ˆã†ãªã®ã ãŒã€å®Ÿéš›ã®ã¨ã“ã‚ã©ã®ç¨‹åº¦ã®ã‚‚ã®ã‹ã¯ よã分ã‹ã‚‰ãªã„。C言語ã«ãŠã„ã¦ã€ä¾‹ãˆã°ãƒ«ãƒ¼ãƒ—構文を使ã‚ãšã«ã™ã¹ã¦ã‚’ gotoã§ã¾ã‹ãªãŠã†ã¨ã™ã‚‹ã¨ã“ã‚Œã¯ã»ã¨ã‚“ã©è‡ªæ˜Žã«ã€ç¢ºã‹ã«å¤§å¤‰ã§ã‚る。 例ãˆã°foræ–‡ãªã‚‰ã€ for (A;B;C) body ã¨ã„ã†ã‚‚ã®ã¯ã€ã“れを形å¼çš„ã« A _continue_for: if (B) goto _break_for; C goto _continue_for; _break_for:; ã“ã®ã‚ˆã†ã«å¤‰
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
ãªãœPlayã®ã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ©ã§ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã‚’使ã†ã¨ä¾¿åˆ©ãªã®ã‹ï¼Ÿ
GitHub - lambdataro/fly2: fly2 ã¯é™å®šç¶™ç¶šã‚’実験ã™ã‚‹ãŸã‚ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚
Coqã§call/cc（Coqã§ç¶™ç¶šãƒ¢ãƒŠãƒ‰ã€ãã®2） - Qiita
モナドをã¤ãã‚ã†
{{#tags}}- {{label}}
{{/tags}}