ML Day#2 (2018/09/16 13:00〜)ML Day (ML勉強会） SMLã€OCamlã€F#ã€Coqã€Isabelleãªã©ã®ML?ã ã¨æ€ã‚れる言語ã®å‹‰å¼·ä¼šã§ã™ã€‚ ã‚ãªãŸãŒMLã ã¨æ€ã£ãŸã‚‚ã®ãŒMLã§ã™ã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®åŸºç¤Žç†è«–ã‹ã‚‰å¿œç”¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€å…¥é–€ã—ã¦ã¿ãŸãªã© 様々ãªç™ºè¡¨ã‚’æ“è¿Žã—ã¾ã™ï¼ï¼ï¼ ã¾ãŸã€æœ€è¿‘関数型言語ã«é–¢ã™ã‚‹å‹‰å¼·ä¼šãŒã‚ã¾ã‚Šè¦‹ã‚‰ã‚Œãªã„ã®ã§ã€MLã®äººã«é€šã˜ãã†ãªãƒã‚¿ï¼ˆHaskellã€å®šç†è¨¼æ˜Žã€ãã‚Œã£ã½ã„æ•°å¦ï¼‰ç‰ã«é–¢ã™ã‚‹ç™ºè¡¨ã‚‚æ“è¿Žã—ã¾ã™ï¼ï¼ï¼ ãã®éš›ã«ã¯å‰æ知è˜ã¨ã—ã¦MLプãƒã‚°ãƒ©ãƒ ãŒã‚ã‹ã‚‹äººãªã‚‰ã‚ã‹ã‚‹ãらã„ã®å†…容ã§ãŠããŒã„ã—ã¾ã™ã€‚ æ³¨æ„ é‹å–¶å´ã§ç™ºè¡¨ã®é›£æ˜“度ã¯èª¿æ•´ã—ãªã„ã®ã§åˆ†ã‹ã‚‰ãªã„ã“ã¨ã‚‚ã‚ã‚‹ã‹ã‚‚ã—ã‚Œãªã„ã¨æ€ã£ã¦æ¥ã¦ä¸‹ã•ã„ ML=Meta Languageã§ã™Mailing Listã§ã‚‚Machine Learningã§ã‚‚ãªã„ã§ã™ 発表者募集 発表者を先ç€ã§å‹Ÿé›†ä¸ã§ã™ã€‚ 発表ã•ã‚Œã‚‹æ–¹ã¯ã‚³ãƒ¡ãƒ³ãƒˆã«ç™ºè¡¨ã‚¿ã‚¤ãƒˆãƒ«ã‚’書ã
ãªãœæ¬¡ã«å¦ã¶è¨€èªžã¯é–¢æ•°åž‹ã§ã‚ã‚‹ã¹ãã‹ - YAMAGUCHI::weblog
OCaml Meeting Tokyo 2009ã§ã¯Lightning Talkを募集ä¸ã§ã™ï¼ - osiire’s blog
{{#tags}}- {{label}}
{{/tags}}