æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…方法論ã®ã™ã™ã‚---目次 | 日経 xTECH（クãƒã‚¹ãƒ†ãƒƒã‚¯ï¼‰ç†è€… ä½äº• 英二郎 「プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã€ã¨ã„ã†ç ”究分野ãŒã‚る。ã“ã®åˆ†é‡Žã®ç ”究者ãŸã¡ã¯ï¼Œã€ŒMLã€ã€ŒHaskellã€ã€ŒSchemeã€ã‚ã‚‹ã„ã¯ã€ŒÎ»è¨ˆç®—ã€ã€ŒÏ€è¨ˆç®—ã€ï¼ˆå††å‘¨çŽ‡è¨ˆç®—ã®ã“ã¨ã§ã¯ãªã„）ãªã©ï¼Œå¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯èžã„ãŸã“ã¨ã‚‚ãªã„言語やモデルã«ã¤ã„ã¦ï¼Œæ—¥å¤œç ”究ã—ã¦ã„る。ãŸã ，ãã®ã‚ˆã†ãªè¨€èªžã¯ã€Œé›£ã—ã„ã€ã€Œå½¹ã«ç«‹ãŸãªã„ã€ãªã©ã¨æ€ã‚ã‚ŒãŒã¡ã 。 ã“ã®é€£è¼‰ã§ã¯ï¼Œã“ã†ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ソフトウエア科å¦ã®æ§˜ã€…ãªç ”究を，ã§ãã‚‹ã ã‘普通ã®ãƒ—ãƒã‚°ãƒ©ãƒžã‚„エンジニアã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ã（ã©ã¡ã‚‰ã‹ã¨ã„ãˆã°ç†è«–よりも実用ã«é‡ç‚¹ã‚’ãŠã„ã¦ï¼‰ç´¹ä»‹ã—ã¦ã„ã。 æ›´æ–°ã¯æ¯Žæœˆç¬¬2水曜日（1月ã®ã¿ç¬¬3水曜日）
ã‚ャミãƒæ§˜ãŒ id:ymotongpoo を木人形ã«ã•ã‚Œã‚‹ã‚ˆã†ã§ã™ - camlspotter’s blog
https://www.math.nagoya-u.ac.jp/~garrigue/papers/msfd09.pdf
um2010 - OCaml.jp
{{#tags}}- {{label}}
{{/tags}}