昨日は眠いと書いたが、深夜に成るとどんどん目が冴えてくる。生活リズムがくるってる証拠か？で相撲のダイジェストを見て、「おはよう朝日です」で今日の天気予報を見て寝た。お分かりの通り朝5時過ぎ。
で起きたらもう2時半を大きく回っていた。無茶苦茶な生活リズム。試験監督があるが、4時5分に詰め所に集合なので、間に合う。が、職場に向かっている最中にまずいことに気付いた。定期入れを忘れている。定期入れ、というのは言葉の綾で、実際に入っているのは教職員証、Suica、万一ゲートが開かなかった時に使う駐車券、そして運転免許証。そう、免許証不携帯でした。違反したら免許証不携帯の分も余分に罰金を取られてしまう。慎重に運転しないと、と言っても、事故に巻き込まれたらどうしようもない。何事も起こりませんように。が、実は他にも問題が。教職員証が入っているのは書いた通りだが、生協の売店が無人販売に成ってる時間だと、教職員証（学生は学生証）で店舗の入口を開ける必要がある。でもう無人販売に成ってる時間。飲まず食わずで試験監督かい。まあ飲み物は自販機で買えるからいいけど。ということでエネルギーを補給することが出来なくなったので、仕方ないので生協の本屋で数セミを買って時間潰し。
4時3分くらいに詰め所に着いて、で型通りの試験監督ガイダンスを聞いて、教室へ向けて出発。今日の監督は客員教員だったそういう身分の方の数理統計学の試験の監督。基本的に主任監督は現職の教授がやることに成っているようで、非常勤の人の講義の監督に駆り出されることもある。事務も一応気を使ってか、監督は小生と特任助教という身分の方、いずれも数理科学科所属の二人。担当の先生もいるが、まあ何もしないでくださって構わないので、実質3人で回している。で教室に入ると見覚えのある顔。数理科学科の2回生がメインのようだ。去年線形代数を教えた学年で、顔は知ってるが名前は知らない学生ばかり。うちは紙を回して学生に名前を書いてもらって、それと答案の枚数などを事務の人がチェックに使うようで、名前を書いてもらったのを見る。そうか彼はこういう名前だったか、と分かった。60分試験だが30分経ったら退出してもいいことに成っている。で手渡された答案に書いてある名前を見ると、おぉ、彼がこの名前の学生だったか、と分かって嬉しい。どう見ても女子学生の名前だが、実際は背の高い男子学生だったのはビックリしたが。小生の大学時代の後輩に「瑞穂」という180cm、100kgという大男がいる。理工学部という所は女子学生の動向に興味があるようで、上野先生のゼミに女子学生が〇人、とかいうカウントをしてた奴がいたが、そのカウントしてる学生に「瑞穂」がいたのを笑ってしまった。107人教室にいたが、残り5分の時点で7割強はいなくなっていた。答案用紙をカウントして、出席者の人数と合致してることを確認しないといけないが、こういうパターンだと楽でよい。ですぐ引き上げて詰め所に戻って、でもう一度事務の人が枚数を数える。念の入ったことで。
5時前には解放された。学内のファミリーマートでパンでも買って、と思ったら、もう閉まっていた。5時閉店なのだろうか？ もう一箇所謎のパン屋があったが、そこもやってる様子は無い。ウェストウィングの1階にパンの自販機があるが、そこのが全部売切れたら諦めて表に買いに行こう、と思ったら、結構売ってた。よかった。8時半くらいまで作業して、はま寿司で晩飯を食べよう、ということにして、TeX 打ちを少々。で途中で気付いた。数セミを買ったのの伝票を経理に回さないといけないが、学科の事務室の入口を開けるには教職員証がいる。もう。用事は無いけど、近い内に一度職場に行くか。7月の駐車場入稿の手続きは済ませてあるので、300円払わなくても出入り出来るし。うな松に行けるくらいの時間に起きたら行こう、ということにした。
作業の合間に野球をチラチラ。2回裏1アウトで走者が1、2塁にいたが、松尾は四球、蝦名は死球。で宮下にタイムリー2ベースヒットが出て1点先制。よしよし。が、その後2死満塁に成るも、牧が打ち取られそこまで。もうちょっと点を取って欲しかったな。まあいいです。3回裏は佐野が四球、エンカーナシオンが2ベースヒットの後、宮崎が2点タイムリー2ベースヒットで2点追加。よしよし。暫くして見ると、5回裏に1点入ってる。エンカーナシオンがそろホームラン。よしよし。が、6回表に2点取られて、まだ4－2だから全然安心出来ない。が、6回裏に牧が3ランホームラン。よしよし。が7回表にエンカーナシオンがちょっとまずいプレーをしたようで、その間に1点取られ、更に内野ゴロの間にもう1失点。7－4ではちょっと安心出来ない。が、7回裏に勝又が満塁ホームランを打った！一瞬パソコンの画面から目を切って、再び戻すとホームランの時に出るど派手な画面に成っていた。もう決まりっしょ。8回裏に勝又がタイムリー2ベースを打ち12－4。結局そのまま決した。Swallows は今日の負けで借金持ちに。6月3日時点で11あった貯金をその後9勝21敗で吐き出してしまったそうだ。上位3チームが混戦などと言っていたが、Tigers、Giants は1ゲーム差なれど、Giants と Swallows は4.5ゲーム差にも開いてしまった。Swallows は踏ん張りどころやね。まあ明日、明後日も遠慮無く勝たしてもらうけど。セ・リーグで7月の成績が一番いいのは Baystars らしい。毎年暑くなるとよくなる芸風だ。エンカーナシオンが入ってから得点力が上がった。勝又は1試合ノーヒットだったが、その後2安打、3安打と好調をキープしている。まだまだ。
で8時45分過ぎにはま寿司に向けて職場を後にする。冷静に考えれば明日から世間は三連休。混むのでは？と思ったが、案の定だった。家族連れや団体が多いので、カウンターはそんなに待たされまい、と思ったが、30分強待った。一昨日の「これ余談なんですけど…」で短気な芸人が出てたが、二人待ってるともう他の店に行く、と言っているタレントがいたが、寿司食べたいしね。まあはま寿司の寿司だが。住処の近所に美味しいとんかつ屋があるが、1時間くらい待つのは普通。が、そこの助かるのは、順番が近付くと電話で連絡してくれるので、店の近くにいないでもいい。はま寿司も店内で待たせてくれるから、今日のような暑い日でも大丈夫。どれくらい暑いかというと夜10時過ぎにはま寿司を出た時に車の外気温計を見たら32度！うんざり。
10時半過ぎに住処に辿り着いた。もう「報道ステーション」のスポーツコーナーはサッカーの話題に成っていたので、日本の野球の結果も相撲の結果も分からない。後で Yahoo！の頁を見るなり、深夜のダイジェストを見る。で気付いた。相撲のダイジェストは BS の方が早く放送がある。そっちを録画予約しておいた。明日は昼前にちょっと近所で用事があるので、NHK 総合の3時35分開始のものを待っていられない。ということでそっちにした。
今「探偵ナイト！スクープ」をやってるが、Hawks の選手が若手芸人のギャグをパクった、というのを予告でやってた。野村勇（いさみ）だよな？と思ったらそうで、最後に本人が白状していたが、パクったそうだ。YouTube で見たあまり有名でない芸人のギャグということでパクったらしい。「オゾン層破壊してんの俺やで」というギャグ（字だと何も伝わらない）だが、野村のホームランは「オゾン層破壊弾」と呼ばれるくらいに定着しているそうだ。今日の放送でパクりと分かってしまいましたが、野村選手はどうするんでしょうか？注目。
職場を出る前にパソコンの電源を落とそうとしたら、「更新してシャットダウン」などの表示が見えた。やはり最近 Windows update があったのが一昨日リブートされた原因のようだ。一昨日仕掛けたものは幸いまだ続いてる。結果が出るまで落ちませんように。しかし思ったが、アルゴリズムをちゃんとして、で腕前のいいプログラマーの組んだプログラムは凄いな。Bremner と Cassels の有名な例で y2＝x3＋877x の Mordell－Weil 群の生成元の heightがデカいのがあるが、SageMath と PARI/GP の普通に階数を求める命令では答が出なかったが、PARI/GP の ellheeger という命令でやると1分も待たずに答が出た。Magma Calculator では一瞬だったが。プログラムで速くするのと数学的な工夫というかちゃんとしたアルゴリズムの工夫は大事だな。猫魔先生が去年だったか一昨年だったか話されていたが、出来合いのソフトで計算すると800年待っても答が出ない見込みだが、2週間で答が出るよう数学的な工夫をして答を求めた話をしておられた。コンピューターが少し古い物だったので、最新のコンピューターならもっと早いかも、というお話だった。出来合いの物は汎用に成っているので「万能という名の無能」に成り兼ねないのだな。思い出したが、実二次体の基本単数を PARI/GP のどんな代数体でも使える命令を使ったら 0 と返ってきて、何を！と思ったことがあったが、PARI/GP には二次体に特化した命令があるので、それでやったら正しい答が返ってきた。SageMath は二次無理数の連分数展開が循環するのを知ってるようなので、それでチャチャっと script を書いておいて、その後役に立てている。でまた思い出したが、二次無理数の連分数展開は左右対称に成るという著しい性質がある。これを知ってプログラムにするか知らないでプログラムにするかは結構な違いがあると思うがどうなのだろうか？最近は for ループを回すだけというプログラムと言っては申し訳ないようなスクリプトを書いてるだけの小生には分からん。猫魔先生の境地を今から目指そうか？しないな。
