為可靠計算設計之非集中式代理人容錯基礎架構　（新制多年期第1年）