Level-4 fold of 16 log entries spanning 2026-06-06 to 2026-06-06. Dominant themes: SRE 理論体系と古典論文群の wiki 構築、DeepSeek/Kimi/MiniMax 等の大規模モデル技術報告、マイクロサービス信頼性の産業実証研究。 ## Child Entries | Date | Op | Title | Page | Summary (extractive) | |---|---|---|---|---| | 2026-06-06 | ingest-paper | Kimi K1.5 | [[@2025__arXiv__Kimi K1.5 - Scaling Reinforcement Learning with LLMs]] | コンテキスト長を RL の第三のスケーリング次元として位置づけ。パーシャルロールアウトで長コンテキスト RL の計算量爆発を抑制 | | 2026-06-06 | ingest-paper | MiniMax-M1 | [[@2025__arXiv__MiniMax-M1 - Scaling Test-Time Compute Efficiently with Lightning Attention]] | ライトニングアテンション(7:1 混成)で 100K トークン生成時の FLOPS を DeepSeek R1 の 25% に削減。CISPO が DAPO 比 2 倍のステップ効率 | | 2026-06-06 | ingest-paper | Kimi-Researcher | [[@2025__Moonshot AI__Kimi-Researcher - End-to-End RL Training for Emerging Agentic Capabilities]] | SFT なしエンドツーエンド REINFORCE のみでリサーチエージェントを訓練し HLE Pass@1 26.9% を達成 | | 2026-06-06 | ingest-paper | Composer 2 Technical Report | [[@2026__arXiv__Composer 2 Technical Report]] | Kimi K2.5 ベースの 1.04T/32B MoE をコード特化継続事前学習 + Dr. GRPO 変種の大規模非同期 RL で訓練。CursorBench 61.3 | | 2026-06-06 | ingest-paper | OLMo 3 | [[@2025__arXiv__OLMo 3]] | 全段階のチェックポイント・データミックス・コード・訓練ログを公開した初の SOTA 級 LLM。OlmoRL の GRPO ベース 7 改善で 4 倍スループット | | 2026-06-06 | ingest-paper | システム信頼性・自動化の古典 4 論文 | [[@1983__Automatica__Ironies of Automation]] | Gray (1985)→Oppenheimer (2003)→Hamilton (2007) の 20 年の知見連続性と、Bainbridge (1983) の自動化のアイロニーが agentic SRE に通底 | | 2026-06-06 | ingest-paper | 分散データベース・ストレージの古典 5 論文 | [[@2005__ICDE__One Size Fits All - An Idea Whose Time Has Come and Gone]] | Stonebraker の「ワンサイズフィッツオール」批判を Bigtable・Dynamo・H-Store・Cassandra が異なるワークロード軸で検証 | | 2026-06-06 | batch-ingest | Google SRE Book 10 章一括 | [[@2016__OReilly__SRE Book - Foreword]] | エラーバジェット・50% ルール・プレイブック・自動化 5 段階が agentic SRE の自動化対象タスク構造そのもの | | 2026-06-06 | concept-create | SRE コンセプトページ | [[SRE]] | SRE Book 原則体系を傘概念として集約。自動化ヒエラルキーが SRE AI Autonomy Levels の直接の前駆 | | 2026-06-06 | ingest-paper | 9 microservice reliability papers | [[@2021__SoCC__Characterizing Microservice Dependency and Performance]] | 4 社本番データ（Alibaba・Microsoft・Uber・Google）でマイクロサービス障害特性を横断。「エラーの大多数は非致命的」 | | 2026-06-06 | ingest | 2019年SRE考 | [[@2019__yuuk.io__2019-SRE-Thinking]] | SRE を「制御する技術」と目的論的に再定義。2019 年の技芸→工学テーゼが LLM4SRE サーベイへ続く思想の縦軸 | | 2026-06-06 | ingest | サーバーレスアーキテクチャ再考 | [[@2019__yuuk.io__Rethinking-Serverless-Architecture]] | サーバーレスの本質を「サーバという単位を意識しない」と再定義。FaaS を糊とする BaaS 連結パターン | | 2026-06-06 | ingest-paper | DeepSeek ファミリー 7 論文一括 | [[@2024__arXiv__DeepSeek LLM - Scaling Open-Source Language Models with Longtermism]] | MoE 進化・RL 深化・効率化の 3 軸で一貫した技術的進化。V4 の KV キャッシュを BF16 GQA8 比約 2% に削減 | | 2026-06-06 | ingest-paper | Basic Concepts and Taxonomy of Dependable and Secure Computing | [[@2004__TDSC__Basic Concepts and Taxonomy of Dependable and Secure Computing]] | ディペンダビリティを「正当に信頼できるサービスを提供する能力」と形式化。障害→エラー→失敗の基本連鎖を確立 | | 2026-06-06 | ingest | SRE NEXT 2024 登壇報告 | [[@2024__yuuk.io__SRE-NEXT-2024]] | SRE を「信頼性を指定可能なパラメータに制御する工学」と再定義。6 つのオープンチャレンジを提示 | | 2026-06-06 | ingest | SRE Book Ch10-18, 28-33 統合 | [[SRE]] | Practices 9 章と Management 6 章を統合。仮説演繹法→hypothesis-driven RCA、ICS 4 役割→マルチエージェント SRE の系譜を明確化 | ## Key Outcomes - SRE の理論体系が wiki に構築された: SRE Book 25 章分の取り込み、SRE 傘概念ページ作成、古典 4 論文（Bainbridge 1983〜Hamilton 2007）の 20 年の知見連続性の接続、さらに vault 所有者自身の 2019 年 SRE 定義（制御する技術）と 2024 年の再定義（信頼性パラメータ制御工学）を縦軸として統合した（2026-06-06, SRE Book / SRE concept / 古典 4 論文 / 2019年SRE考 / SRE NEXT 2024） - マイクロサービス信頼性の 9 論文一括取り込みで、4 社本番データ（Alibaba・Microsoft・Uber・Google）による障害特性横断が可能になり、「エラーの大多数は非致命的」「インシデントの 90% 超はコード変更なしで緩和」「RPC レイテンシはミリ秒スケール」という産業実態が定量化された（2026-06-06, 9 microservice papers） - DeepSeek ファミリー 7 論文を横断し、MoE 進化（DeepSeekMoE→MegaMoE）・RL 深化（GRPO→R1-Zero 純粋 RL 創発）・効率化（MLA→FP8→DualPipe→CSA+HCA）の 3 軸の一貫した技術的進化を体系化した（2026-06-06, DeepSeek 7 論文） - 分散データベースの古典 5 論文で Stonebraker の「ワンサイズフィッツオール」批判を起点に Bigtable・Dynamo・H-Store・Cassandra の設計空間を整理。Lakshman が Dynamo と Cassandra の両方の著者であり設計知識移転の結節点であることを発見した（2026-06-06, 分散 DB 5 論文） - Kimi K1.5 がコンテキスト長を RL の第三のスケーリング次元として位置づけ、MiniMax-M1 がライトニングアテンションで 100K トークン生成時の FLOPS を DeepSeek R1 の 25% に削減した（2026-06-06, Kimi K1.5 / MiniMax-M1） ## Cross-entry Themes - **SRE 理論基盤の縦断的構築**: Bainbridge (1983) の自動化のアイロニー → Gray (1985) の障害分類 → Oppenheimer (2003) のオペレータエラー → Hamilton (2007) の設計起因 80% → SRE Book (2016) の自動化 5 段階 → vault 所有者の制御工学テーゼ（2019/2024）→ agentic SRE の AI Autonomy Levels。古典 4 論文・SRE Book・登壇報告・2019年SRE考が一本の系譜を形成 - **大規模モデルの RL 訓練**: Kimi K1.5（コンテキスト長スケーリング・パーシャルロールアウト）、MiniMax-M1（CISPO、ライトニングアテンション）、Composer 2（Dr. GRPO・大規模非同期 RL）、OLMo 3（OlmoRL 7 改善）、DeepSeek ファミリー（GRPO→R1-Zero 純粋 RL 創発）が「価値関数なし RL」と「非同期 RL パイプライン」の 2 つの設計潮流に収束 - **産業界の障害特性データ**: マイクロサービス 9 論文（4 社本番データ）とディペンダビリティ分類（Avizienis 2004）が「障害→エラー→失敗」の理論と産業実態を接続。Gray (1985) の障害分類が 40 年後の RCA 自動化の基盤概念として再確認 - **vault 所有者の研究系譜**: 2019年SRE考 → SRE NEXT 2024 登壇 → サーバーレスアーキテクチャ再考が、制御工学としての SRE という著者固有のテーゼを wiki 内の理論基盤と接続 ## Contradictions or Corrections - None detected. ## Child Pages - [[@2025__arXiv__Kimi K1.5 - Scaling Reinforcement Learning with LLMs]] - [[@2025__arXiv__MiniMax-M1 - Scaling Test-Time Compute Efficiently with Lightning Attention]] - [[@2025__Moonshot AI__Kimi-Researcher - End-to-End RL Training for Emerging Agentic Capabilities]] - [[@2026__arXiv__Composer 2 Technical Report]] - [[@2025__arXiv__OLMo 3]] - [[@1983__Automatica__Ironies of Automation]] - [[@2005__ICDE__One Size Fits All - An Idea Whose Time Has Come and Gone]] - [[@2016__OReilly__SRE Book - Foreword]] - [[SRE]] - [[@2021__SoCC__Characterizing Microservice Dependency and Performance]] - [[@2019__yuuk.io__2019-SRE-Thinking]] - [[@2019__yuuk.io__Rethinking-Serverless-Architecture]] - [[@2024__arXiv__DeepSeek LLM - Scaling Open-Source Language Models with Longtermism]] - [[@2004__TDSC__Basic Concepts and Taxonomy of Dependable and Secure Computing]] - [[@2024__yuuk.io__SRE-NEXT-2024]] ## Related - [[DragonScale Memory]] - fold-operator spec - [[log]] - source entries - [[index]] - vault catalog