• Twitterでシェア
  • Facebookでシェア

Formalization and Proof of Distributed Systems (ja)

テクノロジー カテゴリーの変更を依頼 記事元:speakerdeck.com/kuenishi
適切な情報に変更
59users がブックマーク コメント 3

    記事へのコメント3件

    • 注目コメント
    • 新着コメント
    sh19910711
    raft

    その他
    cco
    (再ブクマ：筑波大学での講演のやつ)

    その他
    yassan0627
    分散システムの形式化と証明について

    その他
    kuenishi
    筑波大学でゲスト講義に呼んでいただきました | My lecture slides in Tsukuba Univ

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック！
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    Formalization and Proof of Distributed Systems (ja)

    分散システムの形式化と証明について　＠情報システム特別講義D 2016年度筑波大学

    ブックマークしたユーザー

    • techtech05212024/01/09 techtech0521
    • sh199107112020/01/25 sh19910711
    • maghrib2018/04/13 maghrib
    • mattaclj2018/04/13 mattaclj
    • nabinno2017/09/24 nabinno
    • glut92017/06/09 glut9
    • miguchi2017/05/28 miguchi
    • fjwr382017/05/27 fjwr38
    • sc3wp06ga2017/05/26 sc3wp06ga
    • paulownia2017/05/25 paulownia
    • techman9992017/05/25 techman999
    • serihiro2017/05/25 serihiro
    • mumi2017/05/25 mumi
    • muddydixon2017/05/25 muddydixon
    • sonota882017/05/25 sonota88
    • j-u2017/05/25 j-u
    • baikichiz2017/05/25 baikichiz
    • rgfx2017/05/25 rgfx
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2025 Hatena. All Rights Reserved.