これからいうことをきいてくれ  笑わないと約束してくれ

麗人買った。鈴木ツタはやはりいい。受けのヤサ兄ちゃんが中性過ぎてよろめきそうです。まんだ林檎は確かにBLではない。ポップソングの歌詞をストーリーと密接に絡めたマンガって時々あるね。記憶に残ってる新しい奴だと久保ミツロウヤンマガ読みきり「リンダリンダ」。JASRACの使用料は記載した歌詞の長さやメロディラインの擬音書き出しとかによって変わると聞いたことがあるが、一曲丸々持ってくるとなると安くは無いわけで、描くほうも気合が入るよなと思う。僕が好きなある同人サークルはほぼ毎回何かポップスの歌詞をマンガの題材としているが、そんなにバリバリ歌詞が載せられるのは同人ならではだなとも思う。コミティアもその辺までは創作orパロとか追求してないな。


MuPADのDomainの使い方が1割くらい分かった!

PG:=Dom::Polynomial(Dom::GaloisField(3)):

f:=PG(X^26-1):

factor(f);
                  3    2        3    2           3
(X - 1) (X + 1) (X  - X  + 1) (X  + X  + X - 1) (X  - X + 1)

     3    2            3    2            3    2            3    2
   (X  - X  - X - 1) (X  - X  + X + 1) (X  + X  - X + 1) (X  + X  - 1)

     3
   (X  - X - 1)

なんてことが出来るようになりました! MuPADにヘルプ機能があって、そして僕が説明書読まずに機械を弄って応用の利く子でよかった。X ^(p^n-1)-1の因数分解がどこまで出来るか試したいような。でも、p = 3  n = 5 でも既約多項式50個になるから無理そう。


…と思っていたが、40秒かけて頑張ってくれた。下手に大きい素因数分解やn乗計算より余裕なのか…? mod3での5次既約多項式48個が知りたい人のためではなく少なからず感動したのでここにメモ。

                  5    4            5    4    3    2            5    4
(X + 1) (X - 1) (X  + X  + X - 1) (X  + X  + X  + X  - X + 1) (X  - X  + 1)

      5    4    3    2            5    3    2
    (X  + X  - X  + X  + X + 1) (X  - X  - X  - 1)

     5    4    3    2            5    2            5    4    3
   (X  + X  + X  - X  + X + 1) (X  + X  + X - 1) (X  - X  + X  + X - 1)

     5    4    2            5    4    3    2        5    3    2
   (X  - X  - X  - X + 1) (X  - X  - X  - X  + 1) (X  + X  - X  - X + 1)

     5    4            5    4    2        5    4    3
   (X  - X  - X - 1) (X  - X  - X  - 1) (X  - X  - X  - 1)

     5    3    2            5    4    3            5    3    2
   (X  - X  + X  + X - 1) (X  - X  - X  - X + 1) (X  - X  - X  - X + 1)

     5    4    2            5            5    4    3    2
   (X  + X  + X  + X + 1) (X  - X - 1) (X  + X  - X  + X  - 1)

     5    4    2        5    4    3    2
   (X  + X  + X  + 1) (X  + X  + X  - X  + X - 1)

     5    4    3    2            5    4    3    2
   (X  - X  + X  + X  + X - 1) (X  - X  + X  - X  - X - 1)

     5    4    3    2            5    3    2            5    3    2
   (X  - X  - X  - X  + X - 1) (X  + X  + X  - X - 1) (X  - X  + X  + 1)

     5    4    3        5    3            5    4
   (X  + X  - X  + 1) (X  + X  + X + 1) (X  + X  - X + 1)

     5    3    2            5    3    2        5    4    3    2
   (X  - X  - X  + X + 1) (X  + X  - X  + 1) (X  + X  - X  - X  - 1)

     5    4    2            5    4    3            5    2
   (X  - X  - X  + X - 1) (X  + X  + X  + X + 1) (X  - X  + X + 1)

     5    3            5    4    3    2            5    3    2
   (X  + X  + X - 1) (X  - X  + X  + X  + X + 1) (X  - X  + X  - X - 1)

     5    4    3    2        5    4        5    4    3
   (X  - X  - X  + X  + 1) (X  + X  - 1) (X  + X  - X  - X - 1)

     5    4    3    2        5    3    2        5    4    2
   (X  - X  - X  + X  - 1) (X  + X  + X  - 1) (X  + X  + X  - X - 1)

     5    4            5            5    4    3    2
   (X  - X  + X + 1) (X  - X + 1) (X  + X  - X  - X  + 1)

がX ^242-1の因数分解(mod3)です。