Tigers に連勝で、4連勝後一つ負けてまた4連勝と快進撃

ふなごやで食事を決めている最中に Baystars の勝ちが決まった。嬉しい。で Carp が Giants を1点リードしているようなので、速報画面に切り替えた刹那に追い付かれてしまった。むぅ。その後の満塁のピンチは抑えたが、10回表に何と5点取られてしまう。Carp はだらしないのー。食べ食べ見ていたが、「不幸なお知らせがあります」と1点入るごとに言っていた。まあいいです。食べ物はパエリアにした。「ザワつく！金曜日」で美味しそうなパエリアのことを言っていたので、食べたかったから。昨日はビールをそんなに呑んでない段階で「ワイン呑みましょ！」と言われたので、3本も空けてしまった。記憶が結構ハッキリあるぞ、と思っていたが、起きた後にパソコンを見たら一作業した形跡があった。覚えてないな。まあいつものこと。

何度も一瞬意識が戻ったが、その度に寝入った。で電話が鳴って起こされた。見覚えの無い番号だったら無視のつもりだったが、トヨタからだったので出た。大事な用事。メモしないといけない件があったので、起きてペンを持って、その辺に散らかってる紙にメモして。でテレビを付けると、何やら野球がやってる。都市対抗野球のようだ。珍しいな、と思って画面を見ると、NHK BS だった。昨日の晩 Tigers vs. Baystars を見てたな。折角だから結末まで見ようということにして見た。Dragons OB のレジェンドの岩瀬仁紀氏がゲスト解説だったが、都市対抗野球はプロ野球と違って応援団が内野席で応援してるので凄く賑やかだと言ってた。で大垣市代表の西濃運輸が優勝。12年振りだと言ってた。2点差で抑えの切り札を出したが、ホームランを打たれて1点差にされ、更に走者を出したところで大ベテランの投手に交代させた監督の采配は見事だった。時計を見るともう5時過ぎ。パエリアを食べて以降何も食べてないので、取り敢えず適当なカップ麺をすすった。すすった、と書いたが、昨晩ふなごやの店長が言ってたが、欧米人は麺をすすれないらしい。ふーん、と思った記憶がある。連中は熱々の料理を食べられないとも言ってたな。麺が熱々じゃないからすする必要が無いらしい。

であっと言う間に6時。今日も Tigers と甲子園で。コントロールのいい筈の大竹が2回表に投手の竹田祐に押し出し四球を与えるという展開で Baystars が先制。その後度会が2点タイムリーヒットを打ち3－0に。3回表に牧がツーベースヒット、エンカーナシオンが四球でという場面で大竹は交代した。代わって出てきた神宮という投手にレフトフライ、三振、三振と抑えられ、追加点ならず。神宮は4回表を三者凡退、5回表は走者を2人出したが無失点と、3イニング無失点の好リリーフ。いい投手が Tigers にはいるな。育成ドラフト1位のルーキーだそうだ。売り出し中の工藤も育成ドラフト1位で指名され2年目。いい選手を見付けてくる Tigers のスカウト陣の眼力は相当だ。石井大智はドラフト8位だそうだし。その後佐藤にソロホームランを打たれたが、エンカーナシオンがタイムリーツーベースヒットを打ちそのまま3点差で勝利。雨が心配されたが、ほぼ降らなかった。試合終了後に急に雨足が強くなったが。ここの所馬鹿に調子がいいなと思ったら、4連勝して1つ負けてまた4連勝。借金が5に減った。5まで減ったことは前にもあったが、その後5連敗だったりで結構な借金に成っていたが。借金持ちか首位と10ゲーム以上の差だと CS のファイナルステージで首位のチームにアドバンテージが2勝に成ってしまうから、張り切らないと。現状首位とのゲーム差は11。勝っていきましょう。

Swallows の石川が引退するということを書き忘れていた。石川の身長は167cmで、小生とほぼ同じ。小さい体で46歳まで現役をやって、188勝はお見事。194敗してるが、弱い Swallows にいたからだろう。ご苦労様でした。でサンデースポーツで Lions の滝澤夏央という選手を取り上げていたが、彼は更に小さく164cm。内川聖一氏の隣に等身大のパネルを置いてあったが、等身大とは思えないくらい小さかった。内川氏は184cmだそうだし。小さくても自分なりの長所を見出せば活躍は出来るのだということを示してくれている。立派。Lions は現状2位。Hawks をぎゃふんと言わせておくれ。

有理点探しは1週間以上経過した。中々大変だ。さっきダウンロードしてあった藤田育嗣氏の論文を眺めてたら、総計算時間105時間と書いてあったが、小生のはもっと掛かってるぞ。藤田さんは自分でプログラムを組んで計算したのだろうか？それとも何らかのソフトの出来合いの関数を使ったのだろうか？後で見てみよう。不定方程式は最早コンピューター無しで解くことは出来ない時代に成ったということだろうか？昔内藤浩忠先生が「類数なんて計算出来ないと思っていた」というようなことを言ってたのを思い出す。コンピューターのお陰で出来るように成ったこともあるのだ。仲良くしないとね。AI はまだちょっと使いたくないが。

2日振りの野球観戦。Tigers 相手に 3－2 とリードしている。

昨晩は眠かったが、結構遅くまで起きてた。というのも、数学がちょっとうまくいきそうでいかなくて苦労したので。u－3v が4で割れることを示したい、それには u＋v が4で割り切れることを示せばよい（自明）。で (u＋v)³ が64で割れることを示せばいいが、これがうまく行かない。仮定があって、それを見れば u, v が変数の然るべき3次形式で、それが128と等しいからすぐ出来るっしょ、と示したいのだが。が、人間同じことをずっとやってると段々賢くなってくる。(u＋v)³ が64で割れることを示すには、(u＋v)³ が16で割れることを示せばよいのだ。学生にゼミで本を読んでもらったり、自分で色々下らん計算をやってるおかげでこういうことに気付けるようになった。昨日書いた通り無駄は大いにやらないと。などとしているうちに3時を結構回っていた。

で二日続けて結構変な生活をしたので、疲れていたか12時間以上寝てしまった。折角疲れが抜けたのに、今晩は恒例の呑みなので、これからまた無茶するが。

野球が無い日が二日続いた。退屈だったがまあいつも見ない番組を見られたりしたし、一喜一憂しないでいいから精神衛生上はむしろよかった。今日、明日と甲子園で Tigers と2連戦。ケーブルテレビで見るとすると Sky-A か GAORA SPORTS のような Tigers べったりのアナウンサーと解説で見なくちゃいけないのかと思ったら、NHK BS でやるという情報を仕入れた。と言うことで見ている。防御率1点台でリーグ1位の村上から1回表にいきなり2点取った。その後も筒香のホームランが出るなどで3－0とリード。がその後2点取られた。まあ5回2/3で2失点だったら上等か。尾形だからね。その後伊勢、中川虎大とリレーして、現状3－2とう状態。でビックリした。Tigers の2番手は石井大智。アキレス腱断裂の怪我から戻ってきたか。手強い相手が戻ってきた。初球ストライクで甲子園は歓声の渦。こういう時は得てして流れが変わってしまうものだ。用心しないと。去年はシーズン通じて1失点、防御率0.17という凄いことをやってのけた投手だからね。点をとってやりましょうや。9時ちょいには呑みに出掛けるので、それまで決着が付けばいいが。などと書いている内に先頭打者の牧が四球を選んだ。筒香だ。打てよ。

などと書いてしばし。石井から点を取ることは出来なかった。シーズンを跨いでるとはいえ、51試合連続無失点は凄い。只今9回表。先頭の林が二塁打で出たが、2アウト三塁と状況は変わった。度会が打つか？などと見ていたが、三振。むぅ。結果はふなごやで見る。といことで出発。

西友山科店のレストランで海老クリームコロッケを食べた後、本屋で文庫と新書を大量購入

昨日書いた通り訳の分からない時間に起きたので、何か起きてないと勿体ない気がして、結局朝まで起きていた。で「おはよう朝日です」で正木さん曰く、天気が悪くなるのは夕方以降のようなので、昼飯を閉店間近の西友山科店2階のレストランで食べよう、ということにした。で11時くらいには出掛けようと思っていたが、ちょっと計算してたら何か色々変で手間取り、1時半を過ぎてしまった。流石に腹減ったということで出掛けるが、シャワーを浴びてから出掛けることにした。で西友に2時くらいに着いて、ちゃんとお目当ての海老クリームコロッケを食べてきた。ピラフの上にコロッケが乗った奴にしたが、海老クリームコロッケを食べるのに一番安いものを頼んだというわけ。オムライスとコロッケがもう少し高い。単品とライスセットを頼むともっと高い。まあまた行って両方食べるわ。今月一杯で閉店だからね。で3階に行って本屋をちょっと冷やかそうということで向かうと、秀長のことを書いた新書や文庫が結構あって、沢山買ってしまった。7000円強。袋を無料にしてくれると店員さんが言っていたが、高価だからと言ってた。鞄を持っていたので別にいらないと言えばいらないのだが、まあいいかと貰っておく。

食事や買い物をすると駐車場が2時間無料に成るので、近くのセカンドストリートをちょっと偵察しようということで向かう。売りたいものがあるが、持って行って買ってくれなかったら悲しいので、視察ということで。が、シャッターが半分閉まってて、何だ？と思って階段を昇ったら、店から出てきた女の人が「3時閉店です」と言ってた。いつもそんな殿様商売なのか？それとも今日は天気が荒れる可能性があるからか？と思って調べたら、今日は棚卸のため3時閉店とホームページに載っていた。つかん。ついてない時は色々あって、三条通を右折してマンションの駐車場に入ろうとしたら、向こうから郵便の集配車が来た。小生の車はそんなに大きな車ではなく、郵便の車は軽のバンだったので、何とかすれ違えた。で駐車場に停めたらすぐ見覚えのある車が来て、会釈して建物の中に向かう時に見たら、小生の車があっと言う間に地下に下りて行ってしまった。まあいいけど。

部屋に入ってトラブってた計算の続き。y²＝x³－432 の（affine）有理点は (12,±36) だけなのは Silverman－Tate の楕円曲線の本（正確には足立恒雄、小松啓一、木田雅成、田谷久雄訳「楕円曲線論入門」）で知ったのだが、それは Fermat 曲線 x³＋y³＝1 の（affine）有理点は (0,1), (1,0) のみであることから従う。これは Wiles の証明を待つまでもなく Euler によって示されている。いや、そんな難しいことしなくても x³＝y²＋432 の右辺を Q(√(－3)) で分解すれば整数点くらい求められるのでは？と思って始めたのだが、想像通り難しい Thue 方程式を解かなくてはいけなくなった。Q(√(－3)) の単数群は虚二次体の中で一番複雑（他の虚二次体の単数は全て3乗数）なのに起因している。Thue 方程式は PARI/GP ででも Magma Calculator ででも解けるが、いやそこをコンピューターに頼るなら最初から y²＝x³－432 の Mordell－Weil 群をコンピューターに求めさせれば？というオチに成るので、意味無し。まあいいです。でも確か Mordell だったか Fueter（綴り曖昧）だったかが y²＝x³－432 の整数点を決定している結果があった筈だ。探してみよう、ということにして終了。無駄な時間だったが、無駄なことは沢山しないと。無駄なことを沢山やって色々知ることが出来たり技術が身に付いたりするのです。タイパにこだわるのは良くない。数学はじっくりやらないと。AI を使って安易に勉強するのは良くないよと、今朝お偉いさんが言ってた。試行錯誤をしながら数学を楽しみましょう。「タイパ」は一発変換出来なかった。「タイ」は「体」に邪魔された。「パ」はしょっちゅう「パ・リーグ」と打ってるからか出たが、「タイパ」と言う単語は知らないようだ。また Windows が新しく成ったら最初から入ってるかな。

今日は Baystars も Tigers も試合が無い（明日、明後日と直接対決）ので、「ザワつく！金曜日」でも見るか、と思って見る。CM で高嶋ちさ子が吹き矢で凄いことをやるようなので。で見たら凄かった。世界大会で1位を獲ったパン屋のパンと、唯一無二のパエリアを食べる権利を掛けて吹き矢で的当て競争をしたのだが、一茂も良純も初めてやったと思えないくらい上手。が、高嶋ちさ子はその上を行って、小さい丸のほぼど真ん中に吹き矢を的中させるという、奇跡的なことを二度やってのけて、パンもパエリアも食べていた。凄かった。「マツコ＆有吉 かりそめ天国」も CM から判断するに面白そうなので見た。やはり面白かった。野球が無いのもたまにはいい。2日続けて試合が無かったが、今月は結構日程がきついようだ。Tigers も相当タイトなようだし、Carp は更に上をいく。半分以上ドーム球場でやれる Giants はいいな。Tigers は屋外が多いが、甲子園での試合が結構多いようなので、大丈夫だろう。明日、明後日は Baystars は Tigers に連勝して欲しい。Giants が連敗すれば差は縮まらないし、マジックナンバーも減るからね。天気が心配だが、これ以上中止に成ると昭和の遺物ダブルヘッダーをやらないといけないかもな。CS の日程を変えるわけにはいかないだろう。野球と関係無く大雨は嫌だ。明日の京都の天気はまあいいようだが、関東、九州は荒れるようなことを言ってた。災害に成りませんように。

天気が悪くなるぞーと脅されているので、午前中に用事を済ますために徹夜

何か天気が悪くなるぞー悪くなるぞーと言ってるが、午後からだ、というので、午前中に駅の行政サービスに行って、印鑑証明書を貰ってくることにした。徹夜決定。早ければ早いほどよかろう、ということで、9時に開くので、9時くらいに部屋を出た。今日は最高気温は大したことないようだが、雨のせいで物凄く蒸し暑い。駅まで10分も歩かないが、結構嫌な感じだった。小生の前に手続した人が3人順番を待ってた。書類を書いて、350円払って終了。まだ天気は大したこと無いので、ドラッグユタカで買い物をすることにした。管理人さんに頼むことがあったので、言っておいて用事は終了。

すぐにでも寝ようかと思ったが、YouTube を見てても眠くならない。でまた閃いた。マクドナルドでこの時期恒例の月見バーガーが売り出してる。Uber Eats に頼んで食べよう、ということで11時過ぎに頼む。で食べて、いよいよ寝よう、ということにした。

で8時くらいまで寝た。完全に昼夜逆転。まあいいです。今日、明日と Baystars は試合が無いので、Swallows vs. Tigers を見ることにした。佐藤輝明が2ホームラン。佐藤は昨日も打って、森下より3本上に行った。三冠王か？で Tigers は勝った。Giants は試合が無いのでマジックナンバーは一つ減って18。今見たら、セもパも首位と2位が5ゲーム差でマジックナンバー19。2位以下がずるずる落ちているセ・リーグと、2位以下が粘っているパ・リーグと、後者の方が面白いかもな。明日も Baystars は試合が無いが、Tigers も無い。Carp vs. Giants があるが、どっちも負けて欲しい。勿論無理。Giants にはとにかく無条件で負けて欲しいから、Carp と Baystars のゲーム差が0.5縮まるのはいいです。頑張れ Carp。

上に書いた通り徹夜をしたわけだが、何をしていたかというと Mordell 方程式を幾つか解いていた。Keith Conrad という人が Mordell 方程式のことをまとめて書いてくれたものがあるので、それの例題を読んだり、exercise に成ってるものを解いたり。今一生懸命コンピューター君が有理点探しをしているが、それは Mordell 方程式の整数点を決定したり無いことを示したりするためにやってる。Conrad の書いたものも山崎隆雄さんの本に出ている例も上手く解けるものばかり集めていて、そうはいかないと思うからコンピューターに任せてる。ちゃんと考えれば幾つかコンピューター頼りでなく示せるものはあるだろうが、まあそれは一通り済んだら考えるということで。先週の金曜日に始めたものはまだ見付かってない。前に2週間くらい掛かったものがあったから、今回も覚悟はしている。まだ夏休みは3週間以上あるので、有意義に使わないと。呑んだりテレビ見たりとかだけでなくちゃんとしないとね。

代打で出た筒香、宮下がタイムリーヒットを打ち 2－1 で勝利

またしても「おはよう朝日です」が始まるまで起きていた。最後まで見てしまうことが多いが、今朝はちょっと起きていられなかったので、いつもよりは早目に寝た。

で起きたのは当然昼過ぎで、カップ麺をすすって、さて、と思ったが眠いな。やはり不摂生を繰り返すとよくない。分かっちゃいるが起きてちゃうんだよね。明日は色々しようと思うが、天気が目茶目茶悪いようなことを言ってた。どうしような？

7時からマンションの理事会があるので、適当に起きてシャワーを浴びて寝癖を直して髭を剃って、で野球の途中で1階に向かうと、誰もいない。今日だったよな？と思ってスマホを見ると今日の7時からと記録されている。ポストを見ると管理人さんが何やら手書きしたものが入ってて、忘れるという不手際をやらかしたそうだ。詫び状だった。後日やるらしい。来週かな？まあいいです。野球を見られるので。

で部屋に戻って野球の続き。数分ロスしただけで済んだ。今日の Giants の先発は Baystars を鴨にしてる井上の予定だったそうだが、感染症感染特例というやつで抹消されて、ここのところ中継ぎに回っていた西舘が代理で。解説の中畑清氏が「5回まで何とか投げれば」と言っていたが、6回まで被安打3、奪三振10と抑え込まれてしまった。で6回裏に先制されてしまうも、東は7回1失点。被安打4で7奪三振と、素晴らしい内容だった。38イニング無四球らしい。素晴らしい。で8回表に蝦名死球（Giants の投手はセ・リーグで一番死球が多いらしい）、林ヒットで走者をためて、代打筒香が同点打。素晴らしい。で延長戦に成った。10回表に1、3塁とチャンスを作り、盗塁で1塁が空いたということで申告敬遠で1死満塁に。戸柱が凡退して、ああまたいつものか、と思ったら、代打宮下が勝ち越し打。宮下には詫びないと。確かこの前も同じ状況で宮下が打って勝った試合があった。勝負強い。なぜスタメンで使わないかな。まあ今日は筒香も宮下も代打策がズバリ当たったのでいいです。Tigers は負けたが Giants が負けたので、Tigers のマジックナンバーは19。Hawks のマジックナンバーは18だ。随分前にマジックナンバーが出ていて、2位とのゲーム差が滅茶苦茶離れていたような気がしたが、5ゲーム差。セ・リーグは接戦だと言ってたが、4.5ゲーム差。あまり変わらないな。パ・リーグは今月いっぱいどう転ぶか分からない状況に成ると面白いが、セ・リーグは Giants にはどしどし負けてもらって、Tigers の優勝が早く決まるといい。Baystars の優勝の可能性は0ではないが、まあ現実的ではないので、期待してない。2位から8ゲーム開いてるから2位も現実的でない。3位キープを目指して頑張ってくだされ。

今セ・リーグの打撃成績を見てビックリした。牧が規定打席に到達してる。.286 でセ・リーグ3位。1か月近く離脱してたが。ホームランも3位。何だかんだ言っても牧は成績残すな。もっともっと打ってくだされ。

さっき結構な音の雷鳴がしていたが、どんな感じだろうか？上に書いたように明日は天気が悪いそうなので、食料を調達しておきたいが、雨降ってると嫌だな。まあセブンイレブンまでは買い物の時間を含めても往復15分くらいだから、ちょっとくらい我慢しよう。「かまいガチ」が終わったら行くか。

石田裕太郎は Giants に勝てないなー

春学期は月曜ゼミ、火曜は教授会が無ければ職場に行かない、水曜日は学科会議が対面で行われるか保健センターに行く用事がある時しか職場に行かない、木、金は講義とゼミ、というスケジュールだったので、月曜の番も呑む習慣が付いてしまった。で昨晩も勿論呑んだ。秋味が出てるし、呑まないと、ということでね。それだけで済まないで更に呑むわけで、で途中からテレビで見た内容を覚えてない。いつものこと。

で起きたら1時過ぎ。カップ麺でいいかと思ったが、そんなに変な時間じゃないから Uber Eats に何か頼もう、ということですき家にした。もうトリプルニンニク牛丼は無かったが、宅配だけのメニューのニンニクキムチ牛丼にして、で見たらニンニクファイヤー（トリプルニンニク牛丼にかかってる辛いニンニクチップ）があったので、それも頼んだ。それから昨日の晩途中まで見た形跡のある賤ケ岳の戦いのことを取り上げた番組の続きを見ようとしたが、ほぼ全て覚えてないので、頭っから見た。1時間半物。面白かった。空中からレーザーを照射して3次元の地図だと色々分かって面白い。砦の様子とか。「歴史探偵」もそういうハイテクを使ってて、昔のNHKの歴史ものよりグレードが上がっている。科学の進歩は偉大だな。勿論進歩したせいで自然破壊とか地球温暖化とかあるわけだが。小生もコンピューターを走らせっ放しで電気を消さずに寝たりとかペットボトル飲料を買ってがぶ飲みとか色々悪いことはやってる。再生紙の商品を買ってるのは罪滅ぼしにも成らない程度の気休め。まあいいです。

4時から教授会だったが、最初の30分くらい何やらあるらしく話していた。真面目に聞いてなかったが、AI がどうしたとか言ってる。あまり関係無さそうなので真面目に聞かなかったわけだが。教授会が始まったら真面目に聞いてた。何やらまた今年もしないといけなくなった。秋学期が始まる前に職場に一回行く必要がありそうだ。ついでに数セミを買ってこよう。日割りで駐車場の手続きが出来ると有り難いが、月割りなので、8月、9月は駐車場の更新をしてない。9月の下旬に契約すれば10月の分に成るので、その時に忘れずに手続きをしてこよう。9月の最後の数日だけ講義日があるが、その時は300円ずつ払ってこよう。

でごちゃごちゃとやってる内に野球の時間が近付いてきた。今日、明日と Giants 戦だが、場所は何故か京セラドーム。Giants のホームゲームらしい。1回表に草野球をしてもらって1点先制したが、すぐ裏に2点取られてしまう。が、追い付いて、度会のホームランで勝ち越して、というところまではよかったが、再び追い付かれ、サヨナラ負け。だからルイーズは出すな言うてるのに。石田裕太郎は6回3失点と最低限の役割は果たしたが、Giants 戦初勝利は今日も成らず。残念だ。ちょっと気分が悪い。まあ Tigers が勝ったのでいいです。高橋遥人が13勝目を上げて、最優秀勝率のタイトルを獲る権利を得た。笑ったのが Tigers の先制点は高橋遥人のヒットらしい。忘れてたが Baystars の勝ち越し点は石田裕太郎のヒットだったな。投手でもヒットは打つのです。気を付けないとね。

保険会社の人からメールが来ていて、持って帰ってこないといけない書類があったのを思い出したが、鞄に入れた記憶が無いぞ、と思って鞄を漁ったらあった。よかった。無駄なお金を使わずに済んだ。職場は駐車の定期契約の更新をしてないと1回300円取られる。いや、1時間以内で出れば無料なのだが、何かそれだけのために行くのは馬鹿馬鹿しい。時間が勿体ないからつい高速道路で往復してしまい、するとそれだけで1160円。ガソリンも減るしね。勿体ない。行かずに済んでよかった。あ、明日はマンションの理事会があるのだった。管理人さんに用事があるし、その時に頼んでおこう。

有理点探しは継続中だが、何の表示も無いので、どれくらい進んでるか、あとどれくらいで結果が出るかが分からないのが嫌なところ。まあ canonical height の予想される値が900を超えてるので、まだまだ掛かりそうだ。今回ので最後の筈。漏れが無いかどうか確認しておかないとね。そしたらまた論文に出来るかもな。まあ小生が頑張ったことはほぼ無いので、journal を適切に選ばないとまた2日で reject とか食らうだろう。大体決めてはあるがね。英語を書くのは苦手だから、時間掛かるぞ。まあ次回の資格審査に間に合うように出せばいいので、急いでいない。ゆっくりやります。

藤ノ川が京都出身の力士として198年振りの新三役

朝の結構な時間まで起きていた。関西の朝の情報番組では Tigers の情報に時間を結構割くが、この週末に3連勝したとあって、金、土、日の3連戦の情報を何度もやっていて、Giants が負けると飯が旨くて仕方ない小生としては、何度も見たくなる。ということで「おはよう朝日です」が終わるまで起きていた。

で起きたらもう「Newsおかえり」が始まってる時間。岩本はんがキャスターに戻ってきた瞬間を見たかったが。まあ岩本はんは朝見た。福井の大雨の情報の取材のために今朝福井から中継をしていた。何だか岩本はんが真剣な表情で報道しているのは変な感じだった。まああの大雨被害を取材するのにご陽気にしてるわけにはいかないだろうけど。変な生活をしているせいか眠いので、もう一回寝床に戻った。少ししたら寝落ちした。

意識が戻ったら「Qさま！！」が始まってる時間。今日もカズレーザーが無類の強さを見せて終了。結局そうなるよね、というくらい強かった。金沢の21世紀博物館って行ったこと無いが、「Qさま！！」で紹介されていてちょっと行きたくなった。金沢に電車で行くことはもう無いと随分前に宣言したので、電車では行かない。ふなごやの大将が車で行けばいい、夏でも魚美味しいし、と言っていたので、行こうか？長崎の原爆資料館と平和公園も紹介されてたが、この前長崎に行った時は全然時間に余裕が無かったので、こっちも行ってみようか？勿論私費で行くよ。もうちょっと涼しくなってからね。

「おはよう朝日です」で「今年最後の Tigers vs. Giants の3連戦」と言っていたような気がして、さっき野球の日程を調べたら、確かに3連戦は無い。対戦が無いわけではなかったが。9月は雨で潰れた試合の代替試合をやる必要などがあるから、最初からスケジュールに余裕を持って組まれている。2日試合が無いことも結構ある。そうすると退屈だな。まあ色々やることはあるのでいいけど。相撲もあるし。藤ノ川が小結をすっ飛ばして新三役となる関脇に昇進。京都出身の新三役は198年振りと言ってた。調べると、1928年10月場所の緋縅（ひおどし）以来のことで、江戸幕府11代将軍の家斉の時代の出来事らしい。凄い。小兵が活躍すると面白いよね。小さな体で真向勝負を挑んでて気持ちが良い。今場所も是非活躍を。霧島の横綱挑戦、熱海富士の大関挑戦も見所。面白そうだな。

ちょっと愚痴。科研費の調書を事務が点検するが、「行の広さが広なってる」とか「位置がずれてる」とか細かいことをくちゃくちゃと言ってくる。科研費 LaTeX の象の卵の研究（同業者は皆知ってるでしょう）を見ると、小生の調書と同じサイズ、行間なので、直すなら科研費 LaTeX を作ってくれた人に頼むか、もしくは今から TeX の勉強をみっちりするか。どちらも現実的ではない。小生も TeX で色々凝ったことはしてるが、科研費 LaTeX のような高度なものはとても作れない。北陸数論研究集会の原稿を書いた時や論文を投稿する時のようにスタイルファイル（クラスファイル？）を指定されることがあるが、これらのような凄いものもとてもとても作れない。ということで事務に「無理！」と返事しておいた。ちょっと冷静さを欠いていたので、「そんな枝葉末節が原因で不採択に成るなら、科研費などこっちから願い下げです」と書いてしまったが、ちょっと余計だったな。事務からは返事が無い。まあ小生の分を見るだけではなく、多くの先生方の申請調書を見るのだろうから、返事があるとしたら数日後だろう。もう直すつもりは無いです。どうせ採択されない（「はずれる」という用語が一般的）だろうし。もう次回の応募で最後にしよう。60過ぎて大金が支給されても困るし。Magma 欲しいが、本当に買うなら何かしら手段はある筈。そうなったら調べるので、もう科研費はいいです。と、こんなことを書いてるのも審査委員が見てたら、いよいよ不採択だな。何度も言うが、もういいです。