Asai Laboratory, Ochanomizu University継続計算ã«å¯¾ã™ã‚‹ä»®æƒ³æ©Ÿæ¢°ã®å°Žå‡º 定ç†è¨¼æ˜Žç³»Coqを使ã£ãŸå„種継続計算ã®æ€§è³ªã®è¨¼æ˜Ž 対称 λ 計算 shift/resetã‚’å«ã‚€éƒ¨åˆ†è©•ä¾¡å™¨ã®å®Ÿè£… MinCamlコンパイラ，Caml Lightã«ãŠã‘ã‚‹shift/resetã®å®Ÿè£… 証明木(ã»ã‹)ã®å¯è¦–化 ãŠèŒ¶å¤§æƒ…å ±ç§‘å¦ç§‘ã®æ™‚é–“å‰²è‡ªå‹•ä½œæˆ ã€Žå››å‰‡æ¼”ç®—ã‚¤ãƒ³ã‚¿ãƒ—ãƒªã‚¿ã‚’ä½œã‚ã†ï¼ã€ 四則演算インタープリタをã¤ãã‚Šã¾ã—ょㆠ末尾呼ã³å‡ºã—(tail call)ã¨ç¶™ç¶šæ¸¡ã—å½¢å¼(Continuation Passing Style) lexer（å—å¥è§£æžå™¨ï¼‰ã¨ parser（構文解æžå™¨ï¼‰ã®ä½œæˆ (サンプルコード) 局所変数ã®å°Žå…¥ 関数(closure)ã®è¿½åŠ 大域脱出(exit)ã®è¿½åŠ å†å¸°é–¢æ•°ã®è¿½åŠ Felleisenã®Cオペレータ リストã®è¿½åŠ Promptã®å°Žå…¥ control/prompt ã‹ã‚‰ shift/reset ã¸ã®æ‹¡å¼µ 対称 λ 計算 Coq
オンラインã§å…¥æ‰‹ã§ãã‚‹æ•°ç†è«–ç†å¦ãƒ»æ•°å¦åŸºç¤Žè«–ã®ãƒ†ã‚スト
カリー化 != 部分é©ç”¨ - kmizuã®æ—¥è¨˜
http://sicpinclojure.com/
JavaScriptã§èªã‚€ã€Œãƒ©ãƒ ダ計算基礎文法最速マスター〠- 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
Y コンビãƒãƒ¼ã‚¿ã£ã¦ä½•ï¼Ÿ - IT戦記
計算モデルã¨è«–ç†ã¨ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç† - Gemmaã®æ—¥è¨˜
Y Combinator - LoveRubyNet
Practical Scheme
檜山æ£å¹¸ã®ã‚マイラ飼育記 - JavaScriptã§å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算
{{#tags}}- {{label}}
{{/tags}}