[B! lambda-calculus] ilyaletreã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ilyaletre id:ilyaletre

lambda-calculusã«é–¢ã™ã‚‹ilyaletreã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (5)

${{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}}

ãƒ©ãƒ ãƒ€è¨ˆç®—ã®å‹‰å¼·ã®ã—ã‹ãŸã€ãƒ—ãƒã‚°ãƒ©ãƒ æ„å‘³è«– - ãã—ã ã®Hatena
å…ˆæ—¥ã®ã‚¨ãƒ³ãƒˆãƒªã§æ‰‹ç¶šãã‚’è¨˜è¿°ã™ã‚‹ã¨ã„ã†å´é¢ã¨ã€å¼ã‚’è¨˜è¿°ã™ã‚‹ã¨ã„ã†2ã¤ã®å´é¢ãŒã‚ã‚‹ã¨ã„ã†ã“ã¨ã‚’æ›¸ãã¾ã—ãŸã€‚ ãƒ—ãƒã‚°ãƒ©ãƒ ã®ç†è«–ã¨ã¯ãªã«ã‹ ãã—ã¦ã€æ‰‹ç¶šãã®æ€§è³ªã¨ã—ã¦ä»£è¡¨çš„ãªã€ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã«ã¤ã„ã¦ã®å‹‰å¼·ã®ã—ã‹ãŸã«ã¤ã„ã¦ã¾ã¨ã‚ã¦ã¿ã¾ã—ãŸã€‚ ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã®å‹‰å¼·ã®ã—ã‹ãŸ ãã“ã§ã€ä»Šå›žã¯ã€å¼ã‚’è¨˜è¿°ã™ã‚‹ã¨ã„ã†å´é¢ã®å‹‰å¼·ã®ã—ã‹ãŸã¨ã€ã‚ã¨ã“ã®åˆ†é‡Žã¯è‡ªåˆ†ã§ã‚‚ã¾ã å…¨ç„¶å‹‰å¼·ã—ã¦ãªã‹ã£ãŸã®ã§ã€ã“ã‚Œã‹ã‚‰ã©ã†ã„ã†æœ¬ã‚’èªã‚‚ã†ã¨æ€ã£ã¦ã„ã‚‹ã‹ã‚’ã¾ã¨ã‚ã¦ã¿ã¾ã™ã€‚ ãƒ—ãƒã‚°ãƒ©ãƒ æ„å‘³è«– ãƒ—ãƒã‚°ãƒ©ãƒ ã¯å¿…ãšãƒ—ãƒã‚°ãƒ©ãƒ è¨€èªžã€å°‘ãªãã¨ã‚‚è¨˜å·ã§è¨˜è¿°ã—ã¾ã™ã€‚*1 ãã“ã§ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®å‹‰å¼·ã¨ã„ã†ç‚¹ã§ã¯ã€ã©ã®ã‚ˆã†ã«å‹•ãã‹ã¨ã„ã†ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã®å‹‰å¼·ã ã‘ã§ã¯ãªãã€ã©ã®ã‚ˆã†ã«æ›¸ã‘ã‚‹ã‹ã€æ›¸ã„ãŸã‚‚ã®ã«ã©ã®ã‚ˆã†ãªæ€§è³ªãŒã‚ã‚‹ã®ã‹ã¨ã„ã†ã“ã¨ã‚‚çŸ¥ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ ä¾‹ãˆã°ã€2005å¹´ã‚ãŸã‚Šã‹ã‚‰Rubyã®ã‚ˆã†ãªå‹•çš„åž‹ä»˜ã‘è¨€èªžãŒæµè¡Œã‚Šã ã—ã€Javaãªã©ã®é™çš„åž‹ä»˜ã‘ã®è¨€èªžã¨ã®
ilyaletre 2018/02/26
ã‚„ã£ã±ã‚Šé›†åˆã¨è«–ç†ã ã‘ã§ã‚‚ã¡ã‚ƒã‚“ã¨ã‚„ã‚Šç›´ãã†ã‹ãªã€‚

lambda-calculus

programming
ãƒªãƒ³ã‚¯
Shinji Kono on Twitter: "åœè«–ã‚„ã‚ŠéŽãŽã§ã€åœè«–ã‚’æŠ½è±¡çš„ã¨ã‹æ€ã‚ãªããªã£ãŸã€‚å…·ä½“çš„ãªè¨˜å·ã®æ“ä½œã®ç†è«–ã€‚åž‹ä»˜ãƒ©ãƒ ãƒ€è¨ˆç®—ãã®ã‚‚ã®ãªã‚“ã ã‹ã‚‰å½“ç„¶ãªã‚“ã ã‘ã©ã€‚"
ilyaletre 2018/02/26
ã¨ã¦ã¤ã‚‚ãªãé‡è¦ãªã“ã¨ã‚’ãŠã£ã—ã‚ƒã£ã¦ã„ã‚‹æ°—ãŒã™ã‚‹ãŒæ„å‘³ã¯ã‚ã‹ã£ã¦ãªã„ã€‚

category theory

lambda-calculus
ãƒªãƒ³ã‚¯
ãƒ©ãƒ ãƒ€è¨ˆç®—ã§ä»£æ•°çš„ãƒ‡ãƒ¼ã‚¿åž‹ã‚’è¡¨ç¾ã™ã‚‹æ–¹æ³• - @syamino ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼
ãƒ©ãƒ ãƒ€è¨ˆç®—ã§Either Eitheråž‹ã®å€¤ã‚’ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã™ã‚‹çŠ¶æ³ã‚’è€ƒãˆã¾ã™ã€‚ ã€Œãƒ‡ãƒ¼ã‚¿ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã®ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã€ã¯ï¼Œä¸‹å›³ã®ã‚ˆã†ã«ã—ã¦ãƒ©ãƒ ãƒ€è¨ˆç®—ã§è¡¨ç¾ã§ãã¾ã™ã€‚ ãƒ©ãƒ ãƒ€è¨ˆç®—ã§Bool ä»Šåº¦ã¯ï¼ŒBoolåž‹ã®å€¤ã‚’ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã™ã‚‹çŠ¶æ³ã‚’è€ƒãˆã¾ã™ã€‚ Trueã‚„Falseã«ã¯å¼•æ•°ãŒç„¡ã„ã®ã§ï¼Œ(3)ã‚„(4)ã¯Î»ã§å›²ã¿ã¾ã›ã‚“ã€‚ ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒ = ã€Œãƒ‡ãƒ¼ã‚¿ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã‚’ä»–ã®é–¢æ•°ã«ç½®ãæ›ãˆã‚‹ã“ã¨ã€ ãƒ‘ã‚¿ãƒ¼ãƒ³ãƒžãƒƒãƒã«ã‚ˆã£ã¦ï¼ŒLeftãŒlã«ç½®ãæ›ã‚ã‚Šã¾ã™ã€‚ä»¥ä¸‹åŒæ§˜ã§ã™ã€‚ ã€Œãƒ‡ãƒ¼ã‚¿ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã‚’ç½®ãæ›ãˆã‚‹ã€ã¨ã„ã†æ¦‚å¿µã«ã¤ã„ã¦ï¼Œã‚‚ã†å°‘ã—è©³ã—ãè€ƒãˆã¦ã„ãã¾ã™ã€‚ ãƒ‡ãƒ¼ã‚¿ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã®ç½®ãæ›ãˆæ–¹ã¯2ç¨®é¡žã‚ã‚‹ ãƒªã‚¹ãƒˆã®ã‚ˆã†ãªå†å¸°çš„ãªãƒ‡ãƒ¼ã‚¿åž‹ã§ã¯ï¼Œãƒ‡ãƒ¼ã‚¿ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã®ç½®ãæ›ãˆæ–¹ãŒ2ç¨®é¡žã‚ã‚Šã¾ã™ã€‚ data List a = Cons a (List a) | Nil (1) å…¨ã¦ã®ãƒ‡ãƒ¼ã‚¿ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã‚’ç½®
ilyaletre 2018/01/19
lambda-calculus
ãƒªãƒ³ã‚¯
Cultureua.com
Quel ordinateur porta ble professionnel rÃ©pondra Ã vos attentes?
ilyaletre 2017/12/25
ã“ã®è¾ºã®æ–‡æ›¸ã‚’å°åˆ·ã—ã¦èªã¿ç¶šã‘ã‚‹ä¼‘æ—¥æ¬²ã—ã„ã€‚70å¹´ä»£ãªã®ã§ã¨ã¦ã‚‚å¤ã„ã‘ã©ã€‚

scheme

lisp

lambda-calculus
ãƒªãƒ³ã‚¯
Write You a Haskell ( Stephen Diehl )
ilyaletre 2016/10/06
ã“ã®äººã®è¨˜äº‹é¢ç™½ã„ã®å¤šã™ãŽ

lambda-calculus
ãƒªãƒ³ã‚¯
1