Beamer に馬鹿にされ続け呑み呑み徹夜（無事解決）

昨晩はその後 pdf をいじって大苦戦。Beamer で pdf ファイルを作るとしおりが出たり出なかったりするのは何故？と皆目見当が付かない。Web からサンプルの .tex ファイルをコピペして pdf ファイルを作ると出るのに、小生の作ったファイルでは全然出ない。おかしい。何が違う？いやいや、何これ？と一晩中本をひっくり返したり net 検索したり。で何か悪さをしているクラスファイルがあるのでは？とさらのファイルを作って、ちょっとずつコピペすると、何としおりが出る。おかしい。で結局全部コピペし終わって完成したファイルはちゃんとしおり付きに。意味が分からん。「おはよう朝日です」の占いで今日の山羊座は12位だったので、やめて寝ることにした。

途中オリンピックは気にしていた。男子バスケットボールはフランス相手に大金星、まで残り40秒くらいで追い付かれてしまい、延長戦で逆転して力尽きた。残念。

適当に起きて腹ごしらえ。コンピューターに馬鹿にされ続けた件はやる気が起きない。まだ眠いな。野球が始まるまでもう一回寝るか、ということにして、ABC の放送音を流したまま横に成った。6時半近くまで寝てしまったが、Tigers vs. Giants の音声が。Tigers が押し出し四球で先制して、その後3得点。1回裏に4点とは、幸先が良い。まあ目的は Carp vs. Baystars なので、そっちに合わせる。が、やはり今日もけたくそ悪い展開に。この前 Carp 相手に今シーズン初黒星を付けられた東が今日も2失点してしまう。Carp はここまで9勝の床田。1点取るのが精いっぱいで、これで7連敗。交流戦で7連勝して貯金を作ったのを全部吐き出して、これで借金2。苦しく成ってきた。まあ今日で7月は終わりだし、8月は大勝ちしてもらおう。8月に強いのがここのところの Baystars の芸風だ。横浜スタジアムでも無類の強さを誇る。まだまだ。

しかし暑いな。ちょっと払い込まないといけないので、野球が終わってから銀行に行ってきたが、帰ってきたら汗だく。冷房を消さないで行ってよかった。夜でこの暑さ。昼は外出したくなくなる。この仕事をしていると、8月はあまり外出しないで済むのがよい。だけど今週は土曜日にちょっと昼近くに区内で用事があって、来週は火曜日に職場に行かないといけない。出掛けるの嫌だな。まあ仕方ないな。諦めよう。

しおりの件だが、その後完全に解決した。そういうことでしたか。分かってしまえば何でもないこと。昔後輩K君（相撲部出身）がコンピューターの前で唸っていて、突然壊れたことがあった。何だと思ったら PARI/GP version 1.39 で for ループを回そうとしていたんだが、意味不明なエラーメッセージが出ていたらしく、それが突然うまくいった、ということでキレたようだ。聞いてみると、for ループの変数を小文字の i にしていたのを j にしたら動いた、と。そう、当時の PARI/GP は小文字の i は虚数単位なのでした。それを言ったら物凄い脱力していた。その後 PARI/GP は文法がガラッと変わり、虚数単位は大文字の I に成った。やはり同様のことでクレームが多かったのだろう。for ループで i を使うのは、前世紀の遺物 FORTRAN のせい。FORTRAN はよく知らないが、変数の使い方に色々制限が多く、そのせいで BASIC でプログラムするのにも i を使う人が多かった。数学でも Σ を使う時に i を使うことが多い。何でもいいんだけどね。SageMath は予約語でも何でも上書き出来てしまう。虚数単位は i でも I でもいいんだが、前者を for ループで使って、後者を単位行列にしてしまう人は結構多いのでは？後で元に戻せるので問題は無いんだけど。小生は単位行列は  E を使う主義だが、SageMath だと E(n) は 1 の原始 n 乗根を返す関数に成ってる。こういうメジャーな一文字を関数にするのはやめていただきたいが。Maple は D を微分作用素として使ってしまっているので、判別式を取り敢えず D に入れておこうと思ってエラーメッセージが出て焦ることがある。気付いた時勘弁してくれと思う。

まあ兎に角うまくいったので、その後ボーっとニュースを見ていた。イスラム vs. イスラエルは泥沼。最高指導者を殺しておいて「汚物を排除した」はないだろう。酷過ぎる。関東では大雨。東京、埼玉は大変だったようだ。Hawks のマジックナンバーが消えた。Marines が Lions に開幕から負け無し13連勝の新記録。Lions の借金は何と34。勝率は .311。昔 Whales や Swallows が滅茶苦茶弱かった時、首位打者篠塚（Giants）とどっちが上？みたいなことをよく言っていたが、セ・リーグの首位打者サンタナ（Swallows）の打率は .315、パ・リーグの首位打者近藤（Hawks）の打率は .323。こりゃ本当に首位打者の打率より勝率が下回っちゃうな。結局当時は Whales も Swallows も最終的には .390 くらいの勝率には成っていたが、今年の Lions にはそれが望めそうにない。どうなるでしょう？

最近ちょっと酒が過ぎるし、土曜日に呑むまでやめておくか。昨晩も訳が分からなくて、呑み呑みやっていたが。今思い出したが、科研費の申請書を書かないといけないのだった。8月28日が締め切りだと言ってたな。福岡から帰ってきてからやるか。また呑みながらやりそうだな。やはり定期的に職場に行く用事があるのは大事だな。秋学期は火曜日も講義があるし、どんなスケジュールに成るだろう？月～金毎日出勤は勘弁して欲しいが。ゼミが3つあるからちょっと大変なんだよな。まあこっちはもうちょっとしたら考えよう。

8月に成る前に Hawks にマジックナンバー42が点灯

寝よう寝ようとして、つい YouTube で京阪京津線の動画を3本も見付けてしまい、見てしまった。三条京阪のホテルに泊まってる時に、宿から浜大津行の電車をよく見ていたが、浜大津ってどこ？遠かったら嫌だな、と思い乗らないうちに、三条から御陵までが廃止に成ってしまっていた。山科に住むように成ってすぐに、今の四両編成に成った京津線の電車で琵琶湖まで行って、おお、琵琶湖だよー、と思った覚えがある。面白い電車なのは知っていたが、想像を絶する面白さだった。久し振りに乗りたいが、暑くて京阪山科駅まで行くのが嫌だ。前は1時間に4本だったが、昨日仕入れた情報によると1時間3本に減ったらしい。コロナもあったが、元々ガラガラだったから仕方ない。暑い中長時間電車を待つのは嫌だ。大谷駅がもうちょっと開けた所にあったら、MLB と協賛で盛り上がったり出来そうだが。でそんなことをしているうちにプロレスが始まってしまい、内藤 vs. 鷹木の同い年対決で盛り上がってしまい、その後NHKに回してオリンピックの体操を見てたら、中国を大逆転で下して金メダル！凄い。その後女子バスケットボール日本 vs. アメリカが始まったが、オリンピック7連敗、55連勝中のアメリカには敵わなかった。でようやく寝た。

起きてはま寿司も何も、結構な時間だったから、結局カップ麺。4時半から重ための会議。今日は早目に任務が終わってよかった。後はボーっと聞いたり内職したり。睡眠は十分だったので、最後まで持ち堪えた。8月は特にすることが無くなった。よかった。それでもまだちょっと直さないといけないが。

で直す一環と、福岡で話す件の資料を作るため、Beamer について調べごと。Beamer は数年前に「数学展望」で話す資料作りのために先輩にサンプルファイルを貰って、それを修正しいしい使っているが、あまり分かって使っているとは言えない。で調べたら色々分かった。が、肝心なことは全然分からない。同業者からメールが来ていたので、返事するついでに聞いてみたが、今のところ返事は無し。まあ細かいことだし大急ぎでは無いので、ゆっくり調べることにする。

会議中に野球が始まっていた。今日から Carp とマツダスタジアムで。今日は濱口だが、ちょっとかわいそうだった。味方がぽろぽろとエラーを、三本間にランナーを挟んで追い詰めたと思ったら、3塁への送球がそれて、ランナー2、3塁にしてしまい、そこから失点。結局6点のリードを許して最終回。玉村に完封されてしまうか？というところで意地を見せて、牧が3ランホームランを打った。それでも玉村はプロ初完投。ちょっと前に貯金5で今シーズン最高、と言ってたと思ったが、Swallows に悪夢のサヨナラ負けを食らってからロクでもなく6連敗で借金持ちに。うーむ。

で早々とオリンピックに切り替えて、野球のことはさっぱり忘れたが、「相席食堂」の始まる前に6チャンネルに切り替えたが、「報道ステーション」でヒロド歩アナ曰く、Hawks にマジックナンバー42が点灯とか。まだ7月は2日残ってるのに。幸い Giants は Tigers に一方的に負けたようだ。もうこうなったら Tigers に Giants を打ち砕いてもらって、Tigers の優勝でもいいや。Carp でもいいぞ。この前書いたが、アドゥワにビールかけを味わってもらいたのもあるから、Carp でもいいや。Giants が日本シリーズに出てしまったら、パ・リーグのチームを全力応援だ。勿論まだ諦めてはいない。ギリギリまで Baystars を応するし、3位以上に成れば日本シリーズに出られる可能性はあるのだ。めげずにいきます。

成績付け業務は全て終了

昨晩はオリンピックを流しながら採点作業。まず「数学III（線形代数）」の点数を入力。97人分の入力だと流石にミスがあり、一人入力してなかった。何度も何度も点検する機会を与えてくれるシステムなので、ミスには確実に気付く。で無事終了。その後「代数学I」のレポートの採点。こちらはオンライン提出なので、紙の束は無い。ダウンロードして採点。70名弱だが、結構面倒。線形代数と違って証明問題ばかりなのでね。ちゃんとこうしてね、と言ってるのに、重要なことを書いてないので不合格に成った学生が1名いた。文句言ってくるかもね。まあいいけど。ファイル名は「学生証番号_氏名.pdf」にせよ、と言ったのに、「代数学Iレポート」みたいなタイトルを付けてるのが3人。これも指示を守ってないから不合格、でもよかったが、まあ大目に見ましょうということにした。で終わらせて、成績を入力して、3時くらいには終了。セブンイレブンに食料と飲み物と呑み物を購入しに行く。「マルエフ」というビールのCMをよく見るが、考えてみれば呑んだこと無いので買ってみた。美味しかった。でダラダラとオリンピックの続き。女子スケートボードは日本の金銀フィニッシュ。「恋」と書いて「ここ」と読ませるそうだ。難しいな。プロ野球選手には「れん」と読ませる選手がいる。子供の頃いじめられたりしなかったろうか？いいけど。で東京オリンピックの時は13歳の日本人が金メダルだったが、今回は14歳。岩崎恭子の記録が霞むね。柔道は阿部一二三が無事金メダル。フェンシングの加納虹輝が金メダル。190センチを超える選手に170センチちょっとの選手が勝ったというのはいいこと。ちょっと違うが「柔よく剛を制す」というやつだな。

で適当な時間に寝て、夕刻に起きて、その後ダラダラと。こういう日があってもいいです。今日は「過ぎるTV」も「キョコロヒー」も「テレビ千鳥」も無いからもう寝ようかな。明日は夕刻からきっつい会議があるので、今晩はちゃんと寝ておかないと。消耗戦に成るので、飲み物とつまみ食いをするものを買っておいた方がいいな。昼に出掛けるのは嫌なので、今晩中に買っておこう。京都は昼39度までいったようだから、今の時間でもまだ暑いかな。

京急百貨店で鰻を買った人が食中毒とか。多分京急百貨店て上大岡にしかないはず、と思って画面を見ていたら、見覚えのある「Keikyu」のロゴ。実家に帰るとよく食べていたが、心配だな。まあ少し営業停止期間とかあるかもしれないが、無事に復活して欲しい。やはり暑さで食中毒の原因となる菌が増殖したのだろうか？明日の昼飯ははま寿司にしようかと思っていたんだが、やめようか。車で現地まで行くので済むから、暑い中歩く時間は極めて短いのでいいと思ったんだが。カップ麺で済まそうか？

照ノ富士10回目の優勝。隆の勝は残念。

昨日は早起きして、はま寿司で昼食を摂って、職場に忘れた物をとってきて、のつもりだったが、起きたらもう結構な時間だった。一昨日の晩、ヒルベルト記号の計算をするべく2次形式を平方完成させたのだが、何か変。展開しても元に戻らない。で結局 SageMath に頼る羽目に成り、どうにか平方完成は出来た。で肝心のヒルベルト記号の計算がまたおかしい。こういう時は大抵の人はセールの「数論講義」とか、ボレビッチ－シャファレビッチの整数論の本を見るんだろうが、小生はそうはしない。隔年で大学院生相手に p 進数のことを講義してる。だからそれを見た。小生の講義ノートは微に入り細を穿ち、と同僚が呆れるくらいにくどく書いてあるので、何かの時には凄く役に立つ。で無事片付いた。いや、あと二つ三つ示さないといけないのだが、「朝まで生テレビ」が終わったので、いい加減寝よう、と。で起きたのが遅くなったわけ。

で相撲が終わったら即職場へ向かうつもりだったが、その前にネットニュースを見たら、何と「山崎康晃プロ初先発」の一報。本来は平良だったが、腰を痛めて2時間前に急遽、ということだったようだ。で2回1失点。まあ形は作ったが、解説の大魔神佐々木氏は厳しかった。塁が空いているのに8番バッターに勝負にいって、打たれたから、ということ。まあいいです。2番手は森唯斗。森も1失点。新外国人のフォードにソロホームランが出て1点差にしただけに、確かに康晃の失点は大きかったな。

で野球の途中だが、8時過ぎに住処を出る。忘れ物は案の定あった。バッグに入れようと思って近くに置いたが、入れた記憶が無く、まさにその通り。ついでに伝票を経理に送る手続きもしてきた。水曜日の学科会議は無しだそうなので、当分職場に行かなくてよい。野球の結末を見て職場を後にする。

帰ってきてすぐふなごやへ呑みに。この前来ていたバイトの人の娘さんとその友達がまた来ていた。で結構盛り上がった。二人は帰っていったが、その後3人で与太話をひたすら。楽しかった。帰ってきて学生に一本メールを書いたが、酔っぱらっててまともに打ててない。前に同業者に呂律の回らないメールを書いたことがあるので、注意して打った。後で見たら特段変な所が無かったのでよかった。

で例によって中々起きられず。相撲の前には起きたが、まあ優勝に関係ある二番だけ見ればいいか、と思ったが、寝入ってしまった。隆の勝が勝った、というのは聞こえてきて、まあよかったかな、ともう一度寝たら、今度は「優勝決定戦！」の声で起きた。照ノ富士があんなにばったり手をついたのは最近見たこと無かったが。で照ノ富士 vs. 隆の勝で優勝決定戦。隆の勝はいい立ち合いを見せて攻め込んだが、そこは流石横綱。落ち着いていた。照ノ富士10回目の優勝。名古屋場所をやる体育館は来年から変わるそうで、有終の美は照ノ富士が飾ってくれた。隆の勝は目茶目茶悔しそうだった。ダイジェストは総合ではやらないが、BS ではやるだろう、と思って高を括って見なかったわけだが、見ると BS でもやらない。まあ NHK が動画を上げるからな、と思ってテレビの番組表を見てたら、明日の昼過ぎにやることがわかってホッとした。

相撲の放送は6時2分くらいまで延長したので、野球は途中から。今日もけたくそ悪い展開に。嫌に成って寝床でスマホをいじってたら、「阿部詩2回戦で敗退」の一報。うー。さっき「サンデーステーション」で放送してたが、号泣して暫く立ち上がれなかったようだ。まあ仕方ないです。勝負は残酷。かたや対照的に、女子柔道48キロ級の角田夏実が金メダル。元々は52キロ級でやっていて、この前のオリンピックは阿部詩に負けてオリンピックに行けなかったとか。階級を落として、31歳11か月でオリンピック初出場で金メダルは凄い。しかも今大会日本人初メダルで、夏季オリンピックの日本人のメダル数の通算500個目。立派。

今日はオリンピックの番組があっちこっちでやるので、NHKの「サンデースポーツ」とその後の海外ドラマは1ヶ月位放送が無いらしい。隆の勝は今日優勝してても出番が無かったので、まあよかったでしょう。数年前までは大関候補に名が挙がってたくらいの力士。もう一度盛り返して、堂々と「サンデースポーツ」に出てください。あ、霧島は何とか勝ち越した。10番勝って大関復帰、とはいかなかったが、下手をしたら負け越しで関脇すら守れなかったのだから、まあいいでしょう。貴景勝共々、大関復帰を目指してください。

天気予報によると、まだまだ目茶目茶暑いらしい。今週の京都は最高気温が39度にいく日が二日あるとかとんでもないことを言ってた。まあ幸い今週は職場に行く必要が無い。保健センター行きは確か6日だった。その日に色々用事をまとめて済ませてこよう。事務に提出する書類が二つあるが、それを出して、答案を返して、と。今年の4月までは職場の駐車場使用料は給料から5000円天引きされていたが、5月からは自分で1ヶ月、3ヶ月、6ヶ月のいずれかを選択して支払い手続きをしないといけなくなった。5月1日に3ヶ月分払ってきたから、今月で丁度期限。8月は上に書いた通り6日と、院試があって30日に行く以外は多分行かないで済むので、面倒だが行ったら1回ずつ300円支払ってこよう。この地獄のような暑さに外出しないで済む職業は有難い。福岡に行く時が暑くなければいいが、1ヶ月位この暑さは続くらしい。博多までの直通新幹線の時間を調べて、極力ホームで待たずに済むようにしよう。

山形と秋田の豪雨は想像を絶するもの

結局今日は職場に行かなかった。呑まなかったが結構変な時間まで起きていて、起きられなかった。もう1時間くらい早かったらはま寿司で昼飯を食べて、と思ったのだが。明日行こう。土曜日は契約職員の人が来ないから、ウェストウィングの近くに車が停められてよいので。暑い中外出する距離は出来るだけ短くしたいし。ということで、今晩は程々にして寝よう。先週始まった深夜ドラマは見るが。

4時頃から相撲。昨日3敗を守った豊昇龍は投げを打った際に足に痛みを覚え、肉離れのような症状があるとのことで、今日から休場。むぅ。3敗の美ノ海と隆の勝は勝って、優勝決定は明日以降。横綱も勝った。が、10番勝てば大関復帰の霧島が6敗目、カド番貴景勝は負け越しと、辛い結末も待っていた。二人とも故障持ちのようだし、先は険しいだろうが、頑張ってもらうしかない。

6時から野球。横浜スタジアムで Giants と。先制して追い付かれて勝ち越して追い付かれと繰り返し、8回に決勝点を打たれ万事休す。今日は Carp も Tigers も勝ってしまい、ちょっとよろしくない結果に。オースティンは脳震盪の症状があるとかで、特例で抹消。特例だから10日待たないで戻ってくるということだろう。代役はシーズン途中に入団したフォードだったが、送りバントを間に合いもしない三塁へ放ったりと、あまりいい所は無かった。打つ方は四球を一つ選んで出塁したが。また明日以降やってくれると信じて、引き続き応援する。しかし佐野が死球で途中で引っ込んでしまい、4位に転落と、何かロクでもないな。

その後先週の「座王」を見た。今日は何やらスペシャルがやるらしい。忘れず録画予約。その後「報道ステーション」を見ているが、山形、秋田の雨は想像を遥かに超えていた。松尾芭蕉曰く「五月雨を集めて早し最上川」というくらいで、急流のようだが、長年住んでる人もこんなことに成るとは思っていなかったようだ。自然は怖いな。暑いのも大変だが、水害で外出できないどころか家の中にいても怖い。こういうのは経験が無いだけに、想像がつかない。小生の実家のそばの大岡川という川が氾濫したことはあったそうで、お袋がよくその時の話をしていた。分水路を作って、婆さんの実家のそばまでは水量の少ない川に成ったが、そこを過ぎると何かと合流して急に水量が増える。子供心に不思議だったのを覚えている。今住んでる所のすぐ近くに小さい川が流れているが、雨の翌日は結構な流れに成る。まあ洪水には成らないとは思うが。

オリンピックの開会式はこの後の深夜にあるそうだ。いよいよ始まるな。が、フランスで高速鉄道を狙ってテロ（とは言ってないが）が起きた。気に食わないものは力ずくで妨害する、という方針は好かん。暴力の連鎖はやめましょう。連鎖は微分の連鎖律くらいにしておきたい。

「数学III（線形代数）」の採点終了

頑張って「数学III（線形代数）」の採点を終わらせた。昔はデフォルトで1枚解答用紙を配って、2枚目を必要とする学生にだけもう1枚配っていたが、事務手続きが煩雑になるという理由だと思うが、最初から2枚配る形式にされてしまった。そのせいで97人受験したが194枚の紙という大物と戦う羽目に成った。それでも採点がそんなに大変に成る問題を出さなかったお陰か、そんなに時間が掛からず採点が終わった。点取らせ問題を出しておいたお陰で、不合格は少ない。まあもっと厳しくすることも出来たが、寝覚めが悪く成るので、こんなもんでいいでしょう、ということで。でここでふと困った。答案用紙の束から成績をパソコンに入力しないといけない。どうするの？と。受講生全員の名前の書かれたエクセルファイルをダウンロードして印刷すればよい、ということを閃いたが、小生住処にプリンターを持っていない。明日職場に行くだな。幸いと言うか、一つ来週必要に成るものを忘れてきたので、取りに行くついでに。

昨日の相撲の結果を知らないまま今日見たが、昨日は全勝の横綱照ノ富士と2敗の大関琴櫻が揃って負けたようだ。2差は変わらず。今日の琴櫻の相手は、同じく3敗の大関豊昇龍。豊昇龍が土俵際で首投げを打って、琴櫻は4敗に後退。また優勝出来ずか。明日は3敗の力士同士の取り組みが無いようで、全員負けて横綱が勝つと、もう優勝が決まってしまうらしい。それは面白くない。豊昇龍、隆の勝、美ノ海は頑張ってくれないと。

野球が無いと平和だな。結構ニュースを見たが、今日は山形と秋田で凄い雨が降ったようだ。山形はちょっと知り合いがいるので心配。秋田は知り合いはいないが、大学の時の後輩（いまだに年賀状をくれる）の実家がある。何事も無ければいいが。昨日千葉県沖でジェット船が自力航行不能に成り、伊豆大島まで曳航されたという話題がやっていたが、大変だったようだ。レジャーに行く筈の人は疲れたろう。スポーツの話題はオリンピックのサッカー予選の件。南米王者で、ブラジルも破ったパラグアイと5－0で勝ったそうだ。序盤に退場者が出て数的優位だったとはいえ、凄いな。得失点差5は1点、2点取るのがやっとのサッカーでは大きいぞ。オーバーエイジ枠を唯一使ってないのが日本だそうだ。大暴れしてもらおう。しかしオリンピックだ高校野球だと、夜の番組の時間が大分遅くなってる。早起きしないでいい金曜日は久し振りなので、「やすとものいたって真剣です」と「アメトーーク！」を久々に見たいが、遅くなりそうだ。眠いな。まあそこまでして見るものではない。寝てもいいけどね。

オールスター第2戦は記録ずくめの大乱打戦

今朝は10時くらいに目が覚めた。お、名物一本鰻を食べてから職場に向かえるだけの余裕がある。シャワーを浴びて出勤。で草津田上で降りて、右折で狭い駐車場に入るのが嫌なので、大回りして左折で駐車場に入れて、さて、と思って入り口に向かって、ガッカリ。今日は事前予約のお客様限定だと。まあ土用の丑の日だから仕方ない。近くのすき家で特鰻丼を食べて我慢。土用丑の日に鰻を食べるという宿願は果たせたのでよし。

職場に12時くらいに着いたので、ちょっと楕円曲線の rank の計算の復習。うまくいかないな。ああでもないこうでもないとやっているうちに1時近く。試験監督詰め所に1時5分までに行かないといけないので、急いで出掛ける。今日は雨が降ると言ってたのに、傘を持っていくのを忘れた。ポツポツと降り出したようだが大丈夫か？

試験は「数学III（線形代数）」。1回生はまだ試験に不慣れなようで、学生証を忘れた学生がいたり、前の方に詰めよと言うのに詰めなかったり。氏名と学生証番号を鉛筆でなくペンで書け、というのを忘れていた。まあいいけど。30分経過でポツポツと退出する学生が出てくる。答案を見てみると、まあ1回生の答案だな、という感じ。因果関係が滅茶苦茶だったり、(i) がヒントに成って (ii) が解けるようにしておいたのに、暗記してきた結果を書いてるだけだったり。ま、1回生だからね。97人受験したが、どうでしょうかね。ちと不安ではある。幸い詰め所と試験会場の間を往復している時は雨が降らなかった。よかった。

3時に保険会社の人と会う約束に成ってる。ちょっと用足しに行っておこう、と思って向かうと、エレベーターの辺りに眼鏡を掛けた学生風の女性が座っていた。で個研室に戻ると、その人が立ってた。考えてみたら会うのは初めてだな。LINE でやり取りしたり電話で話したことは何度もあるのだが。S生命は割と年配の方が来るが、N生命は若い人が来ることが多い。でしばし色々やり取りして、30分強くらいかな。片が付いてよかった。

その後事務室に書類を取りに。大雨が降ってた。幸い隣の建物で、屋根の下を歩いていけるので、傘は持たなかったが。その後 rank の計算の続き。うまくいった。3進 Hilbert 記号の計算でうまくいくことは分かっていたが、ちゃんと mod 9 くらいで矛盾が出た。でその過程で D 論を見てみたが、また誤植があった。3 と書かないといけないところが p になってた。今度直そう。などとしているうちに別の事務からメール。明日か明後日に成ると言われていたものが今日出来たらしい。受け取れば暫く職場に行かなくてよくなる。今度はちょっと遠い所なので、傘を持って向かうと、雨は降っていなかった。ただ遠くから雷鳴が聞こえたので、傘はあった方がいいな。遠い所だと思っていたが、教職員通用口があり、案外近かった。

5時半くらいに個研室を出た。雨は降ってなかったが、駐車場に向かう途中に降り出した。住処に着いて暫くすると、滋賀県南部に大雨警報だの洪水警報だのが続けざまに出た。早目に帰ってきてよかった。まあオールスターを見たいからというのがあったのだが。

で6時半から放送開始。今日は5分もしないでプレーボールに成った。今日の試合は昨日以上に滅茶苦茶。パが先制したが、すぐにセが反撃。1死満塁でバッターは度会。Swallows で活躍した親父さんが観に来てる。レフトへ大きなフライ。当然犠牲フライ、と思ったら、怪我を押して出ていた3塁ランナーのサンタナ（Swallows）が生還できない。度会はサンタナに文句を言っていて、サンタナは平謝り。が、その後坂倉（Carp）が満塁ホームランを打った。1963年の榎本喜八（ロッテ）、1967年の大杉勝男（東映）だけしか打っていない球宴での満塁ホームラン！もう坂倉が MVP で決まりでしょうと思ったら、パが4回に5得点で逆転。5回にセがオースティン、村上（Swallows）のホームランで追い付くも、6回、7回、8回と、パが合計7得点を叩き出し、パは28安打16得点。しかしセも16安打10得点。1試合16得点と28安打は新記録。勿論両チーム合わせての44安打も最多。他にも山ほど記録が出たようだが、まあそれは調べてください。近藤（Hawks）が4打席連続安打で MVP か？という雰囲気があったが、佐藤都志也（Marines）が3打席でサイクルヒットに立直を掛けた。であとホームランが出れば、というところだったが、残念ながらサイクルヒットは成らず。それでも5安打で二塁打2本。塁打数だけ合わせればサイクルヒットと同じ。文句なしの MVP。坂倉も近藤も賞を貰えた。よかった。

度会はその後1塁ゴロで打点、タイムリー2ベースで打点と、親父さんの前でいいところを見せられた。よかったね。オースティンが1塁守備中に打球が口の辺りに当たったようで交代したが、ちょっと心配。ハッスルプレーでよく怪我をするが、今日のは不運。調子がいいだけにおおごとに成らなければよいが。

さっきNHKの大相撲のダイジェストを録画予約しようとしたら、総合では今日は放送が無い。何故かと思ったら、もうオリンピックのサッカー予選が始まり、その放送のためらしい。開会式はまだなのに。幸い BS1 で相撲はやるようなので、録画予約しておいた。「科捜研の女」も予約してあるし一安心。とここで発見。今日の「歴史探偵」は三好長慶と松永久秀の話らしい。こちらも録画予約しておいた。三好長慶と言えば信長より前に京都を制圧した人物。松永久秀はその部下。後に信長に付いたり離れたりを繰り返し、最後は爆死という凄い死に方をした人物（作り話らしいが）。面白そうだ。

最近現実逃避に高校の教科書を眺めることが多いが、三角関数の非自明な関係式が沢山あって面白い。それを使って 1/sin x の不定積分を求めることの別解が出来た。三角関数面白いな。いやいや、福岡で話すことは？rank の計算の復習をしたのはその一環なのだが。成績付けは明日以降やることにして、取り敢えず今日は TeX 化作業だな。