起きなくていいとなると寝ない。昨晩はちょっとハードディスクの空きを作ろうと思ってうっかり「戦国武将番付」なる番組が録画してあったのを見てしまった。頭の方は記憶があって、途中見覚えが無くて、また暫くしたら見覚えのあるシーンがあって、これは呑みながら見たな、ということで結局最後まで見てしまった。でもう「おはよう朝日です」がとうに始まっている時間だった。
でも今日は2時までに職場にいけばよかったので、正午過ぎまでゆっくり寝たが。昨日、今日と職場に行ったのは、パソコンの虫取りをしてもらうため。ウィルス対策のソフトは当然入れてあるが、ウィルスも対策ソフトも日進月歩の鼬ごっこなので、手動で見てもらうのは大事。結構な額に成るが、まあ大学に払ってもらえるので。
その後論文書きのための計算をコンピューターにさせる。SageMath が音を上げたやつを Magma Caluculator に計算させたら沢山出来た。まだ残っているのはあるが、まあ数十分待ったりとかその程度は待ったうちにならないので、もうちょいパラメーターを大きくして実験してみる。それと、別のことで楕円曲線の整数点のことを考えた時のログを見たら、やはり小さい素数を法として解無しと結論出来てるのが幾つもあったので、大袈裟な計算をやる前にそっちを試した方がいいかもな。
計算の合間がそこそこ中途半端にあったので、印刷したけど読んでない論文をばらす作業。ダウンロード出来たものは心置きなくばらせたが、ダウンロード出来ないものはどうしようか？長くない論文はまあスキャンすればいいが、それをやる程の時間は無いので、放っておいた。他にも企業の採用案内の人が置いていったチラシとか、大昔の会議の資料とかも紙ゴミに回して、大分ゴミが出たが、小生の部屋はそれで綺麗に成る程度の生易しいものではない。まだまだ掛かるぞ。定年退職間際まで続くかもしれんが、ちょっとずつでもやっておかないと、最後に大騒ぎするだろう。27年も同じ所に居座ると物はたまるね。
などとしているうちに10時近くに成っていた。すき家に入った時はもう10時を過ぎていた。夜間料金取られるな、と覚悟していたが、レシートを見ると0円に成ってた。忙しそうにしていたが、切り替えるのを忘れたのだろうか？いやそもそも手動なのか？まあ得したのでいいです。JAF に付いていた50円の割引券も使ったので、プレーンのカレーライスだが大分安く済んだ。ここのところちょっと物入りだったからよかった。明日は土曜日だから呑みに行くが、またぞろ大金を払わないと。まあ今日の多額の出費は戻ってくるのでいいけど。それの手続きをしようと思ってすっかり忘れていた。多分次に職場に行くのは水曜日。年度末の精算に間に合うんでしょうか？明日行ってやろうか？まあ気分次第だな。
