昨日書いた通り計算はすぐに出来たが、その後に間違いがあった。6n＋3 と書いてあるのは 4n＋2。何故2項式を2乗したのに指数が3倍に成ってるのか謎。ということでその後の計算をやり直す羽目に。そうしたら因数分解出来ない（大学受験数学の意味でね。Q[X] の Q 上既約な元が、という意味）2次式が因数分解出来た。分母を払わずにやったので、解の公式で解を求めて2次不等式、の筈が判別式が平方数に成ってて、ん？という感じだった。分母を払えば x－1 で割れるのは明らかだった。Z[X] の元が Q 上可約なら Z 上でも可約、という定理は毎年講義してるがな。でやりながら閃いた。ちょっと前にやってたのを一般化出来る。お得意のノルムを取って有理数の世界に落としてから2次方程式の解の公式を使う、という奴。でぐちゃぐちゃやって、大体出来た。ちょっと R－D type の二次体のこととか必要に成るから、まあ恰好は付いた。もうちょっとどうにかした方がいいが取り敢えずいいことにして、TeX 化。
などとやっている内にもう高校野球が始まる時間に成ってて、横浜高校の試合の音声を聞きながらやっていた。この前織田翔希が156km/hの快速球を連発していた時に「織田が天下を取りに行く」と実況していたが、織田は天下を取れないのです。3ランホームランを打たれたりして、早い回に交代してしまった。今までは試合途中にマウンドから去る時は外野の守備についてたそうだが、今日はベンチに引っ込んで完全交代。流石に疲れが残っていたということか。で横浜高校は準決勝で敗退。残念。その次の試合も凄くて、健大高崎が勝ったが、昨日の Baystars 同様のスミ1勝利。何とこの大会で3試合目の1－0勝利だそうだ。凄いな。決勝は智辯和歌山と。最近は1日ずつ空くように成ってて、昔ほど選手は無理をしないのでいい。どうなるでしょう？2試合終わった後智辯和歌山の監督のインタビューの映像が流れてたが、中谷仁監督って Tigers にいたな。プロ野球を辞めた後高校野球の指導者に成れる時代に成ったのはいいこと。うん。
などとしている内に2時くらいに成ってた。今日も横濱漢祭のため5時45分開始だから、あまり寝られないな、などと思って YouTube を見てても眠くならない。結局寝なかった。で結論としては野球を見ないで寝てればよかった。藤浪は相変わらずで、1回表に四球を複数出し、そこから2失点。その後もう1点取られ、3回途中で降板。解説の槇原氏が「今後は使いにくくなりましたね」と言っていたが、いやいや、とっくの前から使いにくいのです。真面目に見る気が湧かず、PARI/GP のマニュアルと睨めっこしながら、実二次体の基本単数 >1 を bnf 関係の命令を使って吐き出す関数を書いたりしていた。色々やるのが楽になった。朝やってたのを少しどうにかしようと思ってやってたが、判別式が指数関数的に大きく成る（こんな言葉使う必要はなくて、本当に指数関数で与えられてる）実二次体の属を扱うのに目視でやったのをオートマティックに出来るが、時間の掛かるループをもう一回する気は起きないので、関数は作ったが、もういいや、と。そんなこんなしている内に、Baystars は負けていた。今日 Giants が負けて Tigers が勝てば Tigers にマジックナンバー点灯だったが、見たら Tigers が負けていたので、こっちはどうでもよかったか。明日から Tigers と3連戦だ。半分関西人に成ってる者としては悩ましい3連戦。まあ勝ち越して、Giants が3連敗するのを願おう。
今晩はちゃんと寝よう。来週院試の面接があるから、髪の毛伸び放題だとみっともないから、明日床屋へ行こう。で CM を見てて思い出したが、名神が集中工事をやってる。ちょっと早目に住処を出ないといけないな。まあ11時半に詰め所に集合なので、そんな早起きする必要は無い。ただ生活リズムがガタガタに成ってるので、十分早起きなのだが。流石に徹夜して行こうとは思わない。ちゃんとしますよ。
PARI/GP で出来るようになったことがもう一つ。計算の所要時間を表示する方法を知った。これで有理点探しにどれくらい時間が掛かったかが正確に分かるようになる。嬉しい。マニュアルも読んでみるもんだな。足立先生が「LaTeX 2ε 美文書作成入門」を買って眺めてたら色々発見があったというようなことを言っておられたが、そうですよ、そういうことはした方がいいです、と思った。数学の本も何となく斜め読みしてると発見があったりする。勿論真剣にやる時はやらんとあかんのだが、野球だけでなく緩急を付けるのは大事。数学も気楽に構える時は構えましょう。そうしないと精神的に破綻する。楽しみましょう。
