可用性

定義 6.1（「クラウドコンピューティング」§6）

十分長い期間 $T$ のうち、系が正常にサービスを提供していた時間の割合

a = \frac{T - (\text{停止時間})}{T} \in [0,1]

を可用性と呼ぶ。 $a = 0.9999$ のとき、年間（ $8760$ 時間）の許容停止時間は $8760 \times 10^{-4} = 0.876$ 時間 $= 52.6$ 分である。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。