2016年5月31日火曜日

交流戦始まる

今日からプロ野球は交流戦。で我が 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. など。今日は暑いのに冷房が入らず、ハンカチを忘れていったため、汗をシャツの袖で拭うという、あまりお上品ではない状況で講義。疲れた。明日は午前中だから、今日ほど暑くないだろう、と期待するがどうだろうか。ハンカチは忘れずに。

2016年5月28日土曜日

ついに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]/(X2+1) を複素数として教えるのはむしろ容易な気がするんだが、そもそも高校数学では、R[X] がユークリッド環であることを教えられていない。剰余と余りの存在くらいは教えられてるだろうって?いえいえ、高校の教科書では定義環を全然明確にしていない。R 上の多項式を (X+i)(X-i) で割った時、商と余りは R 係数で取れるんだろうか?とか、剰余の定理は任意の可換環で成り立つんだろうか?とは大学で講義をしながら持った疑問。どちらも大丈夫なことの証明は大学3回生に教えてすっきりした。高校の教科書は色々な所がいい加減である。

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

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

2016年5月24日火曜日

権藤博の明快野球理論

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

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

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

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

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

2016年5月23日月曜日

待ってろぼんちゃん

何かと調子が悪かったので、久々の書き込みである。その間は稀勢の里が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度くらいいってしまいそう、…、なわけはないが。とにかく暑いのは勘弁なので、早く冷房が入るシーズンが来て欲しい。

2016年5月18日水曜日

床屋へ行ってきた。

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

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

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

2016年5月17日火曜日

モスコーソ来日初完投

今日は3回生向けの代数。先週準同型定理をやったので、今日はその応用で CR[X]/(X2+1) が同型であることなど例を沢山。その後は Z が P.I.D. であることや、飯高先生命名の「合コンの定理」など。Z/mZ の分類は来週。その後素イデアルやら極大イデアルやらをやる予定。

帰宅してまず相撲。稀勢の里、白鵬2人とも全勝を守って、手に汗握る展開は続く。稀勢の里は今場所高いレベルで優勝したら、一気に横綱へ、と言う声があがっているそうで、そうなると応援したくなる。頑張れ稀勢の里。

その後は野球。vs. Giants。村田に一発食らって先制を許すが、その後猛打爆発で 7-1 と勝利。モスコーソが3年目で来日初完投勝利。素晴らしい。これで5位Swallowsと1差。最下位脱出が見えてきた。投手防御率はリーグ1位のチームだ。打さえ調子が出れば、大型連勝が見えてくる。Tigersを食う位置まで行くかもしれない。頑張れ Baystars!

ところで今日もコリジョンルールで一もめ。倉本がホームインするときにキャッチャー小林のタッチを一生懸命かいくぐって、奇跡のホームイン。が解説の水野も高橋監督も「あんなにオーバーランしていいのか?」と文句を言ったらしい。抗議は認められず、倉本のホームインが認められる。小林下手なんじゃないのか?この前はロペスにやられてるし。何にしても、ホームインの場面で面白い場面が何度も見られそうである。

2016年5月16日月曜日

ABC定理

今日は線形代数から。簡約な行列の定義が難しく書いてある(というかこうしか書きようが無い)し、例がほとんど出ていないので、三宅の線形代数から例をたっぷり。簡約化の計算も一つしか例がないので、同じ例だけど違う方法で結果が一致している、という例を見せようと思ったんだが、例によって計算ミス多数で、えらい時間を食った。まあ中途半端にrankをやるのは良くないから来週に回そうとわざとミスったんだが(嘘だけど)。前に非常勤の先生が言ってたけど、「講義の先生が行列の計算も出来ないと軽蔑されてる、とTAが言ってた」ということがあったらしく、今日で学生に完全になめられたな。まあいいや。難しい証明になったらきっちりやって、改めて尊敬してもらうことにするか。そのためには来週は一回きっちりテキストを読んで、メモを作って、スムーズにやろう。

ということで午前中の出来事はあまり気にせぬまま、13時から卒研ゼミ。今日は多項式環の「ABC定理」の証明とその不定方程式への応用。多項式環だと「ビール予想」も「カタラン予想」も簡単に証明されて定理になってしまう。「ABC定理」の証明が意外に簡単で、その応用もスムーズに行く。やっぱり多項式環には「deg」という強烈な装置があるからだな。Z には「deg」にあたるものはないんだろうか?などと突き詰めていくと「絶対数学」を専門にしなくてはいけなくなるので、あまり深く考えないことにする。ただ「絶対数学」の本をちょっと眺める位はしてみよう。

宮崎で震度3、とかいうニュースが入ってきて、「こりゃ九州全域に地震が広がるぞ」と思ったら、今度は茨城で震度5弱のニュース。いわゆる「南海トラフ大地震」の予兆じゃないといいけど。

あ、そういえば、爆弾騒動は何事もなく済んだようだ。話題にも上がらないので忘れていたが。まあ物騒なことは無いに限るので、良かった。早く犯人を捕まえとくれ。

2016年5月15日日曜日

今日は引き分け

Baystars vs. Tigers を観戦。8回表終了時は4-0。能見に完封でもされそうな勢いだったが、最終スコアは 5-5 の引き分け。Tigers のミスに救われた。4カード連続勝ち越しとはいかなかったが、まあいいでしょう。Running score は

T 0 0 0 3 1 0 0 1 0 0 0
B 0 0 0 0 0 0 3 2 0 0 0

こんな感じ。よく追い付いた。贅沢を言えば9回の2アウト満塁で終わってしまったことかな。勝てたな。まあいいや、負けなかっただけで満足しましょう。

その後相撲。と言っても三番しか見られなかったが。今日は横綱は安泰。中日を終わって全勝は白鳳と稀勢の里の2人。稀勢の里もそろそろ優勝しないと。今場所は期待。

明日はマンション関係の集まりがある。面倒くさそうな役職を与えられてしまったので、いささか憂鬱。面倒くさくなければいいんだろうけど、まあ面倒くさいんだろうな。あー嫌だ嫌だ。


2016年5月12日木曜日

途中から観戦

今日は「悪魔の電話」で安眠を妨げられる。で起きてしまったので、ちょっと銀行へ支払いに行って、それから昼寝。この昼寝が思いの他長く、起きたらもう野球は中盤だった。3点負けている状態から下園の代打2ランなどで追い付き、最後は倉本のサヨナラヒットで延長戦を制する。何でも延長戦は13連敗だったそうで、ようやく延長戦で勝てた。今日こそ良く眠れそうである。

「横浜大洋」グッズを結構沢山買ってしまった。本当はあのWの字の入った帽子が欲しいんだが、何故か通販では打っていない。ヘルメットは売ってるんだけど、買っても使い道が無いんで、取りあえずパス。後は何を買おうかな。ということで随分最近無駄遣いが激しいので、ちょっと控えよう。

2016年5月11日水曜日

親父の誕生日

会議の前に色々書いたんだが、ESCキーに触れた瞬間に全て消えてしまった。で思い出して書き直す程のことは書かなかったので、一番大事なことを一つだけ。

親父、誕生日おめでとう。もう85歳やね。長生きしておくれ。

2016年5月10日火曜日

朝から賑やか

今日から筒香復活。しかも横浜大洋のユニフォームで。が今日の途中経過を見ていると、「横浜大洋銀行復活」になりそうで恐い。筒香はいいホームランは打ったんだが、守備でちょっとチョンボをしているので、素直に筒香復活は喜べない。復活後好調だった梶谷までエラーする始末。明日は大洋のユニフォームを着て応援するかな。

さて今日は朝から賑やか。宅配便がまず2件。1件はついこの前テレビ通販で見ていて買ってしまったもの、もう1件は上述の横浜大洋のユニフォーム。で出かけようかな、と思ったところで携帯電話が何やら言う。何だと思ったら例の爆発予告事件の件で心配をした友人から。とりあえず心配なし、と報告して出かけようと思ったら、また呼び鈴が。この前修理に出したものが帰ってきた。朝から忙しい。

大学到着後は粛々と講義を進めて、いたんだが、講義ノートが中途半端なページまでしか印刷したものしかない。仕方ないので10分ほど学生に待ってもらって、印刷しに個研室に戻る。が、印刷はされていた。昨日鞄に入れるのを忘れていただけだった。で準同型定理を証明して今日は終了。来週は応用例を幾つか。その後一コマ空いて教授会。爆発予告事件の件も当然議題に上がる。まあようするにその日は来るなと、それだけの結論。

明日は午前中の講義の後、来客2名、その後学科会議と今日にもましてヘビー。昨日はよく眠れなかったから、今晩は明日まで質のよい睡眠をきちんと取れればいいが。

2016年5月9日月曜日

5.14

「5月14日に立命館大を爆破する。」との予告があったとか。万が一に備えて14日は全学立ち入り禁止にするらしい。最近こう言うの冗談じゃなくなってるからね。あー嫌だ嫌だ。何事もないまま15日に成ってくれるといいんだが。

さて今日は線形代数と3時間みっちりゼミの日。線形代数はちとまずかった。「こんなものはアドリブでできるさ」ということで鷹揚に構えていたら、何かおかしい。結局くだらん所で時間を使ってしまったため、連立方程式に入れなかった。いかんねどうも。午後のゼミは比較的順調。来週は体上の多項式環上のABC定理とその応用ができる予定。楽しみである。3時間は短いな〜。

ということでまだ早いが、どことなく調子が良くないので、早寝することにする。酒は勿論抜き。

2016年5月7日土曜日

今日は平日火曜日である

5月3日の分をやれ、ということだろう、今日は火曜日の講義をしてきた。イデアル、剰余類とか定義した所で時間切れ。来週剰余環が定義できる。同値関係で割る、というのは一つの壁であり、大量の学生がここで落ちこぼれる。まあ例によって1回でわかろうとしてはダメで、何回も聴いて多くの例を触って見て段々身に付くもの。頑張って下され。

野球は今日は大敗。と言うことでこれから呑んで来ます。いつもは大抵「ふなごや」に行くんだが、今日はゴールデンウイークみっちりオープンしたので休む、とのこよ。まあ久々に開口だな。オーナーと浜田省吾の話をたっぷりしてこよう。

2016年5月6日金曜日

ルーキー今永初勝利

明日は火曜日の講義をやれ、と当局がおっしゃているので、そのために早寝。野球が早く終わってよかった。今日は防御率2.45と好成績ながら0勝4敗とツキに見放されていたルーキー今永テンポ良く投げて7回無失点、打つ方は6得点と好調で、今永が初勝利’。V

途中眠たくなって居眠りしたんが、 その間に梶谷がホームランを打っていた。見たかった。まあこれで筒香が戻ってきてくれたら、破壊力抜群のマシンガンが復活」、5月攻勢開始だ。

2016年5月3日火曜日

ゴールデンウィークは無いぞ。

祝日ど真ん中の月曜日。毎年恒例、授業日。まあ明日(もちろん今日ね)から大型連休、と思ったら、何と今週の土曜日は火曜日の授業の欠損分を充てるとの通知。がーん。ということで、大型連休は無くなったので、住処と職場で(どっちでやるかわからないけど)仕事。うーん。

で職場でカレンダーを見たら、「21日(土)は水曜日の授業日」とのこと。がーん。何が何でも15回講義日を設けるらしい。うーん、うーん、…。

2016年5月1日日曜日

勝率で順位を付けることの矛盾

昨日は気持ちのいい勝ち方だった。で呑みに出て楽しく呑んでくる。

帰宅後野球のニュースを見ていたら、珍現象。

1位 Hawks     14勝 8敗、.貯金6、勝率.636
2位 Marines   17勝10敗、.貯金7、勝率 .630

そう、2位のほうが貯金が多いのである。「順位は勝率で付ける」ということから起きる珍現象。スポーツニュースでは、「Hawks が -0.5 差で首位」と言っていたが、何だかな、と言う感じ。まあ開幕直後は1勝0敗(勝率 1.00)が首位で、3勝1敗(勝率 .750)が2位、ということはよくあるが、開幕から1ヶ月経過後にこんなことがあるのは珍しい。勝率以外に、長いスパンで見ると、よい measure は無いのは経験上分かっている(前にセ・リーグが勝ち数で順位を決める、ということをやったが、1年で元に戻したことがあるのは記憶している人は多いでしょう)。しかしこれが143試合時点で起こる可能性は皆無ではない。さあそうなったらどうする、NPB?