行列ã¨é …æ›¸æ› - d.y.d.21:54 10/06/30 行列ã¨é …æ›¸æ› "Termination of String Rewriting with Matrix Interpretations" ã¨ã„ã†è«–文をèªã¿ã¾ã—ãŸã€‚ ã“ã‚Œã¯ä½•ã‹ã¨ã„ã†ã¨ã¤ã¾ã‚Šã€ ICFPコンテストã®å…ƒãƒã‚¿ã¨ã—㦠紹介 ã•ã‚Œã¦ã„ãŸè«–æ–‡ã§ã™ã€‚ ã‚Œ ㄠ年〠冗談９割ã§ã€ä¸»å‚¬è€…ã®å°‚門分野ã«ã¡ãªã‚“ã å•é¡ŒãŒå‡ºã‚‹ã«é•ã„ãªã„ï¼ã¨å«ã‚“ã§ã„ã‚‹ã®ã§ã™ãŒã€ 本当ã«æ¥ã‚‹ã¨ã¯æ€ã‚ãªã‹ã£ãŸâ€¦ã€‚ ã•ã¦ã€‚é …æ›¸ãæ›ãˆ (term rewriting) ã¨å‘¼ã°ã‚Œã‚‹ç ”究分野ãŒã‚ã‚Šã¾ã—ã¦ã€ 例ãˆã°ã“ã‚“ãªå•é¡Œã‚’調ã¹ã¦ã„ã¾ã™ã€‚ æ–‡å—列ã«å¯¾ã—ã¦ã€ã€Œä»¥ä¸‹ã®æ“作ã®ã©ã‚Œã‹ã‚’好ãã«é¸ã¶ ＆ 実行ã™ã‚‹ã€ã‚’ç¹°ã‚Šè¿”ã—ã¾ã™ã€‚ abc ã¨ã„ã†éƒ¨åˆ†æ–‡å—列を de ã«æ›¸ãæ›ãˆã‚‹ （abc ⇒ de ã¨æ›¸ãã¾ã™ï¼‰ ef ⇒ g fgh ⇒ ij ã©ã‚“ãªæ–‡å—列ã‹ã‚‰ã‚¹ã‚¿ãƒ¼ãƒˆã—ã¦ã‚‚ã€æœ€å¾Œã«ã¯ã€ã©ã®è¦å‰‡ã‚‚使ãˆãªã„状態 （ã¤
ICFP Programming Contest, 2006 : Contest Materials and Task
{{#tags}}- {{label}}
{{/tags}}