Aut(C)(Aut_R(C)じゃなくて)の構造って判明してるんですか?