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

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

今日も訳の分からない生活をしてるが、明日は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度！数日前は真冬の寒さだったが、極端過ぎる。また寒くなるのだろうか？また風邪を引かないように気を付けないと。

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

オリンピックのために不規則な生活が続いている

女子フィギュアスケートの結果が出るまで起きていた。最後のオリンピックと決めた坂本花織が銀、前半はトップだった中井亜美は残念ながら銅、一度競技から離れていたアメリカのアリサ・リウが逆転の金メダル。坂本は悔しそうだったが、最低で銀が目標だったので、まあいいのでは、と思います。よくやりました。

で SageMath に仕掛けをして寝床に。眠く成らないので昼前に起きて、出前を頼んで食べて、寝床で YouTube を見たりとかどうでもいいことをしてウダウダ。何度か寝落ちした。あまり寝てないが、まあいいかと、晩飯も出前を頼んで、それからウダウダ。SageMath は未だに計算中。埒が明かないようなら助っ人に頼もう。Magma 買った方がいいかもという気がちょっとしてきた。

「探偵！ナイトスクープ」を見てちょっと思ったのだが、昨日の研究室無断引っ越しの夢はナイトスクープが原因かもという気がしてきた。前に何でだったか忘れたが、男の独り暮らしの部屋を空っぽにして驚かせる回があった。あれのせいかな。実際は勿論事前に案内があって、昔4階にいた同僚が強制的に7階へ引っ越しさせられたし、小生の部屋の隣に物理の先生が1年だけいたことがあるが、その人も7階に引っ越しさせられた。たまたま部屋を出るタイミングが一緒だったことがあって、ご丁寧に挨拶してくださったので、今でも会うと会釈くらいはする。あ、早稲田理工のキャンパスで結構大規模な工事をしていて、尾崎ししょぉが研究室の引っ越しをしないといけないらしい。ご愁傷様です。小生は引っ越ししないで済むといいが。あと7年だからな。今から引っ越すのは嫌だ。東大の駒場キャンパスに数理の新棟が出来る時に、その年限りで異動することに成っていた方が、半年だけのために引っ越ししたそうだが、大変そうだった。5.25インチのフロッピーディスクが結構出て来たらしく、お会いした時に「いらない？」と聞かれた。勿論いらないので、お断りしておいた。前に部屋から OHP のシートが結構出てきたが、全部捨てた。印刷してあるものも。もうあんなもの使わん。フロッピーディスクと MO のディスクをまだ捨ててないが、捨てないと。MO なんて何のために買ったのかな？一度も使ったことないぞ。すぐに大容量の外付け HDD が出たからね。2TB で数千円。パソコンを取り換える時に外付け HDD にガバーっとコピーして、セットアップ後にガバーっと戻してる。気楽な時代に成った。えーと、まあ定年までそんなに長くない。ちょっとずつどうにかしよう。

今晩はスピードスケートの1500mがある。高木美帆が金メダルを獲れるかが見どころ。初めて名前を聞いた時は高木美保のバッタ物という感じだったが、今では高木美帆の方が有名。やはり実績で黙らせられる人は強いな。さあ高木はどうなる？今晩も遅くまで起きていそうだ。今中継してるが、解説は高木菜那だな。この前のパシュートの時の日本 vs. オランダの時は目茶目茶興奮した解説をしていたが、今日はどうでしょうか？解説者の名、迷解説は後の語り草になる。新しい流行語も生まれるからね。「ゴン攻め」とか。さあどうなる？

研究室を無断で引っ越されるという謎な夢を見て不快

結局相当な時間まで起きていた。予想を検証するべくコンピューターに数値を打ち込んで、結論を待ってる間に生産性の無いことを色々してたり。SageMath では埒が明きそうにない様子なので、Magma Caluculator を頼ったが、そっちでも埒が明かない。嫌に成って変な時間に寝た。

そういうロクでもないことをやってると罰は当たるもので、変な夢を見た。職場に行ったら、個研室のドアが開いてて、中に他の人がいるという、謎な事態。何と勝手に研究室を移動させられてしまったのだ。あんな散らかった部屋いかようにして？とか相当リアルな夢で、7階の事務室に聞きに行ったりとかそういうのが全部本当の施設が出てくる。移動された場所はキャンパスの端。事務の人に、近くに車停める所あります？とか質問している光景まであった。唯一現実と遠かったのが、移動先が「3号館B棟」とかいう、うちのキャンパスに無さそうな建物だったことか。うちは「ウェストウィング」とか「イーストウィング」とか「フォレストハウス」とか「コラーニングハウス」とか変な名前の建物ばっかりだからね。目が覚めた時は本当にほっとした。それからカップ焼きそばを食べたが、その後脱力してこんな時間まで寝床でウダウダやっていた。また今日も変な時間まで起きてるコースだな。

どうせ起きてるなら、SageMath で予想を検証しようかという気に成っている。Magma Caluculator は使用時間に制限があるのでうまくいかなかった。SageMath ならパラメーターを上手に与えれば何とかなるのでは？という気がしないでもない。コンピューターに全部任せるのではなく、途中まで手動でやって、最後の詰めだけコンピューターにやらせるのでもいいかもな。まあもしくはすぐ寝ちゃうかだが。ま、もうちょっと考えますわ。