春学期の講義、ゼミは今日で終了

また何じゃかんじゃと夜更かし（朝早し）してしまった。で起きたらもう2時近く。まあ2時55分にゼミが開始出来ればいいんで問題無いが。急いで出掛けて、生協で弁当を買って、脇のスペースで食す。今日は初等整数論のゼミの春学期最終回。先週ちょっと平方剰余のことをやったので、今日は続きから。平方剰余かどうかを見るには、原始根の偶数乗か奇数乗か見る、というのが出ているので、案の定問題もそうやって解いてたが、いやいや、1 ～ (p－1)/2 を2乗して余りとして出てきたのが平方剰余、出てこないのが平方非剰余だよ、と教えておく。他にも (－5/p) を求めた後に (5/p) を求める問題があったが、案の定 (5/p)＝(－1/p)(－5/p) とやって求めようとした。こうやらないで (5/p)＝(p/5) とやったのは過去に一人しかいない（去年の学生）。その後に出ている (10/p) と (－10/p) の決定には影響ないのでいいが。ルジャンドル記号（ヤコビ記号も含む）の計算は飽きるほどやってるから、何か変なことをやったらすぐ分かる。代数体をやって二次体をいじるとなると平方剰余の理論は不可欠。まあ彼は進学しないので、よく分からないものをやったくらいの印象しか残らないか。秋学期から虚二次体の章に入るので、その時に理解を深めましょう。ということで5時半くらいに終了。いつもは5時前に音を上げるが、今日は最終回だし、相互法則の証明を終わらせたいと頑張ったんだろう。ご苦労さんでした。

部屋でちょっと考え事をして、7時くらいに職場を出る。もっとやりたいことはあったのだが、ケーブルテレビのチューナーのハードディスクがカツカツで、6時からの「八重の桜」を Blu-ray のディスクに直録り、で9時から「英雄たちの選択」を別のディスクに直録りするので、交換しないといけない。ということでちょっと急いで帰ってきた。高速道路も三条通も馬鹿にすいてたが、暑くて出歩くのが嫌なのかな。車に乗った時に暑いのが嫌で、もう少し経ってから帰る人もいるのかな。で無事7時半過ぎに辿り着いて、ディスクの交換をして、やれやれ。晩飯はどうしようか？なか卯でいつもの親子丼と鰻のあいがけのやつにしようか？と思ったが、この前瀬田の和食さとに行った時に、注文を済ませた後メニューにうな重があるのに気付いて、今度食べようと思っていたのを思い出した。で住処から歩いて数分の和食さとに向かう。鹿児島産の鰻重特上5200円（税別）。いい値段とる。出てきたときは鰻が小さく見えてちょっとがっかりしたが、食べたらそんなに少なくなかった。味もまずまずで、5200円ならいいか。今度職場に行ったら、うな松の名物一本鰻を食してこよう。土用の丑の日はまたさとでいいや。前日までに予約しておけば値引きしてくれるそうだ。テイクアウトに限るらしいが、まあ住処で食べます。

さて、小生の春学期の講義とゼミは今日で全て終了。大学の講義最終日は今週の水曜日だが、小生は火曜、水曜は担当講義が無いので。明日教授会があって、金曜日に試験監督があって、で来週学科会議をやるという話だ。用事はそれだけかな。レポートの提出締め切り日が来たら採点しなくてはいけない。それまでちょっと余裕があるから、書き散らかした紙を TeX 化しよう。上に書いた通り録画したままに成ってるものが沢山あるので、そっちも見るよ。ま、硬軟織り交ぜ、柔軟に夏休みは過ごしますわ。実家？うーん、どうしよう？暑い中外出するの嫌だしな。さっきちょっと飲み物と呑み物を買いに表出たが、暑い。夜の11時過ぎでこれだからな。京都よりも横浜の方が少し暑さはマシかもしれないが、山科駅まで歩くのが嫌。同じ理由で映画を見に行く気に成らない。夜の上映を狙って行くか。「マイケル/Michael」をふなごやの店長が見てきたと言ってたが、面白いらしい。我慢して行くか。上に書いた通り今晩は呑み物があるので、明日は行かないけど。

あ、明日は資源ゴミの日だ。前回から3週間空いてるから、今日は大量に捨てられてるだろう。覚悟していかないとな。上に書いた通り暑い（今晩も熱帯夜）ので、外に出たくないが、まあ仕方ない。やります。

3戦連続1回表に相手に満塁のチャンスを与え、4失点、2失点、4失点はキツイ（3連敗しなかったのは不思議）

昨晩は店長もバイトに人も小生の顔を見るなり「同窓会ではなかったのですか？」と聞いてきた。昨日書いた通りのことを説明した。で小生に気を使ったか、店長のご友人が客として来た時に盛り上がれるよう、中高の卒業アルバムが店に置いてあり、それを3人で見ながら大盛り上がり。お二人は友達の写真を見て笑ったりしていたが、小生はそれは分からないが、当時の出来事が書いてあるのを見て盛り上がった。1988年～1994年の出来事だと小生が大学生から大学院生の頃だから、よく覚えている。目茶目茶盛り上がった。それと、今では考えられないが、当時のアルバムには全員の住所、電話番号が書いてある。車の運転が出来るように成ると行動範囲が一気に広がるが、それにより昔は分からなかった地名がどこだかというのが分かるようになる。でご学友と先生方がどこから通勤、通学してたのを見ると、結構遠方から通ってるのが分かって、ビックリした。BKC の近くから京都南部まで通っていたご学友がいらしたが、南草津駅の無い頃は通うの大変だったろうな。草津駅か瀬田駅までバスかそれともご両親による送迎で行っていたのだろうか？盛り上がった。でいつもの通りワインだが、いつも店長の好みで割と重ための赤ワインのことが多い（黒ワインとも言えるくらい色の濃いもの）が、昨日は軽めのワインを選んできたと呑んでみると、確かに軽くて、色も大分薄い。店長曰く「これを白ワイン並みにキンキンに冷やしたら、白ワインと間違える人はいるかも」とのこと。確かにこの前中田翔をはじめ3人の有名人が間違ってたからな。今度そういう企画をしてください。店長がワールドカップを見たいという理由からか、少し早目にお開きに成った。金を払ったシーンも覚えている。

呑んだ量が少ない証拠に、帰ってきてからパソコンを見て、有理点が求まってて、記録したのが記憶にある。10時間くらいで見付かっていた。でまた仕掛けて、現在続行中。一応酔ってはいたから、割と早目にダウンした。

暫く午前中に起きなくてよい、と数日前に書いたが、今日は午前中に起きてしまった。昨日の「THE 世代感」で渋谷のことがやると言っていたのを忘れて録画しなかったので、Tver で見て、それからカップ麺をすすって、などしてから、寝床でスマホをいじってたら寝落ちした。テレビを消してなかったので暫くしたら音で目が覚めた。何やら1960年代、1970年代、1980年代の夏の歌の特集をしていたが、この前関西では Tigers 戦の中継でやらなかった番組がやってるのだな、と分かって起きた。うーん、懐かしい。名曲揃いだな。1980年代の1位が井上陽水、玉置浩二の「夏の終わりのハーモニー」だったのはちょっと納得いかなかったが。1970年代の1位はサザンオールスターズのデビュー曲「勝手にシンドバッド」。成程、という感じ。面白かった。

番組が終わったのは4時50分過ぎで、相撲が始まっているのを思い出して急いで NHK 総合にチャンネルを変える。今日は関脇、大関が揃って勝って、いいぞ、と思ったら、横綱大の里が義ノ富士に負けた。大の里は不戦敗の1敗も含めて義ノ富士に勝ち無しの4連敗。素人目にも分かったが、引くという悪い癖が出た。舞の海が「琴風さんの言う独饅頭ですね」と言ってた、このフレーズは何度も聞いた。琴風さんの言う通りちょっと前までは大の里の天下だったのだから、自信を持ってやってくれないと。まあ2場所連続休場で勘が鈍っているのだろうとも仰せだったが。頑張っておくれ。

ですぐ野球。篠木はこの前よかったから、やってくれると信じたが、1回表に3四球で満塁にして満塁ホームランを打たれるという最悪のスタート。苦手 Giants 相手の3連戦で3日続けて1回表に満塁にしてしまうのはキツイ。しかも一昨日と今日は満塁ホームランを打たれてるし。一昨日は引っくり返して勝ったし、昨日も2度リードした。今日もやってくれる、と信じて応援していた。すると5回裏に佐野、勝又のタイムリーヒットで2点（勝又は23試合連続安打）、6回裏に松尾のタイムリーヒットで1点差としたが、そこまでだった。2回以降は点を取られなかったので、1回表が全てだったな。苦手の井上（Baystars 相手に8連勝、今シーズンも3勝されている）から3点取ったが、勝てないと苦手意識は払拭出来ないだろうに。vs. Giants 8連敗は止めたが、大きく負け越している状況は変わらない。どうにかしないと。明後日から広島で Carp 相手に2連戦。ゲーム差無しなので最低でも1勝1敗でいかないと。

ということで気分はよろしくない。今日は気持ちよく気持ちよく成りたかったが（謎）。まあいいです。明日で春学期のレギュラーの用事は終わるので。考え中のことを整理したりと、色々やれるようになるのは嬉しい。有意義に過ごそう。

同窓会の第2報が無く、出席出来ず

結局昨晩は呑んだ。深夜にコンビニに買いに行くのはちょっと気恥ずかしいが、まあいいです。で正月にやっていた大河ドラマの名場面集みたいなのを漸く見た。竹中直人が秀吉をやったのってもう30年も前なのね。泥だらけで、大声で喋る時は口から唾が飛んで、結構視聴者から文句があったようだが、面白かった。後に「軍師官兵衛」でもう一度秀吉役をやったが、その時は涙する場面で鼻水を垂らしていた。竹中直人ならではだな。面白かった。その後もう一本見て、CS 放送でやっている「プロ野球ニュース」を追っ掛け再生。Giants 相手の大逆転勝ちは痛快だった。見てすぐ消そうかと思ったが、残しておこうということにした。で結構な時間まで起きていた。

深夜に同級生に書いたメールに返事が来ていた。今日同窓会をやると書いてあったが、何故もっと早く第2報をくれなかったかね？まあいいけど。その分山科で呑むから。

であっと言う間に野球の時間。今日の Baystars の先発は藤浪。あまり期待しないで見ていたが、案の定大荒れのスタート。昨日も今日も1回表に無死満塁のピンチを作ってしまう。むぅ。昨日は満塁ホームランを打たれたが、藤浪は2失点でこらえた。するとすぐエンカーナシオンに来日初のホームランとなる3ランホームランが飛び出し逆転。が、すぐ追い付かれた。センターに入っている蝦名が薄暮のせいで打球を見失って出塁させたのが元。まあ仕方ない。その後浜地、マルセリーノがそれぞれ無死2塁、無死1、2塁のピンチを凌いだ。浜地は昨日支配下登録されたばかり。肘を手術して、ボルトが2本入ってるらしい。育成契約からよく這い上がった。でたった今勝ち越した。よしよし。このままうまくいけば、マルセリーノはプロ初勝利から2日続けて勝利投手に成れるが。さあどうなる？

などと書いてしばし。2死満塁3ボール2ストライクまで行ったが、代打・度会は見逃し三振。残念。さあ勝てよ。

などと書いてまたしばし。中川虎大が点を取られて、マルセリーノの勝ちは無くなった。のんきなことを言っていられる状況ではなく無死1、3塁。7イニング中5度先頭打者の出塁を許してると苦しい。虎が抑えてくれると信じる。頑張れ。

などと書いてまたまたしばし。セーフティースクイズを決められ勝ち越された。むぅ。2アウトには成った。で丸を抑えて、何とか1点リードされただけで済んだ。もう一度逆転してくれると信じるしかない。頑張れ。

金曜日の講義とゼミは今日で終了

11時くらいに起床。明日から暫く午前中起きなくていいのが嬉しい。不摂生しまくろう。と言っても、胃腸が丈夫じゃないので、酒は程々にするが。でパソコンを見ると有理点が求まっていた。パソコンを一旦リブート。嫌、勿論電源を暫く落としておいて、冷えておいてもらった方がいいのだが、やはり無理をさせてしまった。熱暴走しないことだけを願って、新しい有理点探しを始めさせて、11時半くらいに職場に向けて出発。

外で弁当を買って食して、で単位認定レポートの解答例（締め切り後にウェブにアップロードする予定）を考えて、何か変だと思ったら、素イデアルであることを示してないのが二つあった。素イデアルだが極大イデアルでないことを示せ、という問題なのだが。考え始めると、一つは容易。もう一つは何か難しそうだぞ、とかやってる内に1時を過ぎていた。

1時10分から「代数学I」。今日で最終回。まず局所化が局所環であることを示して、で Chinese remainder therom をやる。前にオイラーの定理をやった時に「3¹²¹ の下二桁は、オイラーの定理より 3⁴⁰≡1 (mod 100) だから容易。じゃあ 3⁶¹ は？」と話しておいたので、その解説も兼ねて。で可換環バージョンで示すために、イデアルの和とか積とか互いに素とか定義して、で定理を示して、Z バージョンへの翻訳を軽く。本当は時間をタップリ使いたかったが、予想外に時間が無かったので、翻訳は軽くで済ませた。で 3²⁰≡1 (mod 100) が何の計算もしないで従うことを言っておく。前に見せた時は 3¹⁰≡50－1 (mod 100) ということに気付けば後は暗算、とやったが、こんなことをしなくても φ(25)＝20 だけで済む。3である必要は勿論無いよ、とも言っておく。で大体時間に成った。疲れた。

ちょっと休憩してから M1 のゼミの春学期の最終回。今日はアイゼンシュタイン型の代数体のことを準備して、で応用として純三次体の整数基と判別式の決定。藤崎先生の本で2年続けてやってもらったが、大分違っていて面白い。藤崎先生の本では結構計算していたが、石田信先生の本だとそんなに計算がいらない。面白いな。その後部屋割り論法を使って、フェルマーの2平方和定理を示して、でミンコフスキーの数の幾何を使うといい評価が出来る不等式を部屋割り論法だけで示して、で総正な元の作る群が K^× の中で指数が 2^r₁ であることを示して、時間だし区切りも付いたので終了。まあ順調だな。一冊終わったら何をしてもらおう？まあまだこの後ディリクレの単数定理とかイデアル類群の有限性とか重たい話題が多いのだが。疲れた。

で久し振りに図書館へ。何をしたかというと、数理科学セミナーで使った本が有隣社から届く前に借りていたのと、石田信先生の本が行方不明だったので借りていたので、返却しに行った。日が暮れていたので、少しは暑さはマシに成っていた。

で部屋で解答作りの続きを少々と、いつもの通り紙をスキャンしたり。解答は大体出来た。まだ紙に書き散らかしただけなので、住処に戻ってから TeX 化することにした。もう9時を過ぎていたが、まだ暑いぞ。車に外気温が表示されるが、28度と出てうんざり。昼あれだけ厚けりゃそりゃ熱もこもるわ。

野球だが、ゼミが終わってちょっとして見たら2－4という状況でリードされてた。1回表にノーアウト満塁から満塁ホームランを打たれるという最悪のスタート。が、この展開は前に竹田祐が作ったことがある。その時は何と竹田が勝ち投手に成ったが、さてどうだろう？と思って帰る直前に見たら、引っくり返してる。6回裏にまとめて5点取っての逆転勝ち。今シーズンここまでよかった田中瑛斗が1死も取れず5失点（自責点4）だそうだ。映像を見てないのでよく分からないが、松本剛が打球を通り越してバンザイして頭の上を越されたらしい。見てたら大笑いだったな。1回表は満塁ホームランを打たれて打者10人攻撃をされたそうだが、満塁ホームランの後は失点しなかったようで、結局それが効いたかな。走者を貯めても点を取れないのは Baystars のお家芸だが、Giants が真似してくれて助かった。今日は Tigers が負けて Swallows が勝った（そりゃ Tigers と Swallows の直接対決だから）ので、首位 Tigers と 2位 Giants が1ゲーム差、3位 Swallows が0.5ゲーム差と、大混戦はまだ続いてる。漁夫の利で Baystars が上がっていけばいいが。借金は10で、3位 Swallows の貯金は僅かに3。まだまだ。

さて、後は月曜日にゼミがあるだけで、ほぼ用事が無い。表に出るのは月曜日と金曜日の試験監督だけ。呑もうか？いや、明日本格的に呑むからな。やめておこうかどうしようか。まあもうちょっと考える。

あ、随分前に高校1年の時の同窓会をやる、とメールが来てたな。その後続報が無いが。7月だと言ってたと思うが。メールが無いところを見ると、延期かな。後で確認してメールを書いておこう。

今シーズン初めての半袖シャツでの出勤

また変な時間まで起きていた。2時55分に講義室に着けばよいので、ついやってしまう。まあ今日で木曜日は最後だけど。で1時過ぎに起きてパソコンを見ると、有理点が見付かっていた。30時間くらい掛かった。また新しいのを仕掛けて、2時前に住処を出た。

職場に2時半前に着いて、生協で弁当を買って、脇のスペースで食す。で2時45分過ぎに講義室へ。隣の建物だから急ぐ必要は無い。今日で「数理科学セミナー」は14週目の春学期最終回。秋学期は別の先生がやるので、小生の顔を見て嫌な気分に成らないで済むので、ホッとしている学生はいるだろうと思う。今日は繰り返し2乗法の続きをやって、それからカーマイケル数がどうしたとかそういう話。その前にある底に対する擬素数が底を変えると素数でないことが分かる、という話が書いてないとおかしいと思って本を見ると、やはり書いてある。デカい数字が書いてあって訳分からずとばしたのだろうか？カーマイケル数の有難味が分からないと思うが。まあ最後だから言うけど、和訳がある。中国人の留学生の一人が和訳本を見て堂々とやっていたから、皆知ってるか？内容を正確に捉えられる自信が無いなら別に和訳見てもいいけどさ。で二人終わってまだ30分以上あったが、次の番の人が予習が十分じゃないからご勘弁願いたい旨言ってきたので、いいことにして終わりにする。14週間ご苦労様でした。ということで本と電子辞書と計算用紙を入れた袋を持ち歩くのは今日で終了。また来年度やるかもしれないから、分からなくならないような所に置いておこう。

でちょっと余裕があるので、気に成っていることをやるべくコンピューターを叩いて結果を TeX 化したりしてたらゼミの時間に成ってた。今日からイデールの章に入ったが、今日で春学期は最終回だから、何か中途半端な所で終わってしまうな、と思ってたら、今日は（三角不等式を満たすとは限らない）絶対値の話などで、まあここまでならな、という感じ。イデールの定義だけやって2ヶ月以上空くのはちょっと嫌だったから。で大分苦戦したようだ。三角不等式を満たす付値と同値だということの証明に手間取ったと言ってた。で素点を定義して、素点の全体と {素イデアル}∪{C への埋め込み} を同値類別したのが1対1に対応する話が書いてあって、で積公式の話。例が沢山出ててよかった。埋め込みを延長する話は具体例が無いと分かりづらいからね。実の埋め込みを虚の埋め込みに延長する例なんかも出てた。まあ分かり易くて良かった。実例を知ってると抽象論をやる時に手掛かりがあって助かる。まあ具体例が特殊過ぎるとそれを引きずって良くないこともあるが。で学生は物凄く早く終わったと思っていたようだが、もう7時くらいだった。タップリ2時間はやったのでいいです。ご苦労さんでした。

7時から打ち合わせがあることに成ってて、8時過ぎまでゼミだから出席出来ない、と昨日メールを書いたが、数分遅れで出席出来た。もう大分メーターが上がってて、皆さん大分ヒートアップしていた。数学の講義をちゃんとやることの大変さを分かってくれない人が多いという発言があったが、仰る通り。大学院生かポスドクの人にバイト感覚でやられせればよいのでは？くらいの勘違いをされているかもしれない、という意見があった。そうかも。非数学の人で数学の講義を全部担当するつもりだとしたら、それも危うい。もっと人を雇って、と言わないと。それと、BKC と OIC を何往復もさせる気？遠い人は彦根よ、という声も。まあ「無理！」と言えば、というのが大半の意見だったが、仕切ってるK先生は軟着陸させるのに大分苦労されていた。下手をしたら大喧嘩だからね。それこそ本当に先方はポスドクの人に講義でもやらせかねない。テストをマークシート形式にする、という暴挙を言ってくる可能性があるが、勉強の質が下がる、という恐れも。まあ何にしても大騒ぎだ。近日中に決着が付くようなことを言ってたが、怖いな。来年度は小生が矢面に立たないといけなくなる可能性がある。よく勉強しておかないと。8時過ぎに終了。

それからちょっと TeX 打ちをして印刷して、紙を処理するべくスキャンして、で部屋の隅から出てきた大量の紙を学生の部屋に計算用紙として使ってね、と置いてきたり。何だかんだと9時過ぎまで職場にいた。

最近東門から出る方法を覚えた。去年何かの用事で日曜日に職場に行った時に、正門方向へ向かって大量の車が走って渋滞していたので、東門から出てみよう、と試した。その時は曲がる所がよく分からなくて変なことに成ったが、この前ちょっと明るい時に走ったらちゃん「出口」の文字に矢印が書いてあって分かるように成ってた。かがやき通り方面に向かう時はこっちの方が近いし混まなくてよい。今日は昨日に続けてかがやき通りのすき家で晩飯にするつもりだったので、東門から出た。ですき家で予定通り「トリプル大蒜牛丼」を食べた。スタミナつくぞ。

職場でチラチラ野球を見てたが、先制されて追い付いて勝ち越してだったが、出る直前に見たら逆転されてた。中川虎大がホームランを打たれたようだ。まあいつも抑えるわけではないし、ホームランも打たれます。負けることもあります。ということで7月初敗戦。まあいいです。明日から Giants と。Tigers がうまいこと Giants に勝ち越して、ちょっとシュンとしてるかもしれないから、勝ち越しましょう。Swallows が外国人投手3人のリレーでノーヒットノーランをやったそうだ。途中スマホに Swallows のウォルターズが6回までノーヒットノーラン継続中の情報が入っていたが、代えてしまったのか、勿体ない。まあウォルターズは来日初勝利だそうで、まだ実績が十分でないから仕方ないな。継投でのノーヒットノーランは6度目だそうだが、外国人リレーだと初らしい。ふーん。その6回の内に日本シリーズでの Dragons の山井－岩瀬の完全試合リレーは入ってないんだろうな。アメリカでも継投のノーヒットノーランは時々あるようで、この前今永が先発の試合でやってた。まあ一人でやられても何人かでやられても、やられた方は屈辱だな。そのおかげで Carp が負けてくれたので、Baystars との順位がひっくり返らなくてよかった。

あ、そうそう、近畿は昨日梅雨明けした。今日は京都は35度、大津が33度とか早速とんでもないことを言ってたので、今シーズン初めて半袖シャツで出勤した。今日はゼミ形式の講義とゼミだけだったので、座ってればよかったので大したことないが、明日は書いて喋ってを95分やらないといけないので大変。明日も勿論半袖シャツで行く。今日のシャツはそうでもなかったが、引っ張り出してきた半袖シャツは皺くちゃだから、一度洗濯した方がいいな。また土曜日に呑みに出る前に仕掛けよう。まあその後は月曜日のゼミと金曜日の試験監督以外は職場に行かなくていいんだが、街中をあまりにみすぼらしい恰好で歩くのはよくない。T シャツ類も少しどうにかしておこう。夏本番だ。嫌なこった。

筒香の上昇に合わせてチームも浮上。7月負け無し（まだ借金は10あるけど）

今日も水曜日なのに出勤。学生にプレゼンさせる講義が2時55分からあって、4時から会議。会議に遅れる旨事務にメールを書いておいたので、まあ大丈夫。で先週と今日は小生のゼミの学生が喋る番。結構質問が出たり鋭い指摘があったりと、まあ盛り上がった。いや、小生が口を出し過ぎたか、という嫌いはあったが、まあいいでしょう。人前で、しかも非専門家の前で話すという経験は早目にしておいた方がいい。緩急の加減が段々分かってくるからね。早目に済んだので会議にちょっと遅刻で済む。個研室へ戻ってノートパソコンを持って、コアステーション2階の大会議室へ向かう。学科によって教務委員が一人だったり二人だったりするようだが、一人で全部やるのは大変よ。うちは他学科や他学部の講義やTAのことも世話をしないといけないし、二人制でないと持たんよ。今は教務委員2年目に時間割のことをやるようだが、前は1年目にやらされた。要領が分からないので大変だった。今年中に少し勉強しておきます。5時半過ぎに解放された。

部屋に戻ってちょっと気に成ってたことを計算して確かめたり、それを TeX 化したり。野球をチラチラ気にしながらやっていた。1点リードされてしまったので、嫌な気分に成ったので、新規購入の USB メモリーにスキャン出来るか試すべく紙の束を持って7階の事務室へ。案の定沢山スキャン出来た。何故か学生が群論の演習問題のコピーをくれて、それをスキャンしたり、大昔に志村五郎先生がうちに来た時に沢山学生向けの教材を作ってくださり、それのコピーをいただいたのでスキャンしたり、先輩がセミナーで喋った難しい話の資料をスキャンしたりと、結構な枚数に成ったが、余裕で出来た。で個研室に戻って pdf ファイルを結合させて、とかやって野球を見たら逆転してる。お！筒香が逆転ホームランを打ったようだ。よしよし。で計算の続きをやって、見たらもう9回だったが、1点取られてる。レイノルズがソロホームランを打たれたようだ。随分長いこと無失点だったが。怖いので作業をして、で見たら終わってた。勝った！7月負けなし。暫くしたら Tigers が Giants に勝って、再び2チーム首位で並んだ。Baystars はまだ借金が10もあるからでかい顔は出来ないが、ちょっとずつでいいので上がっていきましょう。1997年はオールスターの時は最下位だったと思うが、8月に大勝ちして首位 Swallows に迫ったのだった。上が潰しあってくれてるうちに上がっていきましょう。明日も Dragons 戦で、明後日から Giants と3連戦。やってやりましょう。

などとして9時半近くまで職場にいた。飯はすき家でいいや、と向かうと、大蒜の芽の牛丼があった。お！夏だね。でダブル大蒜牛丼を頼んだが、後で見たらトリプル大蒜牛丼もあった。明日はそれにしよう。

で帰ってきて「報道ステーション」のスポーツコーナーで情報を仕入れたが、筒香は7月に入ってから3割5分を超える打率を残して好調らしい。やはり筒香が打つといい結果が出る。明日も是非。大谷が MLB 300号ホームランとかサッカーの話題が勿論日本の野球より先にやる。アルゼンチンはまたしても際どい勝ちを拾ったようだ。メッシが胴上げされていたが、まだベスト8に勝ち上がっただけだぞ。9試合連続ゴールと逆転勝ちが嬉しいのは分かるが。所謂「ドーハの悲劇」の前の試合で日本代表が涙ぐんでたのを思い出した。もう行けた、と思ったとしたら油断だしな。最後まで締めていきましょう。こればっかりで申し訳ないが、一昨年の Carp は9月1日時点で首位だったのに9月に20敗して、最終的には4位で CS にすら行けてない。近鉄が日本シリーズで3連勝した後4連敗したとか、Tigers の中村勝広監督がロードに出る前に甲子園のファンに「大きなお土産を持って帰ってきます」と言った次の日から負けまくったとか、前例は沢山ある。まだまだ終わってないのです。

2、3メールを書かないといけない。面倒だ。まあ明日は2時55分までに職場に行けばいいので、ゆっくりやります。その間に有理点が見付かればいいが。昨日の夕方6時45分くらいからやってるが、まだ見付かってない。やはり2万を超えると時間が掛かるように成るな。まだ10個以上あるし、一番 canonical height のでかい奴は800を超えてる。まあ夏休み中に終わればいいかな。気長にやります。

石田裕太郎が1安打完封勝利と、ちょっと惜しかった

やはり3時間番組は見るのがキツイ。先週やった「ミラクル9」を途中まで見て、プロレスを見て、で「ミラクル9」の続き。最後のクイズが懐かしくて楽しかった。が、もう相当な時間に成ってた。呑みながらだったが、終わった後の記憶がちょっと無い。で知らん間にダウンしてた。テレビの電源は消したようだ。冷房と電気は点いてたが。

やはり記憶が無くなるほど呑んではいけないな。起きたらもう野球が始まっていた。まあ点取られてるよね、と思ってたが0－0という状態だった。が、凄いことが起こりそうになってきた。石田裕太郎がランナーを出さない。5回に四球で一人出塁させるまでヒットも四球もエラーも無かった。7回には四球で二人出塁させたが未だノーヒット。が、石田の日はあまり援護がない。3回に牧が10号ホームラン（プロ入り以来6年連続2桁ホームラン）、4回に石田裕太郎が内野ゴロを打って2点目。さあノーヒットノーランか？と思ったが、8回の先頭打者にヒットを打たれてしまい残念。しかしその後は三振とダブルプレーで無失点。で9回に漸く援護点。松尾、梶原、宮下の3連打で1点。石田が送って勝又がタイムリーヒット（18試合連続安打を最終打席に打つあたりは流石）。で9回は三者凡退に斬ってとり、被安打1の完封勝利。被安打1は勿体ないが、本人もそう甘いものとは思ってなかったというので、まあいいでしょう。中央大学の先輩の牧に打って欲しいと言ってたそうで、その通りに成ってよかった。牧は5回に好守も見せていた。まあよかった。石田は4勝8敗だが、14登板でクオリティースタート10、防御率2.69だからもっと勝っててもいい。これからは投げた試合全部勝つ、と言ってたが、それくらいの意気込みで是非お願いします。打線は篠木の時みたいに援護してな。まあ今日も10安打で5試合連続二桁安打だそうだ。これで4連勝。ここ3試合は篠木、深沢、石田裕太郎と若い投手で勝ってる。いいことだ。明日は東だ。勝たないと。

昨日の夜9時過ぎに仕掛けた有理点探しは今日の昼3時前に終わってた。それくらいなら我慢出来る。パラメーターが3万以下で実験したいが、漸く2万に突入した。勿論1万個全部試すわけではない。mod 24 で23と合同な素数なので、そんなに多くない。Magma calculator が見付けてくれたものもあるので、残りはもう少し。まあ何度も書いてるが急いでないので、ちまちまとやります。いや、やるのは小生でなくてコンピューターだが。

今日は6チャンネルでドラマが始まったため、「相席食堂」がちょっと遅く始まってる。西川忠志が出てるが、相変わらずテンションが高い（英語で「テンション」をこういう意味では使わないそうなので注意が必要）。58歳と言ってるから小生と同い年かと思って調べたら、昭和43年（1968年）4月20日生まれだそうだから1学年下だな。早生まれの人は分かるだろうが、昭和42年生まれと昭和43年生まれのどっちが同級生か分からなくなる。清原は昭和42年8月18日生まれの同期生だが、野茂は昭和43年8月31日生まれだから1学年下。何となく野茂が同期生と勘違いしてしまうが。小生と同い年の伊集院光が今年の正月に「来年還暦」と言ってて、ああそうか、と思った。来年高校の同期会を企画してるそうだが、そこでも「還暦を迎える年に集まりましょう」と書いてあった。小生は1月8日生まれなので、60歳に成るのは再来年。まあ年が明けて一週間で歳が変わるので、大した差ではないが。桑田真澄は同期だが4月1日生まれと、一番遅い生まれ。と書いててふと気に成った。年度が改まって初日に年齢が1増えるわけだが、定年退職が年度内の3月31日だったら、64歳の内に定年退職に成るのだろうか？それとももう一年余分に働かされるのだろうか？詳しい人がいたら教えて。もしくは4月1日生まれの人は教えて。