Height が大きい点

昨日はあることを2500までやっていたのを3000まで広げようとして、色々奮闘。1つの例外を除いて出来たんだが、その一つがどうもうまくいかない。どうやら生成元の height が目茶目茶でかいようで、中々答が返ってこず、最後はエラーメッセージを吐き出して終わりという状況。他のソフトにもやらせたのだが、こちらもうんともすんとも言わない。そんなこんなしているうちに日をまたぎ、さらにその後数時間色々やって、「まあ今日はいいわ。明日にしよう」ということで寝た。が、寝たのは相当遅く。

で今日は夕方に起きた。うーん、好例だな。今日は早く起きて職場の片付けにいこうと思ってたんだが、取り止めになってしまった。まあいいや。

でそのうまくいかなかった件は、実はちょろっと考えれば数秒で片付くことがわかった。で無事3000まで行った。が、それはそれ、これはこれで、やっぱり生成元を見つけたい。ということで引き続きコンピューターをぶん回している。見付かればよいが。うんともすんとも言わなかった方は寝ている間に答が出ていた。8時間ほどかかったようだ。何通りかの方法で同じ結論がでれば心強いのでよかった。あとは今ぶん回してる方がいい結論を吐き出してくれればいいが。

11月28日

昨日は早目に寝ようと思っていたのだが、うっかり数学を始めてしまった。前に自明だと思っていたことに証明が付けられず、かつコンピューター実験によると正しそうという感じで、どうしても証明したいと、うんうん唸る。朝5時過ぎまで考えていたが、決着を見ることは出来なかった。ということで朝まで起きていたため、今日は夕方まで寝てしまった。いかんね。生活がすっかりひっくり返っている。明日は午前中に野暮用があるため、今日は早寝する。毎週同じことをしているのでわかるが、案外寝られるもんだ。ということで1時には寝ようかと思っている。

17年前の今日は自動車教習所に入学手続きをしに行った日。教習予約のパスワードを1128にしたため、中々忘れない。4桁の整数といえば銀行のキャッシュカードの暗証番号やクレジットカードの暗証番号。一応ある規則に従って番号を付けているので、幸い忘れたことは無い。もう新しい銀行口座を作ったりこれ以上クレジットカードを持つ積もりは無いので覚えないでいいんだが、問題は facebook や twitter などのパスワード。1回アカウントを作り時に設定したパスワードを皆目思い出せない。もう携帯電話も大分古くなっているし、ガラスにひびが入っているので買い換えたいところだが、設定が面倒くさい。買い換えたら今のままでは facebook が使えなくなってしまう。あー、パスワード地獄から脱却したい。

住処で携帯電話を使えるようになった

数日更新しなかった。まあ単なる独り言で日記ではないんでね。ここ数日したことと言えば、卒研1を月曜日にやったくらいだろう。弱Mordell－Weilの定理（E(Q)/2E(Q) が有限群であるという定理）の証明が今まで見たことがないもの。Dirichlet の単数定理とイデアル類群の有限性が効いていて、非常に整数論な証明だった。Silverman－Tate（足立、小松、木田、田谷訳）に出ている証明はもっと代数的な感じだし、有理2等分点を持つという仮定でやっているから、完全な証明ではなかった。まあMordell－Weil群の計算に役立つという意味では非常にいい証明なのだが。来週で本が終わってしまう。前に使った時は1年掛ってようやく平方剰余の相互法則が終わったくらいなのかと考えたら、非常に優秀。次の本も1年くらいで読み終わってしまう可能性がある。む。

今日は昼に au の人が来た。携帯電話の電波を増強するため。30分程度だったろうか。電波は無事強くなって、今までよくてアンテナ1本、悲惨な時は圏外という状況だったのだが、ぐっと良く成った。これで Wi-fi 契約が無駄になったかというとそんなことはない。電話は容量制限があるが、Wi-fi の方は要領無制限。更に実家に帰る時は必須。月々4000円弱で済んでるんだから、それくらいのことをケチってはいけない。これからも Wi-fi の電源は入れっ放しにすることとする。

その後グダグダと時間を無駄使いし、3時過ぎにようやく職場へ向かって出発。やることはもちろん部屋掃除。この前から懸案だった演習の答案をようやく全部処分できた。が、奥から昔の試験の答案が出てきた。…。まあシュレッダーがゴミで一杯になったことだし、そこで終了。やめるつもりだったのだが、もう少し続けた。で奥から奥からゴミが出てくる。で奥に昔勉強したノートがあった。層の理論を代数幾何の本で勉強していた時のもの。うむ、無くても20年困らなかったぞ。やっぱり真剣にノートを作ってまで読んでも、ほぼ将来見返さないんだな。だったら講義来てノートなんて取ってないで（以下自粛）。

帰りは久々に「王将」へ行ってきた。いつものキムチ炒飯と餃子、の積もりでいたんだが、「極王炒飯」なるものが目に入り、つい頼んでしまう。餃子はもちろん頼む。いつもの炒飯に比べると、レタスがたっぷり入っていて、さらに豚肉もいつものに比べると遥かにデカイのが入っている。ちょっと高かったが満足。まあ次はキムチ炒飯だな。

白鵬優勝

昨日はだらだらとして、もう寝ようかな、と思っているところで電話。何だと思ったら、先週の金曜日に「来週の金曜日はボジョレーヌーボーの解禁日だから、また一緒に呑みましょう」と誘われていたのだが、それを忘れていて中々行かないもんだから、呼び出しをかけたらしい。しまった！ということで急いで飛んで行く。遅れた罰としてボジョレーヌーボーをボトルで頼む。5500円（税別）だから、そんなに高くない。楽しく呑んできた。この上日本酒を呑むとよくないと思ったので、レモンサワーを数杯呑んで帰ってきた。それでも大分ふらっふらだった。

で昨日は少な目だったので、今日は午前中に起きた。大学の部屋を掃除しに行こうか、と思ったんだが、考えてみれば今日は11月23日。祝日である。ということは大学は食堂も C-cube も生協も全部閉まっているので、やめた。でもう一寝入り。眠くないしちょっとだけ、と思ったんだが、やっぱり呑んだ次の日だけあって中々起きられず、相撲が始まるまで寝ていた。今日は結びが白鵬 vs. 御嶽海。白鵬が今日勝つと、白鵬の優勝と同時に御嶽海の負け越しが決まってしまう。これは全力で御嶽海を応援だ、と思って見ていたんだが、白鵬が強さを見せて、割合あっさり勝ってしまった。御嶽海は関脇で優勝した次の場所は関脇で負け越し。明日勝たないと6勝9敗になってしまい、19場所連続で勤めた関脇・小結から陥落かも、ということに。それはまずいので、御嶽海は全力で勝ちに行かないといけない。で明日は誰か、と思ったら、明日の取り組みは今日の打ち止め後に決める、と言っていたから、知らない。Yahoo！で調べたら阿炎ちゃんだそうだ。阿炎ちゃんは勝ち越してるし、ここは負けてもらおう。うん。ただ、阿炎ちゃんも6場所連続勝ち越しだそうで、頑張り次第では大関候補になるかもしれないので、必死だろう。うーむ。まあいいや、明日明日。

寝ている間に au から電話があったようだ。メッセージを聞いたら折り返し電話をくれ、とのこと。掛けてみると、電波強化の件。来週の水曜日が空いてる、とのことで、来週の水曜日は運よく卒研2を休みにする日。ラッキー、ということで水曜日の12時ということで約束しておく。ちゃんと電話が繋がるようになればいいが。楽しみにして待つとする。

御嶽海頑張れ！

昨晩はその後、ある単項でないイデアルの3乗が単項イデアルであることを示すのに手間取って、3時くらいまで起きていた。例に寄ってコンピュータの助けを借りながらやったんだが、それにしてもうまくいかない。((1+√－23)/2)³ の計算が出来ていないのが原因。結局手計算をコンピューターで検算するという、何ともぬるい方法を取らざるを得なくなった。大分計算力が落ちている。まあ結論は出たのだからいいけど。来年度の大学院の講義の演習問題として出してみよう。学生が上手な解答をしてくれたらいいけど。そしたらこっちも勉強に成る。

で今朝は10時くらいに起きたんだが、ちょっとふらふらするのでもう一度横に成った。で起きたのは2時過ぎに宅配便が配達された時。職場に片付けに行くのは面倒くさくなったので、やめた。今日は片付けより相撲の中入り後の取り組みを全部見る方を優先した、というわけ。今日楽しみだったのが御嶽海 vs. 朝乃山。御嶽海は割りと好きで前から応援してるんだが、今場所は昨日の時点で5勝6敗と振るわない。朝乃山はと言えば、昨日まで2敗で1敗の白鵬を追うという状況。どっちも応援したい気分だった。で取り組みの結果はと言うと、御嶽海が一方的に寄り切っての圧勝。終わった瞬間「よっしゃ」と思ってしまったところを見ると、優勝争いより御嶽海の方が大事だったことが分かった。明日は御嶽海 vs. 貴景勝。これも困る。どっちも好きな力士。が、御嶽海に勝ち越して欲しいという意味では、明日も御嶽海の応援かな。貴景勝はもう勝ち越してるからいいじゃないか、という感じもある。やっぱり御嶽海だな、うん。明日も応援しよう。

y2＝x3－23

水曜日は1時から卒研2。今日は起きたら11時。11時45分くらいに住処を離れる。今日も恒例「草津JCT 新名神方面渋滞」の表示。何やら作業をしているようだが、何故こんなに時間が掛るのだろうか？まあ瀬田西で降りたほうが140円安いからいいんだけど。生協でサンドイッチを買って、コーヒーで流し込む。

1時から卒研2。虚二次体の整数環の「標準的底」を求めて、それの応用としてイデアルのノルムの話や、「to contain is to divide」などを証明。大分難しかったようで、学生は青息吐息であった。セクション1つ進めるのに約2時間掛った。ご苦労様でした。来週は右京さんが都合が悪いそうで、ゼミは無し。来週はのんびり出来る。

ゼミ終了後は例に寄ってしばし部屋掃除。未使用のOHPシートやら大学当局が作ったよくわからない冊子などをがっさり捨て、空いたスペースに買っただけで配架していなかった本を並べて、ややすっきり。しかしまだ先は遠い。明日は早目に起きたら続きをやりに行く積もり。ということで今日は酒抜き。まあ多分今日遅くまで起きていて、明日遅く起きて「ぎゃ！」ということになるだろうが。それならそれでよし。そしたら住処の掃除。しばらく掃除ばっかりの日々になりそうだ。

片付けが一区切りついてから、しばし y²＝x³－23 の整数解が x＝3, y＝±2 のみであることの証明を考えてみる。が、これがうまくいかない。Q(√－23) の類数が3だから、y²＝x³－5 の時と同様にいかないことは重々承知。何かおかしいのだ。まあ適当にけりを付けないと飯も食えないので、一旦忘れて職場を後にする。ココ壱でいつもの「カキフライカレー（カキフライ4個）」を食べて満腹になった後住処へ向かう。高速道路は渋滞することも無く、順調に帰ってきた。で考えていたものの続き。やっぱり何か変なことを考えていた。で修正して進めてみるも、やっぱりうまくいかない。大概は x が偶数だとすると…、てな感じで矛盾が出るんだが、全く矛盾が出ない。単項でないイデアルを正面から扱う必要があったりと、ひどく難しい問題であることがわかった。もちろん解の決定だけならコンピューターでできるんだが、それでは何か気持ち悪い。まあ今日のところは断念しておきましょう。また後日余裕があるときに考えるとしよう。

ということでもう「相棒」の終わっている時間に成ってしまった。まあ昨日寝る前にタイマー予約しておいたのでいいんだが。さてこれから見るか。

今日は無事保健センターで伊東先生に診てもらえた

今日は先週診てもらい損ねた保健センターへ行くべく出勤。4時までに職場に行けばいいのだが、先週のように先生の都合で早目に閉まってしまう場合があるので、早く起きて早く行こうと思っていただが、昼過ぎに起きてしばし腹痛で悶絶し、住処を離れたのは3時過ぎ。先週と同じ感じ。今日は間に合った。血圧を診てもらい薬を処方されて、無事今月の任務は終了。また4週間後に行くことになっている。

その後しばし部屋掃除。まだ全然片付かない。まあ前も書いた通り、今回の件とは独立に片付け続けるつもりなので、懲りずに続けましょう。6時くらいに職場を後にする。この時点で相撲のことは全く頭に無かった。

ドラッグストアに寄って薬を処方してもらってから、なか卯でカキフライを食べて帰宅。帰宅後は無為に過ごす。只今洗濯中。夜中のうちに終わるはずなので、洗濯機を回して寝る。明日は1時までに職場に行くので、今日は早寝する予定。「ロンドンハーツ」を見ないように気を付けないと。あと相撲のダイジェストを録画し忘れないようにしないと。