不完全観測下の複数整合性形成学 : 自律分散システムのための設計原理 フカンゼン カンソクカ ノ フクスウ セイゴウセイ ケイセイガク : ジリツ ブンサン システム ノ タメノ セッケイ ゲンリ