TOP

クリップ
2013/10/02(水) 19:00 開催
東京都 四ツ谷

分散合意本読書会第5回

基本情報

日 時: 2013/10/02(水) 19:00 〜 21:00
会 場: Basho Japan
住 所: 東京都新宿区四谷二丁目9番地NK第7ビル3階

イベント内容

人生の基本は分散でござる。「困難は分割せよ」とデカルトもいっておるではありませんか。ということで分散処理は今後のニーズがますます高まるわけです。ところが、この分散での合意(consensusとかagreementとか)というヤツは、かなりの厄ネタでございまして、どの教科書も「結局、最後は適当によろしくやっておく」とか書いてあるわけです。

てなわけで、どうやれば「よろしくやっておく」ということになるのか、分散合意の教科書を読みながら、初歩から学んで行きましょう、という読書会(というか勉強会)でございます。

読む本は、Fault-Tolerant Agreement in Synchronous Message-Passing Systems
です。これは本来は二冊分冊で、

Fault-Tolerant Agreement in Synchronous Message-Passing Systemsが同期
http://www.amazon.co.jp/Fault-Tolerant-Agreement-Synchronous-Message-Passing-Distributed/dp/1608455254/ref=pd_bxgy_fb_text_y

Communication and Agreement Abstractions for Fault-Tolerant Distributed Systemsが非同期になります。
http://www.amazon.co.jp/Communication-Agreement-Abstractions-Fault-Tolerant-Distributed/dp/160845293X/ref=pd_bxgy_fb_text_y

合意「だけ」で、こんだけとかどんだけよ、という話ですが、その筋では有名な方の教科書なのでよろしいんじゃないですかね、と言われているで、よろしくやります。

今回は、2章をなんとか終了で、3章突入です。
3.1.5 On early decision predicateからです。
ちなみにTheorem 3.5 Proof(B)はミスプリでなく
(AB) → ¬(AB)A∧¬B →¬BA
の同値変形を無意識でやっています。この位は脊髄反射でわかるでしょ?ということのようです。

今回はBashoで~す。@kuenishiさんありがとうございます。
  • Twitterでシェア
  • 0
    Facebookでシェア
  • 0
    Google+でシェア
  • 0
    はてなブックマークに追加

タグに関連するイベント

2017/01/14(土) 14:30 〜 17:00
大阪府 高槻市
2016/12/16(金) 10:30 〜 18:30
大阪府 梅田
2016/12/17(土) 13:00 〜 17:00
大阪府 大阪
2017/02/18(土) 13:00 〜 12:00
神奈川県 彫刻の森

Facebookページ

dots.で申込可能なイベント