2ヶ月振りの床屋で頭がスッキリし、Baystars も Tigers も勝ったので更にスッキリ

今日は床屋へ行く、と前から決めていたので、昨晩は程々に寝よう、と思っていたが、案の定というか朝まで起きていた。いや、無駄に時間を使ったというわけではなく、3次の不定方程式に関する Delaunay－Nagell の結果のことが気に成って調べていた。殆どの場合基本単数から解が得られるが、有限個の例外があって、それらの場合は基本単数の2乗から得られる、ということで、これすら知らなかった（非自明な解が高々一つ、というこは知ってた）。で調べると、何とその例外は既に決定されている、という論文を見付けた。が、MathSciNet で調べると、その論文は reference、review のどちらからも一つも引用されていない。超有名雑誌に載ってる論文だが。その例外を決定するために不定方程式を一つ解いてるが、それが正しいことは今や SageMath 等で数秒で確かめられる。が、その方程式と例外の関係が何も書いてない。Reference を見ると、LeVeque の本に書いてあるようで、確か職場にあったな、ということで明日行って見ることにして、寝ることにした。もう結構な時間。

昼前に目が覚めたが、流石に寝不足。もう一度寝て暫くしたら起きて、カップ麺をすすったが、まだ眠い。もう1時間くらい寝た。起きて床屋に電話。時々予約客がいて1時間くらい待たないといけないとか、夕刻まで予約客で一杯ということがあるので、最近は行く前に必ず電話することにしている。一人でやってる店なので仕方ないが。今日はすぐ切ってもらえるとのことで向かう。前に行ったのは6月27日のようで、丁度2ヶ月前。こういう時は「6月27日以来」と言うのが正しく、「6月27日ぶり」は間違い。前に YouTube を見てたら、「1998年ぶりの優勝を目指す Baystars」と言ってるのがあって、「おい！」と突っ込んでしまった。1998年前は野球なんて無いわ！で切ってもらって髭も剃ってもらってすっきり。帰りに DCM に寄ってお買い物。お釣りを3000円ちょっと貰ったが、1枚が旧札。嬉しい。昨日実は旧札が役に立った。ウェストウィングの1階に飲み物を買いに降りたら、一人中年と思しき女性が自販機の前の椅子に座っていて、その方のご主人とご子息らしき二人が自販機で買う物を決めて、さあ、と成った時に新札に対応してない販売機なのに財布から新札しか出てこなくて、困っておられて、「交換しましょうか？」と変えてあげた。喜ばれた。こんなことでも人の役に立つと嬉しいのだ。ということでまだまだ財布には旧札が唸ってる。まだまだ貯めるよ。ジハンピ対応の自販機で伊右衛門のペットボトルを買って帰宅。

しばしボーっとしてる内に野球の時間。最近よう負けてるなと思ったら、5連敗もしていたらしい。最近浮き沈みが激しい。借金は5まで減った筈だが、そこから11まで膨れ上がっていた。今日もいい出だし。1番度会がヒット、2番牧が2塁打。がまたかという感じになる。筒香、エンカーナシオンが凡退。また得意の残塁の山か、と思ったが、今日は違った。宮崎が2点タイムリーヒット。よしよし。先発は片山。いいのか悪いのかよく分からない。四球は結構出すが、失点は2回裏に勝田にタイムリーヒットを打たれた1点だけ。栗林が立ち直ったような感じなので、1点差だとやばいぞ、と思ったが、6回表に筒香がソロホームランを打ち2点差。7回表は林を1塁に置いて戸柱がセンターへ打ち返すと、何とセンターの大盛が捕れない。記録は2ベースヒットだが、投手は可哀そう。その後2アウトに成るも、牧が2点タイムリー2ベースヒットを打ち6－1に。がまだ安心出来る点差ではない。一昨日のことがあるからね。7回裏に2アウトながら1、3塁のピンチ。が、そこは流石伊勢、無事無失点。8回裏は中川虎大が1アウト満塁のピンチを背負うも、併殺打に斬って取り無事無失点。9回はルイーズ。5点差なら大丈夫らしく、三者凡退に斬って取り無事勝利。良かった。他球場の経過が時々入ってくるが、Tigers はリードされてて、Giants がリードしているという情報。む。今朝謙信君（関西では有名）がゲーム差が詰まってきてるので焦っていたが、このままだと0.5ゲーム差に成ってしまうぞ、と嫌な感じ。が、試合終了後に入ってきた情報だと Tigers が逆転したらしい。ということで J SPORTS 1 だったチャンネルと J SPORTS 2 に合わせて、Dragons vs. Tigers を最後まで見ることにした。Dragons が1点リードの8回表に坂本が逆転2ランホームランを打ったらしい。坂本は去年までの10年間で8本塁打今月だけで7本塁打の9号ホームラン。何故こんなに覚醒したのか？9回表も Tigers は得点機を作ったが無得点。9回裏のマウンドには売り出し中の工藤。2アウトを簡単にとるも、2ベースと申告敬遠で1、2塁。で細川の打順の筈が、代走で出ていた樋口が打席に。プロ入り後4本しかヒットを打っておらず、通算で打率 .111。まあ心配無いか、ということでピッチャーゴロで打ち取ってゲームセット、かと思ったら、1塁のアウトセーフが際どそう。当然リプレー検証だが、見るとそんなに際どくなった。無事 Tigers の勝利。Giants も勝ってしまったので1.5ゲーム差。Giants は Swallows とだったが、Swallows の先発は24年連続勝利の記録を持つ石川。今日が今シーズン初登板で、25年連続登板はタイ記録だそうだが、1回表に6失点と炎上。YouTube で見た動画ではもうそろそろ引退かもと言われてたが、現実に成りそうだ。200勝まで残り12勝だが、無理だな。功労者だ、球団はいい花道を用意してあげないと。

何か兵庫北部で竜巻とか、綾部、舞鶴、福知山で大雨洪水警報とか凄いことに成ってる。今日は降るとは言ってたが、またしても極端だ。雷鳴ってるぞ。床屋に行くとき傘を持って行かなかったが、大丈夫か？と思ったが幸いセーフ。傘を持ってなかったので緊急に必要なものだけでなくもう一つ買い物が出来て、伊右衛門も購入出来たのはよかった。明日は院試の面接がある。雨が上がってるといいが。まあ我々は学科長がいればどうにか出来るだろうが、学生が来られなかったりすると可哀そうだ。天気が荒れませんように。

などと書いてしばし。京都府南部に竜巻注意報が出た。京都市南部って山科は入るのか？京都市って結構縦に長いからな。左京区の北の端は福井県まで数キロしかない。まああの辺りは人は住めないだろうが。大抵毎晩深夜の内に翌日の飲み物を買いに行くが、今日はやめておこう。昨日ドラッグユタカで買い物をする羽目に成って、結構飲み物のストックが出来たし、明日は職場に行くから、住処の飲み物は充分だ。ということで今晩の外出はやめておこう。

処方箋を職場に忘れてきて、駐車場代を無料にするために仕方なく買い物

昨晩は割と早目（普通の人にとっては十分遅いが）に寝て、今日は正午のちょい前くらいに起きた。でシャワーを浴びてから出発。草津田上インターを降りて、一路はま寿司へ。1時ちょいに着いたが車が一杯停まってる。混んでるか？待たされるか？と思ったが、カウンターは待たされない。テーブル席が空くのを数組待っていたように見受けられた。銀鮭、秋刀魚、ズワイガニなど、期間限定のものが色々あって嬉しい。あっと言う間に1000円を超えたので、そこいらから100円皿やらで調整して、丁度2200円。満足。

表は無茶苦茶暑く、南草津のはま寿司は平屋で、駐車場は完全屋外。山科のはま寿司は2階が店舗で、駐車場の半分以上はその下。ということで車の中は当然無茶苦茶暑くなるが、銀色のあれ（何て言うの？）を置いておいたので、我慢出来る程度の暑さ。ハンドルもすぐ持てる。で2時前に職場に到着。ウェストウィングの近くに停められないか？と行ってみるも駄目だった。一方通行なので一旦外周道路に出て、生協とフォレストハウスの間に停められないかと思ったら1台分空いてた。嬉しい。一番大きい駐車場からウェストウィングまでに比べると、距離は半分くらい。で何とか無事に個研室に辿り着いて、ほっと一息。保健センターに行かないといけないので、その前にちょっと計算を仕掛けて、1階へ降りる（保健センターはウェストウィングの1階にある）。ちょっと血圧が高目。最近薬をサボり気味だ。気を付けないと。運動不足と夜更かしした時にカップラーメンを食べてしまったりするせいか、体重が少々増えてた。まあ織り込み済み。処方箋を貰って終了。

個研室で30分くらいボーっとしてたら会議の時間。今日はちょっと時間の掛かることがあったので、大変。来年は小生がやらないといけないので、勉強しておく。で大体済んだ後、AI がどうしたとかそういう話に成った。小生 AI には全く興味が無いので、嫌で仕方なかった。5時半くらいには終了したか。

部屋に戻ってパソコンを見ると、計算が終わっていた。何をしていたかというと、有理点探し。6年くらい前にちょっと今やってることの前段階である楕円曲線の有理点探しをしたのだが、Magma Calculator で見付からず、SageMath で色々パラメーターを変えても見付からず、でよこえもん氏に聞いたのが、彼も見付けられなかったという曲線だが、PARI/GP の ellheegner コマンドを使ったら1時間54分くらいで見付かった。素晴らしい。よこえもん氏に報告しておいた。その曲線の整数点が無いのを示すのに Mordell－Weil 群を求めよう、ということだったのだが、実はこれある素数を法として考えたら解が無いことが分かってしまったので、今更 Mordell－Weil 群を求める必要は無いのだが、まあ気に成ったので。その後事務に有隣社で買った本の伝票を回して、とかやってる内に7時くらいに成っていた。薬を処方してもらわないといけないので、急いで帰途につく。色々熱中してやっていたせいで悲劇があとで起こる。

今名神で集中工事をしているので、草津JCTから瀬田東まで一部車線規制をしていたが、特に渋滞することもなく山科に辿り着いた。でドラッグユタカの駐車場に車を停めて、鞄から処方箋を取り出そう、としたら、何と無い。上の書きようでお分かりの通り、一旦個研室に荷物を置いてから保健センター行った。鞄を持っていけば処方箋を貰ってすぐしまうんだが、鞄を持ってなかったので、個研室に着いてからどこかに置いた記憶がある。鞄に入れた記憶が無い。阿呆や。駐車場は買い物をするなりしないと有料に成ってしまうので、ちょっと買い物をした。幸い資源ゴミの袋が切れそうなのと、目薬が底をつきそうなので。歯ブラシを買っておくのを忘れた。まあいいです、後でセブンイレブンで買えば。明後日職場に行くが、処方箋を持ってくるのを忘れないようにしないと。処方箋は発行日を含めて4日有効なので、明後日取ってくれば大丈夫。絶対に忘れないようにしないと。

夕食は和食さとでと決めていた。割引券を沢山貰ったので。10％引きの券を使って特上鰻重を食べようと。通常だと5000円を超えるが、流石10％引き、5000円でお釣りを貰えて嬉しい。

8時台に帰宅したので、野球を途中から見ようと。職場で見た時は1点先制されていたが、見た時は1－1という状況だった。がその後ロクでもないことが。8回裏ルイーズが先頭から2者連続四球で走者をため、野間がヒットでノーアウト満塁。佐々木がショートゴロを打ったが、何と宮下がトンネル。2失点。まあ宮下は仕方ない。ルーキーだ。問題はやはり大事場面でストライクの入らないルイーズ。助っ人外国人と称される筈の選手がこの体たらくでは。守備も緊張感切れるよ。貴重な外国人枠を使ってこんな内容の投手を一軍に置いておいて、挙句がこれでは。ルイーズは過去にも何度かこんなことがあった。MLB での実績はあるのだろうが、もう使わないで欲しい。9回表に1点取ったが連敗。幸い Swallows が負けたのでまだ3位のままだが、Swallows と0.5ゲーム差、その1ゲームしたが Dragons、ゲーム差無しで Carp と、一歩間違えば最下位だ。明日は勝たないと。それに Tigers と Giants が1.5ゲーム差に成ってる。昨日にもマジックナンバーが点灯すると言ってたが、結構際どい。明日は Tigers が勝つ（⇔ Dragons が負ける）、Baystars が勝つ（⇔ Tigers が負ける）と成って欲しい。Swallows と Giants はどっちが勝たれても困るが、まあ Baystars が自力で勝てば3位は安泰なので。今スケジュールを見たら、金曜日から甲子園で Tigers vs. Giants だ。久々の甲子園でのプロ野球。Tigers には3タテしてもらいたい。そうしたら絶対マジックナンバーが出るだろう。やはり明日は Giants が負けた方がいいな。

今日の野球のニュースは涌井が松坂大輔の勝ち星に並んだのと、Marines の益田が800試合登板（9人目）。2人共息の長い投手だ。もっと活躍してくれ。ただ涌井は Baystars 戦では活躍しないでな。

6点リードで楽勝ムードが、1イニング8点取られて負けるというとんでもない試合

ゴミの分別しながら呑んでいたが、段々記憶が怪しくなっていった。出すべき資源ゴミは全部出したが、保険会社に送り返す書類のことを完全に忘れていた。さっき見たら、住所、勤め先、家族の有無などの変更が無ければ、署名して封入してポストに入れれば終了のようなので、ちゃちゃっとやっておいた。暑くて一番近いポストまで行くのが嫌だったので、後で行く。また熱帯夜らしいから、暑いことは暑いだろうが、昼よりははるかにマシなので。

で起きたらもう結構遅い時間。ちょっとウダウダやってたらあっと言う間に野球の時間に成った。5回表終了時点で6－0と楽勝ムードかと思われたが、油断は禁物。深沢は自身5連勝が見えて調子に乗ったのか、佐藤啓介にプロ初ホームランを献上。こういうの多いんだよな。すると Carp 打線が勢いに乗ってしまい、深沢は勝ち投手の権利を得る目前でノックアウト。その後投手陣が滅多打ちを食らい、何と5回裏に8失点。5回6失点の床田に勝ち投手の権利が転がり込むという、とんでもないことに成った。8点目は吉野のボークによるものだったが、1点取り返して7－8に成っただけに余計だった。結局負けてしまった。今日の開始時点で Baystars 3位、Carp 6位だが、ゲーム差は3.5だったらしい。今日は4位 Swallows が負け、5位 Dragons と6位 Carp が勝ったので、3位 Baystars、0.5ゲーム差で4位 Swallows、2ゲーム差で5位 Dragons、ゲーム差無しで6位 Carp と、下4チームが大混戦になっている。Baystars の借金は一旦5まで減ったが、今日の負けで10。むぅ。3位確保どころか最下位の可能性もある。どうにかしてくれ。明日は東だ。やってくれるでしょう。

明日は職場に行かないといけない。猛烈に暑いそうなので、行きたくないが、保健センター行と会議だから仕方ない。ドラッグユタカで薬を処方してもらうが、8時までに行かないといけないので、7時くらいには職場を離れる必要があるが、7時だと暑いだろうな。明後日は床屋に行きたいが、雨が降るようなことを言ってた。少し暑さは収まるらしいが、雨だと蒸すだろう。まあ仕方ない。で天気予報を見てたが、前の3か月予報だと残暑は去年程酷くないと言ってたが、今日の天気だと9月は高温傾向だと言ってた。まあ最悪講義の始まる頃に暑さが程々に成ってくれればいいです。ゼミの予定を決めないといけない。まあまだ9月に成ってなしもう少し先でいいか。火曜日は講義が2時55分からで、その後教授会だから火曜日はゼミは無理だな。月、木、金のどこかに成ると嬉しい。水曜日は会議が無ければ休みに出来る。2日行って1日休んで2日行く、というスケジュールだと楽だ。そうなるといいな。

魚の煮付けを食べたい

昨晩ちょっとぐちゃぐちゃと計算してたら色々示せた。が、途中で福岡で2年前に喋ったのの報告集に書いた証明に無駄があることに気付いてしまった。実二次体の基本単数のノルムが1であることを仮定しているのに、「N_k/Q(v)＝－1の場合」とか残ってて、阿呆この上ない。まあ雑誌に載った論文に間違いがあることはよくあることで、気にしても仕方ない。論文に載することが出来るような結果に成るかどうかは不明だが、もうちょっと考えて、論文にしたら無駄の無い証明を載せよう。でそんなこんなしてる内にまた朝に成っていた。

で起きたらもう午後。冷凍のパスタを温めて食べながら先週の「ゴチバトル」を見たり。途中凄い音で雷が鳴っていたが、表を見ると相当な雨降り。今日は降ると正木さんが言ってたな。今日の京都は38度くらい行くと言ってたから、大気が不安定だったようだ。あ、昨日日本で一番気温が高かったのは大津らしく、今日の大津は昨日よりも気温が高かったらしい。大津市の観測史上最高気温らしい。草津も似たようなもんだろうな。明後日は職場に行かないといけない。猛烈に暑いらしい。嫌なこったな。保健センターに行った後3時半から会議で、2時半くらいには保健センターに行った方がよかろうから、ウェストウィングの近くには停められそうもない。駐車場から歩くのを考えるとうんざりする。まあ仕方ない。

今日は野球が無いので、「帰れマンデー見っけ隊！！」を見ながらボーっとしていた。築地を歩いていたが、魚が旨そうだ。煮付けが美味しそうだったので、食べたくなった。大戸屋あたりに無いか？と思って大戸屋の店舗を検索したが、一番近いのは一里山のフォレオだ。鯖の味噌煮はあったが、鰈の煮付けのようなものは無さそうだ。近所にまだ行ったことが無いがその手の料理を出してくれそうな居酒屋（なのかな？）があるから、今度行ってみようか？生魚系のものでいいならはま寿司だな。水曜日ははま寿司に行ってから職場に行こうかな。

昨日書き忘れたが、りくりゅうが婚約したというニュースがあった。聞いた瞬間、まあそうだよね、と思ったが、当人曰く驚いたというコメントが少なかったのにビックリした、だそうだが、まあ世間の人は皆当然の帰結と思っていたようだ。こういう目出度いニュースはいい。日光で特急に保線員が撥ねられたとか、ヨーロッパの熱波で何人死んだとか、関東で未明に大きな地震があったとか、何か暗い気分に成るニュースが多い。気分を明るく保つにはいいニュースがあるといいね。

あ、明日は資源ゴミの日だ。今から分別作業をしないと。あ、生命保険の件で何か返送せよと言ってきてたな。面倒だが今から両方やるか。

高橋遥人の13勝目を消した直後にレイノルズが打たれ惜しい敗戦（レイノルズは来日初黒星）

ふなごやの店長もバイトの人も何か調子がおかしいようなことを言ってたが、キャンプで行った所が最高気温が25度で、夜は寒いくらいの所だったそうで、そこから最低気温が25度超の所に戻ってきたのだから、そりゃそうかもな、という感じだった。それでもいつもの通りワインを2瓶ほど空けてきた。酒が進んだら本調子に成ってきたような感じで、誰も寝落ちしないまま終了。楽しかった。キャンプのお土産の菓子を貰った。こっちは大阪で蕎麦を買っていったので、お土産の交換もしてきた。

で例によってセブンイレブンで水を買ってきた模様。模様、というのがいつもの通りで怪しいが。1リットルを超えるのを買ってきたのは、50円引きのクーポンがあったから。もっと小さいボトルは割引の対象に成ってない。まあ水ならいくら飲んでも大丈夫、と言いたいが、水中毒と言うのがあるらしく、水でも問題は起こるらしい。まあ1リットルをチマチマと飲む分には大丈夫でしょう。

で昼過ぎまで寝ていた。水は半分以上残っていた。テレビは付いていなかった。水をチマチマ飲みながら、貰ったお菓子を食べて飢えをしのいでなど。少々二日酔い気味で、何かしようという気が起きないので、再び寝床に戻って YouTube を見たりして無駄な時間を使う。5時くらいに Uber Eats 経由で吉野家メニューを取り寄せる準備。麦とろ牛皿御膳は美味しそうだが、何か幾つかにセパレートされてて面倒そう、ということで探すと、麦とろ単品があったので、それと普通の牛丼を頼む。結構待ったが、6時前には届いた。

食べながら野球観戦開始。今日は久々の石田裕太郎の先発。1回表に森下 vs. 石田の横浜市港南区出身 vs. 横浜市磯子区出身のお隣対決。忘れていたが二人とも中央大学卒。軍配は森下に上がった。先制ソロホームラン（リーグ単独トップの31号）を打たれてしまう。まあだけど今日の石田は5回1/3を3失点とまずまず。Tigers は高橋遥人。現在勝ち星と勝率がリーグ1位だが、勝率のタイトルは13勝しないと獲れない。で今日勝つと13勝に成るわけだが、そう簡単にさせてはならない。4回裏に満塁と攻め、2アウトで勝又が内野ゴロ。またチャンスを潰したか、と思ったら高橋がファンブルして、勝又と激突。その間に1点取った。高橋は痛さに悶絶していて、担架が出てきたが、暫くしたら歩いてベンチへ向かっていた。数分の治療の後出てきた。まあよかった。7回裏に牧がソロホームランで1点差。8回裏に度会がタイムリーヒットを打ち追い付いた。高橋の勝ち星を消したった。なお1、3塁打が、牧が凡退で同点止まり。こういう時に牧が打てないのを叩いてる人がいたが、野球は打てて3割ちょっと。仕方ないです。牧で勝つこともあるのだ。9回表は同点だがレイノルズ。が、流石は Tigers、しつこい。元山にヒットを打たれ、高寺の一塁ゴロの間に進塁され、近本の外野フライで更に進塁され、中野がストレートのフォアボール。解説の斎藤隆氏はここで「森下と対決するのは嫌ですね」と言っていたが、その通りに成ってしまった。2点タイムリーヒット。更に佐藤がヒットを打って1、3塁にされてしまったが、大山を何とか打ち取って2点で抑えた。が、9回裏は工藤相手に全く歯が立たず三者凡退で試合終了。先発野手全員安打の12安打も11残塁らしい。牧だけじゃなく打撃陣全員が反省しないと。特に代打で途中出場の松尾汐恩はチャンスで2度凡退。同点の場面ではレイノルズをリードし切れなかった。まあ何事も経験。まだ若いのだ。何事も勉強です。明後日からは今日再び最下位に落ちた Carp とマツダスタジアムで3連戦、その後横浜スタジアムに戻って今日5位に上がった Dragons と。大勝ちしないと。15あった借金が5まで減った後ちょっと負けが込んで現状50勝59敗の借金9。何とか二桁には成らないよう頑張ってもらわないと。

途中パソコンを見たら有理点が見付かっていた。今朝の6時くらいに。124時間と30分くらい掛かっているとの表示。5日以上掛かったわけだが、予想より短時間だった。Canonical height は約900。表示された点は凄くゴツイ。で記録してから見ると、まだやってないものの中に予想される canonical height が500台のがあった。そっちをやってから900超のやつをやろうといことにして、計算をスタートさせた。どれくらい掛かるでしょうか？

大阪歴史博物館に行くため、京阪電車のプレミアムカーに乗る。大阪で駅の外に出るのは久し振り

昨晩はちゃんとドラマが終わってすぐ寝た。で今朝は10時にアラームを仕掛けておいて起きるつもりだったが、8時半くらいに目が覚めてしまった。睡眠は充分ではないがまあいいかと起きた。が、流石に眠くて、結局30分くらい経ってからもう一度寝床に入った。で10時のアラームで起きた。シャワーを浴びて出発。

用事はいつもより短く済んで、受け取るものを受け取ってからいつもはなか卯で食事だが、電車に乗るには駅に近い方がいい、ということで北上して松屋へ。鰻が食べたかったが、今シーズンはもう終了したようだ。仕方ないので馬鹿の一つ覚えでカルビ焼肉定食。が、ご飯無しのチケットを購入してしまった。受け取り口でそれでいいかと聞かれ、ご飯もお願いしますと言ったら差額分だけ（白ご飯単品で頼むのより安い）払って食べてきた。

で何故電車に乗りたいかと言うと、大阪歴史博物館で「豊臣兄弟！」に関連するものが展示されてるので見に行こうということで。暑い中住処から山科駅まで歩くのはちょっと嫌だが、まあついでに駅の近くに行ったのでいいでしょうということで。乗換案内ソフトでは JR の新快速で大阪駅まで行って、谷町線の東梅田駅まで歩いて、そこから乗り換え無しで最寄り駅の谷町四丁目駅まで行け、との仰せだが、梅田周辺の電車の乗り換えは自信が無いし、暑い中屋外を歩くのが嫌だ、ということで、地下鉄で三条京阪駅まで行って、京阪の三条駅まで行って、そこから特急で天満橋駅まで行って、地下鉄谷町線に乗り換えて一駅で谷町四丁目駅、というルートにした。これのいいところは、三条京阪から三条へは地下で乗り換えられて、天満橋も地下で乗り換えられる。暑いのは谷町四丁目駅から大阪歴史博物館までの数分。が、谷町線の谷町四丁目駅から目的の10番出口は中央線の谷町四丁目駅のホームを端から逆の端まで歩かないといけないから、結構大変だった。まあ地下なのでいいです。大阪で駅の外に出るのっていつ以来（「いつぶり」と言わないように）かな？10年以上前の気がする。鹿児島中央まで／からの新幹線に乗るのに二度改札は通っているが。

2000円払って6階へ。写真は最後でしか撮れないとのご注意を受けてから見学開始。兜、刀、金箔の残っている瓦などの派手なものより、昔の書状がそのまま残っているのを見せてくれているのの方が面白かった。千利休の直筆とか結構凄いのが残ってる。変色した、今にも破けそうな紙の巻物が残ってるだけでも凄い。歴史的な価値は高いだろうな。立派な屏風も沢山展示されていた。色々説明が書いてあるのを読んでから進むと時間が掛かる。他の見学者達もゆっくりゆっくりと見て進んでいた。久し振りに長時間立ってたので大分疲れた。お土産物を幾つか買って、喫茶店のような所があったら休憩しようと思ったが、大阪歴史博物館にはレストランはあったが、メニューにコーヒー、紅茶の類のメニューや軽食が無く、本格的な食べ物とアルコール飲料だけ。ええわ、帰ろう、ということで谷町四丁目駅へ向かう。

が、まだ帰らない。今日のもう一つの目的地は「喜連瓜破」。こっちに来る前からこの駅名は知ってた。「探偵！ナイトスクープ」で見たのか兄者が読んでたギャグ漫画「ちゃうちゃうちゃうんちゃう」で見たんだか忘れたが、一度「きれうりわり」と言ってるのを聞いてみたかったので、行った次第。乗った時は結構混んでた谷町線だが、数駅で相当の人が降りて、空席が目立つようになった。で喜連瓜破駅に着いて、駅名の看板を写して、さあ引き返す、とはやらない。それをやると立派な不正乗車なので、一旦外に出た。大阪の地下鉄は切符も面白いので、随分久し振りに新幹線と特急以外の切符を買った。切符は「喜」と「瓜」の字は大きく、「連」と「破」の字が小さい。御堂筋線の終点の中百舌鳥駅で切符を買ったらやはり同じように大小の文字を使っていたのを思い出した。で乗り込んで天満橋へ。途中近鉄との乗り換え駅があったりと、ガラガラの車内は天満橋に着いた頃は結構満員御礼だった。

で京阪電車のホームへ。書き忘れたが、行はプレミアムカーとやらに乗ってみた。三条から天満橋だと500円余分に払うが、まあ座席が確保出来るのでいいです。で帰りもそのつもりでいたんだが、券売機を探してる内に特急が来てしまった。次の特急は12分後で、待つのが嫌なので乗った。天満橋は淀屋橋の次の次の駅（途中北浜駅がある）だけあって、もう席は全部埋まっていた。過去に京阪電車に乗った時のことを思い出すに、大阪府内で結構客が降りてしまうので、まあ少し待てば着席出来るでしょう、と思っていたらその通りで、枚方市駅で相当降りて行った。京阪間の往復は結構時間が掛かるので、文庫本が大分進んだ。で三条京阪駅の前の販売機でアイスを買ったが、駅のゴミ箱は飲み物の容器以外は入れてはいけないことになってる。ベタベタのアイスの包み紙をどうしよう？と考えていた時に閃いた。土産に買ったTシャツがあるが、中身を出して、袋にアイスの包み紙を入れておいて住処で捨てる。これよこれ。などとやっている内に六地蔵行の地下鉄が行ってしまい、次の電車はびわ湖浜大津行。またか、という気がしたが、乗ることにした。今日は京阪電車に徹底的に奉仕するということで。帰りのプレミアムカー代500円が浮いたので、御陵－京阪山科間の200円を代わりに払うということでね。

で5時50分くらいに住処に着いた。流石に出掛けると一日仕事だ。で野球を見るべくテレビを付けると、試合開始が30分遅れる、との情報。横浜スタジアムは結構な雨降り。が、30分遅れるというような穏やかな雨ではない。横浜スタジアム関係者がこんなにグラウンドが水浸しに成ったのは初めて、と言ってたくらいで、ザーザー降りで雷も成ってる。結局諸々考慮したうえで6時15分くらいに中止が決定した。Tigers は何試合目の中止だろうか？9月以降のスケジュールがぎゅうぎゅうに成ると思われるが、そこで失速と成らないといいが。Giants は涼しい東京ドームで出来て、スケジュールが緩いとなると、体力的に楽だろう。Giants だけは優勝させちゃならねー。ということでこの3連戦は複雑な心境で見ている。今日の Tigers の先発予定だった今朝丸はまだプロに入って勝ってないそうだ。今日今朝丸に勝たれたら3日連続 NPB 初勝利のプレゼントととんでもないことに成るところだったので、まあこっちとしては中止でよかった。明日の予告先発は Baystars は故障明けで久々の石田裕太郎、Tigers は高橋遥人。苦戦しそうだ。今日は Giants が勝ってしまったので Tigers と0.5ゲーム近付いた。明日石田に勝ってもらって、Giants は負ける、というのが理想だ。そうなるよう願っておこう。

雷と言えば、さっき山科でも雷鳴が轟いていた。降ってるかな？これから呑みに行くので止んでると嬉しいが。今日も猛烈に暑かったし、こういう気候だと夕立は大いにあり得る。雨は鬱陶しいが、全く降らないのも困るので、程々に降るならいい。この前の千葉の大雨のようなことは起きないで欲しい。で今見たら、今日の千葉での試合は中止に成ってた。大した降りじゃなきゃいいけど。

あ、高校野球は智辯和歌山が優勝したそうだ。ちょっと書きたくはないが智辯和歌山には恨みがある。関東代表として健大高崎を応援してたが残念。高校野球が終わると夏も終わりだなという気がするが、まだ暑いのだろうな。嫌なこった。

が、暑い中のビールは旨いので、これから呑みに行く。暑い中のビールは脱水症状に繋がるので、炎天下で呑むのはやめましょう。こちらは冷房の効いた所で呑むのでまあいいでしょう。帰りは水を買ってくるし。ではいってきます。

森下と佐藤輝明に30号ホームランをプレゼントして敗戦

「アメトーーク！」が終わったらすぐに寝るつもりだったが、PARI/GP で実二次体の基本単数 >1 を quadunit で得られた結果を Mod(a＋bx,x^2－m) の形に直す関数を書くのに手間取って、もう小一時間起きていた。m が square-free な場合は簡単なんだが、m が平方因子を持ってる場合が案外手間取った。いや、例えば m＝12 の時に 2＋√3 と返してもらうのは易しいんだが、2＋√(12)/2 の形で返して欲しいので手間取ったのだ。で結局うまくいかないで、眠さに勝てずダウン。「熱闘甲子園」の放送があると深夜番組が全て30分遅く始まるので、「アメトーーク！」が終わった時は2時くらいだった。感覚が狂う。高校野球は明日決勝戦だ。やっと正常に戻る。

で起きて床屋、のつもりだったのだが、起きたのが3時くらい。今日はええわ、ということにした。来週は職場に水、金と2回行くが、考えてみれば水曜日は保健センターに行くという用事なので、別に床屋に行ってなくてもいいや、ということで。木曜日に床屋に行って、金曜日に院試面接なら問題ない。ということで、来週の木曜日に床屋、ということで。

PARI/GP の関数書きは割とすぐ出来た。bnf を使ったものでは一個進むのに長時間掛かったものが短時間で動く。と言ってもトータルでは2時間くらいは掛かったが。万能という名の無能、という言葉があったが、汎用の関数より二次体に特化した関数の方が速い。猫魔先生は PARI/GP でバリバリプログラミングしてるが、岩澤理論関係の計算では次数の結構大きい体が出てきて、汎用の関数ではとてもとてもということで色々やられている。小生も負けずに色々やりたいが、まあやらないな。

であっと言う間に6時。Baystars は今日から Tigers と横浜スタジアムで3連戦。平良が先発。割といい内容のことが多いのだが、勝ち運が無い。今日は宮下の7号ソロホームランで先制したが、森下に30号ソロホームランを打たれ、その後もう1失点。が、6回まで2失点、10奪三振（自己最多タイ）だったが、打線が点を取れず。そうこうしている内に佐藤輝明に30号ソロホームラン、9回に坂本に8号ソロホームランを打たれ、1－4で敗戦。4失点中3失点がソロホームラン。バッテリーはもっとどうにかしようがあったのでは？という気がするが、まあ小生は素人なので、余計なことは言わないでおこう。二日続けて外国人投手に来日初勝利を献上してしまった。明日の Tigers の投手にプロ初勝利をプレゼントするのだけはやめましょう。

明日は11時前に区内某所に行かないといけない。11時まで起きてるのは得意だが、明日はその後ちょっと行きたい所があるのと、夜呑みに行くので、ちゃんと寝ておこう。幸い今日は高校野球は無かったので、「探偵！ナイトスクープ」の後のドラマが終わっても1時半前。まあ十分寝られるな。ということで今晩は程々にして寝る。どこに行くのかって？明日書く。