å†å¸°ãƒ—ãƒã‚°ãƒ©ãƒ ã®æ„味論ã«ã¤ã„ã¦
∗ 1 semantics of programming languages recursion ∗ 59 (2007), 180–191 1 2 2.1 fact(x) ≡ if x = 0 then 1 else x × fact(x−1) well-defined Z * Z Z * Z F : (Z * Z) → (Z * Z) F(f)(x) =      1 (x = 0) x × f(x − 1) (x 6= 0, f(x − 1) ) ( ) F F fact fact [[fact]] : Z * Z [[fact]](x) = ( x! (x ≥ 0) ( ) 2 F f [[fact]] F([[fact]])(x) =      1 (x = 0) x × y (x 6= 0, [[fact]](x−1) = y) ( ) = ( x! (x ≥
セマンティクス(笑) - soutaroブãƒã‚°
セマンティクスã£ã¦ï¼Ÿ - Higepon’s blog Route 477(2008-05-30) セマンティクス - soutaroã«ã£ã http://alohakun.blog7.fc2.com/?no=945 http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20080603#p01 d.y.d. 多分ã€æ™‚ç³»åˆ—é †ã€‚ id:higeponã•ã‚“ã®ã‚¨ãƒ³ãƒˆãƒªã¯LDRã§çœºã‚ãŸã ã‘ã§ã€ã¡ã‚‡ã£ã¨ã—ã¦yharaã•ã‚“ãŒã‚³ãƒ¡ãƒ³ãƒˆã—ã¦ã‚‹ã®ã‚’見ã¦ã€ã˜ã‚ƒã‚ã›ã£ã‹ãã ã‹ã‚‰ã¨æ€ã£ã¦ã¡ã‚‡ã£ã¨ã‚»ãƒžãƒ³ãƒ†ã‚£ã‚¯ã‚¹ã«ã¤ã„ã¦æ›¸ã„ã¦ã¿ã‚ˆã†ã¨æ€ã£ãŸã€‚ã©ã†ã„ã†è©±ã«ã™ã‚‹ã‹ä¸€çž¬è€ƒãˆã¦ã€Haskell Hackathonã®ã¨ãã«Lingrã§id:SiroKuroã•ã‚“ã¨è©±ã—ã¦ãŸã®ã‚’æ€ã„出ã—ã¦è‰¯ã„機会ã ã‹ã‚‰ã€ãã®ã¨ãç†è§£ã—ãŸæ°—ã«ãªã£ãŸã“ã¨ã‚’書ã„ã¦ã¿ã‚ˆã†ã¨æ±ºã‚ãŸã€‚ãã®ã‚ã¨ã€ã‚ã‚ã¯ã•ã‚“ãŒã€ä¾‹ã«ã‚ˆã£ã¦ETã«
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}