またしても変な時間まで起きていた。フィボナッチ数列とリュカ数列の性質で示せていないことが幾つかあるので、どうにかしたくて、手を変え品を変えやってみた。で5つ残っていたののち4つ出来た。が、二つはよく見たら論文に出ていた。全く同じ証明をしたのはちょっと嬉しい。地力があるということだ。あと一つはどうやるのだろう？簡単に出来るようなことが書いてあるが。もういいことにして寝ることにした。さて何時でしょう？
で起きたらもう野球が始まっていた。3点リードしている。よしよし。が、見始めた途端に東が2ランホームランを打たれた。何やら牧がチョンボをして走者を残してしまった後の失点とか。相変わらずエラーの多い芸風なのは変わらずだな。牧に限らずエラーが多い。どうにかしないと。が、次の回はレイノルズが三者三振に斬ってとり、9回は康晃が抑えた。この前康晃は一発を打たれていて、今日の最後の当たりも大きい当たりでヒヤッとしたが、幸いフェンス前で失速してくれたよかった。昨日 Dragons が負けて Baystars は中止だったので、いつの間にか単独最下位は脱出していた。これで4勝8敗。まだ借金4。頑張ってもらおう。
一昨日の晩探していた有理点がまた一つ見付かって、数日電源を入れっ放しだったパソコンをようやく落とせた。で昨日職場に行く前にまた新たな有理点探しを始めたが、PARI/GP のスタックを幾つにしたか忘れてしまい、何度かエラーが出て、漸くエラーが出なくなったので職場に出発したが、昨日帰ってきてパソコンを見たら、エラーが出て止まっている。もう。ブログを見たら、前は 1024MB にしたら OK だったと出ていたが、今度は 2048MB でもエラーが出る。で昨晩思い切って 8192MB にしたら大丈夫に成った。現在計算中。昨日の22時45分にスタートさせたから、まだ当分終わらないな。まあこれから呑みに行くので、引き続きやらせておく。これからシャワーを浴びて、すっきりしてから出掛ける。今週は久し振りに働いたから、酒が旨かろう。ということで、じゃ！
