昨晩は懇親会後すぐ宿でダウンして、一旦起きて日が変わる前にブログを更新して、その後もう少し寝たが、寝坊して列車（電車ではなかった）に乗り遅れてはいけない、と思い、寝不足だが起きていることにした。実は一昨日の晩も寝不足だったのだが。待ち合わせに遅れてはいけないから、ということで。こういう無茶はしない方がよいのは分かっているのだが。先場所翠富士が全休したが、心不全、というインパクトの強い説明があった。何でも呑み過ぎだ食べ過ぎだというのが原因だったそうで、今場所は十両から出直すため出場するらしい。えーと、無理はいけないよ、という話。
でまずやったのは、足立先生の「フェルマーの大定理」を持参していたので、それのソフィー・ジェルマンのフェルマー予想に関する定理の証明を読んだ。先週「数理科学セミナー」で学生が証明しようとしてすぐ破綻して、明日またやるようなことを言っていたので、読んでおこうということで。が、これは自力では出来ないだろう、というのが実感。平方剰余に関する知識やら色々必要で、まだ合同式もやってない段階ではとても無理だろう。出来そうになかったらとどめを刺してやろう。で朝食の時間に成ったので、食べに行って、寝ないように気を付けるためにパソコンに向かって色々。9時58分の岡山行の快速に乗るので、まあ色々不測の事態もあろうかということで、用心して9時半くらいにチェックアウトした。ホテルは津山駅のすぐ近くなので、楽に間に合ったが。駅のアナウンスが丁寧で、2両編成の一番前の乗車口付近で待ってるのは一人しかいないので、 分散するために前の方に行ってくれという趣旨。お陰で座席を確保した。4人掛けのボックスシートに暫く一人で掛けていたが、途中斜め向かいに一人座り、もう少し行ったら左隣に一人座ってきた。荷物を椅子に置くという顰蹙ものな行動はしないようにしているので、どうぞどうぞ。岡山駅に近付いてきたら大分人家が増えてきた。途中岡山理科大学を発見。うちで1年だけ働いて岡山理科大に移籍した人が二人いる。で岡山駅の一つ手前の法界院駅でどっと乗ってきた。祝日だから大学生ではなかろうが。5分遅れで岡山駅に着いて、「岡山カレー」というのを食べて時間調整。11時40分ののぞみに乗れた。切符をとってあったのでよかった。1時過ぎに帰宅。
走らせっ放しにしてあったパソコンを見ると、有理点が見付かっていた。素晴らしい。Canonical height が330を超えてるごつい点。見付かってよかった。鞄から USB メモリーを取り出して、結果を記録。でパソコンを漸くリブート出来るので、再起動する。が、ネット環境は復活しない。その後何か色々変な感じなのでもう一度リブートしたら、何か「Windows を設定しています」と不穏な文が出て、買ったばっかりのパソコンのような状態に成ってしまった。え？え？ここ最近拾ってきた論文やらプレプリントやら全部おじゃん？と思って SSD の中身を覗くと、幸い残っていた。外付けの HDD を繋いであるので、急いで全部コピーして、でもうあかんな、ということでそのパソコンには撤退してもらうことにした。で鞄から旅行のお供のパソコンを取り出して、でそのパソコンを暫く使うことにせざるを得なくなった。去年の春（昨年度、ではなく、2025年の春、つまり一昨年度）の春に職場のパソコンが怪し気な攻撃を食らった時に職場にこのパソコンがあって助けてもらった。何かの時の為にパソコンを一台余分に持っておくといいな。
そんなことをしてる間に野球が始まっていた。昨日東で負けて、6連勝の後3連敗。牧が抜けて佐野が20打席くらいヒットが出てなくて、今日は宮崎が休養で欠場。4番は誰？と思ったら、何と松尾汐恩。先発投手はプロ初登板の島田舜也と、今日もあまり期待出来ないかも、という状況。相手の Dragons は4連勝中だし。で早速1回裏に先制されるも、すぐ2回表に同点に。4回裏に再び1点勝ち越されるも、5回表にすぐ同点に。今日は上位打線は Dragons の櫻井に抑え込まれ、途中1番から5番まで5者連続奪三振などを食らうが、7番京田からの4連打で2点取り勝ち越し。今日は打線は下位打線が活発で、守備では京田や打では結果の出ない佐野がファインプレーを連発して、チームを救った。9回裏に康晃が無死1、3塁のピンチを作るも、外野フライで3塁ランナーが突っ込まず（解説の鈴木孝政氏は打球が飛んだ瞬間「よし！」と口走っていた）、代走に出た1塁走者の尾田が盗塁死（余裕でアウト）、村松1塁ゴロでゲームセット。4番に入った松尾は打で結果を残せずも、島田を5回2失点とキッチリリードし、最後に盗塁をさせなかったので、合格。上位打線が結果が出ずも、下位がよく打った。一人でやる競技ではないので、皆でキッチリやればいいのです。ということで4月は勝ち越しだそうだ。明日勝てば5割。スッキリと5月に入りましょう。
で早速また有理点探しをさせている。あまりこき使うとこいつまでダウンしかねないな。そんなことにならないことを願おう。で津山高専の人からメールが来ていて、有益な情報をいただけたので、お礼のメールを書いて。昨晩酒の席で話題になったのだが、数論の専門家以外だと谷山－志村予想が完全解決していることを知らないようで、そうだと言っておいたので、その論文の出ている雑誌を知らせておいた。100ページ近い論文だし、まあかなりの専門家でないと読まないだろう、とは思う。小生？読まないよ。それを読むほど余裕は無い。論文の revise をしないといけないし、やることは幾らでもある。が、流石に眠くて、さっきまでちょっとダウンしていた。論文の直しは土曜から水曜までの連休中にやろう、ということにした。直すために重たい本を持って職場に行くのはちょっと嫌だ。明日は天気が良くないようなことを言っていたし、「数理科学セミナー」で使う本も持って行かないといけない。寝坊してもいいように、一旦持って帰ってきて、住処から持っていくシフトしにしている。そうやると大抵早起きに成り、持ってきた意味が無くなるのだが、まあいいです。明日は結構遅くまで寝てしまいそうだ。何しろ昨日、今日で結構寝不足だからね。教材を持って帰ってきてあれば、2時過ぎに住処を出ても大丈夫なので、今晩はタップリ寝る。深夜テレビを何時まで見ているかが問題だが。
さっきニュースで言っていたが、Tigers が Swallows に勝って、一日で首位返り咲き。というところまではネットニュースで見てたが、びっくりしたのが高橋遥人が完封勝ち。ここまで4試合投げて、3試合完封勝利。もう1試合は6回1失点とか。月間MVPは決まりだな。高橋は毎年故障をしていて、シーズン終盤に1軍登録されて、そこから Tigers の優勝を決定付けるような登板をする、というタイプの投手だったが。今年は1年持つのでしょうか？そうすると脅威だな。今年こそいい加減 Baystars に優勝して欲しい。開幕4連敗スタートも明日勝てば5割。5割前後で頑張っていって、ここ数年の芸風で秋の声が聞こえると強くなるので、ということになればと思っているが。それまでに Tigers に去年のような独走を許してはいけない。が、明日の先発は今シーズン初登板の篠木。去年は3試合登板で防御率10.13だから、過剰な期待は出来ない。明日は8時くらいまでゼミをやる予定なので、見られないかな。雨の予報だが、バンテリンドームだから関係無いか。篠木は今日の島田くらい投げてくれればよい。遅れず付いていきましょう。
