交流戦始まる

今日からプロ野球は交流戦。で我が Baystars は Lions 戦。モスコーソの好投にロペスの3ラン、1アウト満塁でリリーフした田中が抑えたりと、言うこと無しの戦いで5割復帰で2位浮上（Dragons、Baystars が25勝25敗、Giants は24勝24敗なのだが、セは勝率が同じ場合は勝ち数で順位を決めるため、Dragons、Baystars が2位で、Giants は4位。）首位 Carp まで2.5差。面白くなってきました。

さて火曜日は代数学I。今日は極大イデアルの存在をやった後、P.I.D. など。今日は暑いのに冷房が入らず、ハンカチを忘れていったため、汗をシャツの袖で拭うという、あまりお上品ではない状況で講義。疲れた。明日は午前中だから、今日ほど暑くないだろう、と期待するがどうだろうか。ハンカチは忘れずに。

ついに5割！

11時に宿をチェックアウトして、お台場で夢民のカレーを食べて、そのまま新幹線で帰宅。車中はほとんど寝ていた。昨日の晩パソコンの電源を切り忘れたらしく、バッテリーが上がってしまっていたので、新幹線の中では仕事が出来なかったので。まあ急ぎの仕事ではなかったのでいいんだけど。

で4時少し前に帰宅。野球にチャンネルを合わせると、勝っている。2－0。ピッチャーは今永。こりゃ行っちゃうんじゃないのー？と思ってみていたら一転大ピンチ。2アウト満塁。3ボール2ストライク。危ない、と思ったが、須田がピシャリと三振で締めて、3者残塁。その裏乙坂のタイムリーで再び2点差。もうこうなったら勝ちは見えた。で三上、山崎の2人で2点のリードを守りきり、怒涛の6連勝！最高11まで行った借金を全部返して、ついに5割！さあぼんちゃん、ほんまに待ってろよ。（謎）

で阪神の結果次第では3位が見えてくる。2位の中日も敗色濃厚だし、このまま行くと一気に2位かも。うーん、楽しくなってきたぞー。

非ユークリッド幾何

高田馬場なう。早稲田整数論セミナーに参加するため。足立先生のお話だったが、「あるモデルで証明できれば公理から証明できるか？」という非ユークリッド幾何のお話。うん、難しい。が、得るところ大であった。例えば上半平面モデルで証明できたら、それは任意の非ユークリッド幾何で成り立つ命題か？ということ。πとか出すのはルール違反で、これは任意の体でなく R 上でないといけない。πの変わりに「2直角」というはあり。うむ、そうか。面白いなー。もう一回ブルーバックスの非ユークリッド幾何の本を読まないといけない。が中々時間が取れない。今日もおっちゃん（通称）に無理難題をねじ込まれた。うーん、いつかはやらないといけないんだろうけど、荷が重いなー。まあ最悪向こう3年位は猶予があるようなので、その間に勉強。

携帯電話の電池残量が30%を切っていた。これはすぐにも電源が落ちる、という事象なのは最近嫌と言うほど味わっている。なので宿に帰るまで携帯電話にはノータッチ。宿に帰って充電しながら face book を見ていたら、卒業生数名が何やら複素数の掛け算の話で盛り上がっている。で突っ込みを入れてみた。「そもそも複素数を複素数で割る、ってどういうこと？」と。これは飯高茂先生のご本に書いてあった疑問の一つで、高校生は何故やりすごせるんだろう？疑問を持ったけど教えてもらえない学生がむしろ数学嫌いになるのかも知れない。R[X]/(X²+1) を複素数として教えるのはむしろ容易な気がするんだが、そもそも高校数学では、R[X] がユークリッド環であることを教えられていない。剰余と余りの存在くらいは教えられてるだろうって？いえいえ、高校の教科書では定義環を全然明確にしていない。R 上の多項式を (X＋i)(X－i) で割った時、商と余りは R 係数で取れるんだろうか？とか、剰余の定理は任意の可換環で成り立つんだろうか？とは大学で講義をしながら持った疑問。どちらも大丈夫なことの証明は大学3回生に教えてすっきりした。高校の教科書は色々な所がいい加減である。

昔京大の入試で、現代数学で言う「(X³－2) は Q[X] の極大イデアルである」という問題が出されたが、それは剰余の定理の商と余りが Q 係数に取れる、ということを認めないと解けない問題なので、高校の範囲外である。こんな入試問題はいくらでもある。高校の先生はそういうところをちゃんと理解して、大学にクレームをつけなあかん。

いかん、酔って喋りすぎた。もう2時や。寝る。

権藤博の明快野球理論

今日は「代数学I」。Z/mZ の剰余環の分類をしてから、素イデアルと極大イデアルの話。意図的に定義通りに色んなイデアルが素イデアルとか極大イデアルであるとか説明した後に、剰余環の言葉で素イデアルと極大イデアルが判別できることを話す。で (X²＋1)R[X]  が R[X] の極大イデアルであることが簡単に証明できてしまう、など。

で今日は教授会があると思っていたんだが、どうも勘違いらしいことがわかった。事務から議題が送られてこないし、早々と帰る先生がいたり、隣とそのまた隣の部屋の電気が16時40分になってもついていたりと。うむ、よかった。

でちょっと寄り道をして帰宅。が、駐車場がバグって駐車ができない。でニッパツ（NHK）の人を呼んだんだが、彼が来た時点では故障は解消されていたらしい。で仕方ないので止めてあった外来者用駐車スペースから急いで車をうつす。

ということでその後はゆっくり野球。今日は 3－0 と楽勝モードからスタートも、一気に4点取られて逆転を許す。が、その後取ったり取られたりで、最終的には6－5で Baystars が Dragons に勝利。イェイ。

今日の解説は権藤さんだったんだが、相変わらず面白い。権藤さんの言うとおりやっていればチームは優勝できる。現に98年がそうだった。権藤博の明快野球理論、一度見ることをお奨めする。

待ってろぼんちゃん

何かと調子が悪かったので、久々の書き込みである。その間は稀勢の里が13勝2敗を2場所連続で達成して、来場所優勝で綱へ、とか、Baystars が Swallows 3連戦を2勝1敗で勝ち越し最下位脱出など。書きたかったことはこれくらい。特に Bastars は Tigers まで2差と迫ってきた。待ってろぼんちゃん（謎）。

今日は線形代数から。行列の階数と連立方程式の解の存在や自由度などとの関係。難しいが、例をいくつかやればわかってくるだろう、ということで例を豊富に。来週は斉次連立一次方程式の話などをする予定。

午後は卒研ゼミ。abc 予想と Fermat 予想、Beal 予想のことなど。相変わらず面白い。その後はモニックで既約な多項式の分類。C 上や R 上だと面白くないんだが、Q 上では面白い。で「有理数で代数的整数であるものは有理整数」という定理を使うと、Q 上の多項式の既約性が簡単に判定できる。これは中々面白かった。来週はアイゼンシュタインの定理などをやる予定。ただ再来週から4人中3人が教育実習で3週間抜けるので、来週やって3週間お休み。まあ1人相手にやってもいいんだけどね。まあそれでは残った1人はみっちり予習せなあかんし、3人は何にもわからなくなってる状態から再開ではかわいそうなので、やっぱりなしと言うことで。

しかし今日から急に暑くなった。講義中は汗ダーラダラ。で講義が終わって昼休み。学内に「ただいま外気温が30度を超えています」とのアナウンス。この調子で暑くなったら12月には100度くらいいってしまいそう、…、なわけはないが。とにかく暑いのは勘弁なので、早く冷房が入るシーズンが来て欲しい。

ダメ、ゼッタイ！

本文なし。

床屋へ行ってきた。

今日は「留学生数学1」。関数の極限など。受講生は3名に安定した模様。今週は土曜日も水曜日の授業をやることになっているが、皆来るだろうか？1回生だし留学生だし、立命の習慣はまだわかっていないかもしれない。まあこっちはどっちにしろ行くからいいんだけど。

で早目に帰宅して床屋へ。4ヶ月ぶり。いやー頭軽くなったわ。帰宅後は、 寝不足だったので昼寝しようかと思ったんだが、テレビを付けたら「プロ野球ニュース」がやっていたので、見てしまう。そうこうしているうちに相撲の時間。稀勢の里、白鵬が相次いで登場。どちらも全勝を守って、両雄相譲らず。まだまだ楽しみ。

で現在野球を観戦中。今日も勝って最下位脱出と行こうや。頑張れ石田。