Hasse-Minkowskiの定理

水曜日の講義は今日から。でちょっと疲れが溜まっていて、よく寝た。10時頃目が覚めた。「うーん、眠い、30分に成ったら起きよう」と思って冷静に考えたら、10時40分から代数学 I の講義。こりゃいかん、というわけで慌てて起きて、急いで出発。事無きを得る。で午後は13時から講義だと思って、講義室に行ったら冷房が回っていて電気がついているだけで、誰も居ない。20分くらい待ったろうか、誰も来ない。登録者0かなこりゃ、と思って事務に電話してみたら、18名もいるとのこと。でよく聞いてみたら、講義は14時40分からとのこと。こりゃまいった。今日はどじばかり踏んでるな。まあ来週から気をつければいいことで、問題は無し。

ということで14時40分に再び講義室へ。沢山いる。そうか、この学年か、ということで見たような学生が沢山いる。で講義開始。大学院の講義なので、多少無茶やっても良かろう、ということで、隔年で代数体の整数論と p 進体をやっているが、今年は p 進体の番。Serreの「数論講義」のように始めるのは絶対無理なので、とりあえず形式的冪級数として定義しておく。で一通りアウトラインを話して、来週から抽象論。今日は p 進数を形式的に定義しただけで終了、でもいいんだが、何か応用が無いと面白くないだろうと思って、Hasse-Minkowkiの定理のステートメントだけ述べておいた。昔4回生の代数が前期、後期とあった頃は、一年掛けて証明を完全に話せたんだが、半期では無理なので、「証明は難しい」とだけ書いて終了。まあ取りあえず、「至る所 local ＝ global」とか言うことも話しておいた。どの口がそれを言うか、という感じだが、まあいいでしょう。

14時40分からの講義は久しぶりだったんで、何時終了か感覚が戻らなくて困った。話し終わったところで16時くらいだったので、10分ある。ということで、一昨日の足立先生の twitter のことをちょっと話した。どんな内容だったかと言うと、有理数体の不完全性（肯定も否定もできない命題の存在）というのがあって、それの証明に Hasse-Minkowski の定理を使う、で知人が送ってくれた論文の証明は何ということも無く読めたんだが、それが五里霧中の合同式の計算ばかり。ということでヒルベルト記号の計算にすればもっと見通しが良くなるはず、ということでやり始めたら深夜3時、証明は3分の1程度に成った、とのこと。「久しぶりに整数論屋に戻った気分だった」とのこと。どうしてどうして、先生は健在である。もう74歳に成らんとしている足立先生だが、見事である。小生も老後はかくありたい。

講義終了後は会議。今の学科長は大学の要職をずっと勤められていた方なので、会議を短くするすべをよーく心得ていらっしゃる。結論が出無そうな議論がいくつかあったんだが、そういうのをスパッと切って次の議題へ移るうまさたるや、舌を巻いた。あーじゃなきゃうちでは生きていけんね。おかげでこれくらいの時間に住処に帰れた。あの議論を全部まとめずに発散させていたら、もう30分や1時間は掛かったかも知れん。ありがたい。ということでこれから呑みに行ってきます。

草野球

色々書きたいことがあったが、今日のBaystarsの負けで書く気が失せた。9回表まで3－3と競った試合で真剣に見ていたんだが、9回裏のBaystarsの守りったら。先頭打者に三振振り逃げ、次のバッターは微妙な当たりで1塁セーフ、までならいいんだが、ロペスがグラブからボールを落とし、それを緩慢に拾っている間に1塁ランナーは3塁へ。次のバッターの時にワイルドピッチだかパスボールだか忘れたが、3塁ランナーホームインでサヨナラ負け。こんな草野球あるか！ロペスは2打点を帳消しにするくらいのチョンボじゃ！今日の査定はマイナス。三上も1イニング2暴投とは。オマハンも罰金じゃ！後ろにそらした嶺井も罰金！こんな草野球やってたら来年も5位以下じゃ！くそったれが。

照ノ富士、よー頑張った。

11時ちょっと前に起床。夜中に一遍目が覚めてからあまり深く寝付けなかったため眠い。今日は新車の1ヶ月点検のため、面倒くさいけどトヨタへ。1時間ほどで終了。

帰宅後は食事の後、眠いため、1時間ほど仮眠。今日はGiants vs. Swallowsの天王山があるため、テレビをBS日テレに合わせる。5回表にSwallowsが2点、裏にGiantsが1点取って、結局得点はそれだけという、何とも見ていて疲れる試合だった。勝ったSwallowsにマジックナンバー3が点灯。もう先は見えてきたな。今後のスケジュール次第だが、すぐにでも混セをSwallowsが制するでしょう。

で野球は5時過ぎに終わったので、地上波のNHKにチャンネルを変えて相撲観戦。豪栄道 vs. 稀勢の里がまず見物。豪栄道は7勝7敗。昔ならお約束のように豪栄道が無気力相撲の相手に勝って勝ち越し、となるところだったのだろうが、例の八百長問題でうるさくなったのか、それともこの2人は元々関係ないのか真剣勝負。結果は豪栄道の負けで、来場所カド番。豪栄道は関脇当時の強い相撲を思い出して欲しいものだ。自棄になっての首投げだけはやめて欲しい。

で一番の見所結びの一番。怪我をしている照ノ富士があっさり鶴竜に負けて終わりだろう、と思っていたのだが、どうしてどうして、照ノ富士強い。これで決定戦へ持ち越し。本割で膝の痛みがぶり返したか、決定戦は鶴竜の一方的な相撲。鶴竜は横綱になって初優勝。照ノ富士は優勝同点で、来場所の結果次第では横綱の目もあるとか。うむ、来場所も目が離せない。

「サンデースポーツ」の開始を待ちながら、先日買っておいてまだ呑んでいなかったサントリーの「The Original MALT'S」を呑む。うん、美味い。流石はサントリーの麦芽、ホップ100％で造ったビールだけのことはある。これからもちょくちょく呑むことにしよう。値段は多分プレミアムより安いので。まあキャンペーンに応募するため、プレミアムモルツも一番搾りも呑むことにはなるだろうが。

終戦

昨日10点取ったチームとは思えない内容で、4－1で負け。これでCS出場が100％消えた、即ち4位以下確定だそうだ。終戦やね。いや、まだ6位争いは終わっていない。今日負けたのでまたゲーム差無し。こっちの戦いはまだまだ続く。

Tigersもほぼ終戦。残り8試合で首位と4ゲーム差。まず絶望ですね。Giantsは首位と2ゲーム差と首の皮一枚で繋がっているが、Swallowsにマジックナンバーが点灯するのは時間の問題。こうなると面白いのはパ・リーグの3位争い。4位Marinesが残り試合が大分多いので、3位Lionsより先にCSマジックが点灯している。どっちにしろまだ見逃せない試合が多い。そろそろ講義モードに切り替えないといけないので、ずっと全部見るわけにはいかない。相撲も気になる。あー忙しくなるぞ。

炎天下で3時間強野球を見たせいか、少し日焼けした。京都の夏はとても出歩ける暑さではないので、ほとんど外出しなかったから昨日まで真っ白だったんだが。まあ多少の紫外線は害と言うよりむしろ体のためらしいので、良かった良かった。

番長また一つ記録

今日はBaystars vs. Dragonsの「裏天王山」を見るべく横浜に来た。が、しかし、切符は売り切れ。明日も売り切れているらしい。何しに横浜に来たんだか。まあ幸い、球場の外では大画面を備えてビアガーデンをやっていたので、そこで見たんだが。あんまり山科でTBSチャンネル2で見てるのと変わらない気がするが、大音声が響いてくるので、そこは現地で見て良かったというもの。それにBaystarsグッズも買ったし。番長と梶谷のユニホーム、「I ☆ Yokohama」のタオル。

で終盤に4点こそ取られたものの、10－6で圧勝。番長が6勝目。41歳以上の右腕で6勝は、木田優夫（元Fighters）の5勝を超える新記録らしい。凄い。また一つ伝説を作った。こうなったら、山本昌の持っている最年長勝利を塗り替えるまで現役を続けて欲しい。

さて明日も球場外観戦だ。ビールの呑み過ぎ注意。

広沢克己の明快解説

今日のセ・リーグは、Baystars vs. Tigers だけがデーゲーム。でさっき終わったところ。見事7－5で連勝。解説が広沢克己だったのだが、非常に明快で面白い。漫画のせいで頭悪い人かと思っていたのだが、そんなことはなく非常に頭のよい人だというのが感想。乙坂、倉本の打撃について非常に的確なアドバイスを与えていた。コーチ経験者だけのことはある。是非Baystarsの打撃コーチに成っていただき、伸び悩んでいる若手を育てて欲しい。

終了後は相撲だが、15分しか見られない。今丁度照ノ富士が勝ったところ。全勝。白鵬に追い付け追い越せというのが大目標らしいから、頑張ってくれるでしょう。

琴欧洲が「鳴戸親方」を襲名したらしい。やはり「琴欧洲親方」より響きがいいな。

金沢ナウ

石川県金沢市にいる。「北陸数論セミナー」で寺井さんが話をするので聞きに来た、というわけ。諸事情（後述）あって開始から10分ほど遅れて到着。ドアを開けた瞬間寺井さんが驚いていた。まさか来るとは思わなかったらしい。で話を聞いて、面白かった、という後で一呑み、二呑み。有意義だった。みすたぁが寺井さんと共著論文を書いてるとは思わなかった。こちらも頑張らねば。出来るなら単著で行きたい所だが…。

二呑みした後ホテルへ。金沢へ来るときは「セントラルホテル」と決めているんだが、昨日電話したら本館、東館とも満員とか。でしばし検索して「セントラルホテル」の駅の反対側にある「アパホテル」へ。部屋で涼んで、「試してガッテン！」のトイレの話など見て、のんびり。で喉が渇いたので飲み物を買いに部屋の外へ。廊下長っ！小生の住処はマンションの端のほうなので、廊下長っ！は慣れていると思ったら、その比では無い。幸いアルコール飲料は他の階に行かないと無いようなので、「生茶」で済ます。飲みながら（≠呑みながら）ニュースを見ていると、チリで地震があったらしく、津波注意報がまもなく出るらしい。どうせ「大山鳴動してねずみ一匹」に成るんだろうが、津波をなめたらいかん。気をつけるにこしたことはない。注意注意。

さて、（後述）と書いた件。一昨昨日から一昨日にかけて、何じゃかんじゃと朝5時近くまで起きていて、体調絶不調。で京産大まで行って帰ってきて、野球があんなだから披露倍増。ということで一昨日の晩は早く寝られたんだが、疲れていたのでよーく寝る。で昨日の10時半頃に目が覚めて、さーて、と思ったらもう1時間くらい寝入る。11時半頃電話。「今から伺いますがよろしいでしょうか？」とのこと。「いいですよ」ということでテレビの前で1時間強待つ。やっと来て、やることは30秒。えーい、ばかばかしい。怒り心頭でシャワーを浴びて荷造りして山科駅へ。金沢までの指定席を取ったら、次の電車は約1時間後。がーん。あと5分早く部屋を出ていたら、1本前のサンダーバードに乗れて、余裕で間に合ったはず。仕方ないので14時40分発のサンダーバードの切符を買う。で京都駅で昼飯を食べてコーヒーを飲んで一段落。14時40分、サンダーバードは定時発。が、何故か金沢着4分遅れ。16時56分頃タクシーに乗り込み、会場へ。到着した頃は17時10分くらいということだった、というわけ。長いね。要するに、昨日の来客を今日に回す、サンダーバードの時間をちゃんと調べておく、ということをしておけば余裕で間に合ったはず。今度からはサンダーバードの時間をちゃんとチェックしておこう。暮れにも金沢に来るから、ホテルの早抑え、サンダーバードの時刻のチェック、荷造りはお早めに、は忘れないにしよう。「セントラルホテル」のポイントカードは、1年でチャラになってしまうので、毎年帰納的に止まり続けている。今日は余裕を作るための金沢旅行のはずだったが、そうはならなかった。金沢は観光客が増えている。ホテルの予約はお早めに ＞ 皆さん。