今日は全国的に久々のまとまった雨だったそうだ。相当強く降った所があるそうで、なぜ定期的に少しずつ降らないかね。ということで今日は職場に行かなかった。明日は諸事情で行く。明後日どうなるかは明日の結果次第。たまには外に出ないといけないのは分かってるが、元々超インドアに出来てるもので、出掛けなくても何の苦痛も無い。大学の時の友人で大阪出身の奴は、土日は必ずどこかしら行くと言ってた。外出しないと気が変に成りそうとも言ってたかな。「加川は実家やし、話し相手がおるからええけど」と言われたが、やはり話し相手がいなくても一人でいて大丈夫な口だと分かった。明日は外出こそすれど、誰とも話さないかもしれない。レジに立ってる人と話すくらいかな。
今日も訳の分からない生活をしてるが、明日は10時から面談なので、ちょっと早起きしないと。もう眠いし、程々に寝ておこう。SageMath に楕円曲線の計算をさせてるのはその後目立った進展が無い。大抵職場に行くときはパソコンの電源を落とすが、明日は計算させておこう。と書いてるそばから一つ終わったが、生成元が見付からなかった。effort 200 じゃ駄目だな。200だと数時間掛かるが、300だとどれくらい掛かるだろう？まあやらせておいて他のことをすればいいので、いいけど。コンピューターに全面的に頼らず、他の方法を考えてみよう。まあそれも最後はコンピューターにやらせることに成りそうだが。論文を出すたびに何がしかの進展が無いと面白くないよね。最初は500以下、次は5000以下だったから、10000以下でいいかと思わないではないが、19687 と 27647 という例がポツンとあるので、30000以下に何としてもしたい。まあ急ぐ旅ではないし、ちょっとずつウダウダやります。
