気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
8 usersがブックマーク
1
1
CockroachDB から覗く形式手法の世界 #CNDT2020 / CloudNative Days Tokyo 2020
8 users
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
CockroachDB から覗く形式手法の世界 #CNDT2020 / CloudNative Days Tokyo 2020
CloudNative Days Tokyo 2020 で使用したスライドです。 バグのない分散システムの設計は果たして可能で... CloudNative Days Tokyo 2020 で使用したスライドです。 バグのない分散システムの設計は果たして可能でしょうか？ この問いに対する一つの答えとして、CockroachDB では形式手法ツール TLA+ を用いて分散トランザクションの正しさを担保しています。 形式手法はシス…
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
speakerdeck.com/ytaka23
magazine.cainz.com
anond.hatelabo.jp
anond.hatelabo.jp
www.tokyo-np.co.jp
qiita.com/ryosuke_ohori
gigazine.net
qiita.com/kitao
memo.sugyan.com
qiita.com/shota0616
songmu.jp
2020/10/24 リンク