少なくとも2つの独立した相互運用可能な実装で運用されていること