型推論ã«ã¤ã„㦠- soutaroブãƒã‚°æš‡ã‚’ã¿ã¤ã‘ã¦ã¯ python ã®åž‹æŽ¨è«–ã‚’ã‚„ã£ã¦ã„ã‚‹ (ã‚„ã‚ã†ã¨ã—ã¦ã„ã‚‹)。ã§ã‚‚ã€ã„ã¾ã ã«æœ¬å½“ã«ã“ã‚ŒãŒã€ŒåŽŸç†çš„ã«å¯èƒ½ã€ãªã®ã‹ã©ã†ã‹ç–‘å•ã …。 http://www.unixuser.org/~euske/offline/memo/cur/cur.html#180812 「原ç†çš„ã«å¯èƒ½ã€ã¨ã‹ã«ã¤ã„ã¦ï¼Ž ã¾ãšã€ŒåŽŸç†çš„ã«å¯èƒ½ã€ã®æ„味を考ãˆã‚‹å¿…è¦ãŒã‚る．「å¯èƒ½ã€ã£ã¦ãªã«?ãªã«ãŒã§ããŸã‚‰ã€Œå¯èƒ½ã€ãªã®? 型推論ã¨ã‹ã®ãƒ—ãƒã‚°ãƒ©ãƒ 解æžã®æŠ€è¡“を評価ã™ã‚‹å ´åˆï¼ŒäºŒã¤ã®æ€§è³ªãŒé‡è¦ã«ãªã‚‹ï¼Žã€Œå¥å…¨æ€§ã€ã¨ã€Œå®Œå…¨æ€§ã€ï¼Žã€Œåž‹æŽ¨è«–ãŒå¥å…¨æ€§ã‚’æŒã£ã¦ã„ã‚‹ã€ã¨ã„ã†ã®ã¯ï¼Œã€Œåž‹ãŒæŽ¨è«–ã§ããŸã‚‰ï¼Œãã®ãƒ—ãƒã‚°ãƒ©ãƒ ã¯æ£ã—ã„ã€ã¨ã„ã†ã“ã¨*1．「型推論ãŒå®Œå…¨æ€§ã‚’æŒã£ã¦ã„ã‚‹ã€ã¨ã„ã†ã®ã¯ï¼Œã€Œæ£ã—ã„プãƒã‚°ãƒ©ãƒ ã¯å¿…ãšåž‹ãŒæŽ¨è«–ã§ãã‚‹ã€ã¨ã„ã†ã“ã¨ï¼ŽMLãªã‚“ã‹ã®åž‹æŽ¨è«–ã¯ï¼Œå®Œå…¨ã‹ã¤å¥å…¨ã§ã‚る．éžå¸¸ã«è‰¯ãã§ããŸåž‹æŽ¨è«–アルゴリズムã¨è¨€ãˆã‚‹ï¼ŽãŸã ã—，型推論アルゴリズムã¨
ラムダ計算入門
http://www.cs.tsukuba.ac.jp/~kam/complogic/5.pdf
IoPLMaterials
{{#tags}}- {{label}}
{{/tags}}