与えられた2つの有限生成群が同型かどうかを一般的に判定できるアルゴリズムは存在しない シコシコ