HOMELv020 「ビザンチン将軍問題」は何に関する問題か。 2026年3月14日 裏切り者(故障や改ざん)が含まれていても、システム全体として正しい合意に達することができるかという問題。 静的単一代入(SSA)形式の特徴はどれか。 カラム指向(列指向)データベースが最も高速化できる処理はどれか。