ãƒ›ãƒ¼ã‚¢è«–ç† - Wikipediaã“ã®è¨˜äº‹ã®æ£ç¢ºæ€§ã«ç–‘å•ãŒå‘ˆã•ã‚Œã¦ã„ã¾ã™ã€‚ å•é¡Œç®‡æ‰€ã«ä¿¡é ¼ã§ãã‚‹æƒ…å ±æºã‚’示ã—ã¦ã€è¨˜äº‹ã®æ”¹å–„ã«ã”å”力ãã ã•ã„。è°è«–ã¯ãƒŽãƒ¼ãƒˆã‚’å‚ç…§ã—ã¦ãã ã•ã„。（2016å¹´4月） ç–‘å•ç‚¹ï¼šãƒˆãƒªãƒ—ルã®å®šç¾©ã‹ã‚‰ã™ã§ã«é€šå¸¸ã®å®šç¾©ã¨ç•°ãªã£ã¦ã„る。例もãŠã‹ã—ㄠホーア論ç†ï¼ˆãƒ›ãƒ¼ã‚¢ã‚ã‚“ã‚Šã€è‹±: Hoare logic）ã¨ã¯ã€å…¬ç†çš„æ„味論ã®ç«‹å ´ã§ãƒ—ãƒã‚°ãƒ©ãƒ ã®æ£å½“性ã«ã¤ã„ã¦åŽ³å¯†ã«æŽ¨è«–ã™ã‚‹ãŸã‚ã«ç¬¬ä¸€éšŽè¿°èªžè«–ç†ã‚’æ‹¡å¼µã—ãŸå½¢å¼è«–ç†ã®è¨€èªžã‚’言ã†ã€‚ プãƒã‚°ãƒ©ãƒ ã®æ£ã—ã•ã‚’証明ã™ã‚‹ãŸã‚ã®ãƒãƒãƒ¼ãƒˆãƒ»ãƒ•ãƒã‚¤ãƒ‰ã«ã‚ˆã‚‹æµã‚Œå›³ã«é–¢ã™ã‚‹æ–¹æ³•[1]を基ã«ã€è¨ˆç®—機科å¦è€…ã®ã‚¢ãƒ³ãƒˆãƒ‹ãƒ¼ãƒ»ãƒ›ãƒ¼ã‚¢ã«ã‚ˆã£ã¦æ案ã•ã‚ŒãŸ[2]。
{{#tags}}- {{label}}
{{/tags}}