Paxosアルゴリズム - Wikipedia
Paxosとは信頼性が低いプロセッサのネットワークにおいて合意の問題を解決するためのプロトコルの集合である。 合意とは参加者のグループにおいて単一の結果について合意を得るプロセスである。参加者や通信手法に障害が起きる可能性がある場合、この問題は困難なものとなる[1]。 合意プロトコルは分散コンピューティングにおける状態機械アプローチの基礎であり、これはレスリー・ランポート[2]により提案され、Fred Schneiderによってサーベイがなされている[3]。 Paxosプロトコルは1990年に登場し命名されたが、論文として出版されたのは1998年であった[4]。 これ以前に、ナンシー・リンチ、Cynthia Dwork、Larry Stockmeyerは"部分同期"システムの広い範囲における合意形成方法を例証している。Paxosは分散トランザクションの文脈において、1988年にOkiとBa
空気と水と太陽光だけで燃料を作る、豊田中央研が人工光合成を実現
常温常圧、太陽光下で水と二酸化炭素から、有機物の一種であるギ酸を合成した。紫外線や外部電源などは使っておらず、太陽光だけで燃料を無限に製造できる可能性が開けたことになる。 太陽光から電気エネルギーを取り出す装置は広く普及している。太陽電池だ。では太陽光を使って物質を合成する装置は存在するだろうか。 存在する。植物だ。植物は水と二酸化炭素からブドウ糖（グルコース）を合成している。地球上のほぼ全ての生物が生存できるのは、植物が光合成の能力を備えているからだ。 住宅用の太陽電池でも、変換効率の高い製品を使うと太陽光のエネルギーの20％を電力に変換できる。それでは植物の「変換効率」はどの程度だろうか。 実は意外に低く、0.3％程度だ。この程度の効率であっても、全ての生命を支えることができる。 太陽電池が存在するにもかかわらず、人工光合成に意味があるのは、「人工光合成＝太陽電池＋二次電池」と見なすこ
パチンコが救った心と命：日経ビジネスオンライン
気になる記事をスクラップできます。保存した記事は、マイページでスマホ、タブレットからでもご確認頂けます。※会員限定 無料会員登録 詳細 ｜ ログイン 東日本大震災以降、権威や専門家、大学が信頼を失った、と言われます。確かにそうした非難に当たるような大学人の発言などもあったと思いますし、またその種のものを「なんとか大学話法」などと称して本を売ったりする人が出たりもしました。 が、およそ本質的な解決に近づかないんだよね、本当になんとかしなくては、まともな学のセクターがきちんと機能しているのに、それが国内外に伝わってゆかない・・・ 震災直後から現場の陣頭指揮を執り、当時は文部科学副大臣を退いたばかりの畏友・鈴木寛参院議員とこんな話をして、いまからちょうど1年ほど前に始めたのが、私たちが「哲学ランチ」と呼んでいる「東日本大震災復興支援哲学会議」という、大学人・非大学人を問わない有志の集まり、かれこ
FlashMemorySummit 2012 - Leveraging host based Flash Translation Layer for Application Acceleration
Leveraging host based Flash Translation Layer for Application Acceleration Ashish Batwara Fusion-io Flash Memory Summit 2012 Santa Clara, CA 1 Traditional Storage Stack Flash Memory Summit 2012 Santa Clara, CA 2 Block Device Driver LBA Device LBA view enforced by Storage Protocols (SCSI/SATA etc.) Hardware Kernel space User space Application Filesystem Flash is Different From Disk Flash Memory Sum
Fusion-io, proud member of the SanDisk family.
Fusion-io, proudly part of SanDisk Discover SanDisk Data Center Solutions
入門 機械学習
目次 訳者まえがき はじめに 1章 Rを利用する 1.1 機械学習のためのR 1.1.1 Rのダウンロードとインストール 1.1.2 IDEとテキストエディタ 1.1.3 Rパッケージの読み込みとインストール 1.1.4 機械学習のためのRの基礎知識 1.1.5 Rに関する情報 2章 データの調査 2.1 探索と確証 2.2 データとは何か？ 2.3 データ内の列の型を推論する 2.4 意味推論 2.5 数値による要約 2.6 平均値、中央値、最頻値 2.7 分位数 2.8 標準偏差と分散 2.9 探索的データの可視化 2.10 複数の列の関係の可視化 3章 分類：スパムフィルタ 3.1 白か黒か？二値分類 3.2 やさしい条件付き確率入門 3.3 初めてのベイズスパム分類器を書く 3.3.1 分類器を定義し、非スパム（難）でテストする 3.3.2 分類器をすべての種類の電子メールに対し
ブラジル産牛肉を輸入停止 ＢＳＥ発生で政府 - MSN産経ニュース
政府は８日、ブラジルで初の牛海綿状脳症（ＢＳＥ）の発生例が確認されたとして、同国からの牛肉製品の輸入を停止したと発表した。国際獣疫事務局（ＯＩＥ）から８日入った連絡によると、ＢＳＥ感染が判明したのは２０１０年１２月に１３歳で死んだ雌牛１頭。農林水産省は、発生原因などの詳しい情報をブラジル政府に問い合わせている。 ブラジルからの１１年の牛肉輸入量は約１４００トンで、全世界からの輸入量の０・３％にとどまる。ブラジルは口蹄（こうてい）疫の発生国であるため生鮮牛肉の輸入はこれまでも認めておらず、加熱処理した牛肉のみを輸入している。 厚生労働省によると、ＢＳＥを理由にした牛肉の輸入停止は０３年１２月に米国に対して実施して以来、９年ぶり。ＢＳＥの発生は２６カ国目という。
ビットコインの採掘、資本を投じてカスタムチップを装備しなければ勝てなくなる | スラド ハードウェア
10分間の送金などの記録データがブロックに書き込まれます。 ブロックの内容は偽造が不可能で、本物の検証が出来ます。 ブロックは、公開の状態に置かれて共有されます。 これが、計算力を駆使して行われていることです。 つまり、銀行システムの運営と思って良いかな？ このビットコインの送金管理システムが、ビットコインの価値ですね。 このシステムは、中央管理なしで行われ、送金管理システムには、 誰でも参加することができます。 偽造不可能で、本物の検証が可能で、データが公開に置かれる、 送金システム自体に価値があると思われます。 言ってみれば、共有かつ公開の銀行システムのような感じ。 そうして、そのような送金の管理システムの単位：ブロックの生成は 価値があることなので、ブロックの生成に対して、一定のビットコインが 与えられます。 ブロックによる送金管理システムが、ビットコインの価値になります。 システム
都会のスズメ、タバコの吸い殻を有効活用 研究
米ニューヨーク（New York）の路上に捨てられた、タバコの吸い殻（2011年5月23日撮影、資料写真）。(c)AFP/Getty Images/Daniel Barry 【12月6日 AFP】都市の迷惑行為として悪評高いタバコの吸殻が、メキシコのスズメにとっては貴重な恵みだったとする研究が、5日の英国王立協会（British Royal Society）の専門誌バイオロジー・レターズ（Biology Letters）に掲載された。スズメたちは吸い殻を巣に組み込んでひな鳥のベッドにしていたばかりでなく、巣に害虫が付くのを防ぐのに活用していたという。 メキシコ国立自治大学（National Autonomous University of Mexico）のコンスタンチノ・マシアス・ガルシア（Constantino Macias Garcia）氏率いる研究チームは、メキシコの首都メキシコ市（
COP18閉幕、京都議定書の延長で合意
カタールのドーハ（Doha）で開催された国連気候変動枠組み条約（UNFCCC）第18回締約国会議（COP18）の開会式で演説するハマド・ビン・ハリファ・サーニ（Hamad bin Khalifa Al-Thani）首長（2012年12月4日撮影）。(c)AFP/KARIM JAAFAR /AL-WATAN DOHA 【12月10日 AFP】カタールのドーハ（Doha）で開かれていた国連気候変動枠組み条約（UNFCCC）第18回締約国会議（COP18）は8日、京都議定書（Kyoto Protocol）の期間を延長することで合意し閉幕した。地球温暖化防止の取り組みとしては小さくとも象徴的な勝利といえる。 長時間にわたる協議の末、ようやく延長されるに至った京都議定書は、2020年に発効する新たな国際的枠組みが決まるまでの暫定的な措置となった。 この合意により、欧州連合（EU）27か国とスイス、オ
COP18「ドーハ合意」の5つの柱
カタールの首都ドーハ（Doha）で掲げられたCOP18の旗（2012年11月27日撮影、資料写真）。(c)AFP/AL-WATAN DOHA/KARIM JAAFAR 【12月10日 AFP】国連気候変動枠組み条約第18回締約国会議（COP18）が8日に採択した「ドーハ合意（Doha Climate Gateway）」の概要をまとめた。 ■京都議定書の第2約束期間 地球温暖化の原因である温室効果ガスの排出抑制に関して世界で唯一、拘束力を持つ国際協定だった京都議定書が、12月31日に期限切れを迎える第1約束期間を引き継ぐ第2約束期間として延長された。第2約束期間は2013年1月1日から2020年末までとされ、欧州連合（EU）加盟27か国の他、オーストラリアやスイスなどの先進国10か国が参加する。 ■発展途上国支援 ドーハ合意では先進国に「各国の財政状況が許す時には」発展途上国への支援を誓約す
ハトを捕食するヨーロッパオオナマズ | スラド オープンソース
フランスでハトを捕食するヨーロッパオオナマズが確認されたそうだ(PLOS ONE掲載論文、 Business Insiderの記事、 本家/.)。 ヨーロッパオオナマズは体長1～1.5メートルの大型のナマズ。世界遺産の街、南仏のアルビ市を流れるタルン川にはハトが水浴びに集まる場所があり、ここで岸に身を乗り上げてハトを捕まえる様子が目撃されるようになったという。研究者らが撮影した54回のハト狩りでは、成功率28%だったそうだ。攻撃の対象となるのは動いている個体のみであり、ヨーロッパオオナマズはヒゲで動きを察知してハトを捕まえていると考えられるとのことだ。 陸に身を乗り上げて狩りをする水生動物としては、アザラシを捕まえるシャチなどが有名だ。これになぞらえて、研究者らはタルン川のヨーロッパオオナマズを「淡水のシャチ」と呼んでいるようだ。
市販の電球を無線LAN対応にしてスマホからコントロール可能にするソケット「Spark」
iPhone、Android搭載スマートフォン、タブレット、PCなどからWi-Fi経由で、調光対応電球のオン・オフ、明るさの調整ができるソケットが「Spark」です。部屋が暗ければ自動的に部屋を明るくでき、スマートフォンでメールを受信した場合には部屋を点滅させることも可能で、さまざまな使い方ができます。 Spark: Upgrade your lights with Wi-Fi and apps by Spark Devices - Kickstarter http://www.kickstarter.com/projects/sparkdevices/spark-upgrade-your-lights-with-wi-fi-and-apps Sparkは電球のソケット（規格はE26）です。 電球をSparkに付ければ、スマートフォンからWi-Fi経由で電球の明るさを調整できます。 このよ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CO2からアルコール 人工光合成、異端の発想で進化 - 日本経済新聞
SNIA Solid State Storage Initiative PCIe SSD Task Force Meeting No.6 (Monday 18 June 2012)
47NEWS（よんななニュース）