(ii)集合UUUと集合Uとの共通部分が空集合を満足するものの構成法の一つを群論的に示した。1.Gの適当な部分群Hを構成する。2.HのGにおける正規化群Nを構成する。3.剰余群N/Hにおいて位数が3以上の元nH(n∈N)を見つけ,その剰余類nHをUとおく。引き続き今年度は上の計算を実行するアルゴリズムを具体的に提案し,代数学ソフトGAPによる計算を行った。attackと言う群論的な攻撃が可能であることを証明し,やはりGAPを使用した攻撃例も示した。Aの離散数学とその応用特集号に掲載の予定である。この研究の遂行に必要なGAPやC言語のプログラミングに関する専門書も出版することができた。