当然、A、B間で循環参照がないという前提ね