「戦国武将番付」を遅く（早く？）まで見ていたが、職場に行くのは14時でよかったのでよく寝た

起きなくていいとなると寝ない。昨晩はちょっとハードディスクの空きを作ろうと思ってうっかり「戦国武将番付」なる番組が録画してあったのを見てしまった。頭の方は記憶があって、途中見覚えが無くて、また暫くしたら見覚えのあるシーンがあって、これは呑みながら見たな、ということで結局最後まで見てしまった。でもう「おはよう朝日です」がとうに始まっている時間だった。

でも今日は2時までに職場にいけばよかったので、正午過ぎまでゆっくり寝たが。昨日、今日と職場に行ったのは、パソコンの虫取りをしてもらうため。ウィルス対策のソフトは当然入れてあるが、ウィルスも対策ソフトも日進月歩の鼬ごっこなので、手動で見てもらうのは大事。結構な額に成るが、まあ大学に払ってもらえるので。

その後論文書きのための計算をコンピューターにさせる。SageMath が音を上げたやつを Magma Caluculator に計算させたあ沢山出来た。まだ残っているのはあるが、まあ数十分待ったりとかその程度は待ったうちにならないので、もうちょいパラメーターを大きくして実験してみる。それと、別のことで楕円曲線の整数点のことを考えた時のログを見たら、やはり小さい素数を法として解無しと結論出来てるのが幾つもあったので、大袈裟な計算をやる前にそっちを試した方がいいかもな。

計算の合間がそこそこ中途半端にあったので、印刷したけど読んでない論文をばらす作業。ダウンロード出来たものは心置きなくばらせたが、ダウンロード出来ないものはどうしようか？長くない論文はまあスキャンすればいいが、それをやる程の時間は無いので、放っておいた。他にも企業の採用案内の人が置いていったチラシとか、大昔の会議の資料とかも紙ゴミに回して、大分ゴミが出たが、小生の部屋はそれで綺麗に成る程度の生易しいものではない。まだまだ掛かるぞ。定年退職間際まで続くかもしれんが、ちょっとずつでもやっておかないと、最後に大騒ぎするだろう。27年も同じ所に居座ると物はたまるね。

などとしているうちに10時近くに成っていた。すき家に入った時はもう10時を過ぎていた。夜間料金取られるな、と覚悟していたが、レシートを見ると0円に成ってた。忙しそうにしていたが、切り替えるのを忘れたのだろうか？いやそもそも手動なのか？まあ得したのでいいです。JAF に付いていた50円の割引券も使ったので、プレーンのカレーライスだが大分安く済んだ。ここのところちょっと物入りだったからよかった。明日は土曜日だから呑みに行くが、またぞろ大金を払わないと。まあ今日の多額の出費は戻ってくるのでいいけど。それの手続きをしようと思ってすっかり忘れていた。多分次に職場に行くのは水曜日。年度末の精算に間に合うんでしょうか？明日行ってやろうか？まあ気分次第だな。

2週間振りの職場

今朝は10時から面談3件、の筈が、10時半からの学生は熱があるため延期。10時と1時からと、嫌な時間の空き方だが、寝不足だけどいつもよりは寝ている。ということでちゃんとどちらもこなして終了。今日は2時に職場に行かないといけない理由があったので、昨晩はちゃんと寝たんだが。多分例の業務が終わってから行ってないから、2月11日以来だな。書いてる最中の論文にも「2月11日」と書いてあったし。

で職場に着いて、待ち合わせの時間に用事を済ませて、7階の事務室に行ってポストを漁って、で生協の本屋へ買い物。線形代数の本で面白そうなのがあったが、もう暫く線形代数は担当しないだろうから買わないでおく。数セミと数理科学（楕円関数が特集記事）と何やらの質問箱というシリーズ物を買って個研室へ戻る。その後論文書き。色々気に食わなくて直そうと思うが、やはり住処より職場の方が捗るな。テレビが無いのは結構大事。結構いじった。が、コンピューターが思うような結果を吐いてくれてないので、「（進行中）」とのメモ書きが残るが。まあ急ぐ旅ではないので、ゆっくりやる。何だかんだと8時過ぎまでゴチャゴチャやって、8時半過ぎには職場を出た。

はま寿司でノドグロフェアをやってるので、夕食を摂りに向かう。が、ノドグロは本日完売の表示。本日、だからまた昼間行けばいいのだろう、ということで近々また行くことにして、今日は大トロだキンキだと高い物から手を付けてしまい、いつもよりちょっと高かった。まあいいです。が、今はま寿司のホームページを見たが、ノドグロが無い。もうフェアは終わったか。残念。また一冬我慢だな。

帰ってきてパソコンを見ると、やはり Mordell－Weil 群の生成元は返ってきてなかった。整数点の有無が問題で、無いことを示すなら適当な素数で modulo すれば済む場合もあるので、一通り済んだらそれをやってみよう。そういう素数が見付かれば万々歳だ。前に書いたが、London－Finkelstein の x³＋117y³＝5 に整数解が無いことの証明は難しそうなことをやってるが、mod 9 すればいいだけなのを気付かなかったのは不思議。London－Finkelstein という連名での論文が幾つかある人達がそんな初手を見失うこともあるのだなと教訓にしている。そう言えば小生もちょっと恥ずかしかったことがあったのを思い出した。まだ電車・バスで通勤してる頃、行の電車で計算したら何かうまくいって、職場でコンピューターで確かめたら OK、ということでよかったのだが、寺井さんにもっとどうにか成らないかと相談したら、晩に電話をいただいて、「左辺は因数分解出来るよね」と言われて顔から火が出た。まあその時教わったことを使って幾つか論文を書いたり話したりさせてもらったので、いいけど。相談はしてみるものです。少し前に書いたが、謎なことが専門家に相談したら解決したし。興味があればそこから文献を読み進めればいいんで、共同研究はしましょう。と言っても、小生共著論文は2本しかないが。

明日も面談の筈だったが、上に書いた熱があって今日の面談をキャンセルした学生はまだ回復してないそうで、来週に持ち越しになった。が、明日も2時までに職場に行かないといけないので、今日は程々にして寝る。やりたいことは沢山あるのだが。あ、ケーブルテレビのチューナーが結構きつきつだから、寝る前にダビングを仕掛けておかないと。それとテレビに直に繋いでるハードディスクだが、「座王」が2週続きのチャンピオン大会で、消してないから、明日の「座王」の録画をする余裕が無いかもしれない。そっちもどうにかしておかないと。暇なんだか暇じゃないんだかよく分からないな。いや暇なんだろうな、こんなことを気にしていられるのは。前も書いたけど「忙」は「心を亡くす」という字だそうだから、程々に忙しく、程々に暇なのがいいな。来年度と再来年度はちょっと忙しいので、暇なうちに研究も余暇も色々やっておこう。

久々のまとまった雨の一日

今日は全国的に久々のまとまった雨だったそうだ。相当強く降った所があるそうで、なぜ定期的に少しずつ降らないかね。ということで今日は職場に行かなかった。明日は諸事情で行く。明後日どうなるかは明日の結果次第。たまには外に出ないといけないのは分かってるが、元々超インドアに出来てるもので、出掛けなくても何の苦痛も無い。大学の時の友人で大阪出身の奴は、土日は必ずどこかしら行くと言ってた。外出しないと気が変に成りそうとも言ってたかな。「加川は実家やし、話し相手がおるからええけど」と言われたが、やはり話し相手がいなくても一人でいて大丈夫な口だと分かった。明日は外出こそすれど、誰とも話さないかもしれない。レジに立ってる人と話すくらいかな。

今日も訳の分からない生活をしてるが、明日は10時から面談なので、ちょっと早起きしないと。もう眠いし、程々に寝ておこう。SageMath に楕円曲線の計算をさせてるのはその後目立った進展が無い。大抵職場に行くときはパソコンの電源を落とすが、明日は計算させておこう。と書いてるそばから一つ終わったが、生成元が見付からなかった。effort 200 じゃ駄目だな。200だと数時間掛かるが、300だとどれくらい掛かるだろう？まあやらせておいて他のことをすればいいので、いいけど。コンピューターに全面的に頼らず、他の方法を考えてみよう。まあそれも最後はコンピューターにやらせることに成りそうだが。論文を出すたびに何がしかの進展が無いと面白くないよね。最初は500以下、次は5000以下だったから、10000以下でいいかと思わないではないが、19687 と 27647 という例がポツンとあるので、30000以下に何としてもしたい。まあ急ぐ旅ではないし、ちょっとずつウダウダやります。

楕円曲線の整数点の有無が幾つか確定して嬉しい

昨晩はその後資源ゴミの分別をして、ゴミ捨て場に持っていって。古文の問題集とかが紐で縛って捨ててあったが、大学に合格したのだろうか？よかったね。その後 PARI/GP で幾つか実験。すると4つばかりあっさり Mordell－Weil 群が求まった。SageMath で PARI/GP を呼び出して、パラメーターを与える方法も分かったので、整数点も求められて、とまあよかった。その後パラメーターを変えて走らせて寝よう、としたらプロレスが始まった。正月に EVIL を破ってデビュー戦でチャンピオンに成るという最高のスタートを切ったウルフアロンの防衛戦がやる、と言うので見たが、EVIL が抜けた後でもあのチームは卑怯極まりなく、リングに上がる前に3人がかりでウルフアロンを殴る蹴る鉄柵に叩き付けると痛めつけて、試合開始後も反則技を連発し、レフリー不在の状況を作ってからさらに反則攻撃をやって、でレフリーが復活した後あっさり3カウント。5分も経たずにウルフアロンは負けてしまった。つまらん。アナウンサーも解説の高橋ヒロムも「プロレスを見せてくれ」と言ってたが、全くその通り。無駄な時間を使った。30分番組だが、先週はオリンピックで放送が無かったか、2本放送してた。終わるまで起きていた。

寝床に入ったらすぐダウン。10時半過ぎに一旦目が覚めて、職場へ行こうかと思ったが、やはり眠い。徹夜は堪える。もう一度寝床に戻って、次に起きたのは4時開始の教授会ギリギリの時間。教授会は形式的な議事だけで、15分弱で終了。やる日は随分前に決まっているので、やらないわけにはいかないのだろう。

その後 SageMath でパラメーターを増やして実験の続きをしながら、先週の「ミラクル9」を見た。「や」で始まる地名を読ませる問題に「山科」と「野洲」という馴染み深い地名が出てきてビックリした。面白かった。業務で職場に泊まっている時に録画したものとオリンピックだ何だとやりながら録画したものが溜まっているので、見ておかないと明後日の「ゴチバトル」が録画出来ないので、急いで見た次第。日曜日にやった大河ドラマもダビングする時間が無かったので消した。土曜日の再放送を Blu-ray ディスクに直録りすれば大丈夫なので。「相棒」と「豊臣兄弟」だけでなく、アンコール放送の「八重の桜」と、途中から見始め面白いと成った「50分間の恋人」も見てるし、結構大変。論文書きもしてるし。まあまだ暫く春休みなんでね。

今日は上に書いたのでお分かりの通り職場に行かなかったが、明日行こうかと思ったら、結構な雨降りに成って、雷も鳴ると言ってた。明後日にしよう。ちょっと論文の途中経過をプリントアウトして、本屋で買い物をして、伝票を経理に送って、としないと。もう年度末が近いから、研究費の使用の締め切りがそろそろだろう。やっておかないと。面倒臭いが仕方ない。明後日は面談もあるので、それが済んだら行こう。

PARI/GP で楕円曲線の Mordell－Weil 群を求めてみて、一つだけ成功（SageMath と Magma Caluculator では駄目だった）

昨晩は結局アイスホッケーを最後まで見た。3ピリオド制というルールしか知らないど素人だがな。第3ピリオドで決着が付かず、ゴールデンゴール（昔はVゴールと言ったと思うが）方式の延長戦に。20分やって決着が付かなかったらもう20分、で決着が付かなかったら更に20分と、エンドレスに続けるようなことを言ってたが、5分くらいで決着が付いた。アメリカがカナダを下して金メダルに。面白かった。その後ダイジェストをやった後、閉会式の映像が流れた。長かったので真面目に見たわけではないが、楽しそうでよかった。

で最後まで終わってから、ABC にチャンネルを合わせたら「おはよう朝日です祝日版」がやってた。そうか、天皇誕生日だな。腹が減ったので買い出しにセブンイレブンに行こうと考えていて、皆さんが働きに出掛ける時分にジャージというのはちょっと恥ずかしいかと思ってたが、祝日だからいいか、ということにして出掛ける。nanaco にチャージしたが、10000円でなく5000円にした。するとラッキーにもお釣りの1000円札5枚の内2枚が旧札。未だに新札が使えない所が結構あるから、旧札は貯めておかないと。

腹ごしらえしたらすぐ寝ようかと思ってたんだが、録画してあるものですぐ見られる30分物を二つばかり見て、とかやってたらあっと言う間に昼近く。メダリストが出てたので、つい見てしまう。でもういいかと昼前に寝床に入って YouTube を見てたらちょっと寝落ちしたが、見逃した部分を見たいと、すぐ起きてまた見てまた寝落ちして、とかやってあまり寝てない。あっと言う間に「Qさま！」が始まってしまった。今日は懐かしい形式のクイズばかりだそうで、見てしまった。あの形式の頃は皆で協力してやってたが、いつの間にか個人戦中心に成って殺伐としてきた。たまにはあの形式も面白くていい。

でまた寝床で YouTube とかやって、ちょっと寝落ちしたら起きて、とかほぼ無睡眠。明日は4時から教授会があるという案内が来ていた。職場に行って個研室から参加、にしようかと思っていたが、何か無理そうだな。明後日以降は雨降りに成るようなこと言ってたから、明日行きたいが。まあ何時に寝るかだな。

ただまた寝るのが惜しくなる事態が起きた。然るべき楕円曲線の Mordell－Weil 群の生成元を SageMath に求めさせているが、全然答が返ってこない。点は一つ見付けてて、それが生成元（あ、Mordell－Weil 群が無限巡回群であることは analytic rank を求めたりして確定している）だと思うのだが。大して height もでかくないしな。と思ってマニュアルを見ていたら、PARI/GP の関数を使うようパラメーターを与えられると書いてあった。計算中のものを止めるのは嫌なので、PARI/GP を起動させてやってみたら、すぐ答が返ってきた。う、無駄な時間を使ったな。SageMath の画面で CTRL-C を押して、PARI/GP の関数を使うよう SageMath に指令したら、確かにすぐ答が出た。PARI/GP の楕円曲線関係の命令ってほぼ使ったことが無かったが、結構いけるな。ただ、他に幾つも残っている case があるのだが、それは PARI/GP でも答えてくれない。余程 height がデカいんだな。ということで PARI/GP でパラメーターを変えて答えてくれるのを期待しながら待ってるが、今のところ駄目。もうちょっとやってみよう。一つでもうまくいけば幸い。駄目だったら寝て起きてからやろう。

あ、明日は資源ゴミの日だ。第2、第4火曜日なのだが、第2火曜日は例の業務で職場に泊まっていたので、ゴミ出し出来なかった。やらないと。面倒臭いな。まあ仕方ない。空き缶と段ボールと計算し散らかした紙を出すだけだから大したことないと言えばない。やってから寝よう。

アイスホッケー面白そうだし、これから見てみる

昨日はふなごやに客がいた。その人が帰った後聞いたら、山科駅前のホテル山楽（昔はホテルブライトンシティと言った所）の宿泊客らしく、山楽に泊まるとふなごやの食事代が割引に成るそうだ。ちゃんとそういう営業はしているらしい。その後いつもの通り3人でワイン。美味しいワインがあった。呑みながらはオリンピックの話で盛り上がった。名解説の一つで、中学生の選手がスケートボードで大技をやった時に「真夏の大冒険」というフレーズがあったのを思い出させてくれた。楽しかった。いつもは大体誰かしら寝落ちするんだが、昨日は3人とも最後まで正気で、そのせいか一本余分に開けたような気がするが、どうだったかな？例によって途中から記憶が混濁しているので。

帰宅してパソコンを見たが、まだ計算は終わってなかった。Magma Caluculator でどうにか成らなかったから、生成元の height は大きいのだろうか？Magma を持ってる専門家に頼るか？はたまた私費でいいから Magma を購入するか？ちょっと考えてしまう。夕刻に電話が鳴ったが、マンション売れ売れ系メールが来ていたところから判断するに、それだな、と出なかったが、後で見たらトヨタから。車を買い替えろってか？出費だな。Magma を買うのはもうちょっと待ってからにしようか？事務に聞いてみて実験実習費で買えるんだったら年度が改まったらやるか？まあもうちょっと SageMath でジタバタしてみよう。

今 NHK で男子アイスホッケーの決勝戦を放送しているが、アイスホッケーって点が入りにくいんだな。第2ピリオドを終了時点でカナダ、アメリカとも1点ずつ。途中アメリカが反則で二人出られなくなり、5人 vs. 3人の場面があったが、アメリカは点を失わなかった。凄い守備力だ。今までは流してただけだが、第3ピリオドから真剣に見てみようか？コンピューターに計算させてる間は特にやることは無いし。締め切り間近の書類はさっき一本書いた。後顧の憂いはほぼ無い。見てみよう。

数日振りの昼間の外出

高木美帆は結局6位だった。最後の一周を残した時点では2位だったが、1500mを走り切る体力は残ってなかったか失速してしまった。前半攻めて金メダルを狙った滑りだったようだが。結果を見ると金メダルまではほんのわずかだったが、残念だ。解説の高木菜那が泣き崩れてる映像があったが、実の妹のことだ、当然であろう。いつもは「高木選手」と意図的に中立の立場をとっていたが、その後の放送では何度か「美帆」と言ってた。まあそうだよね。で結局3時くらいには寝られた。ここ数日では早い方。

で11時半過ぎに近所で用事あるので、10時半と10時45分にアラームを仕掛けて寝た。で起きたのは10時45分のアラームの少し後。寝癖ボーボーなのでシャワーを浴びて、でマスクをするから髭はいいや、ということにして出発。日の高い時間の外出は何日振りかな？特に何事も無く終了。なか卯で牡蠣とじ丼を食べてくるつもりだったが、無さそうなので親子丼にした。食べた後外から見えるメニューを見たら、牡蠣とじ丼はあるようだが。まあまた今度食べるのでいいです。

12時半過ぎに住処に戻ってきて、でテレビを付ける。オリンピックを見た関係かNHKに成っていたので、1時過ぎからの大河ドラマの再放送を見て、思い出しておく。それから SageMath と Magma のドキュメントを見て、楕円曲線の Mordell－Weil 群の生成元の height が大きい場合にどうやればいいかをちょっと勉強。Analytic rank が1であると分かっていれば、何かしらのオプションを与えればよいようなことが書いてあったが、やはり時間が掛かる。Mordell－Weil 群の生成系が分かっている時に、それを与えることにより整数点が簡単に求まるようなので、Magma Caluculator で生成系が求められた場合に SageMath でそれをやったりとかで、幾つかスッキリした場合があってよかった。今も一つ実行中だが、数時間経ってるが答は出てない。書き終わったらパラメーターを変えてやり直してみよう。

5時半から市内某所に用事があるので、今度は髭を剃ってから出掛けた。電車乗るの久し振りだ。で用事はあっさり済んで、喫茶店でコーヒーとホットドッグで時間潰し。英語で書かれた論文を読んでる人がいた。何の論文だろうか？数式はほぼ無かったが。20分も経たずに帰途に就く。烏丸御池駅の先発の電車はびわ湖浜大津行だったが、まあいいかと乗る。六地蔵行も大して混んでないが、びわ湖浜大津行はガラガラだからね。落ち着いて読書するにはよかった。前に書いたが、昔は京阪が乗り継ぎ割引をしてくれていたが、今はどうだろう？と思って降りる時に自動改札機の窓を見たら460円。今乗換案内のページで調べたら、烏丸御池－御陵間が260円、御陵－京阪山科間が200円と、1円も割り引いてくれなくなっていた。200円余分に払ったが、まあいいです。京都市も京阪も財政は苦しいようだから、両方に寄付したと思えば。小生の向かいに座ってた人も京阪山科で降りたが、その人も承知の上でやっているのだろう。因みに地下鉄で烏丸御池－山科だと260円だから、京都市はどっちに乗ってもらっても収支は変わらない。余裕のある人は京阪に寄付するつもりで是非。

今日は暖かい一日だった。京都市の最高気温は16度を超えたらしい。明日は21度！数日前は真冬の寒さだったが、極端過ぎる。また寒くなるのだろうか？また風邪を引かないように気を付けないと。

さて、今日も土曜日恒例の呑みということで。今週はちょっと酒の量が多いし、寝不足だ。気を付けよう、と最初は思うが、呑み始めるとタガが外れる。まあ吐くほど呑むわけではないし、多少記憶が無くなるくらいなら、…、ってよくないが。まあ今日も記憶は飛ぶだろう。ということで、では。