ラムダ計算ã®å‹‰å¼·ã®ã—ã‹ãŸã€ãƒ—ãƒã‚°ãƒ©ãƒ æ„味論 - ãã—ã ã®Hatena先日ã®ã‚¨ãƒ³ãƒˆãƒªã§æ‰‹ç¶šãを記述ã™ã‚‹ã¨ã„ã†å´é¢ã¨ã€å¼ã‚’記述ã™ã‚‹ã¨ã„ã†2ã¤ã®å´é¢ãŒã‚ã‚‹ã¨ã„ã†ã“ã¨ã‚’書ãã¾ã—ãŸã€‚ プãƒã‚°ãƒ©ãƒ ã®ç†è«–ã¨ã¯ãªã«ã‹ ãã—ã¦ã€æ‰‹ç¶šãã®æ€§è³ªã¨ã—ã¦ä»£è¡¨çš„ãªã€ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã«ã¤ã„ã¦ã®å‹‰å¼·ã®ã—ã‹ãŸã«ã¤ã„ã¦ã¾ã¨ã‚ã¦ã¿ã¾ã—ãŸã€‚ アルゴリズムã®å‹‰å¼·ã®ã—ã‹ãŸ ãã“ã§ã€ä»Šå›žã¯ã€å¼ã‚’記述ã™ã‚‹ã¨ã„ã†å´é¢ã®å‹‰å¼·ã®ã—ã‹ãŸã¨ã€ã‚ã¨ã“ã®åˆ†é‡Žã¯è‡ªåˆ†ã§ã‚‚ã¾ã 全然勉強ã—ã¦ãªã‹ã£ãŸã®ã§ã€ã“ã‚Œã‹ã‚‰ã©ã†ã„ã†æœ¬ã‚’èªã‚‚ã†ã¨æ€ã£ã¦ã„ã‚‹ã‹ã‚’ã¾ã¨ã‚ã¦ã¿ã¾ã™ã€‚ プãƒã‚°ãƒ©ãƒ æ„味論 プãƒã‚°ãƒ©ãƒ ã¯å¿…ãšãƒ—ãƒã‚°ãƒ©ãƒ 言語ã€å°‘ãªãã¨ã‚‚記å·ã§è¨˜è¿°ã—ã¾ã™ã€‚*1 ãã“ã§ã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®å‹‰å¼·ã¨ã„ã†ç‚¹ã§ã¯ã€ã©ã®ã‚ˆã†ã«å‹•ãã‹ã¨ã„ã†ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã®å‹‰å¼·ã ã‘ã§ã¯ãªãã€ã©ã®ã‚ˆã†ã«æ›¸ã‘ã‚‹ã‹ã€æ›¸ã„ãŸã‚‚ã®ã«ã©ã®ã‚ˆã†ãªæ€§è³ªãŒã‚ã‚‹ã®ã‹ã¨ã„ã†ã“ã¨ã‚‚知る必è¦ãŒã‚ã‚Šã¾ã™ã€‚ 例ãˆã°ã€2005å¹´ã‚ãŸã‚Šã‹ã‚‰Rubyã®ã‚ˆã†ãªå‹•çš„型付ã‘言語ãŒæµè¡Œã‚Šã ã—ã€Javaãªã©ã®é™çš„型付ã‘ã®è¨€èªžã¨ã®
別ã«ãŠã¼ãˆãŸããªã„ã®ã«â€¦Javaã®æ–¹ã‹ã‚‰å‹æ‰‹ã«è„³ã«å…¥ã‚Šè¾¼ã‚“ã§ãã¦ã€æ°—ãŒã¤ã‘ã°Javaã‚’ç¿’å¾—ã—ã¦ã—ã¾ã†ã‚²ãƒ¼ãƒ 「Robocode〠- techiela
プãƒã‚°ãƒ©ãƒ ã‚’èªã¿æ›¸ãã§ãるよã†ã«ãªã‚‹ãŸã‚ã«å¿…è¦ãªã‚¨ãƒƒã‚»ãƒ³ã‚¹ - 探神
{{#tags}}- {{label}}
{{/tags}}