良いお年をお迎えくださいませ

もう大晦日ですね。ついこの前年を越した気がするんだが。今年はよく野球を見た。10連敗もしたのに最後は2位。面白かったな。来年も面白い野球を見たいな。

毎年恒例「正解は1年後」をやっていたが、今年はロンブーの亮があんなことになったので、大幅に内容を変更していて、面白くなかった。来年はどうなるでしょうね。

では良いお年をお迎えくださいませ。

「古畑任三郎」シリーズ一気放送中

結局さっき線形代数の本を開いた。1箇所よくわからない所があり、どう考えてもミスプリなのだが、その修正方法がわからなくて前から気に成っていた。そこを直したくて。で結局具体例で全部書き出してみることにより修正方法は思いついた。が、本当にこれで合っているかどうかは証明を修正できるかどうかによるが、まあもう遅いので、明日トライすることにする。

只今「古畑任三郎」を見ている。スカパーの「日本映画専門チャンネル」で一気放送をするらしい。実家はスカパーに契約していないので、画面の左下に「スカパー！2週間お試し体験」をせよ、とのメッセージが出ている。そのためちょっと鬱陶しいが、まあ大筋はわかるので問題無し。さっき数学者が数学者を殺す回をやっていた。陣内孝則演じる数学者が「二本松晋」という名前でこれは明らかに「一松信」先生のパロディーかと思われる。他にも明石家さんま演じる弁護士が犯人の回など。非常に面白い。「古畑任三郎」のBlu-rayは全部持っているので、時間を作って見たいところ。が、まだ「相棒」が大分残っているので、その後になる。まあいつかね。今日はこの後夜まで「古畑任三郎」をやるようだが、適当に打ち切って寝ないと。今やってる話が終わったら寝るかな。

実家ナウ

数日振りにゆっくり寝た。で早いとこ実家へ、と思っていたんだが、録画しておいて見ていなかった「科捜研の女」をうっかり見てしまう。3話も見てしまった。で8時過ぎに住処を経つ。山科駅までの途中で気付いたんだが、金沢で買ってきたお土産を住処に置き忘れてしまった。まあいいや、ということで京都駅で土産を購入。8時半過ぎの新幹線で一路新横浜へ。

実家着11時くらい。まだみんな起きていた。しばし会話を弾ませる。12時くらいから親父殿、お袋殿、兄者と立て続けに寝てしまった。こっちはそんなに早く寝る習慣は無いので、しばしテレビ。その後新幹線の中で途中までに成ってしまった「相棒」シーズン3の最終話の続きを見た。面白かった。復路からシーズン4に入る。楽しみだ。

年明けは6日から仕事なので、今回は1週間の滞在。多分滞在中はずっとテレビ漬けでしょう。いつものこと。1月22日がシラバス入力の締め切りで、そのために「線形代数学」のスケジュールを考えないといけない。ということで線形代数の本を持ってきたが、果たして計画を立てられるでしょうか？何となく1週間1回も開かないというパターンに成りそうだが…。まあいいんだけどね。結構ギャップのある本なので、読むとしたら真剣に読まないといけない。実家には小生の勉強するスペースは無いので、開かないままになりそうだと思っているんだが。まあノンビリするのも悪くはない。少し羽を伸ばすか。

サンダーバードで電車酔い

北陸数論研究集会2日目。今日（もう昨日だが）も濃い内容だった。今回は去年までより終わりが早い気がしたが、気のせいだろうか？東京方面へお帰りの方は7時過ぎの新幹線の切符を取っていたようで、2時間以上時間があった。でちょっと早めの晩飯を、ということで駅の反対側に最近オープンしたらしい回転寿司屋へ。が、店の前に着いたのが5時10分。夜の営業は5時半から、ということで寒い中待つのも何なので、お土産を買って時間を潰す。で5時半を1分くらい過ぎていたろうか、店がオープンした。流石に金沢で回転寿司をやるだけあって、美味かった。で7時くらいに解散。

7時47分のサンダーバードの切符が取れたので、30分くらい時間がある。少しいつものところで1人で呑んでもよかったんだが、お見送りをしてくださった方がいて、何となく酒の方には行けなかった。でホームに行ってみると、7時5分のサンダーバードがまだ来ていないという状況。7分遅れで駅に電車が着いて、すぐ出て行った。今日の午前中のサンダーバードは、湖西線経由でなく米原経由に成っていたし、これは遅れるな、と思ったら、7時35分くらいに電車が入ってきた。寒い中30分待たされてはかなわん、と思っていたので、早目に電車が来てよかった。で用足しをしてきて、パソコンの電源を入れて、「相棒」のブルーレイを2話見た。まだ京都までは1時間弱あったので、ちょっと仕事。が、二日続けて寝不足なせいか、パソコンの画面と手元と目を往復させていたら酔ってきた。「これは吐くぞ」という感じがしたが、何とか耐えて京都駅で電車を降りる。乗り物酔いの特効薬としては「オロナミンC」がある。飲んで一発げっぷをすれば大体治まるので、早速購入。生き返った。で住処着10時半くらい。いやー、疲れた。幸い電車は湖西線経由で運転され、京都に定時着。よかった。

で今日は早く寝て、明日帰省、と思っていたんだが、つい水曜日にやっていた「ミラクル9」の3時間スペシャルを見てしまった。まあ明日は別に早起きの必要は無いんで、今からでもゆっくり寝よう。8時過ぎの新幹線でも11時前には実家に着くので、のんびりしよう。

北陸数論研究集会1日目

集会1日目。わかりやすそうな話だから「最初から聞くぞ！」と意気込んでいたんだが、うっかりクリスマス恒例、小田和正の「クリスマスの約束」を見てしまう。で1時半くらい。横になったんだが、しょっちゅう目が覚めて、最終的に起きたら10時40分くらい。集会は9時55分から。ということで「塩を加える」さんの話などを聞き損ねる。まあいいんだけど。午後は2時から。面白い話が3本。「形式群に関する本田理論から」と言われて、「ああ、流石はF.S.さん」と思って、Schur多項式でルジャンドル記号が書けるというG.S.さんの話、K.S.さんのグラフの ζ 関数の話など、非常に具体的な話ばかりで、いつもに比べるとくじけなかった。眠くもならなかった。途中高鼾で寝ている方がいたが、まあ鼾は仕方ない。本人がコントロール出来ないしね。明日も楽しみだ。寝ないようにしよう。

その後懇親会。いつもの「よし久」で。毎年恒例「手取川」のあらばしり。これのために金沢に来ている、という人もいるくらい。やっぱり美味しい。終わった頃には相変わらずふらっふら。tsunoさんと駅の近くでもう少し、と思ったんだが、早く閉まる店、居酒屋、とかそんなのばかりで、仕方ないのでホテルの前でさようなら。もうちょっと1人で呑んでもいいんだが、ふらっふらなんでね。部屋にこもってニュースを見ながら仕事を少々。大分酔いが覚めてきた。こっから呑んだら本当の阿呆なんで、もう呑まない。明日は10時にホテルを追い出されるから、今日のような醜態は出来ない。明日は最初から出席するぞ！

金沢なう

今日は年内最終勤務。卒研2。有限素体上の多項式環の平方剰余の相互法則の証明。大分難しかったようで、引っかかり引っかかり証明。ちゃんと分かるところと分からない所を認識しているので、証明が理解できていないことは大した問題ではない。ということで無事終了。その後超楕円関数体の基本的なところ。こちらは大した問題は無し。本はあと節を4つ残すのみ。卒研2はあと2回あるので、1冊終わりそうである。よかった。来年度も3人だからこれくらいの感じでいけばいいでしょう。ということで4時くらいに終了。

その後職場を後にし、5時前に住処へ。荷造りをして6時過ぎに出発。6時40分のサンダーバードで金沢へ。敦賀まで50分も掛るというわかってびっくりした。敦賀って遠いんだね。そりゃまあ福井県だからね。「相棒」を丁度1話見終わったくらい。その後武生、福井、芦原温泉、加賀温泉、小松、松任に止まって金沢着（順番が前後したり忘れている駅があるかもしれないが、まそれはそれでいいこどに）。9時ちょうどくらい。ホテルはいつもの金沢セントラルホテルなので、迷わず辿り着く。その後テレビを見てぼーっと過ごす。明日は10時開始だったような気がするが、念の為確認しておくか。

クリスマスイブらしい

世間ではクリスマスイブとか騒いでいるが、こちらは何の関係も無い。今日は昼過ぎに起きて、その後食事を取るとか色々したんだが、また眠くなってきたので、例に寄って昼寝。で例に寄って6時過ぎまで寝てしまうという、相変わらずの無為な一日。まあいいんだけど。明日はクリスマスらしいが、明日は卒研2をやった後直帰して、金沢へ向けて旅立つ。恒例の「北陸数論研究集会」が26、27日と行われるため。実家に帰るのは28日。1月は6日からなので、実家には1週間の滞在。例に寄ってテレビ漬けになるでしょう。

さて、昨日卒研1の終了後、倉田令二郎先生のお書きになった「ガウス2次形式論」を少々眺めていたんだが、誤植を発見してしまった。足立先生のお名前は「恒雄」であって、「恒夫」ではない。この手の間違いは多いようだ。因みに先生のお名前は「のりお」と読む。「つねお」ではない。注意注意。

小生の場合苗字が「香川」であることはしょっちゅう。名前も「貴明」であることも割合ある。「加川貴章」が小生の名前です。お間違いないよう。

今日は正真正銘の平日

去年までは12月23日は祝日で、それでもうちは構わずいつもの月曜日をやっていたのだが、今年から今日は平日。ということで高速道路料金は平日料金。まあ帰りが混まないのでいいんだけど。

で4時20分から卒研1。今日は genus theory。ちゃんとやると相等面倒そうだが、ちゃんとやってきたようだ。ただただ感心する。こちらとしては結局よくわからないんだが、いつも学生に言っているとおり「聞いてるだけで分かったら苦労しない。要復習」なので、1月に成ったら時間を掛けて勉強する。

昨日はM1がやっていたが、決勝戦だけしか見なかった。ミルクボーイが一番面白いぞ、と思って見ていたら、審査員もそうだったようで、ミルクボーイの圧勝。人生が変わる1日に成ったね。今後も期待。

で今日パソコン相手に「こいこい」をして暇つぶししたんだが、相当すごい結果なので書いておく。大逆転勝ち。イェイ！

　１｜   0    8
　２｜   0    1
　３｜   0    8
　４｜   1    0
　５｜   0    1
　６｜   4    0
　７｜   0  20
　８｜ 18    0
　９｜   0    2
１０｜   0    0
１１｜ 12    0
１２｜   6    0
-----------------
　　｜ 41   40

年内最後の山科呑み

セミナーで喋って、さあ寝るぞ、と思ったら、何故か「桜を見る会」をつるし上げるビデオを発見してしまって、見た。うーん、あんな嘘をいつまでも続きともれるだろうか？まあ日本はそうやって生きてきたわけで。絶望したまま寝床へ。が、こうなると中々眠れないんだが。まあ最悪寝ないまま朝を迎えてもいいんだけど、と思ったらすぐ寝られた。起きたら表は明るくなっていた。多分6時間くらいは寝ている。よし、ということで出立の準備。

「板橋」駅前の「ココ壱」で例に寄ってカキフライカレーを食べて品川駅へ向かう。「板橋」駅に最初に来る電車は「新宿」行。「大崎」までいかないと山手線に乗換えが出来ないので、1台スキップ。次の電車は「新木場」行。これが案外混んでいる。1本前が「新宿」行なので仕方ない。車内放送で「『横浜』方面には行きません」との放送。おぉ、相鉄線直通電車に対する案内か、と思ったら、湘南新宿ライン「横浜」方面ではない、という案内だった。がっくし。「海老名」方面の電車は次に帰った時に乗る。

新幹線では例に寄って「相棒」を見た。やっとシーズン3。来週の「金沢」出張と再来週の帰省でシーズン3が終わりそう。シーズン4からは結構再放送で見ているはずなので、一区切り。まあそれでもかまわないので見続ける積もりだが。

山科に戻って来て、早稲田で喋る案件も済んだので、来年度の「線形代数学」の講義の準備をやる。丁寧に書いてあるテキスト、という印象だったが、細部を読んでみるとそんなことはない。これは気合を入れて準備をしないと、シラバスすら書けない。ということで一生懸命読む。9時までパソコンに向かって、「うーん」という感じで準備。もっとやってもいいだんだが、多分山科で呑めるのは今日で最後っぽい、ということで呑みに出て、挨拶をしてくる。例に寄って deep な話（下品な話、ともいう）が盛り上がって、2時過ぎまで。楽しかった。「耐え子の日常」を見損ねてしまったが、まあそれを補って余りある楽しい酒の席だったからよし。金沢でも楽しく呑みたい。

早稲田整数論セミナーで喋った

今日は「早稲田整数論セミナー」で喋る、開始4時半、ということで、都内に3時前に行かないとまずい、ということで、朝9時半に起きた。その後朝食、シャワー、などで11時くらいの新幹線に乗る。板橋のホテルに2時半くらいに着いた。チェックインが3時なので、1階の喫茶店でしばし。で3時にチェックインカウンターに行って、無事3階の部屋に入れて、荷物を置いて、早稲田へ出発。

早稲田理工キャンパスに3時50分くらいに到着。足立先生が聞きに来てくださる、というので気合を入れていたら、今朝のメイルで、体調不良ということで行けない、と。「せっかくしばらくぶりに結果が出て私もうれしく思っていたのに残念です。貴君の研究がさらに進展することを心から願っています。」と結構なお言葉をいただけたので、まあいいでしょう（偉そうである）。で4時半から話を始めたんだが、何か凄くあっと言う間に終わりそうで困った。仕方ないので色々昔やった結果を話して、どうにか1時間。でも「楽しかった」とH先生からあたたかいお言葉をいただけたので、まあ来た甲斐はあったなと（どこまでも偉そうである）。

その後呑みの席までもうけていただいて、というか、今回は年内最終回なので、忘年会をやる、といただいていたので、まあいいです（相変わらず偉そうである）。H先生とNさん（誰？）が滋賀のことを話してくださって、楽しかったです。その後おっちゃん（一部に明瞭）達と二次会へ。いやー、おっちゃん、ストレス溜まってるね。昼（以下自粛、とおっちゃんと約束したからね）。まあ楽しかったです（やっぱり偉そうだね）。

明日山科に戻って、週明け2回ゼミをして、そっから金沢、そして実家と、結構ハードスケジュール。まあ実家に帰る以外は出張なんで、いいんだけどね。さすがに実家に帰るだけの理由で出張申請したら、あっと言う間に首が飛ぶ可能性があるからね。しない。

「板橋」駅まで埼京線で帰る自信が無いので、「高田馬場」駅前からタクシー。節約するべきは節約して、払うべきところは払う。そうしないといけないね。

筒香のレイズへの入団会見がテレビでやっていた

今朝は起きたら9時半だった。ちょっと寝坊したが、予定には間に合う。そこでふと線形代数のことであることが気に成った。対角化してあれば自明な命題だが、さて対角化しないで証明できるもんだろうか？と。それが気になって仕方なかった。

昼飯は得正カレーを食べて、それから出勤。で1時から卒研2だが、職場には12時45分頃着いた。で線形代数の本を数冊当たってみたが、全く証明が無くその事実を使っている本ばかり。うー、気に成る。が1時から卒研2なのでゼミ室へ向かう。15分ばかり経ったところで写真の撮影者が現れた。今までだと教員1人の写真、全員の集合写真、机に向かって本かノートを開いてそこを2人が勉強しているというやらせ写真、と3枚撮って帰っていったんだが、今日は全員の写真のみ。フィルム代の節約だろうか？と思ってしまうのは昭和の人間。今や必要なのは SD カードかマイクロ SD カードだろう。気に食わない写真があったらすぐ消せるしありがたい。えーと、何の話だっけ。そうそう去年までは無駄な写真を撮っていた、ということなんでしょうな。卒業アルバムなるもの見たことはないが、多分集合写真が載るだけなんでしょう。

カメラマンが帰ってゼミ続行。今日は y²＝x³－5 が整数解を持たないことの証明から。その後多項式環の平方剰余。R 上や C 上では特に面白いことが無いので、有限素体上に話はうつる。そうなるとルジャンドル記号や平方剰余の相互法則など成り立つ、という話。証明は来週で、今日は計算例のみ。まあ数値例は大事なので、やってもらった。面白かった。

ゼミ終了後は線形代数の続き。結局対角化しないと駄目っぽい、ということがわかった。ということで、来年度の講義の為に TeX 打ち。いや、来年度のことは金曜日のセミナー発表が終わったらする、と決めていたんだが、気に成ったことがあると先へは進めない性分なんでね。印刷していって、帰りに寄ったココ壱で赤入れ。うーむ、金曜日は大丈夫なんだろうか？いや、大丈夫でしょう。

ここまで読んでお気づきのあなたは注意深い。今日は昼も夜もカレーである。実は朝もカレーに成りそうな感じだった。が、人と話すのにカレーはいかんな、と思って朝はカレーをやめた。こうなるんだったら朝もカレーにしておくんだった。まあ3食カレーのチャンスはまだあるんで、いつかやる。

帰ってきて色々やった後ニュース。筒香のレイズへの入団会見がやっていた。堂々としたもんだ。結構いい契約を勝ち取ったようなので、それに見合うだけの活躍をしないといけないね。期待しよう。ドスコイ山口もどこだかに決まったそうだが、そっちはあまり期待しない。徹底的に打たれてまえ！

「香川」ちゃうぞ「加川」や

昨日の晩気付いた。「明日は保健センターに行く日だ」と。ということで早く寝て、と思ったんだが、結局4時くらいまで起きていた。で今朝は3時近くまで寝ていた。うーむ、不健康。明日は午前中に近所で野暮用があって、その後職場で卒研写真の撮影だから、早く寝る。明日は8時半くらいには起きようと思っているが、どうだろうか。せめて9時には起きよう。

で保健センターで処方箋をもらって、部屋掃除を少しだけ。昨日棚を空けたので、そこに床に置いてある本を配架。ちょっと綺麗になった。あと学生のレポートが数通出てきたので、それをシュレッダーがけ。明日はゼミ終了後に掃除を少しする予定。金曜日の喋るの台本はほぼ完成したので、一生懸命掃除しよう。

帰宅して録画しておいたドラマを一話見て、女子サッカーを流しながらコンピューターに向かいちょっと。女子サッカー優勝！凄い。明日は男のサッカーだが、二日連続で韓国を破ってのアベック優勝となればはずみになる。頑張れ。それからニュースを見た。新テストの国語、数学の記述式は結局見送りとか。あれだけの枚数の記述式問題を採点できるわけがない。うちの文系入試には1問記述式があるが、大した枚数ではない。それの規準を決めるのにたっぷり1日使うようだ。さらに採点基準が採点中に変わったりもするようだし、一苦労。あの枚数でそんなに苦労するのに5万人以上の答案を採点するなんてとても無理。そもそも1人で定期試験採点しても基準が変わることがあるしね。

昨日書こうと思って忘れていた。バレンティンが Hawks に移籍するとか。うーむ、あんだけ選手がいてまだ欲しいか。来年から日本人枠での登録が出来るので、外国人枠は考えなくていいが、守るところはあるのか？何番打つのか？というのは大問題だろう。DH というわけにはいかん。デスパイネがいるからね。グラシアルもいるし。戦力を持て余して、誰も上手に回らずにおじゃん、というのが理想の展開。もういい加減 Hawks には日本シリーズは遠慮してもらって、どこか他のチームが上がってきてほしい。ということでバレンティン封じに他球団は全力を注いで欲しい。

部屋の電灯が暗くなってきた。相当薄暗い。引っ越してきてそのまま使い続けていたから、そろそろ仕方ないか。使用期限10年と言われていたはずだが、ちょっと早い。引っ越してきて6年10ヶ月だからな。このまま暗いのは嫌なので、明日か明後日にでも買いに出よう。その前に外すのと、付けるのの作業場を作らないといけないが。職場でも住処でも片付けばっかりだな。まあ綺麗になるのに越したことはないので、一生懸命片付ける。

さて、とメイルチェック。思いっきり「香川様」と書かれたメイルが来ていた。わしは「加川じゃ！」と言っておろうに。

12345 見たー！

今日は相当早く起きた。若干寝不足だが、構わず出勤。途中で車の走行距離メーターが12345に成った。ちゃんと見た。次は 14641。ちゃんと見るぞ。

職場ではまず数セミの連載読み。今回はルジャンドル記号の話。知っていることばかりかというとそんなことはない。ためになることも書いてある。こうやって経験値を積んでよい講義が出来るようになるのだ。来月号は平方剰余の相互法則らしい。また楽しみである。

その後1999年と2000年の「RAINBOW UNIX ガイド」など、古くてどうでもいいものや立命館APUの案内など、関係ないものを捨てて、書棚にスペースを作るなど。そんなこんなでゼミの時間。

今日の卒研1は2元2次形式の合成の話。何でもテキストにはあまりちゃんと書いていないので、文献に挙げられてる本を調べようと思って図書館へ行ったら、立命館APUにあるとか。うーむ、何故そんな所に割合新しい整数論の本があるんだろう。謎。取り寄せてちゃんと読んだそうだ。偉い！こっちは話を呆然として聞くのみで、付いていくのは無理だった。まああまり難しい道具は使わないようだということがわかったのでよし。結局 maximal とは限らない order のイデアル類群を定義して、そこと対応を付けてよかったね、というオチらしい。今年度中に辿り着くだろうか？Maximal order のイデアル類群はもう彼は知っているのでいいが、maximal じゃない場合はね、ちょっと。まあ楽しみにしましょう。

財布を開けたら「來來亭」のラーメン無料券が出て来た。見たら有効期限は12日まで。うーん、失敗。こんなポカは珍しいのだがなー。まあどっちにしても「來來亭」のラーメンを食べたかったので、瀬田店に寄る。チャーシュー麺並を一杯。炒飯は頼まないのかって？うん、頼まない。何度も書いているが、小生そんなに大食いではない。付けてもせいぜい餃子。今日は餃子の気分じゃなかったのでチャーシュー麺だけ。美味かった。「王将」の餃子無料券の有効期限をちゃんと確認しないといかんね。やっておこう。

金曜日に喋ることで一つ分からなくて気に成っているところがあったんだが、無事解決した。正確に言うと昨日の晩分かった気がしたのでメモっておいて、今朝起きてから再確認した次第。無事に済んでよかった。これで金曜日は心置きなく喋れる。頑張るぞ！

「クイズハッカー」＆「耐え子の日常」

結局昨晩も遅くまで起きていて、今日（昨日だが）は遅く起きた。で土曜日は大抵激呑みなんだが、遅く起きて呑んでるだけではただの廃人だから、少し勉強をすることにした。3乗剰余について少々。ちょっと20日に東京で喋ることにも関係しているので。いまいちわからないので、苦しんでいた次第。まあそこは適当に流しても問題ないのでいいだが、まあ完璧であることに越したことはないので。

昨日遅くまで何をしていたかというと、Windows の結構細かいことをしていた。別に通だからやっているわけではなく、UBASIC を快適に使えるようにするため。UBASIC は何故かキーボードを英語配置にしてしまうので、そこを日本語キーボードにするために、書いてあった注意書きに従ってやっただけで、問題なし、と言いたいところなのだが、大いに問題があった。そういうファイルは書込み禁止になっているので、それに書き込むためにファイルの属性を変える、という中々恐いことをした。それで UBASIC が快適に使えるようになったので、今日プログラムを書いて実験。それでよくわからなくて3乗剰余の勉強をした、というのが正確な順序。まだ詳しいことはわかっていないので、もう少し粘る。が、明日はちょっと早く起きようと思っているので、もう寝ようかと。昨日もそう言ってから長かったから、今晩は気をつけよう。

飯を食いながらこの前録画した「クイズハッカー」なる番組を見ていた。問題に対しスマホでググって、答を探して答える、というクイズ番組。なるほど面白い。が、小生たまたま2問検索しなくても瞬時に答えられる問題があった。1問は京都駅の0番ホームから2番ホームを写した映像。サンダーバードに乗るために0番ホームには何回も立っているから、もう風景を覚えてしまった。もう1問は、池に日本列島の形の島があるところは何県？という問題。これは関西では有名な場所で、伊丹空港のほど近くにある。だから答えは兵庫県。こういう問題は面白くない。もっとスーパーマニアックな問題にしてくれないと。

どうも毎週この時間はテレビの前にいるようで、「耐え子の日常」が始まった瞬間に「う、また1週間経ってしまった」と衝撃を受ける。うーん、もうちょっと有意義に1週間を過ごさないと。来週も同じことを思うんだろうな。まあいいや。

結局京大へは行かず

今朝は9時半くらいに目が覚めた。そのままテレビを見てしばし時間を無駄に使う。その後昨日書いたように若干やるべきことがあったので、1時過ぎに職場へ向かう。京大に行くことは全く思い付かなかった。もう完全に忘れていた。

職場に着いて、まず生協。「数セミ」と数日前に注文していた飯高茂「微積分と集合 そのまま使える答えの書き方」（講談社）を受け取る。その後ウェストウィングへ行って、マテマティカから届いた本を受け取って、3件個研費で購入、ということで事務に提出。来週と再来週の出張届けを出して、無事任務完了。その後部屋で Q(√－21) のイデアル類群がクライン四元群と同型であることを示せ、という演習問題を解こうと思って頑張るが、「やっぱりコンピューターが無いと無理！」という結論に落ち着いて放り出す。コンピューターは職場には無いのかって？あるけどね。住処で CoCalc を走らせてきたので、職場で SageMath のページにアクセスしても実行中のジョブがあったら何も出来ないので、無いのと一緒。その後部屋掃除を少しだけ。

8時過ぎに帰宅。CoCalc にやらせていた計算はエラーメッセージを吐き出して止まっていた。ということで Q(√－21) の計算をさせる。なるほど、このイデアルとこのイデアルが同値になるか、など計算が捗る。で無事解答完了。TeX にまとめておく。その後こんな時間までパソコンの前にずーっと向かっていた。やったことはまあ大したことではないので、書かずにおきましょう。もう眠くなってきたので、そろそろ寝ようか、という感じ。まあぼちぼち考えましょ。

今日も京大へは行かず

昨晩は酔いが覚めるまで起きていたので、寝たのは例に寄って相当遅かった。ということで遅く起きたので、京大へは行かず。明日はどうしようかな。「数学セミナー」を買いに職場に行きたいし、ついでに来週の出張と再来週の出張の出張届けを出したい。さらに「マテマティカ」に注文しておいた本が届いたそうだから、そちらの納入手続きもしたいし。多分職場に行くな。ということで今年も京大は無し。何年行ってないだろう？「代数的整数論とその周辺」というタイトルが付いているが、最近は「代数的整数論の周辺」と成ってしまっていて、わからない話が多過ぎる。若い頃とは違って、研究集会で新しい話を聞いてきて、それを下に研究、という気にならない。まあいいや、今年も行かないで。

梅宮辰夫が亡くなったそうだ。81歳。ご冥福を祈る。

tsunoさんと山科で呑む

水曜日は卒研2。今日は素数の素イデアル分解がルジャンドル記号で決定できる話と、イデアル類群の話。イデアル類群の計算例が沢山出ていたので、勉強に成ったでしょう。ただ今日やった例は、イデアル類群が位数2と位数4の巡回群になっているものばかりだったので、章末問題にある巡回群にならないケースをやるといい、と薦めておく。その瞬間学生が「多分やらないです」と言ってきた。面白いんだけどな。この前類数が3になるケースを計算してみたんだけど、イデアルの3乗なんてのは計算したことが無かったので、面白かった。是非イデアル類群がクライン四元群になるケースをやってみてください。今日は割合重たい話題が多かったので、ゼミ終了は4時頃。先週は2時20分で終わっていたのを考えると、目茶目茶ハード。6時に待ち合わせがあったので、すぐ職場を離れる。

6時にtsunoさんと山科駅前で待ち合わせ。京大に来ているので山科で呑みたい、ということで。「安加郎」があったところに日本酒のおいしそうな店が出来ていたので、そこで是非、ということで。行ったことはなかったんだど。料理もお酒も美味しくて、いい店だった。9時くらいに退散。思いの他酔ってたんで、2軒目は無し。住処に向かう途中喉が渇いていたので、スポーツドリンクを購入しようと思って自販機にお金を入れたんだが、隣のボタンを押してしまい、ブラックコーヒーを買ってしまった。余計喉渇くやんか！ということで喉からっから。幸い住処にはスポーツドリンクの買い置きがあったので、コーヒーが空いてからがぶ飲み。生き返った。酒で喉を潤す、というのは大きな間違いで、暑い中ビールで潤すは最悪。死ぬで。

明日はどうしよう？京大行くかな？まあ無理だな。行けたら奇跡的。まあ起きるかどうか次第で、明日は知らん。

卒研アルバムの撮影日を予約

昨日書いたNECのパソコンの話だが、PC-8001 の1/4のモデルが同梱されてくるそうだ。でキーボードとディスプレイをつなげば、「平安京エイリアン」などが楽しめるとか。楽しそうだ。こういうのはつい買ってしまうから気をつけないと。Python が走る関数電卓がある、という情報を仕入れたら即買ってしまったからな。今回は見送ろう、うん。

で今日は昼前に起きた。ちょっと昨日の晩、振込用紙を見つけてしまい、1月6日までに支払わないといけない、とのことなので、急いで振込みに行ってくる。1件心配の種が消えた。というところで職場へ片付けに行く。今日は作業場になるであろう場所に置いてある机の上を片付けよう、と意を決して始める。例に寄っていらないものが大量に出てくる。買ったまま行方不明になっていた本が2冊発掘されたのでよし。あと保険屋が来るたびに置いて行った書類が多数。これもわかるようにしようと思っていたんだが、結局まだいるものかもう不要なものか全くわからなくなってしまったんで、全部取っておくことにした。一つにまとめたので、後で保存場所を考える。ということで机周辺はほぼ片付いた。そこで終了したんだが、棚を見たら嫌なものを発見してしまった。昔やった演習問題と、ダウンロードした Milne の lecture note の幾つか。A4にして結構な枚数だ。棚の整理は今度やることにして、今日は終了。7時半過ぎに職場を離れる。

夕食は王将へ。片付けの合間に昔のブログを見ていたんだが、王将の社長が射殺されたのは6年前のようだ。で6年前に社長追悼のため食事に行った、と書いてあったので、今日も行ってみた。この前は「極王炒飯」と餃子だったのだが、今日はいつも通りキムチ炒飯と餃子。スタンプ一個押してもらう。で例年は大抵スタンプカードにスタンプがたまらないうちに期限切れになってしまうんだが、今回はちゃんとスタンプを必要なだけもらったので、餃子無料券と交換してくる。これでまた近いうちに王将行きが決定。いつ行こうか？まあ適当に行くわ。

卒業アルバムに載せる卒研の写真だが、去年までは担当者にメイルを書けばよかった。が今年から、然るべき場所にアクセスして、そこで予定を入力しないといけなくなった。うーん、IT弱者には生き辛い世の中だな。成績も昔はOCR用紙に丸を付けて出すのだったが、数年前から然るべき場所から入力しないといけなくなった。学科会議や教授会の資料も全部オンライン化。まあ紙がたまらないのでいいんだが、やっぱり感じが出ない。おっと脱線した。写真は来週の卒研の時間に撮ってもらうことにした。来週は寝坊しないようにしないと。おっと明日も勿論遅れちゃいけないな。注意注意。

久々にパソコンの電源を切る

昨日は珍しく日が変わる前に寝た。でその後死んだように眠り、起きたら午後。まあ一日ちょっと無理をしたんでね。酒？いえいえ、違います。日曜の晩は呑みません。

起きたら、有理点探しのプログラムが終わっていた。見付かったって？いえいえ、無理でした。やはりもっと bound を大きくしないといけないらしい。で職場に行く前に、久々にパソコンの電源を切った。Windows 7 は安定しているのか、途中一切不具合が無かった。前に Windows 98 を使っている時はひどかった。そろそろ Windows 10 に切り換えなあかんねんけど、安定性はどうだろうか？心配。

で今日は4時20分から卒研1なので、3時半過ぎに住処を離れる。今日は二次形式の類群の話。Genus ってこういう定義なのね、という感じだった。恥ずかしい話だが、二次形式の類群の有限性の証明も genus の古典的な定義も知らなかった。勉強に成った。やっぱり学生に勉強させて、それを聞いて賢くなるのが一番楽。ここ10年くらいは修士の学生に恵まれなかったが、今年はいい。まだまだ勉強してください。

PC-8001 が発売されて40年経つそうだ。で NEC のパソコンの宣伝が web のページを見ると出ている。何でも今 NEC のパソコンを買うと、BASIC で「平安京エイリアン」が動く機械をくれるそうだ。あ、くれるじゃなかったかな？まあ何かとにかくあるらしいですわ。ただ一番安いのでも16万くらいの値段だった。出来れば消耗品にしたいので、10万は切って欲しい。10万切ってるパソコンのスペックを見ると、概してメモリーが少ない。ハードディスクの容量が多少少ないのは構わないんだがな。まあ機種選びはもうちょっと考えよう。

横浜優勝！

昨日肝心なことを書き忘れた。横浜が優勝したんですよ！横浜Fマリノスが。いやー、横浜優勝、という響きはいいですな。J2では横浜FCが2位でJ1昇格決定。今年は Baystars も2位だったし、横浜のスポーツチームには総じていい1年だった。来年は3チームまとめて優勝してもらいましょう、というわけにはいかないんだな。横浜Fマリノスと横浜FCがJ1だから。まあ来年は横浜FCがJ1優勝、横浜Fマリノスが2位、そして横浜DeNAベイスターズは優勝（日本一）というのがいいですね、うん。Fマリノスは15年振りの優勝だったそうだが、ベイスターズは22年振りになる。もう38年待つ気はないんでよろしく。

今日は昼過ぎに職場に行った。片付けのためと、昨日やるはずだったUPECSのソースの印刷と、三宅敏恒「入門線形代数」を取りに。来年度は2回生の線形代数を担当することになったが、その作戦練りということで。シラバスを1月22日までに書かないといけない。シラバスって何？と言う学生が多いようだが、読んでいる学生もいるので、真剣に書かないと。まあ12月20日にちょっと研究発表をしてくるので、それまではシラバスには時間を割かない。4ヶ月先のことよりまずは目先の研究である。充実した発表に出来るようにしたい。

考えてみると、東京に20，21で出張、金沢へ25、26、27と出張。結構ハードスケジュールだ。まだ予算には大分余裕があるんで、問題無し。今気付いたが、宿を取ってない。大丈夫だろうか？今から急いで取ろう。

横浜で初雪

昨晩は結局遅くまで起きていて、今朝は起きなかった。ということで職場にプリントアウトに行くのも無し。明日も行かないかもな。まあいいや、そうしたら月曜日だ。月曜日は卒研1のため絶対行くし。

横浜で初雪が降ったとか。ついこの間までは暑かったようなんだが。近いうちに出張で東京に行くが、その時は寒くないことを願おう。月末には北陸出張だが、北陸の天気も落ち着いてくれているといいが。

他人のプログラムは読めない

どうも木曜日辺りから生活リズムを崩すな。昨日は相当遅く起きた。が、やはりそういう日は早く寝られる。今日は昼くらいには起きた。月曜日には大丈夫になっているだろう。

今日は起きてから他人のプログラムとずーっと格闘。コメントが何も入っていないので、何を書いてるかさっぱりわからない。UBASIC は640kBしかメモリーがなくても走るのが魅力だが、ちょっと贅沢に変数を使うと、あっという間に out of memory となってしまう。なので、変数を使い回ししているもんだから、これが困る。例えば B＝B^3＋b2* B^2*C＋b4*B*C^2＋b6*C^3 とか。とりあえず ascii save しておいたので、明日にでも職場に行ってプリントアウトしよう。家でしないのかって？住処にはプリンターが無い！買っても置く場所が無いしね。どんだけ散らかってんねんというくらい散らかっているからね。職場も同様。職場ではこっちに来た年にパソコン用のデスクを買って、それはディスプレーの上にプリンターを置けるので、問題無いのだが。定年退職したらプリンターを置ける場所を作らないと。

今日は寒い。床暖房だけで足りずに暖房を回している。関東はもっと寒いそうだ。大変やね。

A君風邪でダウン

今日はちゃんと起きて、時間前に職場に着いた。で部屋でメイルを見たら、A君が風邪で休む、とのこと。ということで今日は右京さんだけ。虚二次体の整数環で素イデアル分解の一意性が成り立つことを証明して、「次の節も出来ないことはないですけど」と言っていたが、次の節は素数の素イデアル分解がルジャンドル記号でわかることという、超大事なことなので、そこで強制終了した。1時間で。まあいいや。

その後恒例部屋掃除。今日もよくわからないものを処分。空いた棚に「数学」と「数学通信」をとりあえず並べる。大分片付いた、と思ったら、「数学」と「数学通信」の上にかぶっていたゴミを他のところに移しただけで、山が一つ出来上がっていた。山を崩してみたら、「Tata Lecture」と岩澤先生の「代数函数論」が出て来た。岩澤先生の本はつい最近買ったばっかりなのだが…。まあいいや。また今度続きをやろう。今度っていつ？まあ金曜日か土曜日だな。

昨日書いた有理点探しだが、もう少しジタバタしようということで、UPECS のソースを解析して、－2503y²＝x³－4 に特化して点探しをしようかと思っている。まあ今日はこれからちょっと呑んでくるんで、こちらも明日以降。

y2＝x3＋4×25033 の Q 有理点見付からず

今日は昼前に目が覚めた。若干寝不足だが、眠くないのでそのまま起きていた。で職場に部屋の片付けに行った。ようやく試験の答案やレポートを全部処理できた。その後も片付けを続けて、名簿や追試の答案が出てきたが、これは少量なので即シュレッダー行きで無事終了。これでしばらくシュレッダーのお世話にならなくて済む。今思案中なのは日本数学会から送ってくる「数学」と「数学通信」。ほぼ見ていないんだが、何か捨てるのも何な気もするし。Journal は捨てたんだけどね。まあ本棚に少し余裕が出来たから、とりあえず配架しておくか。定年になる時に全部捨てそうな気がするがなー。まあいいや。そう言えば最近数学会からの郵送物が無いと思ったら、会費滞納してるな。学会にしばらく行ってないから、払う機会が無かった。明日にでも学会に問い合わせして、滞納額を聞こう。幸い振り込みカードを作っておいたので、口座番号は調べなくても大丈夫だ。

片付けが一区切りついてからちょっと勉強。いつもの通り計算用紙の消費も兼ねて。で途中ちょとメイルを見る。よこえもん氏からメイルが来ていた。

RuntimeError: Unable to compute the rank, hence generators,
with certainty (lower bound=0, generators found=[]).
This could be because Sha(E/Q)[2] is nontrivial.
Try increasing descent_second_limit then trying this
command again.

というメッセージが出て、止まってしまったそうだ。うーん、そうか。ということは生成元は相当 height がでかいんだな。誰か y²＝x³＋4×2503³ の無限遠点以外の Q 有理点を一つでも見付けて下さい。点はあるのかって？ある。Analytic rank が１だから、えーと、Coates－Wiles の定理を引用するのがいいんだろうか？それともKolyvagin？まあどっちにしても rank＝1 が従うので、有理点は無限個ある。ということで、頑張って探して徒労に帰す、ということはない。見付けて下さい。見付けたら、そうだな、褒めてあげよう。これでなくても
－2503y²＝x³－4 の有理点でもいいんだけど。面白い問題だと思うが。こういうのを引き当てるあたり、小生中々運が強い。学位だってちょっと面白い問題を見付けてもらったようなもんだし。勉強だけしてても学位は取れないんだよ、うん。さて、次のネタを考えるかな。

卒研1は今日から2冊目

今日は早目に職場に行って、お片付け、のはずだったのだが、恒例起きられれず。幸い飯を食う時間とシャワーで寝癖を直すくらいの時間はあったので、それだけしてから急いで出発。4時23分頃ウェストウィング着。

今日は卒研1。Mordell－Weil の定理の Q バージョンの証明が完成。Height の評価をしているところはひたすら呆然としながら聞いていた。あんなものは人の話を聞いただけでわかるわけがない。まあ粗筋は押さえた。最後の descent は馴染み深い議論なのでちゃんと聞いていた。でもう1章残っているだが、そこは難しい定理の overview が書いてあるだけなので、読むのを諦めたようだ。で次の本に突入。1年掛らずに GTM を1冊読んでしまった。立派だ。2冊目は Cox の「Primes of the Form x²＋ny²」。今日は慣れ親しんだ「p＝x²＋y² ⇔ p = 2 または p ≡1 (mod 4)」の証明。が、その証明は学生がかつて読んだ証明と違うようなので、しっかり解説してくれた。来週から二次形式。二次形式が同値であるとはどういうことかを定義して、類群の話に進む予定。学生はイデアル類群を知っているので、二次形式の類群との関係を知るには丁度いい。類体論も事実だけだが出ているようなので、勉強になるだろう。楽しみ。

ゼミ終了後、本来はゼミ開始前にやるはずだった部屋掃除を少々。また試験の答案のシュレッダー処理。また袋が一杯に成った。前はこんなにすぐ一杯に成らなかったはずだが、と思っていたんだが、ちょっと原因が分かった。昔の答案用紙は今のより紙が厚い。ということでシュレッダーの中でへたらないのですぐ一杯になってしまうのだろう。事務の人にまたお願いのメイルを出さないと。明日は早目に起きたら片付けの続きをする予定。まあ起きないな、多分。

渋野日向子賞金女王ならず

今日は昼頃起きた。食事を取ってから職場へ片付けに行く。今日は学園祭だったらしい。すっかり忘れていた。日曜日はウェストウィングの近くに車を止められるのだが、駐車場の前で守衛さんがこっちへ入れとジェスチャーしていた。こっちは駐車場に止めたくないので、直進する、という意志を示したら行かせてくれた。ということで無事ウェストウィングのそばまで行けた。

今日やったのは昔のレポートと答案のシュレッダー処理。いつもやっているじゃないか、と言われるかもしれないが、その通り。「桜を見る会」の招待状を破棄出来るような高性能シュレッダーは無いので、袋が一杯に成ったらその度に変えないといけない。袋がどこにあるか知らないので、毎回事務室の人に袋が一杯に成った旨メイルを書き、それで後日、となるため中々全て破棄出来ない。まあ後数回やれば何とか成るでしょう。その後本棚の整理。本棚の一部に古いソフトウェア（Maple IV とか Acrobat とか）の箱と CD-ROM がくすぶっているので、廃棄。さらに「日本理学書総目録2008」とかいう古いのも廃棄。大量にゴミが出た。明日は早目に行って続きを、明々後日は卒研2の後に続きを、明後日は早く起きたら行って続きをやる予定。それで随分片付くと思うが、まあ本棚の転倒防止金具を付けてくれるのは1月に成ってからのことらしいので、本棚とは関係無く焦らずノンビリやる。

作業の合間に休憩がてらネットニュースを眺めていたら、「渋野日向子賞金女王ならず」のニュース。うーん、そうか。このまま賞金女王にあっさり成ったらいけないと思いつつ、全英オープンの優勝の瞬間を、深夜にもかかわらず、テレビで生中継を見たものとしては、逆転賞金女王に成って欲しいという気もあり、複雑な気分だった。まあまだ20歳。賞金女王に成れるチャンスは今後何度も訪れるんでいいでしょう。来年も期待。

昨日書いた奴はまだ計算が終わっていない。どんだけ height がでかいんだか。よこえもん氏に「何とかならないか？」とメイルで頼んでみたのだが、彼ですら手を焼く代物のようだ。明日職場のワークステーションで計算させてみる、とのことなので吉報を待つことにする。因みに y²＝x³＋877x の生成元もheightがでかいので有名だが、これは Sage に適切なパラメーターを与えれば瞬時に計算してくれる。今回の場合はもっとheightがでかいのか？それとも y²＝x³＋877x は位数2の有理点を持って、小生が考えている場合は位数2の有理点を持っていない、その差なんだろうか。