[結] 2006年10月 - 結城浩の日記 - ルソー展と陣取りゲーム・クイズ
目次 2006年10月31日 - Tropy一周年 / 仕事 / 2006年10月30日 - 仕事 / 2006年10月29日 - 礼拝 / トドちゃん / 2006年10月28日 - lingr.com実験中 / 2006年10月27日 - 仕事 / 2006年10月26日 - 仕事 / 疑似乱数列を生成する計算方法の妥当性を調べるのにチューリングテスト的方法は使えるか / 2006年10月25日 - 仕事 / 仕事 / 仕事 / アナザ・タボウ / 2006年10月23日 - 多忙 / 2006年10月20日 - 仕事 / 2006年10月19日 - 仕事 / 仕事 / 『新版Perl言語プログラミングレッスン入門編』 / 2006年10月18日 - 仕事 / 仕事 / 仕事 / 2006年10月17日 - 仕事 / 2006年10月16日 - トドちゃん到着 / 今日の魔法の言葉 /
2006-02-23
2006-02-23 「アルゴリズム」って？ 「プログラマ」って？ 雑記／備忘 メモ編に対してですが、id:sumiiさんから、「アルゴリズム」という言葉の意味と使い方に関して、以下のコメントをいただきました： 通常の定義では、「アルゴリズム」といったら（特に断らなければ）任意の有効な入力について停止せねばならず、停止しない（… 2006-02-23 停止しないアルゴリズム、停止してはいけないアルゴリズム 雑記／備忘 前のエントリーの続きのようなもの。世の中には、無限に走行してサービスを提供し続けるタイプのプログラムがありますよね（リアクティブシステムとか呼ぶらしい）。例えば： /* 門番さんのお仕事 */while (true) { while (客が来ている) { 門を（それが閉じ… 2006-02-23 なんだかスゴイような、変なような“教育” 日常 sumiiさん、一日に何度も話題
プログラマのための「ゲーデルの不完全性定理」(1) - 檜山正幸のキマイラ飼育記 (はてなBlog)
「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。 これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。 ※ 印刷時にはサイドバーは消えるはずです、お試しください。 シリーズ全体目次（予定） （この記事；総論） 速攻速習編 自己適用からゲーデル化へ 「展望」への緊急パッチ（オハナシだよ） Reflective JavaScript 停止問題の構造 不完全性定理の構造 今回の内容： ゲーデルの不完全性定理とプログラミング ゲーデルが示したこと 不完全性定理の兄弟 -- 停止問題 JavaScript使うんだもんね 関連する記事（参考） 次の記事 速攻速習編 ●ゲーデルの不完全性定理とプログラミング 「ゲーデル」（人名；Kurt Godel、'o'の上に点々が付いてる）や彼の「不完全性定理」とかって、
dblp: computer science bibliography
case-insensitive prefix search: default e.g., sig matches "SIGIR" as well as "signal"exact word search: append dollar sign ($) to word e.g., graph$ matches "graph", but not "graphics"boolean and: separate words by space e.g., codd modelboolean or: connect words by pipe symbol (|) e.g., graph|networkUpdate May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolea
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Whose Thesis is it Anyway?
ECCC Report TR06-131 - Konstantin Pervyshev "On Heuristic Time Hierarchies"
Math & CS Library (HUJI): LNCS
http://people.csail.mit.edu/madhu/
in theory: P, NP, and Mathematics
in theory
Sauer's Lemma
Computational Complexity by Sanjeev Arora
Home | COLLEGE OF ENGINEERING
「ソフトウェアが正しく動作することを数学的に証明することは不可能であることが、数学的に証明されている」という話をたまに耳にしますが この証明が記述され…