# Microsoft Azure [[Microsoft]] のパブリッククラウドプラットフォーム。[[Zodiac]]([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]], SOSP '24)が[[Terraform]] 経由でセマンティックチェックを検証した対象クラウドで、leading な IaC フレームワークと leading なクラウドベンダの組み合わせとして選ばれた。([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]]) - **対象範囲**: 人気の 52 リソース種別。Zodiac はここから 510 の検証済みチェックを発掘した。 - **provider 固有のセマンティクス例**: VM とその NIC は同一リージョンでなければならない、サブネット CIDR は重複不可、"GWSubnet"/"FWSubnet" のような予約サブネット名、Premium ストレージアカウントは GZRS 冗長を使えない(レイテンシ最適化のため)、APPGW に使う IP は Standard sku 必須、など——いずれも Terraform のコンパイルを通過するがデプロイ時に違反が顕在化する。 - これらの規約は公式ドキュメントにも誤りがあり、Zodiac は Terraform Azure provider の公式使用例の 4 件のバグを発見・修正させた。 - **クラウド管理エージェントのテストベッド**: [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]] は 4 モダリティ([[クラウド管理モダリティ|SDK・CLI・IaC・ClickOps]])のエージェントを Azure VM 管理で比較した。SDK は Azure Python SDK、CLI は Azure "cloud shell"、IaC は [[Terraform]]、ClickOps は Azure コンソール([[WorkArena]] ベース)を操作。SDK/CLI/IaC のモデルは [[Azure Copilot]](GPT-4 ベースの Azure 特化)。Azure 固有の制約として「standard→spot 変更は破棄・再作成が必要」「Azure Service Health の region 障害情報は Web ポータルでしか取れない」が挙がる。(Source: [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]]) ## 関連 - ソース: [[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]] / [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]] - 運営: [[Microsoft]] - 関連概念: [[Infrastructure as Code]] / [[設定マイニング]] / [[クラウド管理モダリティ]] - 関連プロダクト: [[Zodiac]] / [[Terraform]] / [[Azure Copilot]] / [[WorkArena]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]]