ビジービーãƒãƒ¼ - Wikipediaビジービーãƒãƒ¼ï¼ˆè‹±ï¼šbusy beaver）ã¨ã¯ã€è¨ˆç®—å¯èƒ½æ€§ç†è«–ã§æ‰±ã‚れるã‚る種ã®ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ãƒžã‚·ãƒ³ã§ã‚る。ã“ã®å称ã¯ã€Œä»•äº‹äººé–“ã€ã‚’æ„味ã™ã‚‹è‹±èªžã®æ…£ç”¨å¥ã«ç”±æ¥ã™ã‚‹ã€‚ビジービーãƒãƒ¼ã¯ç©ºã®ãƒ†ãƒ¼ãƒ—ã‹ã‚‰å‡¦ç†ã‚’開始ã—ã€å¯èƒ½ãªé™ã‚Šèµ°ã‚Šç¶šã‘ã‚‹ãŒã€æœ€çµ‚çš„ã«ã¯åœæ¢ã™ã‚‹ã€‚ã“ã‚Œã¯åœæ¢ã™ã‚‹ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ãƒžã‚·ãƒ³ã®ã‚¯ãƒ©ã‚¹ãŒæ¶ˆè²»ã—得る時間ã¨é ˜åŸŸï¼ˆãƒ†ãƒ¼ãƒ—）ã®é•·ã•ã®ä¸Šé™ã‚’与ãˆã‚‹ã€‚ ビジービーãƒãƒ¼é–¢æ•°ã¯ã“ã®ä¸Šé™ã‚’数値化ã™ã‚‹ã‚‚ã®ã§ã‚ã‚Šã€è¨ˆç®—ä¸èƒ½é–¢æ•°ã®ä¸€ä¾‹ã§ã‚‚ã‚る。ã“ã®é–¢æ•°ã¯ã„ã‹ãªã‚‹è¨ˆç®—å¯èƒ½é–¢æ•°ã‚ˆã‚Šã‚‚急速ã«å¢—大ã™ã‚‹ã¨ã„ã†ã“ã¨ã‚’証明ã§ãる。ビジービーãƒãƒ¼é–¢æ•°ã®æ¦‚念ã¯ã€ãƒ†ã‚£ãƒœãƒ¼ãƒ«ãƒ»ãƒ©ãƒ‰ãƒ¼ï¼ˆè‹±èªžç‰ˆï¼‰ã«ã‚ˆã‚‹1962å¹´ã®è«–æ–‡ "On Non-Computable Functions" ã®ä¸ã§ã€ã€Œãƒ“ジービーãƒãƒ¼ãƒ»ã‚²ãƒ¼ãƒ ã€ã¨ã„ã†å称ã§åˆã‚ã¦å°Žå…¥ã•ã‚ŒãŸã€‚ ティボール・ラドーã¯ã€1962å¹´ã®è«–æ–‡ã§ä»¥ä¸‹ã®ã‚ˆã†ã«ã€Œãƒ“ジービーãƒãƒ¼ãƒ»ã‚²ãƒ¼ãƒ ã€ã‚’å°Žå…¥ã—ãŸã€‚
Hunting for Turing Machines at the Wolfram Science Summer School—Wolfram Blog
{{#tags}}- {{label}}
{{/tags}}