ゲーデル数 - Wikipediaゲーデル数（ゲーデルã™ã†ã€è‹±: Gödel number）ã¯ã€æ•°ç†è«–ç†å¦ã«ãŠã„ã¦ä½•ã‚‰ã‹ã®å½¢å¼è¨€èªžã®ãã‚Œãžã‚Œã®è¨˜å·ã‚„è«–ç†å¼ã«ä¸€æ„ã«å‰²ã‚ŠæŒ¯ã‚‰ã‚Œã‚‹è‡ªç„¶æ•°ã§ã‚る。クルト・ゲーデルãŒä¸å®Œå…¨æ€§å®šç†ã®è¨¼æ˜Žã«ç”¨ã„ãŸã“ã¨ã‹ã‚‰ã€ã“ã®ã‚ˆã†ã«å‘¼ã°ã‚Œã¦ã„る。ã¾ãŸã€ã‚²ãƒ¼ãƒ‡ãƒ«æ•°ã‚’割り振るã“ã¨ã‚’ゲーデル数化（英: Gödel numbering）ã¨å‘¼ã¶ã€‚ ゲーデル数ã®ã‚¢ã‚¤ãƒ‡ã‚¢ã‚’æš—ã«ä½¿ã£ã¦ã„る例ã¨ã—ã¦ã¯ã€ã‚³ãƒ³ãƒ”ュータã«ãŠã‘るエンコードãŒæŒ™ã’られる。 コンピュータã§ã¯ä½•ã§ã‚‚0ã¨1ã§è¡¨ã—ã€ã€Œappleã€ã®ã‚ˆã†ãªæ–‡å—列も0ã¨1ã«ã‚ˆã‚‹æ•°å—ã§è¡¨ã™ã€‚ ゲーデル数化ã¨ã¯ã€ã“ã®ã‚ˆã†ã«æ–‡å—列ã«æ•°å—を対応ã•ã›ã‚‹äº‹ã‚’指ã™ã€‚ ゲーデル数化ã¯ã€æ•°å¼ã«ãŠã‘るシンボルã«æ•°ã‚’割り当ã¦ã‚‹ç¬¦å·åŒ–ã®ä¸€ç¨®ã§ã‚‚ã‚ã‚Šã€ãã‚Œã«ã‚ˆã£ã¦ç”Ÿæˆã•ã‚ŒãŸè‡ªç„¶æ•°ã®åˆ—ãŒæ–‡å—列を表ç¾ã™ã‚‹ã€‚ã“ã®è‡ªç„¶æ•°ã®åˆ—ã‚’ã•ã‚‰ã«1ã¤ã®è‡ªç„¶æ•°ã§è¡¨ç¾ã™ã‚‹ã“ã¨ã‚‚ã§ãã€è‡ªç„¶æ•°ã«ã¤ã„ã¦ã®å½¢å¼çš„ç®—è¡“ç†è«–ã‚’é©ç”¨å¯èƒ½ã¨
Pythonã‚’å–ã‚Šå·»ã開発環境（PyCon JP 2012資料 #pyconjp） - YAMAGUCHI::weblog
サービス終了ã®ãŠçŸ¥ã‚‰ã› - NAVER ã¾ã¨ã‚
楽ã—ã„BADUIã®ä¸–ç•Œ
今もã£ã¨ã‚‚å¦ç¿’コスパã®é«˜ã„技術ã¯Chefã ã¨ã€Chef勉強会ã«è¡Œã£ã¦ç¢ºä¿¡ã—㟠: akiyan.com
「åˆã‚ã¦ã®Chefã®æ•™å®¤ã€ã‚’開催ã—ã¾ã—ãŸã€‚(å‹•ç”»&資料) - Engine Yard Blog JP
åœ°éœ‡æƒ…å ±|ニコニコ動画
{{#tags}}- {{label}}
{{/tags}}