論理から集合へ

論理から集合へを更新。相互リンクを密に。