あんまり寝られなかったが、まあいいか、と起きた。ドーピングして食事して。で院試を受けた学生が問題について質問してきたので、考える。例年行列の群がよく出ていたようなのだが、今年は Chinese remainder theorem を使う問題が出ていて、結構傾向が違ったようだ。解析も位相も難しい問題が出ていたらしい。で代数の問題を考えるが、ちょっと難しい。うんうん唸って、さっきようやく解答が作れた。世界陸上の競歩を流しながらやっていたが、川野将虎が銅メダル。今大会日本人のメダルは初めてらしい。で3時半くらいだったのだが、表を見ると真っ暗。外に出てみたが、雨は降っていなかったが、黒い雲がどんより。伏見と久御山で短時間大雨情報が出ていた。大阪も大雨で交通が乱れているらしく、「よんチャンTV」に出る筈のタレントが来ていなかった。
「将虎」と聞くと「上杉政虎」を思い出す。誰だって？上杉謙信のこと。長尾景虎を名乗っていたが、関東管領の上杉家を継いで、将軍から「政」の字をもらったのだ。その後次の将軍から「輝」の字をもらって「上杉輝虎」、そして剃髪して「上杉謙信」と名乗った。「上杉景虎」と名乗ったことは無く、これは北条氏からの養子が名乗っていた。景勝との相続争い「御館の乱」は名高い。景虎はこれに敗れて自刃。この過程で上杉と武田が和睦するという奇跡のようなことが起こって、武田はこれに伴い北条と破断、滅亡へ、ということになる。武田勝頼の夫人は北条氏の出だったが、親元に見捨てられ勝頼と共に死す、という悲劇があったのは有名、かな？
6時から野球。今日は Baystars 東、Carp 床田の10勝対決。1回に満塁のチャンスを作るが、チャンスに強い大和が凡退で無得点。むぅ、またか、という感じ。が、2回に山本がヒット、西浦凡退、東送りバント、床田との好相性を買われて1番起用の大田がタイムリーヒットで先制。山本がよく走った。3回は絶好調の4番牧がヒットで出て、ソトがレフトポール直撃の2ランホームラン。久々の3得点。が、今日の得点はそこまで。6回にもう一度満塁のチャンスを作るも無得点。貧打傾向は変わらず。が、東がよかったので助かった。7回1失点で11勝目。ハーラーダービー単独トップ。11勝はルーキーの年に並ぶキャリアハイ。借金生活に成らなくてよかった。まあ Giants が勝ってしまったので4位のままだが。明日からはバンテリンドームで Dragons と。どん底気味の Dragons なので、取り返しましょう。
上に書いた通り代数の問題が解けたのはちょっと前。野球を観ながら（いや、観てないか）考えていた。要するに「n｜m ⇒ 自然な写像 (Z/mZ)× → (Z/nZ)× は全射」を示せ、という問題が難し過ぎるから少し易しくした感じの問題。秘蔵の代数問題集にこのことの答えをメモっておいたものがあったが、何かゴタゴタしていて、綺麗とは言えない。で今回の件でもう少し簡単に証明出来るような気がしてきた。ゆっくり考えたいところだが、昨日書いた通り明日はうちが院試。寝不足なので早く寝ないといけない。明日時間が出来たら考えよう。で気付いたのだが、まだ科研費の申請書類を全く書いてない。この前事務からメールが来ていたが、締め切り間近だ。院試が終わって事務手続きが終わったら、科研費だな。
