リテラル - Wikipediaリテラル・直値[1][2][3]（英: literal）ã¯ã€ã€Œæ–‡å—ã©ãŠã‚Šã€ã€Œå—義ã©ãŠã‚Šã€ã‚’æ„味ã™ã‚‹èªžã§ã€letter ã¨åŒã˜ãラテン語㮠littera（文å—）ã«ç”±æ¥ã™ã‚‹ã€‚æ•°ç†è«–ç†å¦ã¨ã‚³ãƒ³ãƒ”ュータプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°[4]ã§ç•°ãªã‚‹æ„味ã®å°‚門用語ã¨ã—ã¦ä½¿ã‚れる[5]。 リテラルã¨ã¯ã€æ•°ç†è«–ç†å¦ã«ãŠã„ã¦ã€åŽŸåè«–ç†å¼ã‚ã‚‹ã„ã¯åŽŸåè«–ç†å¼ã®å¦å®šã®ã“ã¨ã€‚ 基礎リテラルã¨ã¯ã€ãƒªãƒ†ãƒ©ãƒ«ã®ã†ã¡ã€å¤‰æ•°ã‚’å«ã‚“ã§ã„ãªã„ã‚‚ã®ã‚’指ã™ã€‚ 共通ãªå¤‰æ•°ã‚’æŒãŸãªã„2ã¤ã®ç¯€ã«å¯¾ã—ã¦ã€ç¯€ã®ãã‚Œãžã‚Œã®ãƒªãƒ†ãƒ©ãƒ«ã§ä½¿ã£ã¦å†æ±Žå˜ä¸€åŒ–è¦ç´ ã‚’ã‚‚ã¡ã€äºŒæ¬¡å…ƒå°Žå‡ºç³» (英: binary resolvant) ã‚’ä½œã‚‹å ´åˆã«å°Žå‡ºã«ä½¿ã‚ã‚ŒãŸãƒªãƒ†ãƒ©ãƒ« (英: literal resolved upon) ã¨å‘¼ã¶ã€‚共通ã®å¤‰æ•°ã‚’å«ã¾ãªã„2ã¤ã®ç¯€ã§ã€æŽ¨è«–ã—ãŸç¯€ã®äºŒæ¬¡å…ƒç‰å·èª¿æ•´ç³» (英: binary paramodulant) を作ã£ãŸã¨ãã€ç‰å·èª¿æ•´ã«ä½¿ã‚ã‚ŒãŸãƒªãƒ†
{{#tags}}- {{label}}
{{/tags}}