「ã©ã†ã¶ã¤ã—ょã†ãŽã€ã®å®Œå…¨è§£æž
ç”°ä¸å“²æœ— 女æµæ£‹å£«ã®åŒ—å°¾ã¾ã©ã‹åˆæ®µã«ã‚ˆã£ã¦è€ƒæ¡ˆã•ã‚ŒãŸãƒœãƒ¼ãƒ‰ã‚²ãƒ¼ ムã©ã†ã¶ã¤ã—ょã†ãŽ(Wikipedia: ã©ã†ã¶ã¤ã—ょã†ãŽ) ã®åˆæœŸå±€é¢ ã‹ã‚‰(相手ã®ãƒ©ã‚¤ã‚ªãƒ³ã‚’å–れる時ã¯å¿…ãšå–ã‚‹ã¨ã„ã†æ¡ä»¶ã§)到é”å¯èƒ½ãªå±€é¢ã™ã¹ ã¦ã‚’求ã‚，後退解æž(retrograde analysis)ã«ã‚ˆã‚Šï¼Œã™ã¹ã¦ã®å±€é¢ã®ã€Œå‹ã¡ã€/ 「引ã分ã‘ã€/ã€Œè² ã‘ã€ã¨åŒæ–¹æœ€å–„ã‚’å°½ãã—ãŸæ™‚ã®æ‰‹æ•°ã‚’求ã‚るプãƒã‚°ãƒ©ãƒ ã‚’ä½œæˆ ã—ã¾ã—ãŸï¼Ž ã‚²ãƒ¼ãƒ æƒ…å ±å¦ç ”究会ã§ã®ç™ºè¡¨ã«ã¤ã„㦠2009å¹´6月26æ—¥ã«é–‹å‚¬ã•ã‚ŒãŸç¬¬22å›žã‚²ãƒ¼ãƒ æƒ…å ±å¦ç ”究会ã§ç™ºè¡¨ã—ãŸéš›ã®è³‡æ–™ã¨ï¼Œãƒ—レゼンテーション資料を置ãã¾ã™ï¼Ž ãªãŠï¼Œè³‡æ–™ã®å›³5ã«èª¤ã‚ŠãŒã‚ã‚Šã¾ã™ï¼Žæ£ã—ã„図ã¯ï¼Œ ã¨ãªã‚Šã¾ã™ï¼Ž ã¾ãŸï¼Œå‚考文献ã¨ã—ã¦2009å¹´6月時点ã§ã€Œã©ã†ã¶ã¤ã—ょã†ãŽã€ã®ã‚ªãƒ•ã‚£ã‚·ãƒ£ãƒ«ã‚µã‚¤ãƒˆ を記載ã—ã¾ã—ãŸãŒï¼Œç¾åœ¨ã¯æœ‰åŠ¹ã§ã¯ãªã„よã†ã§ã™ï¼Ž プãƒã‚°ãƒ©ãƒ dobutsu-src-20150109.tar
2007-12-10
指åã‚’å—ã‘ãŸã®ã§è¨˜äº‹æ›¸ã“ã†ã‹ã¨æ€ã£ãŸã‘ã©, okamoto7先生ã®ã§å分ã ã¨æ€ã£ãŸã®ã§æ¢ã‚. (id:smoking186ã•ã‚“) ãˆãƒ¼ï¼Ž ã‚‚ã†ã“ã®è©±é¡Œé–¢é€£ã‹ã‚‰æŠœã‘出ã›ãªããªã£ã¦ã‚‹ã®ã‹ã‚‚．若干å¤ã„ã¨ã“ã‚ã‹ã‚‰å¼•ã„ã¦ãã¾ã™ãŒï¼Ž ä¸æ£ç¢ºã ã£ãŸã‚Šè‡ªå·±æµã®è¡¨ç¾ã ã‹ã‚‰æ‚ªã„ã¨ã„ã†äººã¯ã€ã€Œã‚ã‹ã‚Šã‚„ã™ã•ã€ã¨ã„ã†ã‚‚ã®ã®æœ¬è³ªã‚’ç†è§£ã—ã¦ã„ãªã„。「ã‚ã‹ã‚Šã‚„ã™ã•ã€ã¨ã¯çªãè©°ã‚ã‚Œã°ã€Œä¸æ£ç¢ºã•ã€ã 。厳密ã«æ£ã—ã„説明をã™ã‚‹ã¨ã‚ã‹ã‚Šã«ãã„ã‹ã‚‰ã€ã‚ãˆã¦ä¸æ£ç¢ºã«è¡¨ç¾ã—ã¦åˆ†ã‹ã‚Šã‚„ã™ãã™ã‚‹ã€‚ http://mechag.asks.jp/131404.html ã‚ãˆã¦æ¥µè«–ã£ã½ã書ã‹ã‚Œã¦ã‚‹ã®ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒï¼Œã€Œä¸æ£ç¢ºã§ã„ã‚‹ã€ã“ã¨ã¨ã€Œç«¯æŠ˜ã‚‹ã€ã“ã¨ã¯å…¨ç„¶é•ã†ã¨æ€ã†ã‚“ã§ã™ï¼Žã¯ã„． ãã‚Œã¨ï¼Œä¸æ£ç¢ºãªè¨˜è¿°ã‚’ã—ã¦ã„ã‚‹ã“ã¨ã‚’æ„è˜ã—ã¦ã„ã‚‹ã‹ãã†ã§ãªã„ã‹ï¼Œã¨ã‹ï¼Œä¸æ£ç¢ºãªéƒ¨åˆ†ã«ç–‘å•ã‚’抱ã‹ã‚ŒãŸã¨ãã«ãれをæ£ç¢ºã«ã§ãã‚‹ã‹ãã†ã§ãªã„ã‹ï¼Œã¨ã‹ï¼Œãã†ã„ã†ã“ã¨ãŒé‡è¦ãªã®
è¨˜è¿°è¨ˆç®—é‡ - Wikipedia
記述計算é‡ï¼ˆãã˜ã‚…ã¤ã‘ã„ã•ã‚“りょã†ã€è‹±: Descriptive complexity）ã¯ã€æœ‰é™ãƒ¢ãƒ‡ãƒ«ç†è«–ã®ä¸€ç¨®ã§ã‚ã‚Šã€è¨ˆç®—複雑性ç†è«–ã¨æ•°ç†è«–ç†å¦ã®ä¸€åˆ†é‡Žã§ã‚る。複雑性クラスを言語ã§è¡¨ç¾ã™ã‚‹ã®ã«å¿…è¦ã¨ã•ã‚Œã‚‹è«–ç†ã®ç¨®é¡žã«ã‚ˆã£ã¦ç‰¹å¾´ä»˜ã‘ã‚‹ã“ã¨ã‚’目的ã¨ã™ã‚‹ã€‚例ãˆã°ã€PHã¯äºŒéšŽè¿°èªžè«–ç†ã®è«–ç†å¼ã§è¡¨ç¾ã•ã‚Œã‚‹è¨€èªžã®ã‚¯ãƒ©ã‚¹ã¨æ£ç¢ºã«å¯¾å¿œã—ã¦ã„る。ã“ã®ã‚ˆã†ãªè¤‡é›‘性ã¨è«–ç†ã®ç¹‹ãŒã‚Šã«ã‚ˆã£ã¦ã€2ã¤ã®åˆ†é‡Žã®é–“ã§å®¹æ˜“ã«å¤‰æ›ãŒå¯èƒ½ã¨ãªã‚Šã€æ–°ãŸãªè¨¼æ˜Žæ‰‹æ³•ã‚’生ã¿å‡ºã—ãŸã‚Šã€ã‚る複雑性クラスãŒæœ¬è³ªçš„ãªã‚‚ã®ã§ã‚ã£ã¦ã€ç‰¹å®šã®æŠ½è±¡æ©Ÿæ¢°ã«çµã³ã¤ãã‚‚ã®ã§ã¯ãªã„ã“ã¨ã‚’示ã™ã“ã¨ãŒã§ãる。 特ã«ã€ãã‚Œãžã‚Œã®è«–ç†ä½“ç³»ã¯ã€ãã®ä¸ã§è¡¨ç¾å¯èƒ½ãªã‚¯ã‚¨ãƒªã®é›†åˆã‚’生ã¿å‡ºã™ã€‚クエリã¯è¨ˆç®—複雑性ç†è«–ã«ãŠã‘る計算å•é¡Œã¨å¯¾å¿œã—ã¦ã„る。 記述計算é‡ã®æœ€åˆã®æˆæžœã¨ã—ã¦ã€1974å¹´ã«ãƒãƒŠãƒ«ãƒ‰ãƒ»ãƒ•ã‚§ã‚¤ã‚®ãƒ³ãŒç¤ºã—㟠Fagin ã®å®šç†ãŒã‚ã‚‹[1]。ã“ã‚Œã¯ã€NPãŒå˜åœ¨é‡åŒ–二階
2007-11-29
影響力ãŒã‚ã‚Šãã†ãªæ–¹ã®æ¬¡ã®ã‚¨ãƒ³ãƒˆãƒª2ã¤ã‚’見ã¦ï¼Œ プãƒã‚°ãƒ©ãƒžãƒ¼ã§ãªãã¦ã‚‚åå‰ãらã„覚ãˆã¦ãŠããŸã„アルゴリズムx10 ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ç™¾é¸ - フィボナッãƒæ•°åˆ—ã«O()ã‚’å¦ã¶ アルゴリズムã«ã¤ã„ã¦ã“ã†ãªã‚“ã¨ã„ã†ã‹ä¸æ£ç¢ºãªè¨˜è¿°ãŒãŸãã•ã‚“ã‚ã£ã¦ï¼Œæ›¸ã„ã¦ã„る本人ãŒç†è§£ã—ã¦ã‚‹ã‹ã©ã†ã‹ã‚‚判æ–ã—ã«ãã„æ–‡ç« ã«ãŸãã•ã‚“ブックマークãŒã¤ã„ã¦ã„ã¦ï¼Œã—ã‹ã‚‚ãã®ã‚ˆã†ãªæ–¹ãŒã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã«é–¢ã™ã‚‹æ›¸ç±ã‚’執ç†ã—よã†ã¨ã—ã¦ã„ã‚‹ã¨ã„ã†çŠ¶æ³ãŒãªã‚“ã‹ã“ã‚ã„ã§ã™ï¼Ž 明日ã®ç™ºè¡¨æº–備を終ã‚らã›ãŸï¼Žè‡ªåˆ†ãŒã‚ˆãç†è§£ã—ã¦ã„ãªã„ã¨ã“ã‚ã‚‚ã‚ã‚‹ã®ã§ï¼Œã‚‚ã†å°‘ã—予習ã—ãªã„ã¨ï¼Ž
ホワット・ア・ワンダフル・ワールド 真é¢ç›®ã«è¨ˆç®—ã®è¤‡é›‘性ã®ç†è«–を勉強ã—ã¦ã“ãªã‹ã£ãŸãƒ„ケãŒ
twitter æŸæ‰€ã§ã¯ï¼Œã‚¸ãƒ§ã‚¸ãƒ§ã‚„å¹½éŠç™½æ›¸ãƒã‚¿ã«ã¤ã„ã¦ã“ã‚Œãªã„ naoya_t ã•ã‚“ãŒãƒ„ケãŒå›žã£ã¦ããŸã¨å˜†ã„ã¦ã¾ã—ãŸãŒ(ボクもガンダムã¨ã‚ンニクマンãƒã‚¿ã¯å…¨ãã‚ã‹ã‚Šã¾ã›ã‚“) # cf. オタクã®å¸¸è˜ æŸæ‰€ã§ãƒ†ã‚トーãªã‚³ãƒ¡ãƒ³ãƒˆã‚’ã—㟠(via åšå£«å·ã®å–ã‚Šæ–¹)ã¨ã“ã‚，ãŠãらã twitter ã® niha ã•ã‚“経由㧠shinh 神ã«è©±ãŒä¼ã‚り，ãã‚Œã«ç”ãˆã‚‹å½¢ã§ sin-x ã•ã‚“ãŒç´ 晴らã—ã„å›žç” ã‚’ç¤ºã—ã¦ãã ã•ã„ã¾ã—ãŸï¼Žãªã‚“ã¨ã„ã†é«˜åº¦æƒ…å ±åŒ–ç¤¾ä¼šï¼Žåƒ•ã‚‰ã¿ã‚“ãªãŒæœ‰æ©Ÿçš„ã«ã¤ãªãŒã‚‹ Web 2.0 社会ã¯å¤§å¤‰ç´ 晴らã—ã„ã§ã™ã． # ãã‚‚ãも囲ç¢ã¯çŸ³ãŒå–れるã˜ã‚ƒãªã„ã‹â€¦ ã„ã‚ã„ã‚ã²ã©ã™ãŽã‚‹ãªã．æ¥ã®ãƒ¡ãƒ‹ãƒ¼ãªç”Ÿæ¶¯ã‚’é€ã£ã¦æ¥ã¾ã—ãŸï¼Žãƒ’ãƒ¥ãƒ¼ãƒžãƒ³å¤±æ ¼ï¼Ž ã¡ãªã¿ã«ï¼Œãã®å¾Œã® twitter ã§ã¯éžæ±ºå®šæ€§ã®è©±ã‹ã‚‰ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ãƒžã‚·ãƒ³ã«è©±é¡ŒãŒé£›ã³ï¼ŒP!=NP 関係ã®è©±é¡ŒãŒãƒ”ークã«é”ã™ã‚‹ã¨å…±ã« twitter ã®æŸ±
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
The Domino Problem of the Hyperbolic Plane Is Undecidable
The periodic domino problem is undecidable in the hyperbolic plane
The finite tiling problem is undecidable in the hyperbolic plane
SpringerLink - Book - The Dynamical System Generated by the 3n+1 Function
ECCC - TR09-064 - H. Buhrman, L. Fortnow, R. Santhanam "Unconditional Lower Bounds against Advice"
SpringerLink - Book Chapter - Andrew Chi-Chih Yao "Communication Complexity and Its Applications "
Average Case versus Worst Case
Shaving Logs with Unit Cost
Simulatabilation
my choices [Oded Goldreich]
P vs NC Part I: Preliminaries
Cryptology ePrint Archive 2003/187 - T. Okamoto, R. Kashima "Resource Bounded Unprovability of Computational Lower Bounds "
ãŸã¾ã®é›‘記(2006-05-23)
ï¼’ï¼ï¼ï¼–å¹´æ•°å¦åŸºç¤Žè«–サマースクール é™å®šç®—è¡“ã®æ–°å±•é–‹ 黒田覚（群馬県立女å大å¦ï¼‰ 2006/8/31–9/2 ç›® 次 1 イントãƒãƒ€ã‚¯ã‚·ãƒ§ãƒ³ 1 2 計算é‡ç†è«– 2 2.1 基本概念ãªã© . . . . . . . . . . . . . . . . . . .
SpringerLink - V. Guruswami "List Decoding and Pseudorandom Constructions " (AAECC 2007)
{{#tags}}- {{label}}
{{/tags}}