タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

ComputerScienceに関するtackmanのブックマーク (5)

  • 正規言語と代数と論理の対応:An Introduction to Eilenberg’s Variety Theorem

    最適輸送問題(Wasserstein 距離)を解く方法についてのさまざまなアプローチ・アルゴリズムを紹介します。 線形計画を使った定式化の基礎からはじめて、以下の五つのアルゴリズムを紹介します。 1. ネットワークシンプレックス法 2. ハンガリアン法 3. Sinkhorn アルゴリズム 4. ニューラルネットワークによる推定 5. スライス法 このスライドは第三回 0x-seminar https://sites.google.com/view/uda-0x-seminar/home/0x03 で使用したものです。自己完結するよう心がけたのでセミナーに参加していない人にも役立つスライドになっています。 『最適輸送の理論とアルゴリズム』好評発売中! https://www.amazon.co.jp/dp/4065305144 Speakerdeck にもアップロードしました: https

    正規言語と代数と論理の対応:An Introduction to Eilenberg’s Variety Theorem
  • 【お蔵出し】コンピュータ書紹介:高い本編 - 思っているよりもずっとずっと人生は短い。

    3年くらい前に書いたコンピュータ書の紹介文が発掘されたので、せっかくなので貼っておきます(一部手直し済み)。 こういうのはレギュレーションが問題で、この時は「いいだけど高い」でした。今でも当然ながらお勧めですが、「買いたい」というよりは「買わせたい」かも。 ちなみにこの中では1冊だけ自分では持ってないがあります(それ以外にも買ったんだけど棚の億に埋もれて発掘できないも多々あります……)。 ヘネシー&パターソン『コンピュータアーキテクチャ 定量的アプローチ 第4版』 コンピュータアーキテクチャ 定量的アプローチ 第4版 (IT Architects’ Archive) 作者: John L. Hennessy,ジョン・L・ヘネシー,デイビッド・A・パターソン,David A. Patterson,中條拓伯,吉瀬謙二,佐藤寿倫,天野英晴出版社/メーカー: 翔泳社発売日: 2008/

    【お蔵出し】コンピュータ書紹介:高い本編 - 思っているよりもずっとずっと人生は短い。
  • Google、量子コンピュータでPCの1億倍高速な解析に成功と発表

    今回の実験では、「量子ビット」を1000個以上搭載するD-Wave 2Xでの「量子アニーリング」とシングルコアのコンピュータの「シミュレーテッドアニーリング」とで、約1000個の変数の「組み合わせ最適化問題」の解決速度を比較した。 Googleは2013年、NASAと共同でエイムズ研究所に量子コンピュータラボ「Quantum Artificial Intelligence Lab」を立ち上げ、実験を重ねてきた。Googleが取り組んでいるディープラーニングなどの機械学習ではビッグデータを高速に処理するシステムが必要であり、量子コンピュータが実用化できれば研究が飛躍的に前進するだろう。 Googleは、この実験結果は非常に興味深いし有望なものだとしながらも、実用化するまでにはまだ多くの課題を乗り越える必要があるとしている。 関連記事 GoogleNASAと共同で量子コンピュータラボを立ち上

    Google、量子コンピュータでPCの1億倍高速な解析に成功と発表
    tackman
    tackman 2015/12/11
    量子コンピュータってもう実デバイスで回せるところまで来てたのか…
  • 量子情報勉強会 |11> (2014/08/24 13:00〜)

    現在のコンピュータの仕組みや限界を学び、次世代計算機として世界中で研究されている”量子コンピュータ”の原理を理解することを目的として、初心者中心に勉強しています。興味ある方、ぜひ気軽に参加してください。 教科書: 「量子コンピュータと量子通信〈1〉量子力学とコンピュータ科学」 http://www.amazon.co.jp/gp/product/4274200078/ref=oh_details_o00_s00_i00?ie=UTF8&psc=1 今回範囲 : 3.2.2計算量 ~ 3.2.3決定問題と計算量クラスPとNP : utsugi

    量子情報勉強会 |11> (2014/08/24 13:00〜)
    tackman
    tackman 2014/08/07
    たまたまお題の本買ったところだし参加してみよーっと
  • ソフトウェアの基礎(beta) — ソフトウェアの基礎 1.0.2 documentation

    ソフトウェアの基礎(beta)¶ ドキュメントは実験中のものです。 安定板は http://proofcafe.org/sf/ を参照してください。 epub版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.epub mobi版: http://proofcafe.org/sf-beta/software_foundation_1.0.2.mobi Contents:

  • 1