追記（深夜）

書き忘れたことを少々。

昨日（一昨日ね）の荒木のホームインは凄かった。ホームベース手前から飛んでいた。すわスーパーマンかと思うようなジャンプ。見る機会があったら見てください。きっと感動しますよ。

あとは今日（昨日ね）の投手・祖父江（Dragons）の投ゴロの後のプレー。一塁へ頭から飛び込む。結果はセーフだったが、祖父江のプレーには気迫を感じた。結局負けたから同じだろう、という意見は全て却下。皆1球に魂を込めている。我々もそう。1講義1講演に命がけで望んでいる。だから学生も命がけで勉強して、…、やめよう、そろそろ天に唾吐くモードになってきた。

飯塚初勝利

昨日は1回表の満塁ホームランを逃げ切れないという、漫画のような試合で、終わった瞬間不貞寝。今日はやっぱりホームランなどで3点リード。その後も追加点で5－0。が5－3に成った時はすわ昨日の二の舞か、と思ったのだが、嶺井のタイムリーで1点取って6－3。最後は康晃が抑えて無事勝利。3年目の飯塚がプロ初勝利。これでナゴヤドームでは濱口、平良、飯塚が初勝利と、相性のいい球場になっている。後は Giants が負けてくれればよかったんだが、残念ながら勝ってしまった。Tigers vs. Swallows は9回裏で3－3という状況。どうなるんでしょうか。とりあえずプロ野球ニュースを録画しておいて、呑みに出ることにする。じゃ！

職場に2時間だけいた

先日同僚から出された微妙な問題の一応の答が得られたので、今日持っていく約束をする。ただ、それだけの用事で出かけるのはちょっと億劫なので、学生とゼミの約束をしておいた。で13時過ぎに大学着。ゼミは例の多項式 mod p の分解と (p) の素イデアル分解が対応しているという命題の証明をやっただけ。まあそうは言っても難しい定理。証明もとっても難しいと思っていたのだが、抽象的に整理されると証明は見易くなる。来年度の「数理科学特論1」は代数体の整数論をやる予定なので、それまでちゃんと整理しておこう。一緒にゼミをやっている彼には内容がかなりダブルことになるが、Neukirch の本で触れられていないような具体例を沢山出すようにしようと思っている。やっぱり例がいじれて何ぼ、みたいな事はあるし。

でゼミは13時45分頃には終了して、その後図書館に本を返しに行って、で同僚に宿題の報告をして帰宅、というわけ。帰宅後はちょっと金策に走り回ったりと、色々忙しかった。で「プロ野球ニュース」の録画してあった奴を見て、「相棒」の再放送を見て、「科捜研の女」の正月にやっていた奴の録画を今頃見て、という感じかな。今日は疲れた。焼き鳥で一杯ということにしたので、今から行ってきます。じゃ！

今日は楽勝

今日も Swallows vs. Baystars。

B 1 2 0 2 1 0 0 1 0
S 0 0 0 0 0 0 3 0 0

とこんな感じで、比較的楽勝。今日で濱口が8勝。新人王争いにも殴り込みをかけたいところ。Dragons の京田が2割7分と比較的良く打っているだけに、まだまだ混戦模様。セ・リーグの2位争いも目が離せない。今日は Giants が勝って Tigers が負けてと、直接対決で星のつぶしあいをしているだけに、今日の勝ちは大きい。とりあえず明日は1日野球を見なくて済む “休息日” だし、大学に2つばかり用事があって行くので、ついでに色々やってくるかな。

さ、呑まずに寝よ。

開店は10時

ここのところ気持ち的に色々忙しく、2週間くらい前に届いたポケット WiFi の箱を開けずに放っておいてしまった。で開けて設定しようとしたら何かうまくいかない。まあいいや、明日やろう、ということで10時くらいには寝てしまったんだが、3時頃目が覚めてしまった。まあ5時間も寝たしいいだろう、ということで9時まで時間潰し。色々やることはある。で9時になったところで、早速カスタマーセンターに電話。言われたとおりにやったんだが、はずれるはずのない物がはずれたらしく、「ショップに持っていくしかないですね」と言われ近隣の場所を尋ねると椥辻の駅の近くらしい。で行ってみた。直前に女の人が入っていったので、何の気なしに付いて入ってしまった。で結局ははずれたものをはめるだけ、という簡単な方法で解決。何だ馬鹿臭い。どうもありがとうございました、と出ようとしたところで一声掛けられた。「うちは10時からの営業なんで、出来れば10時過ぎにお願いします」と。時計を見たらまだ10時前。考えてみりゃ9時に電話したんだから、まだ10時前なのが当然。「すみません、失礼いたしました。」と詫びて出てくる。

帰ってきて携帯電話やパソコンがWiFiで繋がることを確認し、昼飯を食べて、寝不足につき少し寝る。

で目が覚めてからごそごそやって野球観戦。取って取られてで今日は負けた。最終回に代打・乙坂のホームランが出て1点差になった時はちょっと期待してしまったが、そのまま負け。今 Tigers と Giants を含め三つ巴のＡクラス争いをしていて、Tigers と Giants が直接対決中。で今日は Tigers が勝った模様。うむ、ハマスタで CS を、はまた一歩遠のいたが、下から追い上げてくるうるさいハエは今日は負けてくれたし、良しとすべきか。とりあえずこれから呑みに行ってきます。寝不足なので酒の回りは速いでしょう。じゃ！

当たり前のことはやはり当たり前に成り立つ

珍しく朝早く起床。食事を取ってからしばらく無為に過ごす。昼飯に鰻丼を食べてきて、そっから一仕事。当たり前のように見えることが本当に当たり前か？という問に関して考え始める。寝床でうつ伏せになりながら、計算を色々やってみて、出来た、と思ったらまだ出来ていない、でコンピューターで計算して計算ミスはないことなど確認と、この繰り返し。夕刻にやっとやっぱり当たり前の結果しか成り立たないことがわかった。途中円分体を考えたり、最大実部分体の正規底を考えたりと、結構大事だったが、良かった。すっきり。

その後シャワーを浴びてから野球観戦。今日は6回終了時点で2－1と競った試合。（勝っている。）が7回表に Baystars が一気に6点とって突き放しに掛るも、「試合が動き出す」というのはこういうことか、という展開。7回、8回と Swallows が2点ずつ取って、8対5。満塁でホームラン一発で逆転される、という展開になったが、幸い2点ずつで済んで、9回も康晃がバレンティンから一発打たれ、2点差。しかしその後はサードゴロ2本ですんでゲームセット。やれやれ。これで4連勝。G 戦での3連敗は完全に消したな。明日も明後日も Swallows 戦。ここは同情したり手を抜いたりしているわけにはいかない。3タテを狙うべし！

Carp のマジックは昨日一旦消滅したようだが、また今日点灯したようだ。本当にマジックナンバーはマジックだな。

何と3夜連続

今日は酒を呑んだ翌日特有のだるさに襲われて、野球を見ていた途中で不貞寝。

C 1 2 0 0 1 0

B 1 0 0 0 0 

まあこんな感じだったし、いくらなんでも3夜連続は無かろう。で半分寝て半分起きてる状態で寝床にいたんだが、「ロペス、3試合連続！」とか「梶谷のホームランで2点差！」とか聞こえてきたら、こりゃ起きるしかない。で見ていたら筒香タイムリーでついに同点。「いや、そんなうまくいくわけはない。相手は首位 Carp だぞ」と思って見ていたら、うまくいってしまった。ゴメス後藤の外野への大飛球がフェンスの最上段へ。ああ、入らなかったか。延長突入だな。と思っていたら、倉本のセカンドへの小フライが、何とイレギュラーバウンド。名手菊池をもってしても対応できず、ゴメスの代走で出ていた高城がホームへダイビングしてサヨナラ勝ち。うーん、凄い。何で G に3連敗してきたのか不思議だ。ただ残念なのは今日も T が勝ってしまい、ハマスタでＣＳを、の願いがまた一歩遠のいたこと。まあまだまだ直接対決があるし、自力2位を狙っていきましょう。忘れてた、今日のランニングスコア。

C 1 2 0 0 1 0 0 0 0

B 1 0 0 0 0 1 1 1 1×

勝ちは康晃。途中締めた尾仲とエスコバーにも敢闘賞をあげたい。

もう一つ忘れていた。3試合連続サヨナラ勝ちは1960年以来とか。日本一に成った年ですな。今年は CS を勝ち上がって、日本一を目指しませう。

連夜の激勝

職場を離れようと思ったところで、ちょっと捕まってガロア理論の講義をさせられた。ということで住処着は18時7分ほど。早くも2点リードされている。その後も3点。…

C 2 3 0
B 0 0

この状況が最後には

C 2 3 0 0 1 0 0 0 0 0
B 0 0 3 0 1 0 1 0 1 1×

こうなるとは。9回にロペスが同点ホームラン、そして延長10回裏に梶谷がサヨナラヒット。しかも今日は G が負けてくれたので、ゲーム差が開いた。T が勝ってしまったのがちと残念。まあこれで3連戦勝ち越したわけだから、文句なし。明日も勝とう。

ちなみに3回裏の3点中2点は先発投手のウィーランドのホームランによるもの。ピッチングはだらしなかったウィーランドだが、打つほうでは目立った。これで2号ホームラン。打った相手は2発とも大瀬良。大瀬良はウィーランドの顔を見るのも嫌だろう。

これで vs. Carp は10勝9敗と勝ち越し。1試合でも優勝遅らしたんねん。明日も見とけよ。

劇的3連発

野球を見ていた。いきなり1回に先制するも、あっさり逆転を許し、「もういいや」と不貞寝モードに入る。眠かったし。でテレビを付けっ放しにして、寝ながら野球観戦。（見てないから観戦とは言わない。）で9回に入った頃に目が覚めた。相変わらず不貞寝していたんだが、「筒香2ランホームラン！」「ロペス同点ホームラン！」の声で、「もうこれは見るしかないでしょう」という感じで起きて見ると何と宮崎がサヨナラホームラン。クリーンアップトリオの3連発で勝利。うむ、やはり信じて見ておけ、ということだな。なんせ一昨日まで東京ドームで3タテを食らってきただけに、正直 Carp に点が入るたびに「今日はあかん」とマイナスモードにどんどん下がって行き、「もういいや、負け試合は見なくても。眠いし」となってしまったのだった。うむ、ここで Carp を3タテしたら、またハマスタでの CS が実現になるかもしれない。楽しみ。ワクワク。

夕刻に住生の人から電話。何だと思ったら、書いて送った書類に不備があるらしく、明日伺いたいとのこと。うむ、暑くて面倒くさいが、行くか仕方がない。

ハマスタでのＣＳ開催が遠くなる～

一昨年ゼミで使ってたテキストに中々セクシーな事実が載っていた：

A＋B＋C＝2π ⇒ sinA＋sinB＋sinC＝4sin(A/2)sin(B/2)sin(C/2)

小生これ知らなかったし、学生も誰も知らなかった。まあ要するにこれを使ってsin(2π/7)＋sin(4π/7)+sin(8π/7)＞0 を示せ、ということだったのだが、上の公式を知らなくても、これはほぼ自明である。グラフ上で見れば sin(8π/7) の絶対値が他の二つより圧倒的に小さい。sin(2π/7)＝0.781…、sin(4π/7)＝0.974…、sin(8π/7)＝－0.433…。ということでその時は、この公式は知らなくても目的は果たせる、ということでスルーして、すっかり忘れていた。

が、ふと最近漸化式が分かってないぞ、ということでちょっと資料室でチャート式を漁った時にこんなのが出ていた。

△ABC において、次の等式が成り立つことを証明せよ。
sinA+sinB+sinC＝4cos(A/2)cos(B/2)cos(C/2)

これって要するに A＋B＋C＝πの時、sinA+sinB+sinC＝4cos(A/2)cos(B/2)cos(C/2) を示せ、ってことじゃん。で解答を見てみると、和←→積の公式と倍角公式を使うだけ。ということは忘れていた昔の歌もこれで歌える、ということで歌ってみたところ、見事に歌えた。うん、一応納得。が、しかしふと疑問。これらには何か幾何的な意味があるのだろうか？それとも単に式が綺麗だからいいじゃないか、ということなのか？誰か知っている人がいたら教えてたもれ。

でチャート式を見るために職場に行ったら、去年まで助教をやってたＩさんが来ていた。夏休みを利用してＡ堀先生と共同研究するらしい。元気そうで何よりである。彼女がいなくなって、助手をやってたＡさん（女性）もいなくなって、職場はすっかり男くさくなっていたので、ちょっとリフレッシュした。ファブリーズをかけた感じだろうか。次いつ職場に行くか確認してないけど、その時までいてくれるといいが。

え、タイトルと中身が何の関係も無いって？そのと～り（財津一郎の声で読んでくれ。）

ファミリーマート新規開店

二日続けて嫌な負け方（しかも相手はにっくき Giants）なので、不貞寝していた。でこんな時間に書いている次第。明日は勝とう。負けるようなことがあると、また G ファンが五月蝿くなってくる。明日勝てば4ゲーム差だ。少しは静かになるだろう。

さて、近所のガソリンスタンドが閉めた。施設の老朽化とそれの更新にかかるコストが掛りすぎるためとか。でその後何が出来るのだろう？と思っていたらなんとファミリーマート。真向かいにあるではないか、と思ったら、そっちは閉めるらしい。しかしこのファミリーマート、小生が待ちわびていたもの。何かというと、住処の近所のコンビニエンスストアは全て大通りの向かいにあるものばかり。しかもファミリーマートにいたっては、帰りが面倒くさく、大通りを渡ってきてから、もう1回信号を渡らなければならない。近いのだが結構遠い、というのが印象だったのだが、今度のファミリーマートは信号1回、タイミングに寄っては信号待ち無しで行ける。近い。今までドリンクを買いに行くのはその近所の自動販売機と相場が決まっていたんだが、こうなるとファミリーマートに行ってまとめ買いが出来る。素晴らしい。Ｔポイントをがんがん貯めるため、通い続けるとしよう。というわけで早速行ってきます。

今日も勝った

先日職場へ行ったときに忘れ物を一つしてきたので、取りに行ってきた。只今職場は一斉休暇中なので、ほとんど人がいない。ウェストウィングに近いところに車を止めることも出来る。しかもそこはうまいこと日陰なので、長時間止めておいても車内は暑くならない。言うことなし。で忘れ物はしっかり持ってきたんだが、それだけでは何となく馬鹿くさいということもあって、図書館で借りた本を2冊職場に持っていった。もちろん図書館も閉まっているんだが、まあ住処に起きっ放しにして行方不明になるよりいいでしょう。（もっとも職場の方が行方不明になる確率が高いという説があるが、しばらく行かないので大丈夫でしょう。）あとついでに線形代数の演習書を一冊。この前の高校数学が分かっていない件を線形代数の問題と見るのも（見るのが？）自然なので、線形代数の復習も兼ねて。

帰宅後1時間くらいで野球開始。今日は1回裏にいきなり3点を取って、楽勝ムード。ピッチャー今永の好投が光る。その後1点ずつ取り合って、4－1での勝利。試合時間は2時間30分くらいと、テンポの早い試合だった。これから裏番組として録画してあった「ぐるナイ」を見る積もり。まあ今日くらいは夜更かししましょ。
＃って酒が入っているときよりは全然夜更かしではないが。

何もしない一日

今日は昼前に起きたんだが、無性にだるい。ブランチを食べて、また寝る。15時頃用足しに行きたくなってまた起きたが、だるさは抜けず再び睡眠。18時過ぎに宅配便が来て起こされる。ただの宅配便でなく、本人証明が必要だったので、宅配ボックスに入れて帰る、というわけにはいかず、運転免許証を見せて、手続きは finish。

18時過ぎ、ということは野球が始まってる時間。雨に煙る横浜スタジアムで、先制2ランをウィーランドが打たれる。がその後粘り、2失点で降板。そうこうしているうちに追い付いて、最後は倉本のサヨナラヒットで勝ち。目出度い。今日は呑みに出る予定だったのだが、普通に野球を見て良かった。試合終了後は、Baystars の横浜スタジアムでの勝ち試合だけを集めた番組がやるので、楽しく見る。ただこれ困るのが、1ヶ月終わって1週間か半月経つと、先月の分が加わってしまうこと。だから先月までの分をハードディスクから消して録画領域を作って、新たに7月から4月までの分を録らないといけない。まあ適当なタイミングでBlu-rayディスクに落とせばいいんだが、そこは変な完璧主義者が祟って、1枚に、1試合もダブらせず録りたい、と成ってしまう。7月までの分はハードディスクに溜まったので、9月に成るまでは安心して見られる。8月分は9月の何日頃から始まるんでしょう？それが気になってしょうがない。なにしろ今月の下旬から来月の上旬に掛けて大連勝して、2位に上がるはずだから。ここから大逆転 Ｖ もいいが、まあそこまで欲張るのは止しましょう。ま、現場では優勝狙って毎試合勝つ、と気合が入っているようなので、楽しみではある。

筒香2発で3タテ免れる

Baystars vs. Tigers の2位争い直接対決第3戦。3連敗だけは避けなくてはいけない。で犠牲フライで先制されるも、その後倉本の2点タイムリー2塁打、桑原のタイムリー2塁打でひっくりかえす。そして筒香に2発出た。これで8－1とリード。最後に三嶋が1点取られると味噌は付いたものの、8－2で楽勝。これで再び3ゲーム差。まだまだ追いかけていきましょう。

九大で内職の論文読みをしている時に、高校数学程度のことで分かっていないことが多すぎることに気付いた。で数学Ｂの教科書を相手にうんうん唸って、ようやく合点が行った。うん、良かった。多分どの数学者もそうだと思うが、案外初等的なところで知識が抜けていて、「う、知らん、しかし人には聞けん」ということがあって、頑張ってるんだと思う。もっと勉強せなあかんね。

だるい1日

昨日1日ちょっと無理したせいか、まだ疲れが残っている。9時頃に起きて用足しをして、さて、と思ったんだが、無性にだるい。なのでもう一寝入り。で11時半頃目が覚めたんだが、まだだるい。結局1時頃まで寝ていた。

その後特に何をするでもなく、ネットサーフィンくらいしかしなかった。で野球開始。vs. Tigers。9回表時点で8－1と負けている。うむ、この後はやけ酒か。それとも疲れが残ってだるいと言っているくらいだ。早寝しようか。考え中。結論はもう少し先に出す。結果は多分書かない。いずれにせよ、お休みなさい。

研究集会3日目はパス

昨日は11時には寝たんだが、夜中の2時くらいに目が覚めてしまった。そこでふと気になったことがあった。それは今日の正午までに山科まで帰ってこないと解決しない。ということで今日は九大行きはパスして、7時33分博多発東京行きの「のぞみ8号」に乗って一路山科へ。山科着は10時半くらい。その後気になったことを解決。どうも今日慌ててやる必要はなかったようだ。がまあ片付けてしまってよかった。今日の研究集会の話は面白そうだったのだが、やむを得ない。出張届けに「変更有り」として提出しないと。え、気になることって何だって？さあね。

で用事がすんだ後昼飯を食べて昼寝、のつもりが昨日から今日への寝不足が響いて、1日分くらいの長時間睡眠になってしまった。野球も見損ねた。幸いニュースを見たら勝ったようだ。Tigers も勝って、Carp は負け。ということでマジック再点灯はなかったそうだ。Giants も勝ってしまい、Baystars は3位にどっかり安泰。2位を目指すには Tigers に負けてもらいたいんだが、そうするとマジック再点灯。うーむ、複雑。あ、昨日も書いたね。まあ昨日宣言したとおり今日以降も書くので、うんざりせずにお付き合いください。

研究集会2日目

今日は研究集会の2日目。やっぱり寝坊して、昼過ぎに九大に着いた。その瞬間金子昌信さんに呼び止められて、「いいところで会った。午後の座長をやってください」とのこと。うむ、緊張するが、断る明確な理由がないので引き受ける。うん、座長はいい。居眠りも内職も出来ない。話も真面目に聞かなきゃいけない。出来れば質問も。というわけで本当に真面目に聞いた。勉強に成った。ベルヌーイ数はそれなりに知っているんだが、他のもCarlitz 数など、いくつか知った。しかもそれの多重化や関数体アナログも。指数型不定方程式も勉強した。今までで一番詳しく聞いた気がする。有意義な午後であった。

今日は天神で懇親会もあった。そこでも色々有意義な会話をしてきた。ただ残念なのは、金子さんとちゃんと話が出来なかったこと。人間50近くになると、色々昔のことを反省してみたり懐かしがってみたりするもの。で京大数理研で今のところ最初で最後の講演をしたときは、金子さんがオーガナイザーだったのだった。その時の話をしたかったのだが、懇親会では遠くの席、天神駅では合流出来ずというわけで、話せなかった。また次の機会を待つとしよう。

お話変わって。昨日 Carp にマジックナンバーが点灯したらしい。球団最速とか。Tigers にはマジックナンバー減少に歯止めをかけるよう頑張って欲しいが、Baystaras の単独2位を願うとなるとあまり頑張って欲しくない。（似たようなことはここ数日連続して書いているが、気にしないでください。明日以降も多分書きます。）とにかくハマスタで CS を！

研究集会1日目

福岡数論研究集会1日目。ちょっと昨日夜が遅かったので、大丈夫かな？と思って起きたら、ぎりぎり九大に間に合うかな、という感じ。で10時15分開始のところ、10時8分くらいに会場着という、絶妙なタイミング。最初から全部真面目に聞いた、というのは嘘で、居眠りこそしなかったものの、大半は内職。明日はどうだろうか？

今日思ったこと：「あんなマシンガントークマシンガンライティングでは学生がかわいそうだ。」こういうのを「天に唾する」と言う。後期の講義は少しゆっくりやろう。

夜は4人で福岡の美食を味わいながら、色々お互いの大学について情報交換。こっちがメインで出席しているという噂もある。けしからんと言うこと無かれ。こういうのがちゃんと日頃の業務に反映されているんだから。

宿に戻ったら丁度「熱闘甲子園」が始まるところ。で昨日の謎が解けた。古田は「熱闘甲子園」のメインキャスター。それに出演するための大阪入りだったのだ。納得。滋賀代表の彦根東高校は、観光客の安全に配慮し、高校のグラウンドでは打撃練習が出来ないらしい。でバッティングセンター脇の倉庫のようなところで打撃練習をしているそうだ。そんなので大丈夫なん？と思ったら大丈夫で、ホームラン打った。うむ、彦根東ちょっと応援しちゃおうかな。

福岡ナウ

福岡ナウ。昨日の予報では福岡県内に台風上陸、だったのだが、それたらしく、四国、近畿、東海が大被害らしい。事務の人から「契約職員には帰宅命令が出ていますので、事務室はこれから閉鎖します」というメイルが来ていた。で何か今台風は琵琶湖の東にいるらしい。これは大変。今回の出張は台風に向かって突っ込んでいくことになるかと思っていたら、逆に台風から逃げる形に成った。

福岡に来たのは「福岡数論研究集会」に参加するため。何だか難しそうな話ばっかりだけど、勉強してこよう。わからない場合の内職も用意してあるので、勉強しましょう。

台風がやってくる？

昨日の負けで Baystras の自力優勝が無くなったそうで、今日からはマジックナンバーが点灯するかどうかは Tigers 次第になったようだ。うむ、今日も負けたが、これでも対 Carp は8勝9敗と五分な戦いをしているだけに残念。まあ頑張って自力2位を目指しましょう。今週は Tigers 相手の直接対決3連戦もあることだし。

まあそうは言っても明日から暫く野球は見られない。何故かというと、明日から出張で九州大学に行くから。が、何か台風が九州からこっちへ思いっきり向かってきてるようなので、ちょっと心配。行けるんでしょうか？研究集会が中止にならなければいいが。高校野球も明日の開会式はやめて、一日予定を遅らせるらしい。そういう情報を聞くと、本当に心配になる。まあその時はその時として、心配しないで寝るとしますか。じゃ！

今日もマジックナンバー点灯は無し

たった今 Baystars が Carp に負けたところ。で昨日は Carp が勝てばマジックナンバー点灯だったのだが、今日は Tigers の結果いかんによるらしい。で昼 Tigers が勝ったから、今晩は Carp が勝ってもマジック点灯は無し。頑張って一日でもマジックナンバー点灯を遅らせましょう。ということで明日は Baystars に勝って欲しい。Tigers ねー、うーん、マジックナンバーのためには Tigers に勝って欲しいんだが、Baystars とのゲーム差を考えると負けて欲しいんだよなー。まあとにかく Tomorrow is another day だ。ということで少し呑んできます。じゃ！

金沢に行ってきた

金沢へ「北陸数論セミナー」を聞くために行ってきた。ある種のタイプの類数1の実二次体は有限個しかないから、類数1の実二次体を得るにはこういうタイプを探さなきゃいけない、とまあざっと言えばこんな話。結局連分数が問題になるということは、実二次体の場合は基本単数がどうなるかが問題で、とまあこう言ってしまっては身も蓋も無い話だが、やっぱり単数規準と類数は切り離せないんだな。面白かった。

で金沢へ行くたびに「この蕎麦屋の蕎麦が食べたい」という蕎麦屋があったんだが、12時になっても開く様子がない。そういえば以前に店の前を通ったときは営業時間が貼ってあったが、それがなくなっている。そうか閉店したのか。うーん、何のためにチェックアウト後2時間も待っていたんだろう、あほくさ。ということでサンダーバードの切符を買うも、次の電車は13時20分。仕方ないので喫茶店でコーヒーを頼んで時間つぶし。どうせ始発だろうから、少し前にホームに行けば待っているだろう、ということでホームへ行ったらもう止まっていた。早速車内に駆け込む。何しろ今日の金沢の最高気温は34度だそうだから、一刻も早く冷房の効いた中に逃げ込むに限る。ということで2時間強サンダーバードに乗って京都着。15時30分くらい。湖西線に乗って山科まで帰ってきて、住処に戻って即冷房。京都も暑い。

さて一息ついたところで野球観戦。今日は vs. Carp で、Carp が勝つと早くもマジックナンバーが点灯とか。これは負けちゃいられないぞ、と思ったら1回表に打者4人で3点取られるという最悪なスタート。が、2回裏に満塁から倉本のタイムリーと桑原の満塁ホームランで5点を取って逆転。その後先発の石田は立ち直り、初回の3失点でお役御免。が、その間に打線は打ちまくっていて、13－3と圧勝。1番桑原と2番田中浩康で9打点。調子に乗ると本当にえげつないのが Baystars 打線だ。明日も首を洗って待っていなさい Carp 君。

今日のトピックはやはり岩瀬（Dragons）。プロ野球最多タイの949試合に並んだ岩瀬が、9回のピンチを抑えて、見事勝ち投手に。岩瀬はすごいなー。こうなったら1000試合登板してもらおう。もう2度と塗り替えられないような凄い記録というのはいくつあってもいい。しかし例えばイチローのシーズン210安打にしても、試合数が増えたとはいえ塗り替えられているわけだから、1000試合登板しても塗り替えるピッチャーが出るかもしれない。それはそれでまた楽しみだ。皆、頑張ってくれ。

今日も勝ちきれず

この前の Giants 戦は9回2アウト2ストライクから逆転サヨナラ負けを食らうという、強烈な負け方だった。今日も9回2アウトから2点取られて同点に追いつかれ、結局引き分け、という具合。勝ちきれないなー。康晃1人の責任ではないんだが、何だかなー、という感じ。まあ今日の場合は康晃の守備の責任でもあるようだ。解説の川口和久曰く「あそこは山崎君は、ホームのカバーリングじゃなく、3塁とホームの間にいて、送球判断でどっちかに動いて、ランナーをホームインさせないようにしないと」とのこと。まあ難しいことはよくわかんないが、それが結局同点のランナーだったわけだから、康晃は反省しないといけない。まあ投げるほうは文句なしなんでね。

昨日は結局3缶でやめた。で寝た。で呑んだ次の朝は大抵だるい。今日は9時に起きたんだが、異様にだるいため、用足しだけして再度寝る。その後は13時頃目が覚めて、起きたんだがやっぱりだるい。もう1度寝て16時頃起きたら、ようやくだるさは抜けていた。でやることが特にあるわけでもないので、録画してあったプロ野球ニュースを1回分見て、18時から野球。今日は1回裏に雨の勢いが強くなったので、その後51分間中断。それで延長12回までやったもんだから、終了はちょっと前。くたびれた。何だか何にもしない1日だったが、まあいいや、ということで今日はもう寝る。寝てばっかだ。まあ明日はちょっと金沢まで行くので、ゆっくり寝ますわ。

数学IIIの試験の採点など

今日は1ヶ月以上前から保健センターに行くことが決まっていて、最初は「それだけのために行くの？めんどくさ」と思ってたんだが、運よく昨日やった試験の答案整理が終わったので、受け取りに来い、というメイルが来ていたので丁度よかった。更に住友生命の立命館担当の方がついに退職されたらしく、代わりの人が挨拶に伺いたい、と申されていたので、それも今日にセッティングしておいた。用事が3つもあれば行くのもいいかなと。

で保健センターだが、例に寄って血圧測定など。体重も毎回計っているんだが、今日はこの前より1.5kgばかり体重が減っていた。何故？先週はあれだけ贅沢な食事（オヤツ付き）をしたのに。考えられる理由としては、10日ばかり酒を抜いたお陰かな、のみ。でそう言ったらドクターが「じゃあ今日血液検査もしましょう」と言ってきた。で止む無く検査を受ける。担当のナースに「大抵右腕の血管は見づらくて、いつも左から抜いてるんですよ」と伝えて、左腕に針を刺してもらった。数分で終了。処方箋をもらって保健センターを後にする。

で個研室へ。30分ほど待つと、住友生命の人が2人セットで現れた。割合化粧の匂いの強い人だちだ。小生は化粧品の匂いは苦手なので、普段から香りの強い人とは接しないようにしている。だけにちょっと辛い。その後契約内容の説明などを受けてさようならと。

さて答案も受け取ってあるし、がーっと採点してしまおう、ということでがーっとやった。問題が簡単なだけあって、不合格者は少ない。どうも2回生の線形代数科目が小生の線形代数の裏番組だったらしく、2回生以上はほとんどいない。4回生が1人だけ。で採点してみた感想。行列の掛け算はどうやら出来るように成ったらしい。あと正則⇔行列式≠0も定着したようだ。まあこれくらい行ってれば1回生前期はＯＫでしょう、という感じ。後期はどうなるでしょうかね。ベクトル空間の抽象化の波に飲まれて、今度は不合格者多数、というのが想像されるが、果たして。

薬をもらってなか卯で鰻を食べてきて、さて野球だ、とチャンネルを合わせたら、横浜はかなりの雨。で18時10分に中止が決定。なんでい、つまんねーの。まあいいや、ということで若干部屋掃除など。行方不明だったものが色々出てきたが、肝心のものが見付からない。これも例の如く「まあいいや、また明日以降」ということにした。今日は適当に寝よう、ということでビールを買ってきて、今呑みながら書いているところ。あと2缶残っております。果たしてそれで終わるんでしょうか。今後に期待（する人はいないな）。じゃ！