わん あんど わん

今日は卒研ゼミ。不定方程式に解が無いことを示すのに合同式を使う、というのが今日の主たる内容。で演習問題を解いている時に、まず mod 4 で考え始めた。うまくいかない。で学生はそこでどういう手段に出たかというと、mod 2 で考え始めた。その学生の頭の中には射影的極限が無いと見え、mod を下げた。もちろんうまくいくわけないので、「mod は大体上げた方がうまくいくよ」と助言。で mod 8 でやったらあっさり解決。やれやれ。

でゼミ終了後は保険の外交のおばさんと一くさり。何かまた面倒くさいことになりそうである。ということで職場を離れたのは19時頃。住処についてテレビを見ると 1－0 で負けている。そのうち 3－1 になり、6－1 になり、ゲームセット。ハンカチ王子に623日ぶりの勝ち星をプレゼントしてしまった。また5割直前で逆戻り。まあ Giants が負けてくれたので3位はキープだが（昨日の結果でいつの間にか3位に浮上していた。）

で試合は「GAORA」というチャンネルで見ているんだが、このアナウンサーが非常にむかつく。「3者凡退」のことを「ワン・ツー・スリー」と言ってみたり、フルカウントからのピッチングを何とかピッチング（何と言ったか忘れた）、1ボール1ストライクを「わん あんど わん」。他の解説者は「ワン エンド ワン」もしくは「ワン エン ワン」と変な発音をしているんだが、こっちの方が耳になじんでいるので、気持ち悪い。明日も Fighters 戦だから、また同じアナウンサーでしょう。あのむかつく実況をもう一度聞かないといけないかと思うとぞっとする。まあ最終的には勝ってくれればいいんだけどね。

9999.9 そして 0.0

今日の通勤中に、車のメータが 9999.9km、そして 0.0km を迎えた。どちらも見逃さずきちんと目に焼けつけておいた。もちろん前方車には留意しつつね。いやー、ほぼ通勤にしか使わないのによく走った。次の目標は2度目の 9999.9 そして 0.0。

今日は「代数学I」。P.I.D. が U.F.D. であることの証明、系としてZ が U.F.D. であるとか、任意の体 K 上の多項式環 K[X] が U.F.D. であるとかなど。今日も冷房が入って、気持ちよく出来た。

昼は回転寿司へ。1400円ほど。随分食った割には安かった。満足。その後部屋で一作業。壁にぶち当たった感があるので、そこそこに切り上げ、セ・パ交流戦の Fighters vs. Baystars を観戦。今日は 3－0 で勝利。これで借金1。さあ明日勝って5割だ。

今試合の再放送がやっているのだが、流石に最後まで見ないで寝る。明日は昼からゼミだけだけど、脳味噌をよーく休めておかないと指導が出来ない。ということでお休みなさい。

冷や汗の月曜日

昨日は相撲が終わったところでダウン。目が覚めると1時50分。お、こりゃ野球を見な、と思ったところで、「あれ、相撲が終わったってことはもう月曜だな。月曜は1時から講義じゃないか、やば！」と思ったところで冷静になってみると夜中の1時。あー、びっくりした。ということでもう一寝入り。さすがに次に起きた時はもう朝だった。講義にも余裕で間に合う時間。セーフ。

で今日はいつもの通りの月曜日。「数学III」は行列式に入った。行列式は置換の符号を用いない定義。即ち小さい行列式から帰納的に大きい行列の行列式に持っていく方法。1行に関する余因子展開で大きい行列にしていく方法はアルティンの方法らしく、有名なガロア理論の本に書いてあるそうだが、生憎とアルティンの本の線形代数の部分は読んでない。ガロア理論の部分も途中で放棄した。（主張がどこまでで証明がどこからか明白になっていないので、読んでいて嫌になった。）体の拡大とガロア理論は藤崎先生の本で勉強した。1週間でガロア理論まで読めてしまったのは、卒研で困るからで、常識にされてしまっていることをぐだぐだやると怒られるので。非分離次数とかも勉強した。よく勉強したもんだ。

「数理科学特論2」はヒルベルト記号の explicit formula と、それから導かれる対称双一次形式が非退化なことなどを証明。「対称性」を「交代性」と何度か口走った記憶があるが、まあいいでしょう。最後に局所類体論のおもちゃを証明して時間切れ。後残るのは積公式だが、これの証明に平方剰余の相互法則が必要、というあたりを来週やって、それから exp と log などをやる予定。大分ちんぷんかんぷんになってきただろう。空気が重い。

で本来はその後 Neukirch のゼミなんだが、「数学III」と「数理科学特論2」の間に学生から電話。「ちょっと色々あって、今日は無しにして下さい」とのこと。別に問題は無いので、「了解。」と返事を返しておく。ということで講義室からじかに駐車場に向かい帰宅。途中コンビニでお金を卸して、税金の支払いなど。帰宅後は今まで無為に過ごしていた。明日は午前中だし、もう寝ようかな？

あ、そうそう、昨日書かなかったからちょっと書いておきたかったことだけ。昨日の4位Baystars の勝ちと3位 Giants の負けで、3位4位は0.5ゲーム差になった。明日から交流戦。ごちゃごちゃとやっている間にぬるっと上位に進出しよう。

相撲は白鵬が復活の全勝V。お見事だね。高安も11勝した後連敗したが、11番、12番、11番と見事な3場所。大関確定だね。関脇玉鷲、小結御嶽海も勝ち越して、大関候補がドンドン出てくる。来場所も楽しみだ。

ぼちぼち6月だな。蒸し暑くなってくるだろう。嫌だな。

高安の大関はもう決まりやろ

高安は昨日の勝ちで、大関の一応の目安の33勝に到達したが、まだ異論があるらしい。先場所の12勝3敗が良過ぎたか、見る目が厳しくなっている。「内容も重視」とか。で今日は横綱・日馬富士が相手。で今日勝った。これで34勝＋横綱にも勝った、ということでもう文句は無いんじゃないだろうか？まあ残り2日、本当に文句なしにするにはもう一番勝とう。

さて野球だが、今日から Tigers 戦。6回に一気に5点取り、その後2点取られて5－2の勝利。井納が6回までノーヒットノーランを続けていたんだが、流石にそんな記録が簡単に出来るわけもなく、7回にヒットを打たれて、1点を失い、7回終了後に交代。砂田が1点取られたが、まあ大過なし。最後は康晃が締めた。で首位 Tigers が負けて、2位 Carp が勝ち。ゲーム差1で始まったから、ゲーム差は無くなった。が、勝率の関係でまだ Tigers が首位。関西では流石に Tigers ファンが多いので、ここで3連勝では大分顰蹙を買うだろうが、堂々と買いましょう。そうすれば5割だ。Giants にも急接近。もうここは3連勝しかないだろう。行け！Baystars！

3連戦久々の勝ち越し

昨日はろくでもない負け方だったので、やけ酒。まあ水曜日に呑むのは毎週恒例なので、勝ってても呑んだんだけど。で今日はというと、快勝。初回先制するも2回にひっくり返されるが、3回に1イニング5点。これで 6－2 の楽勝ムードかと思ったら、6－5 に迫られる。がここから5回に4、6回に3点と、もうやりたい放題。で 13－5 で勝利。久々の3連戦勝ち越し。明日からは首位 Tigers と。頑張りましょう。

Eagles の則本が6試合連続二桁奪三振の日本タイ記録を達成。野茂に並んだ。凄い。今年 Eagles が強いのは則本の安定感によるところが大きい。このまま Eagles が優勝するんだろうか？

さて相撲だが、琴奨菊は7敗してから2連勝と何とか粘っていたのだが、今日でついに8敗目。関脇陥落決定。このまま星を伸ばせば小結までしか落ちない可能性があるので、粘れ琴奨菊！

Acrobat をインストール

今日の朝10時前にエポックをチェックアウトし、10時35分まで個研室でホゲーっと過ごす。10時40分から「代数学I」。今日は P.I.D. とかそんな話。教室は昨日の「数学III」と同じ部屋なので、冷房が入った。涼しく講義。

で今日は教授会があるので、帰宅するわけにはいかないので、「宿場そば」でうな重とざるそば（ミニ）のセット。で職場に戻って、エポック泊まりのため持ってきていたノートパソコンに Acrobat のインストール。Rainbow から DVD-ROM を借り出して個研室に戻って。これは別に職場にノートパソコンを持っていかなくても出来る。現に DVD-ROM を借りる時に「返却予定日」なるものを書かされるから。がまあ持ってきていたので、ついでにやろうと。10分ほどでインストール完了。Word で作ったファイルを pdf に変換したり、2ページの pdf ファイルから1ページの pdf ファイルを作ったりと動作確認。即返却に行って、教授会の会場へ向かう。

今日の教授会はちょっと長かった。まあ白鵬 vs. 高安は見られないだろうと思っていたので、さほど残念ではなかった。しかも高安が負けたそうだから、見なくてよかった。野球も途中から。ドラッグストアで血圧の薬をもらうため、少し時間を要したため。待っている最中に携帯電話で野球のスコアをチェック。2－2。うん、まだまだだな。で帰宅すると4－2 で負けている。が、筒香の豪快な2ランホームランで同点。田中浩康のタイムリーで勝ち越すと、後はしたい放題で 9－4 で勝利。いやーよかった。何しろいつの間にか5位に落ちていて、今日の相手は Dragons。ゲーム差2だったので、この3連戦次第では最下位転落がありえたのだが、今日勝って Swallows が負けたので、再び4位浮上。この3連戦で再び上げ潮にしましょう。とにかく借金3を返済することをとりあえずの目標として。

明日のゼミは abc 予想だ。気合入れて勉強させてもらおう。

講義室に冷房入る

今日は例に寄ってきつい月曜日。で「数学III」の講義時に、暑いのでシャレで冷房のスイッチをひねってみたら、何と冷房が動いた！これはいいぞ、というわけで HML の M にセットして、快適に講義。行列が正則であることの同値条件をいくつか挙げて、それを証明。その後逆行列の計算法など。時間が10分ほど余って、そこから行列式の章に入るわけにはいかないので、正則でないことが簡単に分かる行列を例に挙げて、正則でないことを講義内演習として証明させた。案外苦労していたり、間違えている答案もあった。こんなんで来週から行列式に入ってしまうが、大丈夫なんだろうか？まあ大丈夫じゃないでしょうね。ただ同僚の「線形代数って4年間で理解するものだから」という一言を心の支えにすることにする。

で「数理科学特論2」。今度の部屋は冷房が入らない。何故か。まず原則として当大学の決まりでは6月の半ばまで冷房は入らないことになっている。が、5月でも講義室が30度を超えると冷房が入る。「数学III」をやっている部屋は南向きに窓があるので、暑いのである。「数理科学特論2」は窓が北向きなので、かろうじて30度に届かなかったらしい。で暑い中ヒルベルト記号など。Explicit formula とそこから導かれる系をいくつか紹介したところで時間切れ。来週はそれらを証明する。系の中に局所類体論のおもちゃがあるのだが、やはり整数論の講義をやっている以上、「類体論」の名前と高木貞治の関係を伝えておかないのはまずかろう、ということで言っておく。「高木貞治」を知らない数学科出身の学生は少ないだろうが、「類体論」は知らない学生の方が多いだろう。よくないことだ。あ、小生の早稲田の同期生は、皆「類体論」というキーワードだけは知っているはずだ。なぜなら1年生の時に「数学概論A」という科目を足立恒雄先生が担当していて、先生の御本「類体論へ至る道」が教科書になっていたから。もちろん足立先生が本通りに進むわけはなく、何となく騙された気分がしたもんだが、後になると随分助けられたし、よかったと思う。再販されていることだし、まだお持ちでない方は是非ご購入を。

純情

今日も念のため、ということでエポックに泊まっている。土日は名神の工事はないので、職場まで名神で来て、エポックにもぐりこんだ後、ニュース等を見ながら夕食。相変わらず北朝鮮が何やらやってくれたようですな。何やら本当に戦争になりそうで、嫌な気分だ。

エポックに来るときは大抵 DVD を持ってきて、パソコンで見ている。先週は「鑑識・米沢守の事件簿」なる「相棒」のスピンオフ映画を見ていた。面白かった。今日は村下孝蔵のライブ DVD「純情」。最近コンサートに行ったせいもあるが、浜省一色だったので、久々に村下孝蔵の歌が聞きたくなって持ってきた。うん、浜省とは全然毛色が違い、これはこれでまたよいな、と再認識。久し振りに全曲集を聴こうかな。

さて 5 割に近づくとずるずる下がっていく Baystars。いつの間にか5位に落ちていて、最下位 Dragons と 2 差とか。まずい。もうすぐ交流戦だし、その前に何とか盛り返しておかないと。交流戦ではずたずたにされるのはわかっているので、何とか大型連勝で 5 割を！頑張れ Baystaras！

平良今日はノックアウト

昨日はあんなこと書いたが、実はその後同点に持ち込み、延長戦で勝ち越して勝っていた。うむ、最後まで見ていてよかった。が、同じことは2度起きない。今日は

B 2 0 0 0 0 0 0 0 0
C 4 2 0 0 3 0 0 0 ×

と完敗。この前好投した平良が2回6失点ノックアウト。無念じゃ。ここんとこちょっと黒星が多い。また5割目指して頑張ってください。

渋滞気にし過ぎ？

今日は卒研ゼミが13時から。渋滞に備えて12時前に住処を離れる。で西大津バイパスを皇子山まで行って、そこから浜大津、近江大橋経由で行くつもりだったのだが、四ノ宮の交差点から大津方面に向かう道が大渋滞。名神に向かう車は皆無。で表示を見ると「草津JCTまで15分」とのこと。それなら名神経由で行った方がいいや、ということで名神に入ったら、ガラガラにすいてる。車線も2車線とも生きてる。去年までは1車線ずーっと塞がっていて、大渋滞だったのだが。何か草津JCTから八日市までは工事渋滞らしい。よくわからん。多分渋滞を気にし過ぎているんだろう。来週は泊まらなくてもいいか？と思ったんだが、念のためエポックの部屋を押さえておいた。ただ来週の水曜日は住処から出発で、ゼミの内容が abc 予想だから、遅刻するわけにはいかない。火曜の晩はちゃんと寝るとしよう。

今日はちょっと Joshin によって買い物をしてきたので、帰宅は18時半くらい。相撲は見損ねた。で野球はというと、Baystars が先発のウィーランドが好投で、しかもホームランを打った。これはいい展開、と思ったら、ウィーランドを交代させてしまった。しかも7回は康晃のはずなのに、何故か三上。案の定裏目に出て、一気に4点取られてしまった。まだ試合中だが、敗色濃厚。現在 Carp の投手は開幕から17試合無失点のジャクソン。駄目っぽいね。まあいいや。明日は勝ってもらおう。今日はこれくらいにしといたる。

打者一巡が2回

今日は「代数学II」。素イデアルとか極大イデアルとか。剰余環の言葉で書いた特徴づけなどをやる。来週は極大イデアルの存在から。「皆さんの大好きな Zorn の補題を使うので、よく復習しておくように」と言っておく。

で今日の昼は「すき家」で「特鰻丼」。疲れたから滋養の付くものを食べないと。で元気になったかというと、まだ疲れている。勉強しようと思っていたんだが、もうそういうモードではないので、帰宅することにした。で名神集中工事はまだ続いているので、「京都東まで30分以上」の表示。（普通は15分も掛からない。）そんな状況で570円も取られてたまるか、というわけで下道で。が、途中から渋滞。何だと思ったら、舗装工事をしていて、片側交互通行になっている。抜け道まで工事するとは、Nexco西日本は何を考えているんだ！といささか頭にきた。が、こっちが渋滞を抜けたら、対向車線は更に渋滞していることがわかって、ちょっと怒りがおさまった。住処へ辿り着いてやれやれ、というわけでしばし相撲観戦。

その後 Carp vs. Baystars を観戦。1回の満塁のチャンスを潰したもんだから、5回表に1点取るも、裏に5点取り返された。その後はもう防戦一方で、8回にさらに5点取られる。代走で出た安部が打席に立つ始末。どうしようもない。早く寝ればよかった。もう寝る。明日は昼から。但し住処から出ないといけない。エポックは2連泊までしか許してくれないのだ。（何か書類を書けばいいらしいが、調べるのが面倒なので、素直に2連泊で帰ってきた。）ということで、明日は昼からでも、いつもより少し早起きして、名神を通らずに大回りしていく必要がある。さ、つまらんこと書いてないで寝よ。

エポック泊まり

今日は月曜日。例に寄って辛い日。数学IIIで体力を使い果たしたか、次の院生の講義は息も絶え絶え。ゼミ中は脳味噌が全く動いておらず、何を書いて何を喋っているかがさっぱり入ってこない。まだこんなのが2ヶ月以上続くと思うとぞっとする。

疲れていたのでしょう。生協で食い物を買ったときに、また携帯電話を落としてしまった。最初に付いた傷は目立たない程度だったが、傷があるのがすっかりわかるようになってしまった。今後は落とさないよう、細心の注意を払わないと。

昨日から今日にかけてエポック立命21に泊まっている。名神集中工事のため、時間が読めないので。明日は10時40分の講義からだが、10時には起こしてくれるので安心して寝られる。疲れもようとれるでしょう。もう寝ちゃえばいいようなものだが、「Qさま!!」の2時間スペシャルをやるようなので、見ようと思っている。終わったらすぐ寝よう。

「Qさま!!」の前にやっていた番組（タイトル知らない）で、フェルメールや葛飾北斎が「カメラ・オブスキュラ」を使っていたことを知って愕然とした。「カメラ・オブスキュラ」とは、箱に小さな穴を開けて、適当な距離にすりガラスをつけたもの。（日本語では「針穴写真機」と呼んでいる。）その上に紙を置いて描いていたとは。何かがっかりした。名画の価値が小生の中でがた落ちした。まあ絵を見る趣味は無いのでいいんだけど。

iPhone のカバーを買ってくる

びきびきにひび割れた iPhone を使っている人を良く見るが、「あんな間抜けな落とし方は小生はしない」と過信していた。数日前画面の角にひび割れを発見。ああ、まあこの程度なら問題ない、と思っていたら、画面の方にも2筋ほどのひび割れが。これは人を「間抜け」扱いできない。で仕方ないので、京都駅前のヨドバシカメラでケースを買ってくる。2340円也。これだけのことで安心度が増すんなら安いもの。ただカバーを過信せずに、今後とも落とさないよう注意注意。

その後京都駅ビルの10階「拉麺小路」で「ますたに」の中華そばを一杯食べて帰ってくる。でその後 iPhone いじり。カバーがついてると使いにくい。でもまあもう1回落とす可能性があるので、止む無し。帰りの電車で「パワプロ」をやっている人がいたが、ホームボタンから蜘蛛の巣状にひびがいっている。あんなになっても使うんだなー。小生だったら2年たってなくても交換するが。などと言って天に唾を吐かないよう、今後は使用に気をつけよう。

今日は Tigers vs. Baystars だったが、試合前に中止が決定。つまらん。と思ってしばし。野球の速報を仕入れたら、Giants が Carp にボロ負けしている。これはいい、ということで、Carp vs. Giants を途中から観戦。見始めた途端に Carp の猛攻。

G 0 0 0 2 0 0 0 0 0
C 3 1 0 1 0 0 1 0

とまだまだセーフティーリードとは言えなかった Carp だが、猛攻により

G 0 0 0 2 0 0 0 0 0 2
C 3 1 0 1 0 0 1 0 6 ×

となって試合終了。首位 Carp が Giants を一蹴した結果。まだまだ Carp は粘るね。Tigers との首位争いは見逃せない。Tigers とは言うと、今日の Baystars 戦を雨で流した。この結果がどうでるか、まだまだ目は離せない。

FA は是か否か

昨日は平良のプロ入り2度目の先発（2試合目の登板）。5回を1失点に抑えてプロ初勝利。そして今日は嫌な雰囲気のところを倉本のホームランで2点差を追い付き、筒香のタイムリーヒット（どん詰まり）で逆転。見事5割復帰。気分がよい。

さて平良だが、FA で山口が Giants に引き抜かれて、人的補償で来た高卒4年目の投手。平良は見事に勝ち投手となったが、山口はどうかというと、怪我で1軍に全く上がってこない。こうなると山口を盗られて良かった、ということになる。この後も平良が好投を続けるようだと、FA で得をしたのは Baystars、ということになる。FA での補強もいいんだか悪いんだか。Giants は陽（Fighters から）、森福（Hawks から）の3人が全く働いていない。金をどぶに捨てたようなもんである。特に陽は台湾では英雄扱いされていて、今年の Giants の開幕戦を台湾で放送したそうだが、お目当ての選手が出ていなければ放送した意味が無い。やっぱり地道な育成と適度な補強に限るね。金があるのもいいんだか悪いんだか。

昨日の件は、結局今日でOKということにしてくれた。ということで書類1枚出すために職場へ。まあ大事な書類だから止む無し。ということで職場に30分もいなかった。で往復の高速道路料金が 570×2、うーん、やっぱり今日くらいは下道でも良かったかな。まあいいや。無事解決したので、ほっとした。今日は早いとこ寝る。明日は午前中に歯医者なんで。

たるんでる？

今日は卒研ゼミ。ピタゴラス数のパラメータ表示や指数4の場合のフェルマー予想の証明などやってから、多項式の章に入る。ただ時間がちょっとしかなかったので、約元、倍元の定義や、イデアルの定義をやっただけで終了。来週は多分 ABC 定理に入るでしょう。さらに整数に対する abc 予想など。（何故前者は ABC が大文字で後者が小文字なのかはゼミのテキストでそうしているから。）少し勉強しておこう。

その後何事も無く帰ってきたんだが、ちょっとまずいことに気付いてしまった。何を考えていたのか会議のことをすっかり忘れて、帰ってしまっていた。急いで主任に謝りのメイルを書いて、要件を伝えておいた。大丈夫なんでしょうか？ちと心配。昨日も納めなければいけない料金を1週間遅れで振り込んだりと、ここのとこ何か間抜けだ。もう GW も終わったことだし、気持ちを入れ直さないと。

鼻炎再発、くしゃみ連発。

昨日は講義2コマ連続、ゼミ、学区の寄り合いと盛りだくさんで疲れていたので、blog を書く前に寝てしまった。まあ昨日のことはガッツリ略。

今日の「代数学I」は、準同型定理を紹介して証明して、応用例をいくつか挙げた後、Z のイデアルは全て単項イデアルであることを示して、その応用例として g.c.d. が存在するなど。段々難しく成ってきた。頑張ってください。

今朝起きてすぐくしゃみを連発。講義中も鼻が詰まってつらい。で仕方ないので耳鼻科へ。いつものところへ行くので、講義終了後住処に直帰。耳鼻科では鼻炎の原因を特定してくれなかったが、とにかくいつもの鼻炎の薬の他に、目薬、雑菌を殺す薬などを処方してくれた。それで今日は教授会があったのだが、間に合う時間だったらまた車を飛ばして職場へ Go！のつもりだったのだが、薬を処方してもらっている間に16時20分くらいになり、最早アウト。仕方ない。今日の体調では集中して出きることは無いに等しかったから。車を運転中もくしゃみ連発。ちゃんと車間距離を取っておくことはこういう時に大事。まあさすがに鼻はかめなかったが、くしゃみしている一瞬の間に追突、ということは起きかねない。安全運転。

そういえば来週の月曜から名神集中工事が始まる。だから日、月は2週間続けて大学泊まりになる。部屋をおさえておくのを忘れないようにしないと。

5点差、9点差何するものぞ

今日（昨日ね）も野球観戦は携帯電話で。Baystars vs. Swallows を見始めたときは、5－0 で負けている状態。1点入ってその後満塁。打者は梶谷。「ここで満塁ホームランなんて漫画みたいなことは起きないだろう」と思っていたら起きてしまった。梶谷7号（セ単独トップ！）満塁ホームラン。延長に入っては柴田がサヨナラタイムリーと、5点差を見事にひっくり返して、ついに5割。こういう日にビールを呑むと美味いだろうが、残念ながら実家には買い置きが無いし、買いに出かけるのも何なので、今日は無し。

さてもっと凄いのが Tigers vs. Carp。

C 2 2 0 2 3
T 0 0 0 0

と Carp 9点のリード。それが最終的には

C 2 2 0 2 3 0 0 0 0
T 0 0 0 0 1 7 3 1 ×

となって 12－9 で Tigers の勝利。で Tigers が Carp を交わして単独首位へ。今年はボンちゃんに奢る番かな。まあまだ先は長いので、Baystars の優勝を願っていきましょう。

さて今日（本当に今日ね）京都に戻る。で月曜日から早速講義。うーん、辛い。しかも月曜日は講義2コマ連続と Neukirch のゼミなのでくたびれる。火曜日は午前中からなので、ゴールデンウィークの疲れと月曜の疲れを残さないよう、月曜の晩は早く寝る。で呑むのは水曜の夜から。丸1週間以上酒を抜くことになる。まあこんなこともないと健康に良くないのでいいでしょう。さて寝るか。

筒香2号3ラン

今日（昨日ね）ももっぱらテレビな1日。怠惰である。

でも残念なことに Baystars vs. Swallows はテレビ中継が無い。仕方ないので携帯電話のプロ野球速報のページで逐一チェック。いきなり3点取って、山田のホームランで1点返されるも、筒香の2号3ランで一気に決着を付ける。井納は1失点完投で今季初勝利。いやーお見事。これで借金1。明日（今日ね）も勝って5割に戻しましょう。Giants を後から脅かしたんねん。行くぞ Baystras！

3タテは防ぐ

今日の Giants vs. Baystars はデーゲームだった。それに気付かずに他チャンネルを見ていたので、急いでチャンネルを BS日テレに変える。4－0 で勝っている。宮崎の2ランと梶谷の2ランらしい。その後戸柱のタイムリー2ベースでもう1点。今日は楽勝でしょう、と思ったら、坂本に2ランホームラン。5－2。ちょっときわどくなってきた。が、その後はリリーフ陣が見事に押さえ込み、そのまま 5－2 で勝利。3タテは免れた。とりあえず眼前の敵 Giants を引きずり降ろさないと。まあまだまだAクラスを狙えるポイントには位置づけたので、今後に期待。明日は Swallows とハマスタで試合だそうだが、行っても切符は取れないだろうから、行かない。結局7日まで外出しないで終わりそうだ。野球の結果は携帯電話でチェックすることにする。（親のマンションには J:COM のケーブルが来ているのだが、契約していないので見られない。残念である。）色々環境が変わると不便だ。来週からは野球のチェックが再開できるので、例に寄ってテレビの前に張り付いて見る。

国公立大学学費無料だ？

安倍総理が憲法改正についてついに明かした。憲法9条の条文は残して、自衛隊について憲法に明記するだと。いいのやら悪いのやら正直分からん。そっちはまあ識者に譲るとして、ここは「国公立大学学費無料」の方を言いたい。何やら耳触りの良い言葉だが、大学教員の給料は誰が払ってくれる？大学の研究費の原資はどうなる？問題は山積だと思うんだが。また私立大学の立場は？年間100万超の金を取る私立大学と学費無料の国公立、学生がどっちを選択するか自明。思いつきで言ったとした思えない安倍総理の思想には断固反対。もっと練って練って練りまくった上で言って欲しい。さらに2020年までに憲法改正を、と言っているが、いささか拙速に過ぎないか？「総理の総理のための憲法改正」とは民進党の言い分だが、その通りだ。安倍、お前は歴史に名前を残したいだけだろう？そんな不純な理由でやられたらたまらん。とにかく改正する是非はともかく、もっと議論の時間が必要でしょう。とにかく待て。

などと考えつつ今日も B vs. G を観戦。ロペスのホームランで先制するも、あっさりひっくり返されて、その後はチャンスを作って潰すの繰り返し。結局 4－1 で負け。明日は勝て。3タテだけはやらしちゃなんねぇ。

素直に脱帽

実家ナウ。というわけでこんな時間にならないと作業が出来ない。よってブログの更新もこの時間、というわけ。呑んで帰ってきたとかではありません。念のため。

今日（昨日ね）から Baystars はにっくき Giants が相手。しかも先発は菅野。…。新幹線の中で途中経過を確認すると、4－0 で負けている。で 5－0 で決着しちゃったわけだが。今日は素直に菅野に脱帽です。3試合連続完封勝利。セ・リーグでは斉藤雅樹がまだ背番号41の頃に達成して以来28年ぶりとか。まあ相手は日本のエースだ。そう簡単に打てるわけがない。明日（今日ね）から2戦勝って、5割といきましょう。

大抵新幹線の中では、寝てたり TeX 打ちしたりしているんだが、昨日の晩からゴールデンウィークは始まってるし、いいでしょう、ということで DVD を見ながらのんびり過ごしていた。見ていたのは「鑑識・米沢守の事件簿」という相棒シリーズの一本。うん、面白かった。流石に相棒のスピンオフだけのことはあって、意外な結末だった。多分 Tsutaya とかに行けば置いてあるでしょうから、是非1度見てみてみ。帰り（日曜の晩）は月曜日の作戦練りでしょう。もう連立方程式の章に入ってしまったので、真面目に勉強して計算練習しておかないと、去年同様恥をかくことになる。ただでさえもうなめられてるくさいので、学生をあっと言わせるようにしないと。

火災報知機誤作動

今日は例によって「数学III」から。分割による掛け算のような面倒くさいものをやることになっていたのだが、テキストに証明が出ておらず、かつ証明をしても何か仕方がない気がして、2×2 に分割したときの左上のブロックの成分だけ見ておいて、以下詳しいことは演習、ということで。細かい証明より行分割とか列分割のようなものを自由自在に使いこなせるほうが大事だと思うので、いくつか例を。特に「A＝O ⇔ Ax＝O, ∀x」の証明などをしてみる。その後いよいよ連立方程式の章へ突入。連立方程式を行列で書いてみる、と言ってもこれも例が無いと安心できないだろうし、式の本数の変数の個数が違う場合というのは多分子供の頃から大学に入るまで1度として出会っていないだろう、ということで例示する。うん、何べん見ても気持ち悪い。そういうのを少しずつでもいいから払拭してあげないと。簡約行列はやらないつもりでいたんだが、届いてしまったので、仕方なく定義して、簡約な例とそうでない例をいくつか例示。いよいよ来週から基本変形とか階数とか出てくんのかな。やだな。

その後「数理科学特論2」が始まって間も無く、火災報知機が鳴り出した。フォレストで講義をしていたんだが、フォレスト中の火災報知機が全て鳴っている。向かいの部屋で講義していた先生も隣の部屋で講義している先生も皆廊下に顔を出している。「どうも何でも無いようだけど、講義は続けていいんでしょうかね？」と。暫くしたら担当の人が何人か来て、状況を調べ続けていた。でやがて全て鳴り止んだ。「もういいんでしょうね？」「そうですね」というわけで講義続行。暫くしたら放送が入った。「火災報知機が鳴りましたが、どうやら火事は無い模様です。」とのこと。やれやれ、と講義を続けたんだが、何か調子が上がらない。妙なところで中断されたためか。結局ラフイントロダクションでやった「形式的ローラン級数体としての p 進体」がちゃんと Q の p 進付値による完備化に他ならないことが証明できて今日は終わり。

その後月曜恒例「ジャンボフランク」を齧りながらウェストへ戻って、Neukirch のゼミ。素イデアル分解の一意性は流石に難しいらしく、今日は終わらなかった。また来週に期待。

さ、明日の午前中を乗り切ればゴールデンウィークだ。って毎週4日間住処にいるのであまり変わらないんだが、まあ今回は親に顔を見せに行くということで帰省する。そこが毎週との違い。酒を呑まないのもそう。1週間くらいの禁酒は楽に出来るので、してくる。おっと pocket WIFI を忘れないようにしないと。実家にはインターネットの回線が来ていない（正確に言うと来ているのだが、親が節約のため契約を打ち切った）ので、WIFI を持ち歩かないとゴールデンウィーク中に色々出来なくて困るので。線形代数の教科書も持っていて、少し策を練るだな。で昼はテレビ漬けと。