モデルç†è«– - Wikipediaã“ã®é …ç›®ã§ã¯ã€æ•°å¦ã®é ˜åŸŸã«ã¤ã„ã¦èª¬æ˜Žã—ã¦ã„ã¾ã™ã€‚æ•°å¦ãŠã‚ˆã³ç§‘å¦ã®ä»–ã®åˆ†é‡Žã«ãŠã‘ã‚‹éžå½¢å¼çš„ãªæ¦‚念ã«ã¤ã„ã¦ã¯ã€Œæ•°ç†ãƒ¢ãƒ‡ãƒ«ã€ã‚’ã”覧ãã ã•ã„。 モデルç†è«–（もã§ã‚‹ã‚Šã‚ã‚“ã€è‹±Â : Model theory）ã¯ã€æ•°ç†è«–ç†å¦ã«ã‚ˆã‚‹æ‰‹æ³•ã‚’用ã„ã¦æ•°å¦çš„æ§‹é€ ï¼ˆä¾‹ãˆã°ã€ç¾¤ã€ä½“ã€ã‚°ãƒ©ãƒ•ã€é›†åˆè«–ã®å®‡å®™ï¼‰ã‚’ç ”ç©¶ï¼ˆåˆ†é¡žï¼‰ã™ã‚‹æ•°å¦ã®åˆ†é‡Žã§ã‚る。 モデルç†è«–ã«ãŠã‘ã‚‹ç ”ç©¶å¯¾è±¡ã¯ã€å½¢å¼è¨€èªžã®æ–‡ã«æ„味を与ãˆã‚‹æ§‹é€ （英語版）ã¨ã—ã¦ã®ãƒ¢ãƒ‡ãƒ«ã§ã‚る。もã—言語ã®ãƒ¢ãƒ‡ãƒ«ãŒã‚る特定ã®æ–‡ï¼ˆè‹±èªžç‰ˆï¼‰ã¾ãŸã¯ç†è«–（英語版）（特定ã®æ¡ä»¶ã‚’満足ã™ã‚‹æ–‡ã®é›†åˆï¼‰ã‚’満足ã™ã‚‹ãªã‚‰ã°ã€ãã‚Œã¯ãã®æ–‡ã¾ãŸã¯ç†è«–ã®ãƒ¢ãƒ‡ãƒ«ã¨å‘¼ã°ã‚Œã‚‹ã€‚ モデルç†è«–ã¯ä»£æ•°ãŠã‚ˆã³æ™®é代数ã¨é–¢ä¿‚ãŒæ·±ã„。 ã“ã®è¨˜äº‹ã§ã¯ã€ç„¡é™æ§‹é€ ã®æœ‰é™ä¸€éšŽãƒ¢ãƒ‡ãƒ«ç†è«–ã«ç„¦ç‚¹ã‚’絞ã£ã¦ã„る。有é™æ§‹é€ を対象ã¨ã™ã‚‹æœ‰é™ãƒ¢ãƒ‡ãƒ«ç†è«–ã¯ã€æ‰±ã£ã¦ã„ã‚‹å•é¡ŒãŠã‚ˆã³ç”¨ã„ã¦ã„る技術ã®ä¸¡æ–¹ã®é¢ã§ã€ç„¡é™æ§‹é€ ã®ç ”究ã¨ã¯å¤§ããç•°ãªã‚‹ã‚‚ã®ã¨ãªã£ã¦ã„
{{#tags}}- {{label}}
{{/tags}}