足立恒雄「よみがえる非ユークリッド幾何」日本評論社

昨日は昼から院試面接。1時半開始だが、ウェストウィングに1時20分頃着いたので、まず学科の事務室へ寄って

                     足立恒雄「よみがえる非ユークリッド幾何」日本評論社

を献本いただいたのを受け取ってくる。予想以上に薄かった。もう少し分厚い本を想像していたんだが。で面接と会議の間に目を通そう、ということで面接へ。修士課程が5名と博士課程が1名。結構時間が掛った。終了は4時過ぎ。が、そこで終わりでは無く、4時半から判定会議を含めた会議。結構重量級の議題があって、こちらも時間が掛る。会議の間に足立先生の本に目を通そうと思っていたんだが、そんなことをしていられないくらい重量級だった。疲れた。

で6時半から学科事務の方の送別会。4月に着任されたばかりなのだが、家庭の都合で8月一杯で退職。うむ、感じのいい人だっただけに残念だ。で送別会が始まってみると、この4月まで事務室にいた人や、2年前までうちで助教をやっていた人など、千客万来。中々盛り上がった。美味しいお酒も色々。もう楽しくてふらっふらになった。で呑んでいる最中に聞いたのだが、4月まで事務にいた人はこのブログを読んでいるらしい。何でも学部事務の人に存在を聞いたとかで、びっくりした。何故そんな人が読んでいる？うーむ、うかつなことは書けまへんな。去年は阪大の人に「い加川しい hitorigoto 読んでます」と言われびっくりしたし。少し内容を変えるかな。いや変わらないな。

終バスで職場を後にする。1人一緒にホームに向かった人がいたんだが、その人の同僚がホームにいて、捕まった。で山科まで3人で語らいながら帰ってくる。途中寄り道をせず、一目散で住処へ。今回も息が上がっていたので。住処でポカリスエットを飲みながら、テレビを見て調子を整える。そのまま数時間テレビの前に。3時頃には普通になってきたので、コンビニに食料を買出しに。帰ってきて引き続きテレビ。7時まで起きていた。

ということで今日も起きたら相当遅い時間。今日したのは例に寄って野球を見ることだけ。今日は完敗。昨日勝っていただけに今日も勝ちたかったが。昨日は Giants が勝っていて、今日は Giants が負けた。ということでマジックは2日で2減った。まあ今日の先発は京山だし、負けるのは半分折込済み。Giants の負けを願っていたが、その通りになってよかった。また明日頑張ってもらいましょう。明日は今永だし、勝ってくれる筈。期待して今日は寝よう。え、起きたばっかりだって？そうなんだが、明日は職場に車を取りに行って、ついでに提出期限の切れた書類を出してくる予定で、野球に間に合うよう帰って来たいから、ちょっと早目に起きないといけないので。月曜日にすればいいって？いえいえ、月曜日は仙台に出張で、夕方の6時から先輩方と食事をする約束があるので、こちらも少し早目に住処を離れないといけないので、職場に行く暇は無いのだ。ということでもう少ししたら寝ますわ。

横浜スタジアムで39勝（球団新記録）

今日もろくでもない生活をしてしまった。野球見る以外のことは何もしていない。で今日の野球だが、井納が今日打たれた初安打がタイムリーヒットで、1点リードを許す。その後もう1点取られ、0－2。うむ、いかんぞ、と思って見ていたら、Swallows がミスで満塁をプレゼントしてくれて、そこを柴田が同点タイムリーヒット。次の回は梶谷のタイムリーヒットで勝ち越し。さらに次の回に神里のタイムリーと、文句なしの試合運びをしてくれた。最後は康晃が抑えて勝ち。この前痛い目にあわされた Swallows を今度は3タテ。素晴らしい。残念ながら Giants が勝ってしまったので、ゲーム差は縮まらずマジックナンバーも一つ減ってしまったが。まあいいでしょう。明日から vs. Carp。2位確定といきましょう。

さて今日で横浜スタジアムで39勝。これは DeNA が親会社に成ってからの最多。まだまだ横浜スタジアムで試合があるので、どんどん更新してもらいましょう。いよいよ横浜スタジアムに行けなくなってしまうが、まあいい。人気があってそこそこ強くて。応援しているほうとしても応援し甲斐がある。どんどん人気者になってもらいましょう。

山本祐大、プロ3本目の安打がサヨナラ打！

昨日の晩も夜更かしをしてしまい、今日も起きたらPMだった。で起きたらすぐ昨日の晩コンピューターにループ計算をさせていたんだが、それが終わったかチェック。まだ終わっていないようだ。どうもキリが無さそうなんで、計算を中止。改めて新しい計算をさせているところ。

例に寄って6時から野球。いい感じで4－0となったんだが、バレンティンに2発打たれて逆転される。梶谷のバースデーアーチで追い付いたが、また逆転される。が、神里のタイムリーで再び追い付く。試合はそのまま延長戦へ。延長戦では中々点が入らず、ついに12回裏。2アウト満塁で投手の打順。残っているのは2年目の山本（第3捕手）だけなので、代打に出てきた。2ストライクまでいった時に、「今日は引き分けだな」と思って山本には申し訳なかった。まさかサヨナラヒットを打ってくれるとは思わなかった。ということで、7×－6で見事勝利。Giants が勝っていただけにこの勝ちはでかい。Carp は Giants が相手だから当然負けて、Tigers は Dragons に1－0で負けたので、これでしばらく2位は安泰。やはり今日の勝ちはでかいな。よく打ってくれた山本祐大。

今日は野球終了後に「ふなごや」に呑みに行く予定だったのが、試合が終わったのが11時ちょい前。「ふなごや」は11時閉店。ということで、今日の呑みは無し。明後日は昼から院試の面接試験があるため、明日も呑まない。明後日は呑むかな。うちの大学院は、ほぼ内部からの推薦入学生で占めてしまうので、院試を受けて入ってくる学生は少ない。ということで院試面接は無くなることが多いのだが、今年は数名受験生がいるようだ。うち1名は何としても今回の面接で見ておかないといけない学生（詳細は秘密）なので、面接をさぼってはいけない。まあそういう事情が無くてもさぼってはいけないのだが。とにかく明日は呑まない。夏休みは思いのほか呑まなかった。体重が1kgほど減ったのはそのおかげか？関係ないかな。

村上（Swallows）、新人王へ一歩前進

昨日は疲れ果てていて、ブログの更新などする気が起きなかった。昨日は何をしていたかというと、特に何もしていない。まあまだ休みだからいいでしょう。

で今日。起きたら午後だった。その後保健センターに行って、保険会社の人が訪ねてくるので対応して、教授会と、割合用事があった。睡眠は十分とっていたので、今日は楽だった。5時過ぎに教授会は終了。処方箋を持ってドラッグストアへ。薬が処方される間にお買い物。飲食物と目薬を購入。

6時過ぎに住処に着いた。早速野球。2回表に村上のホームランで先制を許す。が、3回裏にロペスの2ランホームランで逆転。しかし5回表にバレンティンと雄平の連続ソロホームランで逆転を許す。しかし5回裏に筒香のしょぼいサードゴロで同点。7回裏に筒香と嶺井の連続タイムリーでついに勝ち越し。先発の上茶谷に勝ちは付かなかったものの、6回3失点（ソロホームラン3本）とまあまあの内容。後をついだ国吉、エスコバー、康晃がナイスピッチングで勝利。勝ち投手はエスコバー。康晃が27セーブ目。まずは重畳。Giants が負けたので、ゲーム差5。今永の言う通り、もう一波乱起こしましょう。

今日ホームランを打った Swallows の村上だが、31号ホームランで、高卒2年目以内では清原以来となる31号ホームラン。素晴らしい。記録は中西太の36ホームランとか。越えそうだね。打点86は中西に並ぶ記録。こちらもすぐに越えそう。明日と明後日は大人しくしといてな。今日は新人王のライバル上茶谷が勝ち星をあげられなかっただけに、村上の新人王が現実味を帯びてきた。と言うかもう文句無しなん違うの？人気チームに票が集まる傾向があるので、Tigers の近本にもまだ目があるが、やっぱり村上でしょう。ホームラン王か打点王を取れば間違いないでしょう。頑張ってもらおう。ただ、既に書いたが、明日と明後日は大人しくしといてな。

床屋へ行った

昨日「午前中に起きたら…」とか書いたが、そのまま3時過ぎまで起きていた。で起きたらもう午後に成っていた。でやっぱり野球を見てしまった。今日も vs. Giants。11勝の今永と12勝の山口の投げ合い。3回表、乙坂のタイムリーヒットで先制。7回表乙坂のタイムリー3ベースヒットで2点差。山口をノックアウト。8回表にソトの32号ソロホームランで3－0。昨日は打たれた康晃とエスコバーであったが、今日はピシャリ。三嶋は昨日も今日もピシャリ。もう言うこと無しで3－0で勝利。今永が12勝で山口に並ぶ。ソトはホームランと打点がトップタイ。いいね。明後日以降も頑張ってもらおう。

野球が終わったら即床屋。前にいつ行ったか記憶が無い。ブログに残しているかと思って探したら出ていなかった。3ヶ月くらい行っていないのと違うかな？とにかく相当伸びてる。大分すっきりした。次行く時のための備忘録として、今日のタイトルは「床屋へ行った」としておいた。次は思い出せるだろう。

終日腹痛

今日は胃が痛くて目が覚めた。その後腹の調子がずーっと悪く、床屋行きも諦めた。

でずーっと悶絶しているうちに6時。8回に一気に4点取って6－5。9回裏2アウト2ストライクまで行ったのに、そこから追い付かれた。で延長に入ってサヨナラホームランを打たれて負け。うーむ、マジック点灯を許してしまった。Carp と Tigers が勝っているので、再び3位転落で、4位 Tigers と2.5差。まずいね。明日は勝ってくれ。

腹の調子はどうにか治まってきた。明日は床屋へ行こう。野球はデーゲームの様だが、見ないことにしよう。それで勝ってくれたら嬉しいが。午前中に起きるという奇跡が起こせれば、早いとこ床屋へ行って、それから野球観戦だ。とにかく床屋へは行く。

Giants のマジックナンバーを阻止

昨日の晩は眠かったので、11時前に寝床に入った。で今朝は9時前に起きた。睡眠はもう十分なので、起きていることにした。で何か有益なことをしたい、ということで、研究ノートを引っ張り出して、色々考えてみる。あまり名案は浮かばなかったが、自分の研究を見直すにはいいということで、十分有意義だった。明日は床屋に行こうと思っているので、今日も早寝をしよう。

6時から野球。今日から vs. Giants。マジックナンバー点灯か、という試合だそうなので、負けるわけにはいかない。1回表、2アウトから二つ四球をもらって、その後ソトの3ランと、十分な先制。2回には今日一軍登録の梶谷が2ランを打って、序盤で5－0とリード。ピッチャーは東。ナイスピッチングで、8回1失点。もう立派。最後は康晃でなくエスコバーが締めて、無事5－1で勝利。で何か楽勝のような雰囲気だが、今日のヒットは5本。決して褒められた攻撃ではない。まあそうは言っても、Tigers 相手に3試合で1点しか取れなかったことを考えればねー。贅沢を言うのはやめよう。勝ったからいいのだ。明日も明後日も、マジックナンバー点灯させちゃならねー。3タテを目指そう。

昨日書き忘れたこと。Swallows の村上が30号ホームランを打った。高卒2年目の30号と成ると、清原（当時 Lions）がルーキーの時に31本打ったの以来とか。凄い。現在打点王で、ホームランはリーグ2位。新人王は村上で決まりだな。打点王かホームラン王のどっちか取れば文句無いだろう。頑張ってもらおう。今日は同僚の山田哲人が去年から続けて33連続盗塁成功とか。これも凄い。今シーズンはもちろん失敗していないということだ。成功率100%の盗塁王はいないそうだから、こちらも大記録を達成してもらおう。

もう「秋味」が売っている

昨日「ふなごや」に呑む積もりで行ったのだが、「8月21日、22日、23日はお休みをいただきます」という張り紙が出ていた。がーん。まあお盆の間ずっと営業していたわけだし、台風が来るかもしれないという状況下でも営業していたそうだ（客は0だったらしいが）ので、その代休を取るのも当然。とういうわけで、すごすごと引き上げてくる。どっか他に呑みに行かないのかって？気分によるけどね。昨日は別の店に行く気がしなかったので、コンビニでビールを買って済ませた。「秋味」がもう出ていたので、500ccの缶を3本買った。「秋味」は麦芽を贅沢に使っているので美味しい。アルコール度数が普通のビールよりちょっと高いので、酔った。いつもに比べると量は少ないんだがな。呑みながら腹いっぱい食べると酔う、というのが conjecture だったのだが、昨日はつまみはちょっとだけだったので、conjecture の反例が得られてしまった。うーむ、もうちょっと観察する必要があるな。

今日は呑んだ次の日だけあって遅く起きた。で特に何をするでもなく野球の時間。今日も負けた。Tigers 相手に3タテを食らってしまった。3連戦で1点しか取れないのでは仕方が無い。今日は Giants も Carp も負けてくれたのでよかった。が、Tigers が3.5差まで迫ってきているので、ちょっとやばいな。ハマスタで CS を、どころか、Aクラス死守に目標が変わりそうだ。明日は頑張ってくれよ。

横浜の市長が、横浜にIR誘致をすることを表明したそうだ。うーん、どうなんでしょうね。まあ横浜が潤うのはいいが、治安が悪くなったり、ギャンブル依存症の人を出してしまうのは考え物。素直に東京でやればいいん違うの？

職場のパソコンもウィルスまみれ

今日は10時半に起きた。寝たのが2時過ぎだから、睡眠時間は十分。ということでひとっ風呂浴びて職場へ向かう。今日は職場のパソコンがメンテナンスからあがってくるので。約束は1時だったが、10分くらい前にパソコンを抱えた「ウィザード」の社長が現れた。こちらも大分ウィルスまみれとか。何か「はい／いいえ」を選択するよう聞かれたら、とにかく「いいえ」を答えないといけないようだ。それだけで違うらしい。お金を支払って、領収書を受け取って、社長は退散。ありがとうございました。で領収書を学科の事務に持っていって、支払い手続きをした。これでしばらく職場に行かないで済む。その後安福さんの本の残りを読んで、著者に誤植と思しき場所を指摘するメイルを書く。その後片付けを少々。今日も奥から昔のレポートがわんさと出てきた。他にも昔の会議の資料など。本当にもうどうでもいいものばかりなので、いっぱい捨ててきた。

6時ごろ帰宅。野球を始めから見た。今日も昨日と同じで、1イニング3安打で無得点など、拙攻が目立った。どうにか犠牲フライで1点取るのがやっとで、3－1と完敗。Tigers は Giants 相手にはからっきしだったが、Baystars 相手だと強い。Swallows は Giants に3連敗した直後の Baystars 3連戦は3連勝。貴様ら、そんなに Baystars が嫌いか！今日はこれから「ふなごや」に行くが、多分「ふなごや」の店長にも同じことを言って管を巻く。明日こそは Baystars が勝ってくれることを願う。

不味い酒に成りそうだが、今から呑んできます。

1イニング3安打打っても点入らず

今日起きなくていい、ということでいつもの通り遅くまで寝てしまった。でちょっと研究がらみのことをちょっとやっていたら眠くなってきてもう一度寝た。2時過ぎに久々に固定電話が鳴った。で留守番電話に話している内容を起きて聞いたら、どうやら出たほうがいい内容だったので出た。うむ、またこれか、という感じ。詳細は言わないが、先日も携帯電話に電話があり、昨日はメイルが来て、今日は固定電話。うーむ、面倒だな。もうちょっと問い合わせがあるかもしれない。え、何言ってんのか全然わからない？そりゃそうだよ、そうなるように言ってるんだから。ということでいつもの通り詳細は秘密。

で野球まで3時間以上あるので、昨日の「Ｑさま！！」3時間スペシャルを録画しておいたものを見た。面白かった。で6時から野球。4回まで濱口がナイスピッチングをしていたんだが、5回に押し出し四球や福留の2ベースなどで一気に4点取られた。Baystars はヒットを打てどもホームに帰って来ずで、0－8と完封負け。1イニングにヒット3本打っても点が入らない。野球はヒットを打つ数を競うゲームではない！ということをもう一度思い直した方がいいじゃないか？という感じがした。で Giants が勝ってしまったので、これで6ゲーム差。厳しくなってきたね。優勝目標で行くのは当然なんだが、ハマスタでCS出場を現実的な目標にしたほうがいいかもね。今日は Carp は9回裏に3点差を一気にひっくり返してサヨナラ勝ちをしたので、Carp とは0.5ゲーム差。まずい。

野球が終わった後、ちょっと研究の続き。適切な例を見つけるため、Sage で for ループを回す。結果は書き出しておいたので、後で探す。今日はとりあえずおしまい。明日はパソコンがメンテナンスからあがってくることになっているので、1時前に個研室にいないといけないので。酒は抜きだよもちろん。

○んこ君のレポートなど、大量に処分する

昨日は野球が終わったら即ダウン。二日酔いの日はこんなもんだ。で今朝は6時半に目が覚めたんだが、もう睡眠は十分なので、起きていることにした。1時に大学に着いていなくてはいけないので。で録ったままで見ないでいた「ジャンクスポーツ」の3時間スペシャルを見て時間を潰す。12時前に住処を離れる。

で12時半前に職場に到着。数セミなど本を購入してから個研室へ向かう。今日の用事は、職場のパソコンのメンテナンスを頼むこと。住処で使っているパソコンがあれだけやられていたので、職場のパソコンも頼むことにした。明後日の1時にはあがってくることになっている。どれだけウィルスがいるか、考えるだに恐ろしい。でパソコンを預けた後は、本を読むくらいしかやることがないので、また安福さんの本を読むことにした。今日は楕円曲線の話と abc 予想の話。うむ、難しいな。abc 予想は山崎隆雄さんの本とちょっと趣が違う。ディオファンタス近似に関する Roth の定理との類似が解説してあるんだが、そもそもディオファンタス近似をよく理解していない。今度もう一度読んでみよう。

でそんなこんなで3時。保険会社の人と会う約束になっているんだが、来ない。で電話が。「すみません今南草津駅でして、これからバスで大学に向かいます」とのこと。それならそれで。部屋の隅から発掘された昔のレポートや演習の答案をシュレッダーに通そう、ということにした。昔ってどれくらい昔かと言うと、小生がこっちにきて2年目くらいのもの。うちで助教をやってた人の名前があったり、今嘱託講師をやっている人の名前があったりと、流石にもう捨ててもいいでしょ、というものばかり。大量にあったので、シュレッダーが一杯になってしまった。事務の人に袋を変えておいてください、と頼んでこちらも一旦終了。保険会社の人は3時25分くらいに現れた。もろもろ手続きをして、4時過ぎに終了。その後シュレッダーの続きをして、安福さんの本の続きを読む。abc 予想から導かれるいくつかの事実の証明と、暗号の話。うむ、まだまだ難しいな。デジタル署名の話の前まで読んで、今日は終了。6時くらいに職場をあとにする。

で名神は今日も渋滞。「草津JCT－大津 渋滞5km」の表示。なら大したことあるまい、と思ったが、想像以上に混んでいた。いつもより15分ばかり余分に掛った。で何だか運転しているうちに気持ち悪くなってきた。運転していて気持ち悪くなるという経験はしたことが無かったので、どう対処しようかと思ったんだが、耐えるしかない。ということで今日は野球が無いこともあるし「開口」に焼き鳥を食べに行こうと思っていたんだが、やめておいた。また来週行く。

マリナーズの菊池雄星が完封勝ちとか。それも100球未満で済ませたらしい。ようやく本領発揮というところか。もっと活躍して欲しいね。

大和と智恵ちゃんが一緒に呑んでる！

一昨日の晩は、「おっさんずラブ」の映画化ということで、総集編を放送していた。それを見てしまったので、寝たのは4時。早寝する予定だったんだが。まあいいや。ということで昨日は昼過ぎに起きた。その後特に変わったこともなく、野球の時間。Carp がよくわからない外国人を先発させてきたので、打ち砕く。ということで楽勝。一日で2位に復帰。G とは5ゲーム差。まだまだ諦める差ではない。付いて行きましょう。

で昨日は宣言どおり呑んできた。野球が終わって「ふなごや」に行ったので、もう10時近かった。で行ってみると、珍しい2人組がいて、盛り上がってしまう。で2軒目へ行って、まだまだ盛り上がった。終了は4時くらい。…。まあいいんだけど。帰ってきて土井喜春のやっている料理番組を見たのだが、はんなりとした関西弁の割には行っていることが結構ストレートでびっくりした。土井喜春と言えば、懐かしの「ケータイ大喜利」でしか見たことが無かったので。その後「サンデーライブ」を少しだけ見て、ニュースを仕入れる。それから寝たので、寝床に入ったのは6時過ぎ。うーん、生活が目茶目茶だな。まあ明日は1時までに大学に行っていないといけないので、今日は早寝する。

で6時から今日も野球。今日は今永、九里の痺れるような投げ合い。7回裏に途中出場のロペスがイニング先頭打者の初球という、実に難しい場面でホームランを打った。うむ、今日はこの1点で勝てそうだぞ、と思って見ていたらその通りに。1－0で勝利。今永が完封勝ち。素晴らしい。これで11勝でリーグ2位。防御率、奪三振はリーグ1位。いよいよ素晴らしい。今年はいくつかタイトルを取れそう。頑張れ今永。

昨日入ってきたニュースだが、Carp のバティスタがドーピング検査で陽性に成ったらしく、出場選手登録を抹消されたとか。バティスタがいないと対戦するほうは楽だが、Giants を Carp に引き摺り下ろしてもらうためには痛い抹消。Giants をいよいよ楽にしてしまう。こうなったら Giants にも不幸が訪れるよう、呪いをかけよう。坂本が怪我してくれるとありがたいんだがな。丸でもいいぞ。とにかくもう一度混戦に持ち込まないと。金で補強すれば優勝するというような甘いことはないぞ、と思い知らせないといけない。呪うぞ！

5連敗で3位転落

昨晩はその後、TeX 化した演習問題を解いて遅くまで起きていた。無限級数の値を求める問題なのだが、答だけ出ている。多分 Maple か何かに計算させたのだろう。Sage で無限級数の極限値を求めさせるにはどうするか？ということで結構時間を食った。でその後手計算で答を求めようとしたんだが、うまくいかず、途中で寝た。もう4時くらいだったろうか。その後朝8時前に目が覚めてしまったので、さっきの問題を引き続き考え、出来た。級数の値に log2 が出てきた時点で、有名な級数 1－1/2＋1/3－1/4＋… にすぐ結び付けなくてはいけない。そうできないのが微積を担当したことがない弱さか。で TeX 化して9時半頃もう一度横に成る。

生活リズムを崩した報いか、その後夕刻まで寝た。また一日何もせずに済んでしまった感じ。まあいいや。6時から野球。今日も負けて5連敗。一旦 0.5 ゲーム差まで詰めただけに、この5連敗は勿体ない。まあそうは言っても、まだ貯金が4ある。春先には10連敗したわけだし、つい最近まで借金があったわけだから、贅沢を言ってはいけない。それに数年前までは最下位争いの常連だったわけだから、Aクラスにいる現状を喜ばなくてはいけない。というわけで、明日からも懲りずに応援する。といいながら3位に落ちて、4位まで4.5ゲーム差（首位まで5ゲーム差）となった現状は喜べないが。

昨日「「ふなごや」は明日」と書いたが、今日は不調なのでやめた。明日行く。というわけで、今日は少しはましな時間に横に成ろうと思う。不調なので多分すぐ眠れるでしょう。

フリーソフトに気を付けよ

先日書いた通り、パソコンをメンテナンスに出した。で今朝10時に帰ってきた。どんな具合だったか聞いてみると、「大分ウィルスにやられてますよ」とのこと。ウィルス対策ソフトは入っているんだがなー、と思って聞いてみると、どうもいくつかのフリーソフトに原因があるらしい。「インストールする時、許諾書を読んでインストールしますよね。そこから先はウィルス対策ソフトは目を光らせないですよ」とのこと。今回やられたソフトのいくつかは「ウィルス抱き合わせソフト」らしく、顧客情報を得るためなどのために、あらかじめウィルスが仕込んであるそうだ。おー怖。フリーソフトをうかつにインストールできないな。しかしなー、という感じ。まあ皆さん、ウィルス対策ソフトを入れてるから一安心というわけには行かないようなので、一度プロに見てもらってください。山科と草津は「有限会社ウィザード」に頼めばやってくれます。もちろん有料ですが、支払いは実験実習費で。

今日は台風が来ている。ちょっと金欠だったので、銀行へ5分くらい歩いて行ったんだが、結構風が強かった。帰ってきてからは台風の情報を得るためにテレビを付けっ放し。その傍らで帰ってきたコンピューターで作業。昔からためている演習問題 TeX ファイルを見直して、解かないまま放っておいてある問題の幾つかを解いてその解答を TeX で打ち込んでと、そんなことを繰り返していた。その過程で一つ面白い問題を思い付いた。チェビシェフ多項式に関するものなのだが、入試問題に使えそうである。で「チェビシェフ多項式」をちょっと調べようと思い、本をひっくり返そう、と思ったところで神の啓示。「ぐぐれ」。さっそくぐぐった。まず「チェビシェフ」が単語登録されていないので登録。その後 google で。ウィキペディアが第1候補だった。読んでみる。ふむ。で外部リンクの中に面白い記事が引用されていたので、早速ダウンロード。チェビシェフ多項式に関連した大学入試問題がいくつか出ていたが、小生が昔作ったのとほぼ同じ問題をよその大学が出していた。あいにくうちの入試問題は出ていなかったが、皆同じことを考えているのがわかってよかった。これからも自信を持って試験問題作りに励もう。

今日はセ・リーグの試合が無い。こういう日は穏やかな気分で過ごせてよい。で野球が無いから早めに「開口」によって焼き鳥をつついてこよう、と計画していたんだが、台風のため取り止め。「開口」は来週の月曜日にでも行く。「ふなごや」は明日。

Swallows 石川にあわやノーヒットノーランをやられそうになる

今日の野球はろくでもないことになった。1回裏にいきなり7点取られた。…。その後 Swallows の石川に8回途中までノーヒットに抑えられた。どうせならノーヒットノーランやられてまえ、という気になったが、伊藤（裕）にホームランが出た時はやはりうれしかった。9回にも1点取って、何とか2点。最終スコアは2－15。馬鹿馬鹿しい。もう寝よ。明日は10時にパソコンが返ってくることになっているので。昨日は寝るのがいやで遅くまで起きていたが、Baystars があの体たらくだから、無気力ということで寝られるでしょう。明日はセ・リーグは試合が無いようだし、明日は一日平和に暮らそう。

パソコンをメンテナンスに出す

昨日は気力減退で早寝したからか、今日は珍しく8時に起きた。まあ10時から約束があるので、どっちにしろ8時半には起きていたわけだが。10時からの約束とは、パソコンをメンテナンスに出すということ。前に一度ウィルスを徹底的にやっつけてもらったんだが、「1年に1度は点検した方がいいです」と連絡をいただいたので、さっそく頼む。明後日に引き渡しの約束になっているが、木曜日は台風が来て大荒れになるそうだから、無理かもね。

で10時半にはフリーの身になっていたわけで、こんな日は有効に使わないともったいない。で何をしたかというと、定期試験の講評書き。一生懸命書くつもりで答案をひっくり返したりしたんだが、何人が見るかわからないものに時間を掛けるのはやめよう、ということで適当に切り上げる。切り上げたくなった理由のもう一つは、メンテナンスに出した代替機のキーボードに不慣れなこと。隣のキーをたたいたり、アンダースコアのキーが不便な場所にあったりで、いらいらする。ということで昼飯前に切り上げた。

さて午後は研究でもしようかと思ったのだが、数値表を眺めるには代替機は画面が、よって字が小さすぎる。ということで予定を変えて、安福さんの本を読んだ。今日はディオファンタス近似が書いてある所なのだが、よくわからない。いや、書いてあることも証明も理解できるんだが、あまり触ったことのない分野なので、勘が無い。よってよくわからない、ということ。学生も初めて勉強するときはこんな感じかな、とちょっと思い出した。ディオファンタス近似が終わると、連分数とペル方程式の話。うん、これはわかる。その後はピタゴラス数のパラメーター表示。単位円の有理点をパラメーター表示してやる方法。うん、これもわかる。その後特異点を持つ3次曲線の話。うん、これもわかる。でこれから楕円曲線、となるところで今日は終了。勉強になった。

その後録画したまま見ていない1時間番組を見て、6時から野球。今日はろくでもない試合だった。5－1とリードした展開を守り切れない。上茶谷は新人王取るかと思ったけど、こんなピッチングしているようじゃ無理だな。7－8で負け。で同時進行でCarp vs. Giants をインターネット観戦していたのだが、白熱している。1－1。どっちも満塁を何べんも作って、それを耐えている。これは見なければ、ということで見た。Carp が勝った。よかった。この上 Giants に勝たれては4ゲーム差に成ってしまう。まずは重畳。え、Carp が0.5ゲーム差で迫ってる？うん、まあそっちも怖いけどね。明日は Baystars にも Carp にも勝ってもらおう。

これだけ書くとキーボードに慣れてくる。もうちょっと書けるな。

何かすごい台風が来るようだ。「観測史上1度しかなかった」を気象予報士が連発している。明日か明後日か呑みに行こうかと思っていたんだが、無理そうだ。住処で大人しくすることにする。とりあえず食料と飲料は買い込んできた。呑むものは買ってないが。避難しなくちゃいけないようになると大変だから、呑まない。買ったまま冷やしてないビールが3缶あるが、冷やさないでおこう。

康晃が2被弾でサヨナラ負け ;_;

今日もショックのでかい負け方だった。2点差で迎えた9回裏。ピッチャーは当然康晃。勝ちは見えたな、と思ったら、バレンティンにソロホームランをいきなり打たれ、次のバッターを出塁させた後、バッターは19歳村上。まさかの初球サヨナラホームラン。ショック。もう気力が一気に失せた。その後 Carp vs. Giants を見たのだが、こちらは Carp が1点差で負けと、またまた気力が失せる一戦。もう今日は何もしないで寝ます。

首位が勝っているのに、2位、3位が負けた ;_;

今朝は宅配便に起こされた。9時半くらい。朝食を取ったが、眠いので再び横になる。そのまま結構寝てしまった。うーん、よく寝られる。寝るのにも体力が必要で、年取ると早く眼が覚めるのは仕方ない、とは言われるが、小生まだ若いということか。まあまだ51歳だし。

で今日は昨日のプロ野球ニュースと野球を見ること以外特にしていない。まあ夏休みなんでね。で今日の野球は酷い試合。

Dragons １０２００
Baystars ０５０００

こんな試合は勝たないといけない、と思ったら、

D １０２００６１００
B ０５００００００

こんな感じに成り9回裏。筒香の2ランとソトのソロホームランが飛び出して3点取って2点差。

D １０２００６１００
B ０５００００００３

惜しくも10対8で負けた。まあ「惜しい」とは書いたが、正直言ってそんなに惜しいとは思わない。完敗である。武藤、藤岡が試合を壊し、飯塚も踏ん張れなった。まあ武藤、藤岡には大分お世話に成ってるし、厳しい評価はしない。飯塚は問題だな。また2軍で鍛えなおしたほうがよかないか？

で Carp は途中で入った速報によると大分勝っていたはずだが、何と速報を見ると逆転されているではないか。何か結構凡プレーをやったようだ。首位 Giants が勝っていただけに、2位、3位は踏ん張らないといけなかったが。まあ仕方ない。明日明日。Swallowsが相手だそうだが、Swallows は Giants 相手にからっきしだった。明日から勝ち続けたりしたら許さんからな。9連戦をここまで3勝3敗で来ているそうだから、Swallows に勝ち越せば目標の5勝4敗。まだまだシーズンが決するのは先だから、首位戦線に残っていきましょう。

ルーキー伊藤裕季也が2打席連続ホームラン

実は昨日は激呑みをしてきた。まあ昨日の blog の更新時間を見れば見当がつくでしょう。ということで酔って書いたので滅茶苦茶な内容だった。急いで修正し更新。どうやら見られるようになった。

昨日書き損ねたこと。帰りに「草津田上」インターの近くの掲示を見たら、「草津田上－京都南 渋滞18km」の表示。…。いつもは「草津JCT－大津」くらいなのだが、「草津田上」から渋滞ということは、インターを入って新名神に合流するのも難しければ、「草津JCT」で名神に合流するのも難しいということを意味している。というわけで、下道で帰ることを選択。が、こちらも渋滞。「瀬田南」の交差点を通過するのに10分以上掛り、「大平」の交差点でもたっぷり待たされる。で住処まで1時間23分。うーん、疲れた。通常は35分くらいなのだがなー。まあ帰省ラッシュが始まっているタイミングで職場に行ったこちらもいけない。学内便は夕方出したので、届くのは通常でも月曜日。さらに来週は大学が一斉休暇に入るため、届くのは再来週。出張届けくらいなら遅れても大丈夫だし、律儀に出すんじゃなかった。

で帰宅後は野球が大分進んでいた。1－3で負けていたんだが、筒香の満塁ホームランなどで大逆転。Giants が負けてくれれば言うことなしだったのだが、生憎 Giants は勝ってしまった。残念。

で今日は二日酔いのため、起きたのは夕方。野球は途中から観戦。今日も0－3と嫌な展開。が、今日はルーキーの伊藤裕季也が大活躍。一点差に詰めるホームラン（プロ初）と同点2ランと二打席連続。最後は乙坂が犠牲フライを打ち上げサヨナラ勝ち。今日も Giants は勝ってしまったので、負けるわけにはいかんぞ、と思って見ていたから、嬉しさもひとしお。そろそろ Giants には負けてもらわないと。こっちが勝てばゲーム差無しに成るんだがな。まあ Swallows にあまり多くは期待できないか。明日も勝つべし。Giants は直接対決で引き摺り下ろしましょう。それまで負けるな。

Python に実二次体の基本単数を計算させる

昨日は出張届けを出しに職場へ。何の問題も無く終了。その後個研室で Q(√m) の基本単数を出力させるプログラムを Python 電卓で走らせるべく格闘。どうにか完了。m＝2,3,5,7,11,13,19,23,29,30,31,33,34,35,37 など、沢山試してみる。どうやらうまく行ったようなので、その後 6+1*r とか、(1+1*r)/2 などちょっとうまく表示できるように出力に手を入れる。これでヤコビ記号もmodpow も、gcd も、沢山計算できるようになった。パソコンの立ち上がりの遅さを我慢しなくてよくなった。どんどん計算できるぞ。さー、研究をするぞー！

宮崎が有鉤骨骨折で、シーズン残りは絶望 ;_;

昨日は早く寝ると書いたが、結局遅くまで起きていてしまった。で今日も遅く起きた。明日は午前中にちょっと用事があるので、1時前には寝ようかと思っている。が、どうだかな。ついでに職場に行って、出張報告書を出してこよう。

今日もやったことと言えば野球観戦ぐらい。今日は3連戦勝ち越しを掛けて vs. Carp。が、わずか2安打で1点と、何もいいところが無かった。ラミレス監督は少し京山に対して厳しすぎないか？3回までノーヒットに抑え、4回は1点取られなお満塁の場面を抑えて失点1。が、その裏の打順が回ってきたところで代打を出されてしまった。うーむ。まあ信頼されない京山にも問題はあるな。仕方ない、明日明日。

で終了後は Dragons vs. Giants にチャンネルを合わせる。菅野に1点に抑えられていた Dragons だが、リリーフピッチャーを打って同点にし、9回は一打サヨナラの場面。が、そこは抑えられて延長戦へ。その後どちらも決め手を欠き、引き分け。Baystars が負けただけに、Giants が勝たなくてよかった、ということにしておこう。明日からの Baystars の相手はその Dragons。明日からは粘らなくていいから、さくっと負けてください。

さて、昨日途中交代した宮崎だが、何と有鉤骨の骨折らしい。今シーズンは絶望とか。うーん、痛いなー。実に痛い。今日は代わりのサードが柴田。打率1割7分くらいのバッターが宮崎の代役を出来るとは思えない。まあ守備に関しては問題ないが。で宮崎が2番を打っていたんだが、今日からは2番筒香で行くようだ。今日はいいところがなかったが、この前2番を打っていたときはいい内容だったので、明日以降に期待。ここでずるずる行かないよう踏ん張っておくれ。

「獺祭おためしセット」を呑んで二日酔い

昨晩は結構呑んだ。ビール500ccの缶3本と、新幹線の中で買った「獺祭おためしセット」を呑んだ。「獺祭おためしセット」は、180ccの瓶が3本と、全部呑んだら結構な量だった。ということで二日酔い。何もしなかった。野球を見ただけ。まだ酔いが残っている感じだし、もう寝ようか。今日はもちろん呑まない。

明日出張報告書を提出しようかと思ったんだが、考えてみれば明日は「琵琶湖花火大会」の日。車で行くな、って言われてるのに車で行く人が結構多く、「大津」インター手前から渋滞する。で「京都東」で降りると、今度は161号のバイパスが渋滞している。電車はというと、こちらも大混雑。そんなにまでして花火見たいんだろうか？大分に行った時も、駅に降り立ったら花火大会の帰りの客で駅が大混雑していた。いい迷惑だった。花火大会なんて二度と行ってたまるか！

京都は暑い

今朝は9時過ぎに目が覚めた。泊まっていた宿には屋上露天風呂があるのだが、午前の部は9時までとかで、また露天風呂に入り損ねた。まあ後で知ったのだが、今日は台風が九州に接近していて、そのため露天風呂は無しだったらしい。でその後宿にチェックアウトの11時近くまでいたんだが、悲劇はそこから始まる。

「大分」駅で11時10分発の「ソニック号」の切符を買う。でホームに行ってみると、遅れているらしくまだ電車が来ていない。が数分後耳を疑うような放送が。「11時10分発のソニック号は運休です」とのこと。うーむ。急いで「みどりの窓口」で次の「ソニック号」の切符を買う。無事11時45分発の「ソニック号」の切符が取れた。で出口へ向かうと同業者が2人。同じ理由のようだ。まあよかった。で乗った電車は信号待ちのため10分くらい遅れて出発。その後も遅れが重なり、「小倉」に16分遅れで到着。やれやれ。救いだったのは新幹線の特急券を買っていなかったこと。「小倉」近くで、「のぞみ」との接続が出来ない旨の放送があった。こんなこともあろうかと、「大分」で乗車券だけを買っておいたのだ。新幹線は何の問題も無く京都へ。やれやれ長旅だった、と思って「京都」駅に降り立った瞬間、むわぁ、ときた。暑い。とにかく暑い。大分も福岡も台風接近で日が出ていなかったので、そんなに暑くなかった。京都は台風とは無縁か、とにかく日差しが強くて暑かった。重たい荷物を持って、暑い中住処まで10分弱歩く。たまらん。住処に着いた時はもう汗だく。急いで冷房を付けた。Tシャツがびちゃびちゃなので、すぐに着替えて一段落。こういう時にビールでも冷えてると嬉しいんだが、冷やしてないので諦める。買いに行かないのかって？行かない。暑いからね。冷やしてない買い置きがあるので、冷やしておいた。もう少し経ったら呑む。

で6時から野球。今日から vs. Carp三連戦。相手のエラーで2点、ピッチャー上茶谷のヒットでもう1点と、何か3点もらった感じだった。が幸運はそこまでで、あっさり逆転を許す。今日は完敗。まあ毎試合勝つわけにはいかないし、今日から9連戦なので、無理せずいきましょう。9連戦全勝、などという虫のいいことはあるわけない。まあ首位戦線に生き残れるくらい勝てばね。今日 Carp が勝ち、Baystars が負け、Giants が負け、ということで、首位と2位が0.5ゲーム差、2位と3位が0.5ゲーム差と、実にセクシーな展開になった。これは当分楽しめるね。

で野球が面白くなかったので、Pythonが走る電卓に今度はペル方程式を解かせようと頑張ってみた。簡約2次無理数の連分数展開の循環節を取り出すことに成功。さてペル方程式の解と連分数展開の関係はどうだっけかな？と思い出してみる。思い出せた。ということで明日にでも続きをやろう。今日はやらないのかって？うん、やらない。ビールを呑み呑み「トリニクって何の肉！？」でも見て笑おうと思っているので。では呑みます。

「第1回大分数論研究集会」に遅刻する

「第1回大分数論研究集会」が行われた。9時30分開始だったのだが、目が覚めたら9時20分。昨日も夜更かししてしまった。10時過ぎに大分に着いて、とっとと寝る積もりだったのだが、テレビを付けたら「点と線」がやっていて見てしまった。でそこでもう寝ようかと思ったんだが、「全英オープンゴルフ」が始まってしまった。山科で夜更かししてゴルフを見ていたので、「渋野日向子」がトップにいることは知っていた。で始まって早々渋野はダブルボギーを叩いて、「あ、やっぱりね」という感じで見るのをやめるつもりだったのだが、眠くないし気になるしで、引き続き見てしまう。で2打差を追い付き、いよいよ最終ホール。その時点で17アンダーでトップのサラスと並んでいる。「これは延長戦だな。何時に寝られるだろう？」と思っていたら、何と最終ホールがバーディーで、優勝。うーむ、凄い、凄過ぎる。ニコニコ笑ってもぐもぐ食べて、とても20歳のゴルファーが優勝を争ってるとは思えない。しかも全英オープンで。いいものを見させてもらった。

ということで寝たのは3時30分過ぎ。寝坊してしまった。会場は分かっているので、横山氏の話に間に合うよう出掛ける。聞いた話はどれも凄くて、大変印象的だった。「事故検証レポート」など、結構謎なものもあったが。終了後は懇親会。大分料理がこれでもかと出てきて、もう食い過ぎな感じ。酒はビールをジョッキで数杯と、普段に比べればずっと少ないんだが、相当酔った感じ。呑んでも酔わない時とあまり呑まずに酔った時の傾向を調べているんだが、呑んだ量より食べた量が関係しているというのが conjecture。普段はお腹を一杯にしてから呑みに出るので、呑み屋ではあまり食べない。だから酔わない。今日とか卒業式の後は料理が量出るので、ふらっふらに成るんだな。まあ今日は台風が来ているということだし、早目にホテルに戻って正解。「報道ステーション」で渋野の生インタビューを流しているそばから大雨警報が出た。明日は帰れるんでしょうか？まあ今日は早寝しますわ。

明後日から九大で研究集会があるが、途中で帰らないといけないので、参加しないことにした。九大はうちより遥かに不便だし、行くなら相当気合をいれないといけない。今回は気合が無いので、パス。また来年来ます。

ついに 0.5 差！

明日行われる「第1回大分数論研究集会」に参加するために大分入りしている。昨晩うっかりゴルフを見てしまい、寝たのが大分遅くなったせいか、今日も2時過ぎまで寝てしまった。そこから旅支度をしてだから、住処を出たのが4時半過ぎ。で大分は思いのほか遠く、「大分」駅に着いたのが10時近く。ちょっとまずったな。「小倉」駅で「ソニック号」の指定席券を買おうと思ったら、「指定券は売り切れです」、「じゃあ次は？」、「次も売り切れです。最終なら空いてますけど」、「何時ですか？」、「11時…」、「いいです、自由席で」ということで、久々の自由席。席を確保するために並んだのも久し振り。幸いさくっと席が取れたのでよかった。

で新幹線の中では「相棒」を見ながら野球の情報をちらちら。お、勝ってる！あくまで「相棒」がメインなので、野球はちらちら。で「相棒」を2話見終わってからは野球に集中。「ソニック」に移ってからも野球に集中。今日も接戦で、3－2で勝利。3タテでついに0.5差！さー来たぞ！明後日から vs. Carp だそうだが、Carp も必死で来るだろうし、簡単にはいかないと思うが、また3タテする積もりでいきましょう。一気に Giants を引き摺り下ろすねん。21年振りの優勝へ、Let's go！

1.5ゲーム差！

昨晩は遅くまで起きていた。どうも講義がないといかんな。しばらくこんな日になるのだろうか。気を付けよう。で今日は昼の一番暑いころに起きた。が、冷房を効かせて寝たので、特に寝苦しいとか、暑くて目が覚めるということはなく、体調は割りとよい。さ、元気に野球観戦だ。

ということで6時から野球。今日は石田が先発。ソトの犠牲フライ、ソトの3ラン、中井のソロホームランで5－0という楽勝ムード。石田は5回までほぼ完璧。楽勝かという感じだったんだが、6回に3ランホームランを打たれ、差はわずか2点。8回にパットンが2点取られ同点。パットンはベンチで荒れ狂っていた。冷蔵庫を両拳で殴っていたが、大丈夫だろうか。Hawks の杉内が同じようなことをやって両拳骨折ということがあったが。ここでパットンに抜けられると痛いので、何事もないことを願うが。パットンの後に出てきたエスコバー、国吉が抑えて、何とか同点止まり。8回裏、ランナーを3塁に置いて筒香。筒香は得点圏打率が低いので、あまり期待しないで見ていたら、奇跡が起きた。Giants のプロ入り初出場の捕手・岸田がパスボール。3塁ランナーが勝ち越しのホームイン！やった。9回表は康晃が締めて、Giants 相手に連勝。これで1.5差だ！さー来たぞ。明日も勝って3タテだ！明日は今永が先発。期待できるね。しかーし、明日は野球を見ることが出来ない。大分へ行くので。ホテルのテレビでは放送は無いだろう。うーむ。まあインターネット速報で情報を仕入れよう。プロ野球ニュースは録画しておく。明日勝ったら戻って来て即見る。明日負けたらどうしよう？いや、大丈夫。負けることは無いから。さー0.5ゲーム差にしてやろう。

Giants との直接対決3連戦

今日は10時半のアラームで目が覚めた。で昨日の晩保険会社の人に「明日の1時くらいに職場に行きます」とメイルを書いたんだが、返事は「2時半から3時半に伺います」とのこと。でまだ眠いのでもう一寝入り。起きてみるとなんと2時過ぎ。これはいかんぞ、ということですっ飛んでいく。職場着2時45分くらい。うむ、すっぽかしにならなければいいが、と願っていたら、3時くらいに現れた。しばし密談の後帰っていかれた。

その後「数理科学特論2」のレポートを採点。一番最初に見たレポートが何ともなっていないんで、若干立腹。そのせいかちょっと評価が厳しくなった。まあいいんだけど。レポートを出した学生は全員合格にした。出さなかった学生が数名いたようだが、もったいない。初回に「まあ院生は指導教官とセミナーをすればいいので」と甘いことを匂わせたんだが。まあいいでしょう。成績を入力してくる。「代数学I」の入力も済ませて、これで採点業務は終了。めでたい。

で5時頃に職場を後にする。名神は例に寄って渋滞。今日のは故障か何かでハザードを付けて三角の標識を出しているトラックが車線をふさいでしまっていたのが原因のようだ。そこを抜けたら後は問題なし。ただ京都東、京都南間がいつもの通り渋滞していたようだ。あと1週間くらいは渋滞止む無しだな。そこを過ぎればお盆ウィークだろうから、そんなに渋滞はしまい。

で6時ちょい前に住処に着いた。6時から野球。今日は vs. Giants。3.5ゲーム差で3連戦。否が応でも盛り上がる。Giants に2点取られるも、取られなくてよい点は取られていないので、チャンスが来るぞ、と思っていたら案の定。4回に筒香の久々のホームランで2－1とし、6回には代打石川の999本目のヒットを皮切りに、ソト、ロペスのヒットで3点取って逆転。菅野を打ち崩して、その後はエスコバー、パットン、康晃と完璧に近いリリーフ陣が抑え込んで無事勝利。いやー、快勝だった。これでGiants と2.5差。さー、見えてきましたよ首位が。徹底的に叩きつぶしてやろう。因みに3位 Carp は Baystars に0.5差、ということは Giants まで3差。うむ、白熱してきたね。Baystars も Carp も大型連敗何のそのだ。束に成って Giants を引き摺り下ろそう！

「代数学I」の試験を採点した

今日は「代数学I」の採点をした。中々出来は悪いが、相当甘く採点したため、Bが多数。Cよりも多い感じ。A,A+は極少数。A+は相当できている答案にしかあげないのが小生のポリシー。ということでA+を取った学生は自信を持ってください。しかし「a,b∈Z の最大公約数を d とすると、(a,b)＝(d) であることを証明せよ」という問題の後に、「a,b∈Z が互いに素である時、ax＋by＝1 を満たす x,y∈Z が存在することを証明せよ」という問題を出したのだが、これの正答率が極めて低い。イデアル (a,b) の定義が分かっていないのか、それとも「互いに素」という言葉を知らないのか。互除法を使って証明している答案があったが、その人は (a,b) の定義をわかっていないということなのだろう。まあいいんだけど。入力は明日やろう。明日は生命保険の人に会うことになっているので、暑い中出掛けなくてはいけない。明日の大阪の最高気温が38度とか恐ろしいことを言っていたが、京都は40度くらいになってしまうんではないだろうか？明日は出掛けたくないな。まあしゃあない。

「数理科学特論2」のレポートの締め切りを昨日に設定していたので、昨日は採点しようかと思っていたんだが、絶対夜提出する学生がいるだろうからと思って、採点をしないでいた。やっぱりそれが正解で、夜の10時台に2人、11時台に2人の学生から「レポートを提出しました」というメイルが来た。ということで、明日職場に行くので、採点してこよう。

6時から野球。いい感じで先制したんだが、先発の大貫がシャキッとせず逆転を許す。今日も4番筒香が全く打たない。2番にした時は好調だったのだがな。また2番に戻した方がいいのではないかと思うが、まあ素人が監督に口出しするのはやめよう。明日から Giants 戦。ゲーム差 3.5 で迎える。さあ3タテといきましょう。

「天下一品」は水曜定休か？

久し振りにゆっくり、たっぷり寝た。昨日（もう一昨日だが）はふらっふらっだったのだが今日（もう昨日だが）は元気に過ごせた。やはり早寝、早起きが大事だな。と言いつつ、また元の木阿弥になってしまうんだろうけど。

で起きたら12時10分くらい。本当、よく寝た。で1時からM0の学生とゼミの約束をしていたので、ダッシュで飛び出す。例に寄って10分弱遅刻。まあいいんだけど。今日はイデアルのノルムと、Stickerberger の定理の証明。去年は Catalan 予想の本を読んでいて、それにも Stickerberger の定理は出ていたが、証明を読まなくても大筋には問題ない、ということで、節丸々飛ばしていた。ということで、去年の仇を討つべく証明を聞く。途中で話についていけなくなって、呆然として過ごすも、大筋はわかった。ガウス和の評価と、実数の小数部分の評価で済む、という感じだった。今度証明を読んでみようという気に成らされた。

ゼミ終了後、Rainbow（謎）にパソコンを持って行く。何やらメッセージが出ていたので。流石にプロ。一瞬で解決してくれた。職場の wifi につなげばいい、ということを教えてくれたので、次回からは Rainbow の手を煩わせることなく解決できるという自信を与えてくれた。よかった。

その後博士論文の公聴会まで1時間程度余裕があったので、安福さんの本を読む。今日は素数の逆数和が無限大に発散することの証明を勉強した。これは多分前に1度証明を理解したはずだが、そんなこともなく、新しい証明だったという感じ。次は密度の話。明後日（明日ね）職場に行く予定なので、その時読む。

6時から博士論文公聴会。「公聴」というとおり、誰が聞いてもいいということで、部屋は一杯。山田俊雄先生もいらっしゃった。大変立派な内容で、もちろん学位に相当する内容なので、満場一致で学位授与。おめでとう。その後当該の氏を囲んで食事会をやるという話だったが、例に寄って失礼させてもらう。まあよかった。

で職場を後にする。既に7時45分くらい。「天下一品」で久々に「こってり」を食べようと思っていたんだが、目の前に着いたら「本日定休」の看板。がーん。仕方ないので、その少し先の「吉野家」で適当に定食を頼む。「天下一品」は後日行くことにする。

でもう8時過ぎ。野球はとうの昔に始まっている。「吉野家」で速報を見たが、3－1で勝っていた。よし、と思って住処着。テレビを付けると、何と3－3に成っている。で9回裏2アウト、1アウト満塁、バッター宮崎の場面。3ボール1ストライクになり、押し出しでも犠牲フライでもサヨナラ勝ちの場面。そこで宮崎の打球は、内野に飛んだ高いゴロ。前進していた3塁手の頭を越えてサヨナラ勝ち。やった！これで5カード連続の勝ち越しで、首位 Giants との差は再び 3.5。明後日からその Giants との3連戦。明日も勝って差を縮めて、いっきに奪首といきましょう。でも、まだ2ヶ月くらい先はあるので、必要以上に結果を気にしないようにしましょう。2勝1敗なら十分OK。本当の戦いは9月。

Sage に計算をさせている。大体予想通りに進んでいるようで何より。例外は少ない。その例外処理をいかにするかが次の問題。頑張るぞ！