monad.me.ukThis domain may be for sale!
è¨˜è¿°è¨ˆç®—é‡ - Wikipedia
記述計算é‡ï¼ˆãã˜ã‚…ã¤ã‘ã„ã•ã‚“りょã†ã€è‹±: Descriptive complexity）ã¯ã€æœ‰é™ãƒ¢ãƒ‡ãƒ«ç†è«–ã®ä¸€ç¨®ã§ã‚ã‚Šã€è¨ˆç®—複雑性ç†è«–ã¨æ•°ç†è«–ç†å¦ã®ä¸€åˆ†é‡Žã§ã‚る。複雑性クラスを言語ã§è¡¨ç¾ã™ã‚‹ã®ã«å¿…è¦ã¨ã•ã‚Œã‚‹è«–ç†ã®ç¨®é¡žã«ã‚ˆã£ã¦ç‰¹å¾´ä»˜ã‘ã‚‹ã“ã¨ã‚’目的ã¨ã™ã‚‹ã€‚例ãˆã°ã€PHã¯äºŒéšŽè¿°èªžè«–ç†ã®è«–ç†å¼ã§è¡¨ç¾ã•ã‚Œã‚‹è¨€èªžã®ã‚¯ãƒ©ã‚¹ã¨æ£ç¢ºã«å¯¾å¿œã—ã¦ã„る。ã“ã®ã‚ˆã†ãªè¤‡é›‘性ã¨è«–ç†ã®ç¹‹ãŒã‚Šã«ã‚ˆã£ã¦ã€2ã¤ã®åˆ†é‡Žã®é–“ã§å®¹æ˜“ã«å¤‰æ›ãŒå¯èƒ½ã¨ãªã‚Šã€æ–°ãŸãªè¨¼æ˜Žæ‰‹æ³•ã‚’生ã¿å‡ºã—ãŸã‚Šã€ã‚る複雑性クラスãŒæœ¬è³ªçš„ãªã‚‚ã®ã§ã‚ã£ã¦ã€ç‰¹å®šã®æŠ½è±¡æ©Ÿæ¢°ã«çµã³ã¤ãã‚‚ã®ã§ã¯ãªã„ã“ã¨ã‚’示ã™ã“ã¨ãŒã§ãる。 特ã«ã€ãã‚Œãžã‚Œã®è«–ç†ä½“ç³»ã¯ã€ãã®ä¸ã§è¡¨ç¾å¯èƒ½ãªã‚¯ã‚¨ãƒªã®é›†åˆã‚’生ã¿å‡ºã™ã€‚クエリã¯è¨ˆç®—複雑性ç†è«–ã«ãŠã‘る計算å•é¡Œã¨å¯¾å¿œã—ã¦ã„る。 記述計算é‡ã®æœ€åˆã®æˆæžœã¨ã—ã¦ã€1974å¹´ã«ãƒãƒŠãƒ«ãƒ‰ãƒ»ãƒ•ã‚§ã‚¤ã‚®ãƒ³ãŒç¤ºã—㟠Fagin ã®å®šç†ãŒã‚ã‚‹[1]。ã“ã‚Œã¯ã€NPãŒå˜åœ¨é‡åŒ–二階
ラッセルã®ãƒ‘ラドックスã¨ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç† - kururu_goedel’s diary
åå¿œãŒé…ããªã‚Šã™ãŽã‚‹ã®ã‚‚よããªã„ã®ã§ã–ãã£ã¨ã€‚モティベーションã¯ã€Œç„¡é™ã®ã‚¹ãƒ¼ãƒ‘ーレッスンã€ã«é…©é…Šã™ã‚‹: ã‚ãŸã—ãŒçŸ¥ã‚‰ãªã„スゴ本ã¯ã€ãã£ã¨ã‚ãªãŸãŒèªã‚“ã§ã„る。Wikipedia(ja)ã«ã‚ˆã‚‹ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã®é …ã¯ã“ã¡ã‚‰â†’ゲーデルã®ä¸å®Œå…¨æ€§å®šç† - Wikipedia ラッセルã®ãƒ‘ラドックスã«ã¤ã„ã¦ã¯ãƒ©ãƒƒã‚»ãƒ«ã®ãƒ‘ラドックス - ãã‚‹ã‚‹ã®æ•°å¦ãƒŽãƒ¼ãƒˆã§æ›¸ãã¾ã—ãŸãŒã€ã“ã“ã§å•é¡Œã«ã—ã¦ã„ã‚‹ã®ã¯ã®çœŸå½ã®è©±ã§ã—ãŸã€‚ãã‚Œã«å¯¾ã—ã¦ã€ã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã¯çœŸå½ã§ã¯ãªãã€è¨¼æ˜Žã§ãã‚‹ã‹ã§ããªã„ã‹ã®è©±ã§ã™ã€‚大体ã®ç‹ã¨ã—ã¦ã¯ è«–ç†å¼ã¯ã‚ã‚Šã¨è‡ªç„¶ãªå½¢ã§è‡ªç„¶æ•°ã«ã‚³ãƒ¼ãƒ‰ã§ãã‚‹ 割ã¨è‡ªç„¶ãªã‚³ãƒ¼ãƒ‰ãªã®ã§ã€ã€Œã‚ã‚‹è«–ç†å¼ã®å¤‰æ•°ã«ãªã«ã‹é …を代入ã—ã¦ã§ããŸè«–ç†å¼ã®ã‚³ãƒ¼ãƒ‰ã€ã¨ã‹ã¯è‡ªç„¶æ•°è«–(åŠ æ¸›ä¹—é™¤ï¼‹Î±)ã§æ›¸ã表ã›ã‚‹ è«–ç†å¼ã®åˆ—ã‚‚ã‚ã‚Šã¨è‡ªç„¶ãªå½¢ã§è‡ªç„¶æ•°ã«ã‚³ãƒ¼ãƒ‰ã§ãã‚‹ è«–ç†å¼ã®åˆ—ãŒã‚ã‚‹è«–ç†å¼ã®è¨¼æ˜Žã«ãªã£ã¦ã„ã‚‹ã‹ã©ã†ã‹ã‚’自然数論ã§ãƒã‚§ãƒƒ
è«–ç†è¨˜å·ã®ã„ã‚ã„ã‚ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
「数å¦è¨˜å·ã®èªçŸ¥é€Ÿåº¦ -- 実験心ç†å¦çš„計測方法ã¨å®Ÿä¾‹ --ã€ï¼ˆby å €å¹¸é›„, 後藤英一, ä½è—¤é›…彦; http://www.jssac.com/Editor/Suushiki/V10/No3/V10N3_113.pdf）ã®ãªã‹ã«ã€è«–ç†è¨˜å·ã®ä¸€è¦§è¡¨ãŒã‚ã‚Šã¾ã—ã¦ï¼ˆP.11）ã€ã“りゃ便利ã ã¨æ€ã†ã®ã§ã€å¼•ç”¨ã—ã¦ãŠãã¾ã™ã€‚ペアノã®å«æ„ã¯ã€è¦–力検査ã§ä½¿ã†ã‚ˆã†ãªã€ŒCã€ã‚’ã²ã£ãã‚Šè¿”ã—ãŸã¿ãŸã„ãªè¨˜å·ã§ã™ã€‚ 対応ã™ã‚‹æ–‡çŒ®ã®æŠœç²‹ï¼š [8] Genzten, G.: Untersuchungen ¨uber das logische Schliesen, Mathematische Zeitshrift, 39, pp. 176-210, 405-431, 1935. [10] G¨odel, K.: ¨Uber formal unentscheidbare S¨atze der Principia mathe
ゲーデルã¨20世紀ã®è«–ç†å¦ã€å…¨4巻】：シリーズ・講座：æ±äº¬å¤§å¦å‡ºç‰ˆä¼š
ゲーデルã¨20世紀㮠論ç†å¦ （ ãƒã‚¸ãƒƒã‚¯ ） ［全4巻］ 第1巻　ゲーデルã®20世紀　　［執ç†è€…］田ä¸ä¸€ä¹‹ï¼ç”°ä¸å°šå¤«ï¼éˆ´æœ¨ç™»å¿—雄ï¼é£¯ç”°éš†ï¼ç«¹å†…外å²ï¼å…«æ‰æº€åˆ©å 19世紀ä¸è‘‰ã¾ã§æ™‚代ã®å‹•ãã«å–り残ã•ã‚Œï¼Œä¸ä¸–スコラå¦ã®å½¢éª¸ã¨åŒ–ã—ã¦ã„ãŸè«–ç†å¦ã¯ï¼Œãƒ–ール，フレーゲら数å¦è€…ãŸã¡ã®çªç„¶ã®å‚å…¥ã«ã‚ˆã£ã¦ï¼Œè¦‹äº‹ãªå¾©èˆˆã‚’ã¨ã’ãŸï¼Žãã—ã¦20世紀．ゲーデルをç†é ã«ï¼Œå€‹æ€§è±Šã‹ã§æ‰æ°—煥発ãªæ•°å¦è€…や哲å¦è€…ãŸã¡ãŒã¤ãŽã¤ãŽã¨å£‡ä¸Šã«ç¾ã‚ŒãŸï¼Žå½¼ã‚‰ã¯ã—ã®ãŽã‚’削ã£ã¦å„ªã‚ŒãŸæŠ€æ³•ã‚’開発ã—，ドグマをã¶ã¤ã‘åˆã£ã¦æ€è€ƒã‚’深化ã•ã›ï¼Œé«˜åº¦ãªå¦å•é ˜åŸŸã¨ã—ã¦ã®ã€Œãƒã‚¸ãƒƒã‚¯ã€ã‚’å½¢æˆã—ã¦ã„ã£ãŸï¼Žæœ¬å·»ã§ã¯ï¼Œæ—¥æœ¬ã‚’代表ã™ã‚‹ãƒã‚¸ã‚·ãƒ£ãƒ³ãŸã¡ãŒï¼Œè‡ªã‚‰ã®ä½“験をè¸ã¾ãˆï¼Œ20世紀ã®ãƒã‚¸ãƒƒã‚¯ã®ç”ŸããŸå§¿ã‚’語る．　 第2巻　完全性定ç†ã¨ãƒ¢ãƒ‡ãƒ«ç†è«–　　［執ç†è€…］田ä¸ä¸€ä¹‹ï¼åªäº•æ˜Žäººï¼é‡Žæœ¬å’Œå¹¸ ゲーデルãŒæœ€åˆã«è¨¼æ˜Žã—ãŸé‡è¦å®šç†ã¯ï¼Œï¼‘階述語論ç†ã®å®Œå…¨æ€§ã§ã‚る．ã“ã®å®šç†ã¯ï¼Œ
プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ã€Œã‚²ãƒ¼ãƒ‡ãƒ«ã®ä¸å®Œå…¨æ€§å®šç†ã€(1) - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
「プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®JavaScriptã€ã®ç•ªå¤–シリーズ -- ã„ã‚„ã£ã€ãƒ›ãƒ³ãƒˆã«ã€‚ ã“ã‚Œã¯ã‚·ãƒªãƒ¼ã‚ºã®ãƒãƒ–エントリーã§ã™ã€‚番å·ã‚’（0ã˜ã‚ƒãªãã¦ï¼‰1ã«ã—ãŸã®ã¯ã€å…¨ä½“目次ã ã‘ã˜ã‚ƒãªãã¦å†…容ãŒå«ã¾ã‚Œã‚‹ã‹ã‚‰ã€‚ ※ å°åˆ·æ™‚ã«ã¯ã‚µã‚¤ãƒ‰ãƒãƒ¼ã¯æ¶ˆãˆã‚‹ã¯ãšã§ã™ã€ãŠè©¦ã—ãã ã•ã„。 シリーズ全体目次（予定） （ã“ã®è¨˜äº‹ï¼›ç·è«–） 速攻速習編 自己é©ç”¨ã‹ã‚‰ã‚²ãƒ¼ãƒ‡ãƒ«åŒ–㸠「展望ã€ã¸ã®ç·Šæ€¥ãƒ‘ッãƒï¼ˆã‚ªãƒãƒŠã‚·ã よ） Reflective JavaScript åœæ¢å•é¡Œã®æ§‹é€ ä¸å®Œå…¨æ€§å®šç†ã®æ§‹é€ 今回ã®å†…容： ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° ゲーデルãŒç¤ºã—ãŸã“㨠ä¸å®Œå…¨æ€§å®šç†ã®å…„弟 -- åœæ¢å•é¡Œ JavaScript使ã†ã‚“ã ã‚‚ã‚“ã 関連ã™ã‚‹è¨˜äº‹ï¼ˆå‚考） 次ã®è¨˜äº‹ 速攻速習編 â—ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° 「ゲーデルã€ï¼ˆäººåï¼›Kurt Godelã€'o'ã®ä¸Šã«ç‚¹ã€…ãŒä»˜ã„ã¦ã‚‹ï¼‰ã‚„å½¼ã®ã€Œä¸å®Œå…¨æ€§å®šç†ã€ã¨ã‹ã£ã¦ã€
ã¯ã¦ãª ç„¡é™ã«é–¢ã™ã‚‹è³ªå•ã§ã™ã€‚ã¾ãšã€è‡ªç„¶æ•°ã®é›†ã¾ã‚Šãªã©ã‚’表ã™ç„¡é™ã‚’∞(0)（アレフゼãƒï¼‰ã€ç„¡ç†æ•°ã®é›†ã¾ã‚Šãªã©ã‚’表ã™ç„¡é™ã‚’∞(1)（アレフワン）ã¨ã™ã‚‹ã¨ã€ã“・・
ç„¡é™ã«é–¢ã™ã‚‹è³ªå•ã§ã™ã€‚ã¾ãšã€è‡ªç„¶æ•°ã®é›†ã¾ã‚Šãªã©ã‚’表ã™ç„¡é™ã‚’∞(0)（アレフゼãƒï¼‰ã€ç„¡ç†æ•°ã®é›†ã¾ã‚Šãªã©ã‚’表ã™ç„¡é™ã‚’∞(1)（アレフワン）ã¨ã™ã‚‹ã¨ã€ã“ã®ä¸¡è€…ã«æ¬¡ã®ã‚ˆã†ãªé–¢ä¿‚ãŒæˆã‚Šç«‹ã¡ã¾ã™ã€‚ ２＾∞(0)ï¼âˆž(1) ã“ã‚Œã«ã¤ã„ã¦ã¯å•é¡Œãªã„ã¨æ€ãˆã‚‹ã®ã§ã™ãŒã€ä»¥ä¸‹ã®ã‚ˆã†ãªç–‘å•ãŒã‚ã‚Šã¾ã™ã€‚ １．上ã®å¼ã‚’変形ã—ãŸã€ï¼¬ï½ï½‡2　∞(1)ï¼âˆžï¼ˆ0）ã¯æˆã‚Šç«‹ã¤ã®ã‹ï¼Ÿã€€æˆã‚Šç«‹ãŸãªã„å ´åˆã¯ã€ï¼¬ï½ï½‡2　∞(1)ã¯ã„ãã¤ã«ãªã‚‹ã®ã‹ï¼Ÿ ２．Ｌï½ï½‡2　∞(0)ã¯ã„ãã¤ã«ãªã‚‹ã®ã‹ï¼Ÿ ３．∞(0)を２進数ã§è¡¨è¨˜ã—ãŸå ´åˆã«æ¡æ•°ã¯ã„ãã¤ã«ãªã‚‹ã®ã‹ï¼Ÿ アレフã¯ãƒ˜ãƒ–ライ語ã®ã‚¢ãƒ«ãƒ•ã‚¡ãƒ™ãƒƒãƒˆã‚’使ã†ã®ãŒä¸€èˆ¬çš„ã§ã™ãŒã€ã“ã“ã§ã¯æ›¸ã‘ãªã„ãŸã‚∞ã®è¨˜å·ã‚’使ã„ã€âˆž(0)ã®ã‚ˆã†ã«è¡¨è¨˜ã—ã¾ã—ãŸã€‚Ｌï½ï½‡2ã¯ï¼’を底ã¨ã™ã‚‹å¯¾æ•°ã¨è€ƒãˆã¦ä¸‹ã•ã„。 ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼ã§ã¯ã€æ•°å¼ã‚„記å·ã®è¡¨è¨˜ã«å¯¾å¿œã—ã¦ã„ã‚‹ã®ã§ã€ã‚ã‹ã‚Šã«ãã‘ã‚Œã°ä¸‹ã®ãƒªãƒ³ã‚¯å…ˆã‚’見ã¦ä¸‹ã•ã„。å•é¡Œã®è£œè¶³èª¬æ˜Žã‚‚ã‚
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
ãŸã¾ã®é›‘記(2006-05-23)
ï¼’ï¼ï¼ï¼–å¹´æ•°å¦åŸºç¤Žè«–サマースクール é™å®šç®—è¡“ã®æ–°å±•é–‹ 黒田覚（群馬県立女å大å¦ï¼‰ 2006/8/31–9/2 ç›® 次 1 イントãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ 1 2 計算é‡ç†è«– 2 2.1 基本概念ãªã© . . . . . . . . . . . . . . . . . . .
é¸æŠžå…¬ç†ã‚’無自覚ã«ä½¿ã‚ãªã„よã†ã«ã™ã‚‹ãŸã‚ã®ãƒ¡ãƒ¢ - å‰åŽŸã®æ—¥è¨˜
Cryptology ePrint Archive 2006/068 - M. Backes, B. Pfitzmann, M. Waidner "Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes"
Whose Thesis is it Anyway?
The Importance of Natural Proofs
SRAT
{{#tags}}- {{label}}
{{/tags}}