高信頼分散システムの構築方法に関する研究