分散システム · v5
正常系を超えた合意形成：安全性、進行、およびクォーラムのコスト
クォーラムの交差は安全性の一要素である。適時に進行するためには、別の論証が必要となる。
レビューを読む →AUTURNAL / RESEARCH LIBRARY / 2026.10知能から発見へ。
知能から発見へ。
根拠をたどる。
一次文献、数理モデル、検証可能な根拠を結ぶ170本の中国語・英語の研究レビュー。
170本のガイド526件の一次資料510点のイラストと図表
THE RESEARCH COLLECTION
研究を読む
分散システム · v5
不変条件の保存問題としての直列化可能なトランザクション
正しさを捉える適切な単位は、よく知られた異常が存在しないことではなく、アプリケーションの不変条件である。
レビューを読む →
分散システム · v5
クラッシュをまたぐ厳密に一度の効果：トランザクション境界はどこで終わるのか
配送、実行、永続的な状態変化、外部からの観測は、それぞれ異なる事象である。
レビューを読む →
分散システム · v5
収束は意図ではない：ローカルファーストの共同作業の意味論
マージは数学的に収束していても、利用する人々にとって意味的には誤っていることがある。
レビューを読む →
言語と検証 · v5
検証済みシステムが実際に保証するもの：詳細化と信頼境界
検証はモデルと実装の間の関係を確立する。その関係の境界こそが検証結果である。
レビューを読む →
言語と検証 · v5
メモリモデルをまたぐ並行プログラム：リトマステストから契約へ
ソースコードに見える順序は、並行プログラムの意味論を構成する一つの層にすぎない。
レビューを読む →
言語と検証 · v5
詳細化としての最適化：コンパイラが変更してよいものを証明する
最適化を正当化するのは、代数的な類似ではなく、観測可能な振る舞いの保存である。
レビューを読む →
セキュリティとプライバシー · v5
ケイパビリティによるメモリ安全性：空間的権限、寿命、失効
ポインタの権限を制限することと、その対象オブジェクトが依然として生存していることを証明することは、別個の問題である。
レビューを読む →
セキュリティとプライバシー · v5
アーキテクチャ状態を超えた隔離：マイクロアーキテクチャ上の情報漏洩を考える
アーキテクチャ上の読み取りを阻止しても、観測可能なすべての実行トレースが秘密から独立していることの証明にはならない。
レビューを読む →
セキュリティとプライバシー · v5
合成下のプライバシー予算：統計量の反復公開における会計
プライバシーパラメータは、隣接データセットの定義、メカニズム、および公開履歴に紐づく。
レビューを読む →
セキュリティとプライバシー · v5
簡潔な証明、大きなコスト：ゼロ知識システムのエンドツーエンド評価
証明が短いことは、証明生成が低コストであること、言明が正しいこと、あるいはプライバシーの境界が完全であることを意味しない。
レビューを読む →
データ構造とストレージ · v5
契約としての近似：ストリーミングスケッチにおける誤差、ランダム性、マージ可能性
近似解が有用なのは、その誤差の記述がストリーム、クエリ、マージ操作と整合している場合である。
レビューを読む →条件に一致する記事はありません。