ç‰ä¾¡å¤‰æ›ã‚·ã‚¹ãƒ†ãƒ ETI (Equivalent Transformation rule Interpreter)ETI (Equivalent Transformation rule Interpreter) ã¨ã¯ã€ç‰ä¾¡å¤‰æ›ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã„ã†æ–°ã—ã„ソフトウェア開発方法を実ç¾ã™ã‚‹è¨€èªžå‡¦ç†ã‚·ã‚¹ãƒ†ãƒ ã§ã™ã€‚BASICã€Cã€Prologãªã©ã®ã‚ˆã†ã«æ±Žç”¨çš„ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒå¯èƒ½ãŒã§ã™ãŒã€ç†è«–的基礎ã«ã€Œç‰ä¾¡å¤‰æ›ã«åŸºã¥ãå•é¡Œè§£æ±ºã€ã‚’採用ã—ã¦ã„る点ãŒã€ä»–ã®è¨€èªžã¨å¤§ããç•°ãªã‚Šã¾ã™ã€‚ ç‰ä¾¡å¤‰æ›ã¨ã¯ï¼Ÿ ç‰ä¾¡å¤‰æ›ã¨ã¯ä½•ã§ã—ょã†ã‹ã€‚ç‰ä¾¡å¤‰æ›ã¨ã¯ã€ã‚る表ç¾ãŒè¡¨ã™æ„味をä¿å˜ã—ãŸã¾ã¾è¡¨ç¾ã ã‘を変更ã™ã‚‹å¤‰æ›ã®ã“ã¨ã‚’言ã„ã¾ã™ã€‚記å·ã‚’使ã£ã¦æ›¸ãã¨ã€Œè§£ãã¹ãå•é¡Œã®æ¡ä»¶ã‚„質å•ã‚’記述ã—ãŸè¡¨ç¾ã‚’Pã€PãŒè¡¨ã™æ„味をM(P)ã€Pã‚’P'ã«æ›¸ãæ›ãˆã‚‹å¤‰æ›ã‚’rã¨ã™ã‚‹ã¨ãM(P)=M(P')ãªã‚‰ã°rã¯ç‰ä¾¡å¤‰æ›ã§ã‚ã‚‹ã€ã¨ã„ã†ã“ã¨ã«ãªã‚Šã¾ã™ã€‚ç‰ä¾¡å¤‰æ›ã‚’知らãªã„人ãŒä¸€ç•ªã‚¤ãƒ¡ãƒ¼ã‚¸ã—ã‚„ã™ã„Pã®å…·ä½“例ã¯é€£ç«‹æ–¹ç¨‹å¼ã ã¨ãŠã‚‚ã„ã¾ã™ã€‚ã“ã®ã¨ãM(P)ã¯é€£ç«‹æ–¹ç¨‹å¼ã®ç”
{{#tags}}- {{label}}
{{/tags}}