Consitent Hashing - steps to phantasien t(2007-12-01)
訳したのを Yukiwiki に公開しました. 楽天テクノロジーカンファレンスの記事 で amazon の Dynamo というのが紹介されていた. そんなのがあるのかとぐぐってみつけた Dynamo の話を読む. その中で consistent hashing が使われており. シンプルでよくできたアルゴリズムだと感心, 紹介しようと思った次第. WWW8 に出たオリジナルの記事も読んでみたけれど, もともと単純なアイデアなので大した詳細はない. Chord や Dynamo の記事に含まれる紹介で十分ことたりている. でも Chord が consitent hashing だというのは件の記事を読むまで気付かなかったなあ. わっかの上をぐるぐる周るやつ, くらいの記憶しかなかった... Dynamo consistent hashing にはじまり, Dynamo は分散アルゴリズム
Home Page - Metamath
Metamath is a simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs. See the FAQ for more information. Metamath Proof Explorer - Constructs mathematics from scratch, starting from ZFC set theory axioms. Over 23,000 proofs. Theorem list Recent proofs (this mirror) Intuitionistic Logic Explorer - Derives mathematics from a
Proof Explorer - Home Page - Metamath
The aleph null above is the symbol for the first infinite cardinal number, discovered by Georg Cantor in 1873 (see theorem aleph0). This is the starting page for the Metamath Proof Explorer subproject (set.mm database). See the main Metamath Home Page for an overview of Metamath and download links. If you wish to contribute your own proofs to the Metamath project, see How can I contribute to Metam
認知科学史上の重要文献トップ10の紹介 - 蒼龍のタワゴト~認知科学とか哲学とか~
ミレニアム・プロジェクトのトップ10の紹介 1：チョムスキー「文法の構造」(1957) 生成文法で有名。まさに認知科学という分野を作り上げた、といっても過言でないほどの画期的な理論。第一位は当然です。 2：マー「ヴィジョン」(1982) 網膜上の二次元を三次元へと変換するための視覚理論である二と二分の一スケッチで有名。視覚の計算理論の可能性を示した、夭折の天才マーによる著作。認知科学に再び革命を起こしたといっても過言ではない。上位二つで認知科学の転換点が分かる。 ３：チューリング「計算機械と知能」(1950) 有名なチューリング・テストです。人工知能好きは今でもこの話をするのが得意ですね。いい加減に自律型ロボットの話でもすれば…とも思うが、この話題は衰えない。すごすぎ。 ４：ヘッブ「行動の構造」 (1949) コネクショニズムの源となったシナプス結合によるモデル(ヘッブの法則)を提唱した。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
