F* ã«ãŠã‘る検証ã•ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°(訳注: ã“ã®æ—¥æœ¬èªžãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã¯Â Verified programming in F* ã®ç¿»è¨³ã§ã™ã€‚ 翻訳ã«å‚åŠ ã™ã‚‹ã«ã¯Â 翻訳リãƒã‚¸ãƒˆãƒª ã‚’å‚ç…§ã—ã¦ãã ã•ã„。) 1. イントãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ F* ã¯æ¤œè¨¼æŒ‡å‘ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã€Microsoft Research, MSR-Inria, Inria ã«ã‚ˆã£ã¦é–‹ç™ºã•ã‚Œã¦ã„ã¾ã™ã€‚ ãã‚Œã¯ã€åž‹ä»˜ã§æ£æ ¼ãªé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã‚ã‚‹Â ML æ—ã®è¨€èªžã®ä¼çµ±ã‚’å—ã‘継ã„ã§ã„ã¾ã™ã€‚ ã‘ã‚Œã©ã‚‚ã€ãã®åž‹ã‚·ã‚¹ãƒ†ãƒ 㯠ML ã®ãれよりも著ã—ã豊ã‹ã§ã€è¡¨æ˜Žã•ã‚Œã¦åŠè‡ªå‹•çš„ã«æ¤œæŸ»ã•ã‚Œã‚‹é–¢æ•°çš„ãªæ£ç¢ºã•ã®ä»•æ§˜ã‚’許ã—ã¾ã™ã€‚ ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯ F* ã«ãŠã‘る検証ã•ã‚ŒãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æœ€åˆã®ä½“験をæä¾›ã—ã¾ã™ã€‚ è«–æ–‡ã¨ãƒ†ã‚¯ãƒ‹ã‚«ãƒ«ãƒ¬ãƒãƒ¼ãƒˆã‚’å«ã‚€ F* ã«é–¢ã™ã‚‹ã‚ˆã‚Šå¤šãã®æƒ…å ±ãŒÂ F* ウェブサイト ã§è¦‹ã¤ã‹ã‚Šã¾ã™ã€‚ ã‚‚ã— ML æ—ã®é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž (例: OCaml,
{{#tags}}- {{label}}
{{/tags}}