# SREの工学化 ## 定義 システム管理を「技芸(craft)」から「工学(engineering)」へ昇華させる営みの総体。坪内(2024)は、技芸的アプローチ（手段指向・局所視点・ツール駆動・主観的・リアクティブ・ボトムアップ）と工学的アプローチ（目的指向・全体俯瞰・理論駆動・客観的・プロアクティブ・トップダウン）を対比し、「今の状態」と「あるべき状態」の差分を定め行動を導くのが工学であると位置づけた。「工学」は単にプラクティスの実務的適用ではなく、技術を言語により伝達可能な形に整備し、専門領域ごとに体系化された知識の形態をとるもの（村上陽一郎, 2006）である。(Source: [[@2024__SRE NEXT 2024__工学としてのSRE再訪]]) SRE の定義（2024 年 坪内版）: 高頻度の変更を前提とするシステムを対象に、(1) 利用者視点での信頼性を計測可能な変量に帰着させ、(2) 信頼性を適切な値に制御可能とすることにより、(3) 他の変量（変更速度、費用など）を望ましい値に導く、ことを目的とするソフトウェア工学の一分野——最適化問題のような形で定義される。 ## 歴史的経緯 - **1987**: USENIX LISA 開始。システム管理の国際会議だが、USENIX board は「科学的なことも研究的なことも何もない」と否定的。 - **1998–1999**: Mark Burgess が "Computer Immunology" (USENIX LISA 1998) を発表し、"Principles of Network and System Administration" (1999) で「システム管理はエンジニアリングの一分野」と主張。レビュアーから「まだ工学と呼べない」と否定される。 - **2007**: Michael R. Lyu "Software Reliability Engineering: A Roadmap" (FOSE, 2007)。SRE の前身的分野としてのソフトウェア信頼性工学。 - **2010**: ウェブオペレーション刊行。「技芸であり科学ではない」と宣言。 - **2016**: SRE Book 刊行。「一連の指針、プラクティス、動機付け、注力分野」として体系化。 - **2022**: USENIX LISA が SREcon へ統合。 ## 工学思考に基づく代表的貢献 - **信頼性の予算化**: エラーバジェットに基づく意思決定法。 - **オブザーバビリティ**: テレメトリーに基づく演繹的デバッグ法。 - **開発生産性の指標**: DORA や SPACE による定量的指標化。 - **開発組織の設計**: Team Topologies による適応型組織設計法。 ## 横断的知見 - [[@2024__SRE NEXT 2024__工学としてのSRE再訪]] と [[@2025__IOTS2025__SREはサイバネティクスの夢をみるか]] を並べると、坪内は SRE の工学化を 2 段階で展開している。2024 年の SRE NEXT では「技芸から工学へ」の移行を歴史的に振り返り、オープンチャレンジと学術分野との接続を地図化した。2025 年の IOTS では、その工学化の「先」として[[サイバネティクス]]のフィードバック・セカンドオーダー・創発の 3 概念を SRE に導入し、「Black box as a Black box」アプローチを提示した。前者が「技芸 → 工学」の移行を記述するのに対し、後者は「工学 → システム論」への拡張を提案しており、段階的な知的系譜が確認できる。(Source: [[@2024__SRE NEXT 2024__工学としてのSRE再訪]], [[@2025__IOTS2025__SREはサイバネティクスの夢をみるか]]) - [[@2025__SRE NEXT 2025__とあるSREの博士「過程」]] は上記 2 講演の**個人的基盤**を明かした三部作の完結篇である。「工学としての SRE」(2024)と「サイバネティクスの夢」(2025 IOTS)が SRE 分野をどう再構築するかを示すのに対し、「博士『過程』」は**その思考をどう獲得したか**を開示した。博士課程で得た「独自の専門技術体系を自分の内に持つ感覚」と「他の学術分野との接続能力」が、SRE の工学化・システム論化の土台であることが三部作を通じて確認できる。(Source: [[@2025__SRE NEXT 2025__とあるSREの博士「過程」]]) - Lyu 2007 と Cusick 2019 が示すクラシカルな SRE（ソフトウェア信頼性工学）は、開発フェーズの障害データを入力に「いつリリースできるか」を定量予測する技法であったが、坪内 2024・2025 の SRE の工学化は運用フェーズの SLI/SLO を入力に「いかにサービスの信頼性を制御し続けるか」を扱う。両者は「信頼性を測定可能な変量にする」志向を共有しながら、Musa (1975) が "Software Reliability Engineering" を造語してから Google (2003) が同じ略語 "SRE" を異なる文脈で用いるまでの約 30 年間に、名称は収束せず問題設定が移行した。Lyu 2007 の将来方向 5 軸のうち「新興ソフトウェアアプリケーション（SOA/Web サービス）」が、今日のクラウドネイティブ SRE（坪内のいう「工学としての SRE」）へ至る接続点にあたる。(Source: [[@2007__FOSE__Software Reliability Engineering - A Roadmap]], [[@2019__arXiv__The First 50 Years of Software Reliability Engineering - A History of SRE with First Person Accounts]], [[@2024__SRE NEXT 2024__工学としてのSRE再訪]]) ## 未解決の問い - 生成 AI 時代に知的労働の積み重ね感覚が希薄化するなかで、SRE の工学化は「人間がどう知を積み上げるか」という問いとどう接続するか。坪内は SRE NEXT 2025 で実存的空虚感への対処としての博士課程の意義を示唆したが、それは組織的な知の蓄積にも適用可能か。 - SRE の「理論」とは何か。理論は How（因果関係）・When（適用範囲）・Why（因果の説明）に応えるもの（Bacharach, 1989）であり、フレームワーク自体は理論ではない（Sutton & Staw, 1995）。SRE は理論を生み出す段階に至っているか。 - Human-Computer Engineering / Sociotechnology としての SRE は、認知科学・社会学・人類学からどの程度の知見を取り込めるか。 - SLO からシステムアーキテクチャを導出する試みは、実務上どの程度の設計空間をカバーできるか。 - 「技芸と工学の共存」を具体的に実装する方法論は何か。Process Feel（David Woods）のような感覚的理解と定量指標をどう統合するか。 ## 関連 - [[坪内佑樹]] — SRE の工学化の主要提唱者 - [[サイバネティクス]] — 工学化の「先」の理論的枠組み（ウィーナー界面） - [[自動化の皮肉]] — 工学化しても残る人間因子の問題 - [[サービスレベル目標]] — 工学化の中核ツール - [[Mark Burgess]] — システム管理の工学化の先駆者 - `structures/SRE.MOC.md` への一方向参照 - [[@2025__YAPC Fukuoka 2025__SREのためのテレメトリー技術の探究]]（p.62, p.69）は SRE の工学化を「ポップカルチャーと学術の狭間」という文脈に置き直した。アラン・ケイの "Computing as Pop Culture" を引用し、ポップカルチャーを脱して学術と呼べるものへ SRE を押し上げたい一方で、学術分野として確立すると面白くなくなるのではという矛盾を認める。その解として「アウトプットの積み重ねにより思索を深めていく」ことを提示しており、これは講演三部作（SRE NEXT 2024「工学としての SRE」→ IOTS2025「サイバネティクスの夢」→ SRE NEXT 2025「博士『過程』」）の実践そのものである。p.69 には SRE の定義（2024 年 yuuk1 版）を最適化問題の形式で再掲する。(Source: [[@2025__YAPC Fukuoka 2025__SREのためのテレメトリー技術の探究]]) ## 出典 - [[@2007__FOSE__Software Reliability Engineering - A Roadmap]] - [[@2019__arXiv__The First 50 Years of Software Reliability Engineering - A History of SRE with First Person Accounts]] - [[@2024__SRE NEXT 2024__工学としてのSRE再訪]] - [[@2025__IOTS2025__SREはサイバネティクスの夢をみるか]] - [[@2025__SRE NEXT 2025__とあるSREの博士「過程」]] - [[@2025__YAPC Fukuoka 2025__SREのためのテレメトリー技術の探究]]