久し振りにパソコンの電源を落とそうか、と思ったが、まだ落としてない。前に Magma Calculator に頼って有理点を見付けた楕円曲線の有理点を PARI/GP の ellheegner という命令を使って探そう、と始めた。すぐ済むのでは？と思って確かにすぐ見付かるのもあるが、4時間くらい掛かったものがあって、一寝入りした後それが済んでるのを見て、もう一個やってしまった。只今大体12時間経過してるが、まだ答は出てない。Magma Calculator だと30秒くらいで答が出てくるんだが。電源を2週間以上入れっ放しなので、そろそろオフにしたいが。
昨晩は成績の入力作業をせず、呑み呑み「ゴチバトル」を見てたりしたので、やはり眠くてもう一寝入りした。で起きたら夕刻。であっと言う間に野球の時間。東京ドームでの Giants 戦なので、不愉快だが日テレ系のチャンネルで見ないといけない。で結果も不愉快だった。ソロホームラン3発と、満塁策の後に長打を打たれてしまってはどうしようもない。汐恩は修行中だから仕方ないが。Giants の外国人投手に5回までパーフェクトに抑えれてて、初ヒットが出た時は喜んでしまった。この程度で喜んではいけない。勝たないと。途中入ってきた情報だと Tigers が3点リードされている。不愉快な結末に成るのか、と思って「報道ステーション」のスポーツコーナーを見てたら、Tigers 勝った。1イニングに4点まとめて取って逆転したようだ。よかった。明日は Baystars に勝って欲しい。幸い明日は NHK 総合で中継があるようで、Giants ベタベタな放送ではないだろうからそっちを見よう。
今日の先発は平良だったが、平良は山口俊の FA 移籍による人的保障で Baystars に来た選手。どこかで見たのだが、前の登板で勝ち投手に成って、移籍後の勝ち星が山口27勝、平良28勝と、山口を越えたようだ。長期的に見ると FA での安易な補強とどっちがいいかは難しいな。Giants は Carp から大竹を取った時に一岡を Carp に取られて、大竹は全然駄目だったが一岡は中継ぎで抜群の結果を残して Carp の3連覇に貢献した。平良はもっと頑張って Baystasr の優勝に貢献してくれないと。
三角関数には沢山公式があって、色々謎なことが成立するが、三角関数を三角関数のままいじってもうまくいかないこともある。そういう時は cos、sin を1の冪根の実部、虚部と見ると色々示せてよい。入試にも使えるし、体の拡大の演習問題としても使えるし、代数的整数論の演習問題としても使える。が、cos(2π/5) とか sin(2π/5) は面白くない。√ を使えば値が書けちゃうからね。素数にこだわるなら7か11が適当かな。素数にこだわらないなら9。12もまあまあ面白い。大学入試でなければもっと大きくてもよくて、昨年度の代数学IIのレポートで36分体の問題を出した。まあまあ面白かった。本当はこういうチマチマした問題を作るのではなく、円分体で華々しい論文を書きたいが、まあ無理だな。身の丈に合ったことをやります。
昨日はこれを書いてたら有理点が見付かって終了と成ったが、今日はまだ駄目だ。パソコンの電源を落としたいが。まあ明日起きたら終わってるだろうから、呑みに行く前に電源を落とそう。まだまだパソコン君には頑張ってもらわないといけないのでね。
