Interfaces -- ? T -Integration of Logics -- Functorial Semantics of Rewrite Theories --