表現の同値性と可約性判定