ユニフィケーション - Wikipediaユニフィケーション（英: unification）ã¯æ•°ç†è«–ç†å¦ã‚„計算機科å¦ã®ç”¨èªžã§ã‚ã‚Šã€å……足性（英語版）å•é¡Œã‚’解ãéš›ã®ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ 的プãƒã‚»ã‚¹ã§ã‚る。ユニフィケーションã¯ã€è¦‹ãŸç›®ã®ç•°ãªã‚‹2ã¤ã®é …（英語版）ãŒåŒä¸€[1]ã¾ãŸã¯åŒç‰[2]ã§ã‚ã‚‹ã“ã¨ã‚’示ã™ç½®æ›ï¼ˆè‹±èªžç‰ˆï¼‰ã‚’求ã‚ã‚‹ã®ãŒç›®çš„ã§ã‚る。ユニフィケーションã¯è‡ªå‹•æŽ¨è«–ã€è«–ç†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã®å®Ÿè£…ãªã©ã«å¹…広ã用ã„られã¦ã„る。 ãªãŠã€ãƒ¦ãƒ‹ãƒ•ã‚£ã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã‚’å˜ä¸€åŒ–ã‚ã‚‹ã„ã¯çµ±ä¸€åŒ–ã¨ã‚‚呼ã¶ã€‚ 主ãªãƒ¦ãƒ‹ãƒ•ã‚£ã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã¯æ•°ç¨®é¡žã‚る。ç‰å·ã‚’æŒãŸãªã„è«–ç†ï¼ˆç†è«–）ã«ãŠã„ã¦ã€2ã¤ã®é …ãŒåŒä¸€ã§ã‚ã‚‹ã“ã¨ã‚’示ã™ãŸã‚ã®ãƒ¦ãƒ‹ãƒ•ã‚£ã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã¯çµ±èªžè«–的ユニフィケーション[3]ã¨å‘¼ã°ã‚Œã‚‹ã€‚空ã§ãªã„ç‰å·ã‚’æŒã¤è«–ç†ï¼ˆç†è«–）ã§2ã¤ã®é …ã®åŒç‰æ€§[4]を示ã™å ´åˆã€ãれをæ„味論的ユニフィケーション[5]ã¨å‘¼ã¶ã€‚ç½®æ›ã¯é †åºé›†åˆã¨ã—ã¦é †åºä»˜ã‘られるã®ã§ã€ãƒ¦ãƒ‹ãƒ•ã‚£ã‚±ãƒ¼ã‚·ãƒ§ãƒ³
{{#tags}}- {{label}}
{{/tags}}