Computational Complexity of Games and Puzzles
Many of the games and puzzles people play are interesting because of their difficulty: it requires cleverness to solve them. Often this difficulty can be shown mathematically, in the form of computational intractibility results: every NP-complete problem is in some sense a puzzle, and conversely many puzzles are NP-complete. Two-player games often have higher complexities such as being PSPACE-comp
Hypno trip down the fractal rug | 20 lines Javascript contest - Zoom | Mathieu 'p01' Henri | June 2008
Hypno trip down the fractal rug - for the 20 lines JavaScript contest - Zoom by Mathieu 'p01' Henri June 2oo8. The specification of Canvas being in progress, this script is best rendered in a recent browser such as Opera 9.5 or Firefox 3 or Safari 3.1.
Collection of Vulnerabilities in Fully Patched Vim 7.1
Collection of Vulnerabilities in Fully Patched Vim 7.1 1. Summary Product : Vim -- Vi IMproved Version : Tested with 7.1.298 and 6.4; 7.2a.10 still partly vulnerable Impact : Arbitrary code execution Wherefrom: Local and remote Original : http://www.rdancer.org/vulnerablevim.html Improper quoting in some parts of Vim written in the Vim Script can lead to arbitrary code execution upon opening a cra
UxUã§å§‹ã‚ã‚‹Firefoxアドオンã®è‡ªå‹•ãƒ†ã‚¹ãƒˆ - 2008-06-11 - ククãƒã‚°
Firefox用アドオンやXULRunnerアプリケーションãªã©ã®ã„ã‚ゆるXULアプリケーションã¯ã€ãƒã‚¸ãƒƒã‚¯éƒ¨ã‚’主ã«JavaScriptã§è¨˜è¿°ã™ã‚‹ãŸã‚ã€script.aculo.usã®ãƒ†ã‚¹ãƒˆé–¢é€£æ©Ÿèƒ½ãªã©JavaScript用ã®ãƒ†ã‚¹ãƒˆãƒ„ールを使ã£ã¦è‡ªå‹•ãƒ†ã‚¹ãƒˆã‚’è¡Œãˆã¾ã™ã€‚ã—ã‹ã—ã€ä¸€èˆ¬çš„ãªJavaScript用ã®ãƒ†ã‚¹ãƒˆãƒ„ールã¯Webアプリケーションをテストã™ã‚‹ã“ã¨ã‚’主眼ã«ãŠã„ã¦é–‹ç™ºã•ã‚Œã¦ã„ã‚‹ãŸã‚ã€åˆ©ç”¨ã§ãる機能ã«åˆ¶é™ãŒã‚ã£ãŸã‚Šã€HTMLã§ã¯ãªãXULを使用ã™ã‚‹XULアプリケーションã®ãƒ†ã‚¹ãƒˆã§ã¯ä¸å…·åˆãŒç”Ÿã˜ãŸã‚Šã™ã‚‹å ´åˆãŒã‚ã‚Šã¾ã™ã€‚ UxU（UnitTest.XUL）ã¯ã€è‘—åãªXULアプリケーション開発支æ´ãƒ„ールã§ã‚ã‚‹MozLabをベースã«ã‚¯ãƒªã‚¢ã‚³ãƒ¼ãƒ‰ã§é–‹ç™ºã‚’è¡Œã£ã¦ã„る自動テスト実行ツールã§ã™ã€‚Firefoxã‚„Thunderbirdãªã©ã®XULアプリケーション上ã§ã®åˆ©ç”¨ã‚’å‰æã¨ã—ã¦ã„ã‚‹ãŸã‚ã€å‰è¿°ã®ã‚ˆ
Ray Tracing in Haskell
I’m giving a talk at a user group meeting next week on how to program in Haskell. Rather than just listing off language constructs, I wanted to motivate the whole thing with an actual application. So that’s how I ended up spending yesterday afternoon writing a ray tracer in Haskell. I’m certainly not the first to do so, nor the best, but I am writing this blog post to explain the process I went th
Categories
Welcome to the Computational Category Theory Project Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. The original ideas are due to R.M. Burstall, and it was developed by D. Rydeheard, with help from D.T. Sannella and others in the University of Edinburgh theoretical computer science community.
A Computational Introduction to Number Theory and Algebra
A Computational Introduction to Number Theory and Algebra A book introducing basic concepts from computational number theory and algebra, including all the necessary mathematical background. The book (now in its second edition) is published by Cambridge University Press. It can be purchased directly from Cambridge University Press, or from online book retailers. DOWNLOADS Version 2 [pdf] (6/16/200
ランディ・パウシュã®ã€Œæœ€å¾Œã®æŽˆæ¥ã€1
2007å¹´9月18æ—¥ã€ãƒšãƒ³ã‚·ãƒ«ãƒ™ãƒ‹ã‚¢å·žãƒ”ッツãƒãƒ¼ã‚°ã€‚ãƒã‚¤ãƒ†ã‚¯ã®è¡—ã¨ã—ã¦çŸ¥ã‚‰ã‚Œã‚‹ã“ã®åœ°ã«æœ¬æ‹ ã‚’ç½®ãカーãƒã‚®ãƒ¼ãƒ¡ãƒãƒ³å¤§å¦ã®è¬›å ‚ã§ã€ï¼‘人ã®æ•™æŽˆãŒã€Œæœ€å¾Œã®æŽˆæ¥ã€ã‚’è¡Œã£ãŸã€‚ 教授ã®åå‰ã¯ãƒ©ãƒ³ãƒ‡ã‚£ãƒ»ãƒ‘ウシュ。46æ³ã€‚ãƒãƒ¼ãƒãƒ£ãƒ«ãƒªã‚¢ãƒªãƒ†ã‚£ã®ç¬¬ä¸€äººè€…ã¨ç§°ã•ã‚Œã‚‹äººç‰©ã 。最後ã®æŽˆæ¥ã‚’ã™ã‚‹ã«ã¯ã¾ã è‹¥ã™ãŽã‚‹ãƒ‘ウシュã ãŒã€å®Ÿã¯ã“ã®ã¨ãã€å½¼ã«ã¯é•·å¹´è¦ªã—ã‚“ã 大å¦ã«åˆ¥ã‚Œã‚’å‘Šã’ã–ã‚‹ã‚’ãˆãªã„事情ãŒã‚ã£ãŸã€‚膵臓ã‹ã‚‰è‚臓ã¸ã¨è»¢ç§»ã—ãŸã‚¬ãƒ³ç´°èƒžã€‚医師ã‹ã‚‰å‘Šã’られãŸå‘½ã®åˆ»é™ã¯ã€Œã‚ã¨ï¼“カ月ã‹ã‚‰åŠå¹´ã€ã€‚ ã“ã†ã—ã¦ãƒ‘ウシュã®æœ€å¾Œã®æŽˆæ¥ã¯å§‹ã¾ã£ãŸã€‚スクリーンã«æ˜ ã—出ã•ã‚ŒãŸæ¼”é¡Œã¯ã€Žåä¾›ã®ã“ã‚ã‹ã‚‰ã®å¤¢ã‚’本当ã«å®Ÿç¾ã™ã‚‹ãŸã‚ã«ã€ã€‚ãã‚Œã¯ã€å¦ç”Ÿå‘ã‘ã«è¬›ç¾©ã‚’ã™ã‚‹ãµã‚Šã‚’ã—ãªãŒã‚‰ã€ã¾ã å¹¼ã„３人ã®ã‚ãŒåã«éºã™ãŸã‚ã®ãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ã ã£ãŸâ€”—。 アメリカã§ã¯ãƒãƒƒãƒˆå‹•ç”»ã«ã‚¢ãƒƒãƒ—ã•ã‚Œã‚‹ã‚„ã¾ãŸãŸãé–“ã«600万もã®ã‚¢ã‚¯ã‚»ã‚¹æ•°ã‚’ç²å¾—ã—ãŸã¨ã„ã†ã€å¿ƒæºã•ã¶ã‚‰ã‚Œã‚‹ãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ã€‚ ht
直リンクã«ä½•ãŒèµ·ãã¦ã„ã‚‹ã®ã‹
「直リンクã€ï¼ˆç›´ãƒªãƒ³ï¼‰ã¨ã„ã†è¨€è‘‰ã®æ„味ã¯ã“ã“æ•°å¹´ã§å¤§ãã変ã‚ã‚Šã¤ã¤ã‚ã‚Šã¾ã™ãŒã€ ãã®å¤‰åŒ–を知らãªã„ãŒã‚†ãˆã®èª¤è§£ã€ãƒˆãƒ©ãƒ–ルãŒã—ã°ã—ã°è¦‹å—ã‘られã¾ã™ã€‚ ãã®èª¤è§£ã‚’大ã¾ã‹ã«è§£ãã®ãŒæœ¬ç¨¿ã®è¶£æ—¨ã§ã™ã€‚ 目次 ç¬¬ä¸€ç« - åˆã‚ã« ç¬¬äºŒç« - çµè«– ç¬¬ä¸‰ç« - 変é·ã®è¨˜éŒ² 2000年～2003å¹´é ƒ 2003年～2004å¹´é ƒ 2005å¹´é ƒï½ž ç¬¬å››ç« - 個人的見解 è£œéº ç¬¬ä¸€ç« - åˆã‚㫠「直リンクã€ã¨ã„ã†è¨€è‘‰ã¯ã€ã“ã“æ•°å¹´ã§ä»¥å‰ã¨ã¯ç•°ãªã‚‹æ„味ã§ä½¿ã‚れるã“ã¨ãŒå¤šããªã‚Šã¾ã—ãŸã€‚ ã—ã‹ã—ã€ãã®ã“ã¨ã‚’å…¨ãèªè˜ã—ã¦ãªã„「直リンクã¨ã„ã†è¨€è‘‰ã¯äº‘々ã€ã¨è¨€ã£ãŸè§£èª¬ãŒå°‘ãªãã‚ã‚Šã¾ã›ã‚“。 例ãˆã°ã€2008å¹´4月ç¾åœ¨ã€Wikipediaã®ã€Œç›´ãƒªãƒ³ã‚¯ã€ã®é …ç›®ã«ã¯ã“ã†ã‚ã‚Šã¾ã™ã€‚ 直リンク（ã˜ã‹ãƒªãƒ³ã‚¯ã€ã¡ã‚‡ãリンク）ã¨ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®WWWã§å…¬é–‹ã•ã‚Œã¦ã„ã‚‹ç”»åƒãªã©ã®ãƒ¡ãƒ‡ã‚£ã‚¢ãƒ•ã‚¡ã‚¤ãƒ«ã®URLã‚’å‚ç…§ã—ã€ã‚¤ãƒ³ãƒ©ã‚¤ãƒ³ã§è¡¨ç¤ºã™ã‚‹å½¢æ…‹ã§åˆ¥
ã¯ã¦ãªã‚ˆã†ã›ã„ã¨ã¾ãªã¶ Schemeã®å½¢å¼çš„æ„味論
ã‚ã‹ã‚‰ãªã„…… ã‚ã‹ã‚‰ãªã„…… R6RSã®Appendix Aã«è¼‰ã£ã¦ã„ã‚‹å½¢å¼çš„æ„味論ãŒã‚ã‹ã‚‰ãªã„…… Schemeã®å½¢å¼çš„æ„味論をç†è§£ã™ã‚‹ãŸã‚ã®å†’険ã¯ã€ R6RSã‚’å°åˆ·ã—ã¦èªã¿ãªãŒã‚‰ã€å®Ÿéš›ã«Prologã¨ã‹ã§ã€ æ„味論ã«ãã£ãŸã‚¤ãƒ³ã‚¿ãƒ—リタを作るã“ã¨ã‚ˆ ã‚ã‹ã‚‰ãªã„…… ãã‚“ãªé¢å€’ãªã“ã¨ã‚’ã™ã‚‹æ„味ãŒã‚ã‚‹ã®ã‹ã‚ã‹ã‚‰ãªã„…… 本当ã«ãã‚Œã§ç†è§£ã§ããŸã®ã‹ã¯ç†è€…ã‚‚ã‚ã‹ã‚‰ãªã„…… ãã‚Œã˜ã‚ƒã‚ã€ç°¡å˜ã«èª¬æ˜Žã‚’ã™ã‚‹ã‹ã‚‰ã‚ˆãèžã„ã¦ã。 ã‘ã©ã€ãã‚Œã§ã‚‚R6RSã‚’å°åˆ·ã—ãŸã»ã†ãŒã„ã„ã‚。 ãã‚Œã‹ã‚‰ã€R6RSã¯ã€Œã¿ã‚“ãªã‚‚ã£ã¦ã‚‹ã€ã‚‚ã®ãªã®ã§ã€ 自分ã®ã‚‚ã®ã ã¨åˆ†ã‹ã‚‹ã‚ˆã†ã«ã€ã¡ã‚ƒã‚“ã¨åå‰ã‚’書ã‹ãªã„ã¨ã ã‚よ。 「ãŠãªã¾ãˆã‚·ãƒ¼ãƒ«ã€ã‚’貼るã¨ã„ã†ã®ã‚‚手ã。 ã‚‚ã㘠ãªã«ã‚’ã™ã‚‹ã® ãŠãŠã–ã£ã±ã« ã‚‚ã†ã™ã“ã—ã›ã„ã‹ãã« ãã»ã‚“ ã‹ãã‹ãˆ ã‚€ãšã‹ã—ã„ã‹ãã‹ãˆ ã¶ã‚“ã½ã† ã‚„ãããã¨ãã»ã‚“ ã·ã‚ãらむã®ã¶ã‚“ã½ã† ã¶ã‚“ã¿ã‚ƒãã¨ã‚㪠ã¶ã‚“ã¿ã‚ƒãã®
ã—ã—ãŠã©ã—ã§ããŸã‚ˆãƒ¼ã€‚ - èŠã‚„ã‚“ã®é›‘記帳
ã‚€ã¡ã‚ƒãã¡ã‚ƒé‡ãŸã„よー。ã¨ã„ã†ã‹æ°´ã‚’æŒã¡ä¸Šã’ã‚‹ã¨ã“ã‚ãŒå¤§è¦æ¨¡ã™ãŽã‚‹ã€‚ http://as305.dyndns.org/~kik/phun/440.phn
Tumblrã®å¯èƒ½æ€§ã¨å•é¡Œç‚¹ã¨ - 北ã®å¤§åœ°ã‹ã‚‰é€ã‚‹ç‰©æ¬²æ—¥è¨˜
最近話題ã«ãªã£ã¦ã„ã‚‹Tumblrã®è©±ã€‚ Tumblrを知らãªã„人ã«ç°¡å˜ã«TumblrãŒä½•ã‹ã‚’説明ã™ã‚‹ã¨ã€ã‚¦ã‚§ãƒ–上ã«ã‚ã‚‹ç”»åƒãƒ»æ–‡ç« ・動画ãªã©ã€ã„ã‚ã‚“ãªã‚³ãƒ³ãƒ†ãƒ³ãƒ„ã‚’ç°¡å˜ã«ã‚¯ãƒªãƒƒãƒ”ングã—ã¦ä¿å˜ã—ã€ãれを他ã®Tumblrユーザーã¨å…±æœ‰ã™ã‚‹ã‚µãƒ¼ãƒ“スãŒTumblrã§ã™ã€‚ ãƒãƒãƒŸãƒ„ã¨ã‚¯ãƒãƒ¼ãƒãƒ¼ 1 (クイーンズコミックス) 作者: 羽海野ãƒã‚«å‡ºç‰ˆç¤¾/メーカー: 集英社発売日: 2002/08/19メディア: ペーパーãƒãƒƒã‚¯è³¼å…¥: 5人 クリック: 175回ã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚° (913件) を見る ウェブ上ã§ã¿ã‹ã‘ãŸãŠæ°—ã«å…¥ã‚Šã®ã‚³ãƒ³ãƒ†ãƒ³ãƒ„をクリップã™ã‚‹ã£ã¦ã®ã¯ã€ä»–ã®ä¾‹ã§è¨€ãˆã°ã€æ°—ã«ãªã‚‹æ–°èžè¨˜äº‹ã‚’切り抜ã„ã¦ãƒŽãƒ¼ãƒˆãªã©ã«è²¼ã‚Šä»˜ã‘ã¦ä¿å˜ã™ã‚‹ã‚ˆã†ãªè¡Œç‚ºã€ã‚ããã†ã ã€æ¼«ç”»ã€Œã¯ã¡ã¿ã¤ã¨ã‚¯ãƒãƒ¼ãƒãƒ¼ã€ã§å‡ºã¦ãã‚‹æ°—ã«å…¥ã£ãŸã‚‚ã®ã€æ¬²ã—ã„ã‚‚ã®ã‚’ãºãŸãºãŸè²¼ã‚‹ã¯ãノートã€ã‚ã‚Œã®ã‚¦ã‚§ãƒ–版ã¿ãŸã„ãªæ„Ÿã˜ã€ã¨è¨€ã£ãŸã‚‰åˆ†ã‹ã‚Šã‚„ã™ã„ã§ã—ょã†
d.y.d. Pluggable Type Systems
19:27 08/02/29 ä¸å‹•ç‚¹ãµãŸãŸã³ LtU 㧠"Data Types a la Carte" ã‚’èªã¿ã¾ã—ãŸã€‚ã“ã‚Œã®éµã¨ãªã‚‹æŠ€ã¯ã€Œåž‹ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã«å¯¾ã™ã‚‹ä¸å‹•ç‚¹æ¼”ç®—åã€ã ã¨æ€ã†ã®ã ã‘ã©ã€ ã‚ã‚Œã€ãªã‚“ã§ä¿ºã“れ考ãˆãŸã“ã¨ãªã‹ã£ãŸã‚“ã …？ã¨ä¸æ€è°ã«æ€ã†ãらã„楽ã—ã’ãªã‚¢ã‚¤ãƒ‡ã‚¢ã§ã™ã。ã¦ã„。 // ä¸å‹•ç‚¹æ¼”ç®—å via テンプレート。Dã§ã€‚ // // Haskell ã§ã„ã†"普通ã®"ä¸å‹•ç‚¹é–¢æ•° fix f = f (fix f) ã¨åŒã˜ã‚ˆã†ãªã‚‚ã® // = ã®ä»£ã‚ã‚Šã«ç¶™æ‰¿ã«ãªã£ã¡ã‚ƒã£ã¦ã¾ã™ã‘ã©ã€ã¾ã‚ä¼¼ãŸã‚ˆã†ãªã‚‚ã®ã§ã™ class Fix!(alias F) : F!(Fix!(F)) {} ä¸å‹•ç‚¹æ¼”ç®—ã®å®Ÿè£…ã¯æœ¬é¡Œã§ã¯ãªã„ã®ã§ã€Yコンビãƒãƒ¼ã‚¿ã¿ãŸã„ãªç„¡é§„ãªè¤‡é›‘化ã¯ã—ãªã„æ–¹é‡ã§ã€‚ ã•ã¦ã€ã“れを使ã£ã¦ class Pair(T) { T left; T right; } ２個åŒã˜åž‹ã®å€¤ã®ãƒšã‚¢ã‚’
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
OpenStax | Free Textbooks Online with No Catch
http://clojure.googlegroups.com/web/logic-prog.clj?gda=UIjW5T8AAAANW_OrdtMsZwrhY_1rq_02A_Pwj5-xBCeaJ3dBcMIa2GG1qiJ7UbTIup-M2XPURDTGJHkfRgMWs_fnvhX8lymh
7i Holdings
How to Design Programs
http://imps.mcmaster.ca/doc/seven-virtues.pdf
Circular Programs and Self-Referential Structures
Kloonigames - Experimental Games » 2006 » September
{{#tags}}- {{label}}
{{/tags}}