＞MQ問題が持つ数理的特性を、多変数
＞多項式の集合に対して定義できる一変
＞数の級数であり、その集合の代数構造
＞の情報を持つ「ヒルベルト級数」によ
＞り解明し、計算する多項式の数を最小
＞化するアルゴリズムの構築が行われた。
＞その結果、F4が生成する行列の中から
＞計算に本質的な領域のみを取り出した
＞小さな行列を計算することで高速化に
＞成功した

誰か上の文章を、heyzoとカリビアンとパコパコママ
とFC２の関係に例えて解説頼む