車の鍵を洗ってしまう。

中々寝付けず、寝てもすぐ目が醒める、という状況を何度も繰り返し、超寝不足状態。朝ごはんを食べてからも良く眠れないが、眠るべく努力。昼ご飯を食べた後は3時間くらいは眠れた模様。一応腹に物を詰めて、洗濯して買い物してガソリンスタンド寄って、また寝るべく努力をしてみる。明日の朝まできもちよく寝られればいいが。

さて洗濯が終わって洗濯機を開けてみると、何やらカラカラと音がしている。自動車の鍵を一緒に洗ってしまった。これはまずい、精密機械だぞ、ということで、車の鍵を遠隔操作で開けてみたら、無事開いた。エンジンもかかった。ということで買い物をしてきたわけだが。やれやれ、数年前に万歩計を洗ってしまい、うんともすんとも言わなくなったことがあり、それを思い出したのだが、今回は無事でよかった。これで明日も無事出勤できる。

明日から京大で「代数的整数論とその周辺」が始まるのだが、例によって木、金しか行けない。いや、金曜日も無理かも。ということで今回は1日のみの出席ということになりそうだ。残念。

寝ていた模様

今日はガロア理論の基本定理の証明を、多少時間延長で終わらせてきた。代数の大きなハイライトだし、きちんと証明してくる。来週は基本定理の使用例をドバーッと挙げて終わる予定。

午後は院生の講義。もう p 進体の講義はほぼ終了。来週は何をしようかと思ったねあが、とりあえず多少やってから、Ostorowski  の定理でも証明しようかと。次週なかなか困っている。まあやることいっぱいだし、射影極限でもやるか。
（と数日前に書いたところで、投稿せずに寝た模様。）

ノートパソコンを修理に出す

先日USBメモリーのデータ復元で金を使ったが、今度はパソコンの修理。] キーが外れてしまって、修理に持っていったところ、「キーボードを基板から取り替えるので、結構かかりますよ」と脅された。うーむ、最近貧乏だからなー。あまり出費はしたくないんだが。金曜日に東京に行くかどうかも今迷っているところだし。それに15万円の研究旅費はもう使い切ってしまっているから、出張してもお金は個人研究費からで、これは４月の末に２４万先払いで振り込まれてるのを使うだけだから、貧乏なままであることは変わらない。ただ面白そうな話だからなー、どうしよう。それに土曜日は補講だから、日帰りになりそうだし、体力面でも辛い。あー、困った。どうしよう。

「暗号理論」の終わった後は書類書き。５年に１度の資格審査。で論文の引用件数を調べたが、小生の論文は何やかんやで結構引用されていることがわかった。Q(√37) 上至る所 good reduction を持つ楕円曲線の論文は小生の出世作だから、引用されていると嬉しい。ちょっと前までは木田さんの論文がよく引用されていたんだが、小生の論文もようやく引用されるようになった。ここ５年では論文も出ているし、よく引用されているし、韓国に喋りにも行ってきたから、書類には結構書くことが多かった。で「象の卵」は当然用意されていないので、久々に Word を使った。相変わらず使いにくいね。１時間ほどで終了。その後は教授会で、こちらも１時間ほどで終了。帰ってきて「ケータイ大喜利」特別編と、「相棒13」の録画してあった分を見る。明日は早いし、もう寝る。酒は抜き。

日馬富士優勝！

今日始まる時点で日馬富士が1敗、白鵬、松鳳山が2敗で追う展開。さあどうなる？まず松鳳山が負け。勝てば優勝の日馬富士も負け。これで白鵬が勝てば決定戦、という結びの一番は、対白鵬戦4勝31敗の鶴竜。こりゃ決定戦だぞ、と思ってワクワクしながら見ていたが、何と白鵬あっさり負け。ということで優勝争いをしている3人が全敗という変な優勝の決まり方。まあでもいいのだ日馬富士の優勝は安馬時代から応援しているこちらとしては非常に喜ばしい。豪栄道も何とか勝ち越してカド番脱出。いい加減首投げから卒業して欲しいものだ。

大阪のダブル選挙は、市長も府知事も大阪維新の会とか。「府民が選択したのは大阪維新の会でした。」とアナウンサーは随分声を張って言っていたが、どっちも投票率30％割ってるそうじゃないか。そんなのは本当に府民の選択と言っていいんだろうか？

熱戦、また熱戦

今日（昨日ね）は、学生の質問対応のため、16時20分から職場へ。「微積分が難しいだろうから、きっと小生は暇や」と思ったんだが、やはり抽象ベクトル空間は難しいらしく、ほとんど線形代数の質問で終始した。で学生は18時（！）から教職課程の講義があるらしく、大半は退散。残った数人の対応をしていたんだが、「ごめん、日韓戦見たいから帰らして」というふざけた理由で退散。一応17時50分まで対応すればいい、ということだったので、許してもらう。

で日韓戦。大谷翔平のすごいピッチングに韓国は歯が立たず、凡打の山。で3－0で迎えた9回。もう勝ったろう、ということで左団扇で見ていたら、韓国の猛攻に逆転を許す。3－4。9回裏は日本はランナーを出すも、ダブルプレーでゲームセット。日本の優勝は無くなる。3位決定戦はどこが相手になるかわからないが、3位入賞を目指して頑張っておくれ。

相撲も忘れちゃいけない。明日は全勝の白鵬と1敗の日馬富士との直接対決。明日の一番が優勝を左右する。頑張れ日馬富士。

24時間起きています。

今日は呑んだ。さっき帰ってきたところ。ということでほぼ24時間起きている。まあ昨日はああは書いたものの、1時間位は仮眠を取っていたようである。アラームの成るのを気付かず止めていたし。

昨日は水曜日。例に寄って一番きつい日。まず「代数学II」。いよいよガロア拡大、固定体、ガロア群とオールスターが揃ってきたところ。来週が楽しみ。その後学生と面接があるので、少し真剣に待ち構えていたんだが、5分で終了。うーん、…。午後は院生の講義（講義名を調べるのが面倒なので、略）。ヒルベルト記号の explicit formula と、それから導かれるペアリングの非退化性や、局所類体論の2次拡大バージョンなど。最後にヒルベルト記号の積公式を証明して、「今回は平方剰余の相互法則からヒルベルト記号の積公式を証明したが、実はヒルベルト記号の積公式から平方剰余の相互法則を導く方法もある」と叫んだところで講義終了。ノイキルヒ（梅垣訳）を宣伝しなかったのを後悔。

さて住処に帰ってきたところで、野球を見よう、と思ったら、どうも1日勘違いしていたらしく、vs. 韓国は今日（昨日ね）ではなく明日（今日ね）だったらしい。何だ、と思ってチャンネルを回していたら、昔の「科捜研の女」を放送しているではないか。これは面白い、と思ってしばし。で話が中途半端なところで終わったと思ったら、どうも2話続きだったらしい。ということで明日（今日ね）も見るべく、録画セット。（野球の裏だから、リアルタイムで見るわけにはいかない。）が、ハードディスクの残り容量が少ないので、このままでは録画できない。ということで1番組見る必要がある。そこに何と「着信御礼ケータイ大喜利」の10周年記念スペシャルが見ずに残っていたので、見る。面白い。レジェンド多数誕生。まあお祭りだからね。レジェンドを乱発してもいいでしょう。ということで面白かった。で呑みにいって今に至る、というわけ。

で「ケータイ大喜利」に阿藤快が出ていたんだが、最近お亡くなりになった。うーん、6月の収録の時は超元気で、阿藤快節連発だったんだが…。人生ははかない。ご冥福を祈る。

旧友より電話あり。

こんな時間まで呑んでることはしばしばだが、今日は10時前に寝て、3時頃目が覚めてしまった。早く寝られたというのは疲れてたといういうことだろうし、早く目が覚めたというのは疲れがとれたということだと解釈しもう起きていることにする。今日は10時40分から講義だから、寝坊できんしね。

さて、先日東京で大学の同期会が細々と行われたそうな。そこで小生の同級生が何やら小生の現在に興味を持ったらしくメイルをくれた。「連絡先を教えてくれ」とメイルに書いてあったので教えたところ、早速電話。10分くらい話したろうか、元気そうであった。うちの学生の前で色々体験談を話してもらったら面白いかもしれない、ということで明日から学科長、就職委員の先生、そして全員に根回しして、ということになった。久々だな。楽しみである。まあ皆から良い反応があればの話だが。反応が悪ければその場合はこっちから東京に出向くか。

Koblitz というのはすごい人だ。

学生に N.コブリッツ（上田、浜畑訳）「楕円曲線と保型形式」（丸善）を読ませているのだが、コブリッツの大胆さには恐れ入った。上半平面 H 上の閉曲線 C 上を積分するのに、道の途中に C や Hがあったりする。まあこれくらいは許そう、と思ったが、次のえぐい奴には驚いた。保型関数j(Z)を議論している時に、Π_j(j(z)－j(z_j))、…、何なんだか。講義中に記号を混乱させたりダブらせたりしないようにしている小生の苦労は何なんだか。まあコブリッツという人はすごく頭のいい人なんだろうな、と実感した次第。

申し訳ない

菅野が2点取られたところで、今日は負けだな、思ってしまったアンチGを情けなく思う。筒香の2打点、中田の3ラン、筒香のタイムリー、マッチの満塁ホームランなど、肝心のシーンを全て見損ねた。「お前は本当に野球ファンか？」と言われたら、そうじゃないとしか答えられない。山崎康晃の初登板シーンも見損なう。

わかりました。言います。「小生は野球ファンではない。単なるアンチGである。」

金沢激混み

毎年12月26日、27日は金沢大学サテライトプラザで研究集会が行われているんだが、その案内が来ていた。今年は新幹線効果で宿の確保が難しいかもしれない、と言われていたので、早目に手配。が、いつもの宿が中々取れない。楽天やらじゃらんやろ何やらの幾つかの旅行会社のホームページを回って、ようやくいつものホテルが取れた。そこはポイントカードを作っていて、期限が1年なので、毎年泊まる羽目になっている。でこの前金沢へ行って、1年縛りから解放されよう、と思ったんだが、そのときもそのホテルは一杯だった。駅前で安いからね。まあ今回ポイントを一旦全部吐き出してこようかな。そうすれば来年度からは違うホテルにも泊まれるし。

vs. アメリカ放送中。ソロホームラン1発打たれて、1－0で負けているところ。宿の予約が済んだところで、これからゆっくり観戦。呑み屋には野球終了後、と思っているんだが、実は冷蔵庫にビールがうなっている。一番搾りのキャンペーンに応募すべく、珍しく箱買いしてきたんで。呑みながら観戦しようかな。

TeX打ちまたもはかどる

昨日（一昨日ね）、職場で「数理科学特論2」の講義ノートのTeX打ちした分を全て印刷して持って帰ってきた。Typo 多数、3，4行飛ばしてるん部分多数。ということで、やっぱり紙に印刷してみないと間違いは分からないものである。ペーパーレス社会など本当に来るんだろうか？まあそれはともかく。印刷してきたものと手書きのものと両方を見比べて間違いなおしをして、まだ打ち込んでない部分をがっつり打ち込む。今日もはかどった。で数年前の院生の修士論文で、「うまく打てない」と彼が悩んでいた部分も解決。TeX なにするものぞ、わっはっは。伊達に TeX 相手に4半世紀も戦っておらんわ。YaTeX とか言うのに若い人は頼るものだが、自分の頭に入っている TeX のノウハウはYaTeX などよりはるかに優っている、と信じて疑わない。ただ今日久々に TeX の本をめくった。「同相である」ことを表す二本波がどうしても思い出せなかったので。\approx でいいということがわかって、TeX の本はお役ごめん。ということで TeX に圧勝。気分がよい。で今日は諸事情でビールが大量にあるので、呑み尽くしてやろうかと思ったんだが、やはりぬるいビールはいまいちと言う事で、冷やして明日（今日ね）以降呑む。もちろん仕事に支障がないように。

いい家族だ

昨日（一昨日ね）の晩から今朝（昨日の朝ね）にかけて、水曜日恒例の激呑み。さすがにこの時期では明るくなるまでは呑めないが、夏ならもう夜明けを迎えている時間まで呑んでいた。で2軒目に「NANGOKU」へ行ったんだが、隣の「より道」のママとビッグママ、そしてママの妹と3人で呑み吞み歌っていた。うらやましい限り。子供の頃ドラマなので親と呑んだり兄弟と呑んだりしているシーンが流れると、「あぁ、俺も大人になったらやりたいものだ」と思っていたんだが、兄貴は全く呑めないし、お袋はそれにちょっと毛が生えた程度しか呑めない。親父はというと、多分家系的に呑める筈だが、若い頃にちょっと酒でしくじったことがあるらしく（詳細は聞いているが、一応秘密ということで）、それから呑んでいないそうだ。ということで家族で呑む、という野望は達成されなかった。カラオケはというと、兄貴は流行歌は全然聞かないし、お袋もカラオケは嫌いだという。親父はもう耳が遠いから、無理だろうし。ということで家族でカラオケ、というのも達成できていない。その点「より道」の親子兄弟は羨ましい。あんな仲のいい親子姉妹はそうはいまい。いい家族だなー。

まあそんなこんなで遅くまで（早くまで？）起きていたので、今日（昨日ね）は相当遅く起きた。で「相棒」の今のシリーズはようやく全部見た。（昨日（一昨日ね）は野球のため放送が無かったのが幸い。）織本順吉という、時代劇でよく見た俳優が未だ健在だった。時代劇では貧乏で人のいいおじさんから悪代官までと、実に色々な役をこなしていた名優。「相棒」では90歳の役をやっていたが、本人もそれくらいだろうか。まだまだ長生きしていい役者っぷりを見せてもらいたいものだ。

自分の論文が引用されるのはやはり嬉しいものである

今日は14時30分で講義終了で、その後16時30分から教授会。ということで2時間も空くので、色々やっていた。で拾ってきた論文を眺めたら、何やら「Q(√37) 上至る所good reductionを持つ楕円曲線」とか、「これは志村の楕円曲線と同型で」などというフレーズが。文献表の[2]を見よ、と言うので見てみたら、これが何と小生の論文ではないか。今まで書き散らかして、本人か共同研究者以外引用がなかった論文が、ここに来てようやく日の目を見た感じ。20代の最後に書いて、30歳の時に発行された論文。思い入れは深い。これからもどんどんこんな論文を書き続けられるようになりたい。が、当分はちょっと無理そう。また半年位休暇をもらわないと。

色々やったうちの一つが講義ノートのTeX打ち。37ページまで打ってあったのが30ページまでのバージョンだけ生き残ったので、何とか追い付き追い越せということで。でもうすぐ前のバージョンに追い付く。明日の昼休みの頑張り次第だ。アムロ行きます！
 

紳士？笑わせるねぇ！

球界の紳士の真の姿は、野球賭博に賭けマージャン、バカラ賭博にと、こういうものらしい。それを「紳士たるもの髭をそれ」だと。笑わせてくれるねー。小生もうちょっと紳士を続けたいので、髭は剃らないことにする。まあそうは言っても水曜か金曜までかな。

ゼミ二本立ての月曜日。テキストでは “cusp form” を「カスプ形式」と訳してあった。「日本語で何ていうか知ってる？」と聞いてみたら、ちゃんと「尖点形式」と書いた。えらい、と思ったら読めなかったそうだ。なるほどそれは仕方がない。iphone は「尖」を「せん」と登録してなかった。MS-IME には登録済み。しかし検索キーワードの中に「尖閣諸島」というのが出てきて、「お互いもっとニュースを見たり新聞を読んだりしないとねー」と一言チクリと言っておいた。二つ目のゼミは今日も全然進まなかった。証明がよくわからない命題があって一苦労。去年、一昨年はこんなに苦労しただろうか？確か藤崎源二郎「体とガロア理論」には同じ証明が出ていたはず、と思って探したんだが、職場にある三冊に分かれたのが三冊とも見当たらない。住処へ戻れば、あの分厚い一冊になった方があるはずだが、それも見付からず。仕方ない。明日図書館で借りよう。おっとそう言えば期限を守っていない本が2冊ほどあって、督促が来ていた。明日2冊とも返して、代わりに藤崎先生の本を借りてこよう。

世界野球プレミア12始まる

今日から世界ランキング1位から12位までのチームで対戦する「世界プロ野球プレミア12」が始まった。大谷翔平が凄い。161km/h のストレートに、147km/h のフォークボール。これでは韓国といえど歯が立つはずなく、6回を無失点。ただいま8回表韓国の攻撃中だが、4－0 と楽勝ムード。まあヒットの割りに点が入っていない（10安打で4点）と、不満を言えばきりがないが、まあ勝てばいいということで。試合終了までもうちょっとなので、見終わったら寝る。

今日は何か無気力だった。野球見るのもやめようか、と思った位。まあ幸い日本有利に動いているので、最後まで見られそうだが。などと書きながらテレビから目をはずしていたら、坂本（Giants）のファインプレー。凄い。今日は坂本は犠牲フライ、ホームランで2打点、そして今のいいプレート、シーズン中に黙っていただけの甲斐があるプレーを見せてくれた。さあこれからも「プレミア12」の間だけ暴れてくれー。

TeX打ちはかどる

先日書いたUSBメモリーが飛んだ件だが、泉さん（誰？）の協力で一部復旧できた。で肝心の一番欲しいファイルはというと、消えていた。が、先日大分に行った時に編集したバージョンが奇跡的に残っていたので、打ち直し。まあこれがはかどることったらないわ。小生の趣味は「TeX打ち」と履歴書に書きたい位長時間打った。いっそのことタイプ打ちに転職しようか、と思った位。が、そこはやはり内容が数学だからで、当大学で配られる分厚い奴、通称「文書」と呼ばれる奴などとても打つ気はしない。本当に分厚くて、教授会でその要約を配られ学部長が説明してくれ、やっと内容を理解して、「じゃあ目を通すかな」という気になるくらい。そんなものを何日もかけてタイプしている人の精神は大丈夫なんだろうかと、ふと心配になってしまう。まあ数学者も「あんなわけのわからないもの毎日やって、精神はいかれないんだろうか？」と思われている節もあるので、似たようなもんかも知れん。ただやっぱり数学には論理的な「筋道」があるからね。大学の出してくるやつはもうわや。論理も筋道も関係ない。ただ「書いただけ」という印象。まあしばらく TeX 打ちに励むことにして、今日はお休みなさい。明日は午前中から講義なんでね。