試験監督を2つ

生活を不規則にしているせいか、昨日は絶不調で、夕方に起きて、飯を食べて、7時から10時までの「帰れマンデー見っけ隊」と「Ｑさま！」の3時間スペシャルの時間丸々寝ていた。で10時に洗濯機を回すべく起きて、洗濯を開始してまた即ダウン。うーん。でその後しばし眠りについたが、3時頃に洗濯完了の音がして起こされる。日が出ていないうちの方が得意なのか、大分体調は戻っていた。が、眠いことには変わりないので、もう一度横になるも、今度は眠れず。仕方ないので4時過ぎに本格的に起床。Sage に計算させたいものがあったので、しばし格闘。Sage は K.=QuadraticField(5) として u=K.units()[0] とでもすれば、基本単数の一つを計算してくれるが、それがこちらの所望の1より大きい基本単数が得られるとは限らない。うーむ、どうしよう、と思って、シャレで u>1 とか 1/u>1 とかやってみたら、出来るじゃないか。基本単数の4つの可能性の大小関係比較が容易に出来るとわかったので、手動でやっていた計算を自動化できる。うん、これはいい。ということでその旨修正を加え、走らせて待つ。待っている間は昨日の「Ｑさま！」でも見ようかと思ったんだが、目覚ましのため風呂に入ることにした。大分頭が冴えてきた。ということで、自動化したが最後まで自動化できなかった部分を手作業で修正を加える。数十個あるのだが、大したことない。昔 Q(√2) 上定義された導手が√2 の冪である楕円曲線を決定したことがあったが、その時は400ある同型類を導手類に分割するのに1000回以上キーボードを叩いた。それに比べたら。ただ、やっぱり完全自動化はしたいので、また Sage の勉強をすることにしよう、というところで時間。

今日は11時から「代数学I」の試験。久々に問題を見たが、大分難しい。まあそうは言っても、定義が分かっていれば (2) は (1) から1行で出るとか、覚えていればいいだけ問題を出していたので、そんなに不合格を出さないで済みそうな感じ。まあ詳しくは答案を受け取ってからでないと何とも言えないので、1日2日待つ。

午後は3時から別の試験監督をすることになっているので、大分時間がある。ということで久々に駅前の「極楽湯」へ行った。湯船につかるということが普段無いので、久々に足を伸ばしてゆっくりしてきた。もっと時間を掛けてもよかったんだが、そこは肝が小さい。試験に間に合わなかったらどないしよー、今何時や？という感じで落ち着かなかった。まあいいのだ。「10割蕎麦」を食って「極楽湯」を後にする。

3時から「科学・技術と社会」という科目の試験監督。教授は担当科目以外にもう一コマ試験監督をさせられることになっている。でこの科目は非常勤の先生の科目で、しかも受講生450強ということで、2部屋に分けられている。非常勤の先生は来ない可能性があるので、専任で2教室監督をするというわけ。まあ担当の先生は来たんだけど。230人か、回収するの大変だな、と思ったんだが、こういう作文をしろ系の科目は途中退出者が多い。まあ考えても仕方の無い科目なので、むべなるかな。60分終了の時点で残っているのは30弱。答案の整理は大変だろうと思ったが、出したそばから数勘定をしていたので、楽に出来た。これで監督業務は終了。後は採点と成績付け。こちらも頭の痛いところ。まあ上に書いたように数日おかないと採点できないので、考えないことにする。今本当に頭が痛いが、採点は万全な体調でやって、頭が痛くならないようにしよう。

試験終了後即山科へ。トヨタの人が任意保険の件で来て欲しいというので行く。3年に一度の保険の更新。最近は事故を起こしていないので、等級が大分上がってきた。それでも大したことない。用事は短時間で終了し、5時40分くらいにトヨタを後にする。

で住処着は5時55分。普段だと丁度中継番組が始まる時間なんだが、今日から3日間「横浜 Star Night」と言う特別行事。選手はスペシャルユニフォームを着ていて、そして試合終了後にドローン100機による光のショー（何か名前ついていたが忘れた）がある。それのために試合開始が早くなっているのだ。そんなのはいいから勝ち試合を見せてくれ、と思って見ていたら、まああまりいい攻撃とは言えないが、6－2で勝利。よかった。光のショーは中々よかった。明日も明後日もやるそうだから、見てやろう。

今日は早かったし、頭が痛くなってきているので、もう寝よう。こんな状態で起きていようとはさすがに思わない。明日はM0の学生とゼミだ。また先週のように派手に遅れるわけにはいかない。ということで寝ます。じゃ！

中川虎大の初登板を見逃す

昨晩は呑まなかったが、何やかんやで遅くまで起きていた。まあ日曜日だしいいか、と思っていたんだが、ちゃんとしっぺ返しが来る。9時頃に火災報知機の点検の人が訪れてきた。まだ寝ていたいが、仕方なく起きる。用事は一瞬で終了。しばらく起きているが、眠くて仕方ないのでまた寝る。で起きたら3時を回っていて、野球は既に始まっていた。今日の先発は育成から支配下登録された中川虎大（こお、と読ませる）。が、起きた時には既に降板した後だった。どうやらショートスターターだったらしく、2回で降板したらしい。残念。早寝していれば見られたものを。まあいいや。で試合は久々の負け。首位 Giants と3位 Carp が勝ってしまい、首位と 4.5 差、3位とは 0.5 差という状況。明後日から Carp vs. Giants らしい。Giants が勝つのは気分が良くないし、追う方としては負けてくれた方がいいのだが、Carp に抜かれる可能性もあるので、Carp が勝つのも考えもの。まあ理想は Baystars と Carp が共に3連勝。うん、これを願おう。

もう眠くなってきた。寝てる時間としては十分なのだが、睡眠の質が悪い。明後日は試験監督で午前中起きなあかんし、今日から生活リズムを整えるかな。ということで、もう少し起きていますが、早めに寝ます。じゃ！

起きたら既に12－0

昨晩（もちろんもう今日だが）は安福さんの本が面白くて、4時過ぎまで読んでいた。で寝付けたのは5時くらい。…。まあいいんだけど。で3時くらいに起きたかな。もちろん昼の。で起きて即野球にチャンネルを合わせる。見ると、何と12－0でリードしている。思わず「わっ！」と言ってしまった。しかもまだ3回裏。何があったんだかわからないが、兎に角8連勝濃厚。筒香もソトもロペスも宮崎もどんどん引っ込んでいき、控え選手の虫干し状態。もはや野球としての興味は無くなった。結果だけわかればいい、ということで、野球を流しっぱなしにして、Python プログラミング。mod 4 で1と合同な素数を2つの平方数の和で表すプログラムを書いてみることにした。でヤコビ記号の計算が必要なので、既に作ったヤコビ記号計算プログラムを、ユーザー定義関数にする。ということで Python の本で書き方を学ぶ。すぐ出来た。でそれを使って、課題のプログラミング。流れ図は和田先生の本に書いてあるので、そのままプログラミング。あっさり動いた。で小さい数ばっかりじゃ面白くないので、少し大きめの数でやってみる。答が返ってこない。何故じゃ？と思ってよく考えると、大きな数の大きな数乗をそのままやってるから、Python が苦労しているのだ、ということだった。仕方ないので、繰り返し2乗法を使った modpow 関数を作ることにした。でこれも和田先生の本を見るとちゃんと流れ図が出ている。が、それは repeat－until 型の流れ図で、Python にはそれが無い。ということで while 型に書き直すのに少々時間を要して、modpow は出来る様になった。561 がカーマイケル数であることをちゃんと確かめてみる。出来ているようだ。でそこで一旦中断。後で続きをやることにして晩飯へ。

今日は土用の丑の日である。ということで何が何でも鰻を食べないといけない。で近所のなか卯に行き、特鰻重を食べてくる。特、と言っても1250円なので、相当安い。美味かった。満足して戻ってくる。でこんなものを書いている次第。

今日は激呑みにしようと最初は思っていたんだが、腹の具合がものすごく悪い。こんな状況で酒を呑んだらどうなるだろう？ということで只今思案中。

今日も Tigers は Giants に勝ってくれた。お陰で3.5差。10日で8ゲーム詰めた、とか言ってたな。うむ、本当に行きそうだぞこれ。期待しちゃおう。

その後プログラミングの続きをやり、完成。色々数字を突っ込んで実験。無事 6700417＝2566²＋409² が出来た。これべき乗をまともにやると答が返ってこないんだよね。よかった。また勉強に成った。次は何しよ？

安福悠「発見・予想を積み重ねる－それが整数論」（オーム社）を3冊も購入していた

昨日書いた通り、12時半から約束があった。で10時半に起きるつもりだったが、8時半に目が覚めてしまった。まあ昨日は早寝できたので、睡眠は十分。ということで起きていた。昨日のプロ野球ニュースを見たりして時間を潰す。11時半ぐらいに住処を発つ。

で大学に12時くらいには着いた。メディアライブラリー（遠い図書館）に本を返すためにちょっと寄り道。さらにメディアセンター（近い図書館）に寄って本を返す。それだけで10分以上歩いた。暑い。融けそうだ。まだまだ夏本番じゃないぞ。この程度でへこたれてどうする！と叱咤激励して個研室へ。速やかに冷房の電源を入れる。生き返った。というところで学生登場。用事は数分で終了。このまま帰るのは馬鹿馬鹿しいので、少し勉強でもしようかと。安福悠「発見・予想を積み重ねる－それが整数論」（オーム社）が職場にもあった。住処に2冊あるぞ。どういうわけか3冊も購入していたようだ。ということで折角だから読んだ。まだ初等整数論の域を出ていないところだが、十分面白い。で読んでいてふと思った。来年度の「代数学I」では、少し暗号の話でもしようかと。どうせ2週間余るし丁度いい。その過程で「ユークリッドの互除法」が何回で終わるか、とか、「フェルマーの小定理」を使った「非素数判定」、「カーマイケル数」の話など。こういうのは「暗号理論」でやっていたんだが、去年一杯で閉講にしたので、「代数学I」でやると帳尻が合う。そうだそうしよう。初等的な本でも、読んでいると発見がある。いいことです。これからもどんどん読む。

で5時過ぎまで職場にいた。野球に間に合うように職場を離れたが、今日も名神は渋滞。「瀬田東JCT－大津 6km」の案内。うーん、まあそれくらいなら名神で帰ったほうが早いな、ということで渋滞に身を任せる。渋滞が我慢できないのか、走行車線と追い越し車線の流れのいい方を選んで右から左、はたまた右と、せわしないドライバーが多い。小生を追い越した車にあっと言う間に追い付いてしまう。流れに身を任せ、いらいらせずに走るのが一番です。安全運転で行きましょう。

ということで野球の開始には間に合わなかった。1回表2アウトから観戦。まず筒香の2ランで先制。その後ビシエドにソロホームランを打たれ2－1。それ以外は一切点が入らないという、何とも痺れる展開。結局そのまま2－1で終了。うむ、よかった。形はどうあれ勝ちだ。Tigers が頑張って Giants に勝ってくれたので、これで首位と4.5ゲーム差。21年振りの V が強ち冗談でなくなってきた。期待しちゃうぞ。明日も勝て！

さて、アルゴリズミックな話を少し勉強しようというわけで、帰宅後和田秀男「コンピュータと素因子分解」（遊星社）を少し眺めてみる。面白そうなアルゴリズムがあれば、Python でプログラミングでもしてみようかと。例えば mod 4 で1と合同な素数を二つの平方数の和で書くプログラムでも書いてみてはどうか、と思ったんだが、ヤコビ記号が組み込み関数で無いとつらいことがわかった。いや、ヤコビ記号を計算するプログラムは作っただろう？と言われるとその通りだが。まあ時間がある時にでも。そういえば青木昇「素数と2次体の整数論」（共立出版）に mod 4 で1と合同な素数は、二つのヤコブスタール和の平方で表せる、というのがあった気がした。調べてみると、これもヤコビ記号の計算が必要で、あまり実効的とは思えなかった。まあせめてその証明を理解してお茶を濁そう、と思って読み始めたのだが、よくわからない。まあいいや、ということで、ヤコブスタール和が何者かをちょっと google で調べようとしたところ、上の証明の詳細を書いたものがあった。で読んでみると、なるほど明快。理解できた。小生が丁度引っかかっていたところに詳しい説明があった。まあ自分の研究なら理解できるまで食い下がるんだが、「お茶を濁す」のが目的なので、挫折した。許してください。

明日は台風が来るらしい。うちは恒例土曜日の定期試験日なのだが、どうなることやら。

佐々木朗希、県大会予選決勝戦で投げず

昨晩は電卓をいじり倒しているうちに、複素解析の演習問題を思い付いたので、解答を考えてみた。左辺から右辺を導くのに存外苦労したが、右辺から左辺を導くようにしたら簡単だった。でその辺にある本を見たら、面白そうなことが書いてあったので、それも併せて TeX 化する。うん、面白かった。が、4時過ぎまで起きていた。いかん。で今日は相当遅く起きた。いかんね。まあ用事は無いからいいんだけど。明日は学生とちょっと密談をするので、12時半に個研室に着いていないとまずいので、今日は早寝する。そんなに生活リズムが狂って、よく寝られるな、というご意見もございましょうが、どうにかなるもんです、はい。

いつもの通り6時から野球。今日の先発は今永。毎週金曜日に登板しているが、今日は珍しく木曜日の登板。今日は危なげの無い投球を見せ、完封勝ち。素晴らしい。打線は1点を取った後中々点を取れなかったが、6回に1点、9回に4点と得点を重ね完勝。これで貯金3で、今日負けた Giants との差が5.5。いいですね。明日からは現在不調の Dragons 相手。3タテを狙いましょう。かたや手負いの虎は明日から Giants 戦とか。うむ、明日からは Tigers も応援しないといけないな。

今「報道ステーション」を見ているが、トップニュースが「大船渡高校 佐々木朗希投手は県予選決勝戦に何故投げなかったか？」うーん、視聴者が興味あるのはわかるんだけど、もっと他の重要なニュースは無いんかい？という感じ。まあいいんだけど。小生は佐々木は放らなくてよかった、と思っている。昨日190球以上投げているらしいので、休むのは当然。このまま肩・肘をいわしてしまったらどないすんねん。この上甲子園大会まで行って、そこでも毎日のように放ったら確実に壊れる。金の卵だ、大事に育てよう。

て書いて思い出したんだけど、Giants が甲子園のスター・荒木大輔をドラフトではずし、はずれ1位で取ったのが斎藤雅樹。荒木はプロで40勝出来なかったが、斎藤は年20勝はあたりまえの大投手に成り、2年で荒木越えの40勝するほどの大活躍。高校野球で無理してプロで惨めな思いをするなら、高校野球で無理をしないほうがよいと思う。まあ色々な意見もありましょうから、「投げるべきだった」と思っている人はそう信じていてください。佐々木がプロで活躍した時議論しませう。

exp(複素数) は計算できるのに cos(複素数) を計算できないのは何でじゃ？

昨日の晩は部屋掃除もしたんだが、結局テレビに張り付いている時間の方が長かった。「ロンドンハーツ」は、ついに亮が謹慎後に収録したものに成ったらしく、草薙が亮の代わりにアシスタントをしていた。別段面白くなかったんだが、亮をどう扱うか興味深かったので見た次第。

で今日は午後起きた。今日も関数電卓いじり。log や exp の引数に複素数を使えることが分かった。ということは三角関数でも、とおもったが、cos(i) とやったらエラーが出た。しかしである。cos(z)＝(e^iz＋e^-iz)/2 だから、複素数の三角関数も計算できる。ということで、前に一度だけ複素解析を担当した時の試験問題「cos(z)＝2 となる z∈C を求めよ」の解答を確認できた。他にも複素数の平方根が計算できることも分かった。普段使ってる電卓は、複素数モードにしておくと √(－a) （a は正の実数）なら計算できるんだが、√(1＋i) とかはエラーに成ってしまう。うむ、いいものを買ったな。Python のプログラムだけでなく、色々使えそうだ。まあ計算できる道具を持っていても、何か新しいことをしてそれを計算しないと意味無いので、ネタ作りに励もう。

6時から野球。4回表にロペスの2ランで先制。が、5回裏に北條のホームランで1点取られる。その後恒例点の取れない打線。9回表に相手のミスで筒香が3塁打。ノーアウト3塁。が、ソト、ロペスが凡フライを打ち上げ、犠牲フライにすらならない。宮崎を申告敬遠で歩かされ、バッターは柴田。あ、また1点差で康晃か、と思って申し訳ない、柴田。タイムリーヒットを打ってくれた。3－1。9回裏は当然康晃。ノーアウト2塁のピンチを作るも、その後3者を打ち取ってゲームセット。これで引き分けをはさんで4連勝で、貯金2。首位 Giants が負けたので6.5ゲーム差。うむ、いい感じです。明日も勝って、さらに差を詰めましょう。

Carp がまた勝った。11連敗をしたが、これで5連勝。借金1。うむ、強いんだか弱いんだかわからんぞ。上を見るより下も見ておかないといけない。まあ Carp と協力して Giants を引き摺り下ろしましょう。

結局 python の本を買ってきた

昨日で講義は終わっているのだが、今日はM0の学生とゼミをする約束になっていた。1時開始なのだが、起きたら12時半を回っている。講義が終わって精神的にゆとりが出来たため、昨晩は遅くまで部屋のゴミ出しを気合を入れてやってしまい、寝たのが遅くなったのが原因。まあ言い訳はよしましょう。「遅れる」とメイルを書いて、ダッシュで飛び出す。

30分遅れでゼミは開始。今日は円分体の話。円周等分多項式の既約性を示した後、素数の分解、整数環の決定など。来週からまた難しいところに入るようだ。気合を入れて起きよう。遅刻は無しよ。

ゼミの途中に大雨が降り出した。ちょっと表に出るのは避けたいほどの降りだったので、5時くらいまで個研室で様子を見る。python の本探しなど。結局 python の本は見付からず、雨が弱くなってきたので生協に買いに行く。python の本って沢山あるね。勉強しておいて損は無い。

で野球に間に合うはずだったのだが、名神が渋滞していて、10分ほど余分に掛った。住処に着いてテレビを付けたら、もう始まっていた。今日は vs. Tigers。2点先制されるも、一気に5点取ってリード。が、三嶋が2失点、エスコバーが2失点で逆転を許す。9回表2アウトというところまで追い詰められたが、筒香の同点2塁打で延長へ。その後どちらもチャンスを作るも、決め手を欠き、引き分け。首位 Giants が勝ってしまっただけに痛かった。まあ追いついたんだ、贅沢は言うまい。

その後 python の本を繰りながら、電卓で python プログラミング。今日は素因数分解をするプログラムを作ってみた。別に何の工夫もせず、2で割った後3から2飛びで奇数を回して割り続けるというプログラム。そこでやめたら面白くないので、ちゃんと 2^3*5*11 のようなフォーマットで表示するよう一工夫。python の本を参照しつつ、リストを使ってみた。いい感じに出来た。普段使っている電卓に素因数分解をする命令はあるのだが、それは10^10未満の整数でないといけなくて、しかもあまり大きな素因数を持つ数は分解してくれない。あまり大きな、と言っても 6700417 くらいの数をの分解を諦めるので、はっきり言って使えない。折角書いたプログラムだ、有効に使おう。次は何しようかな。

さて、明日は早起きしなくていいから、これから部屋掃除をちょっとだけするかな。

講義終了

月曜日の講義は遅刻したことがない。今日も間に合うよう、10時30分くらいに起きよう、と昨日は思っていたんだが、6時半頃に起きてしまった。あまり眠くないので、電卓にヤコビ記号を計算させるプログラムを仕込もう、ということで奮闘する。何か予想外の結果が返ってきたりで色々大変だったが、その場しのぎに色々とやり、どうにか完成。よかった。その後昨日ダウンロードした電卓のマニュアルを読む。プログラムを組まなくても最大公約数が計算できる命令がデフォルトで入っていることがわかったが、それは10進で10桁以下の数でないと最大公約数を計算してくれないので、まあ python で組んでよかったな。さーて、次は何しよう。

で9時過ぎに成ったんだが、眠気が襲ってきたので、1時間半ほど仮眠。眠くなくなった。というところで職場へ出発。職場に python の本があるはずなので、到着後探して見たが見付からない。うむ、これは住処にあるということか、ということで一旦諦める。で2時半くらいに講義室へ向けて出発。「数理科学特論2」は今日で最終回。無限次元ガロア理論を証明して、ガロア群が有限群の射影極限に成っていることを証明。最後に Z_p 拡大の例を挙げておく。岩澤健吉先生の名前を当然出しておく。卒業研究で読んだ本が岩澤先生の「局所類体論」だったこともあるし、2度程口をきいたことがある岩澤先生なので、名前を出すのは当然。日本人で貢献者が多いことも言っておいた。再来年やる時はもう少し工夫の必要があるので、追々考えよう。

前期の講義も今日で終わり。いやー、長かった。

で住処に戻って、python の本を探すも見付からない。一体何処へ行ったのだろう？まあいいや。明日また職場に行くし、見付からなかったらまた買おう。

で久々に「開口」へ呑みに行く。本当は python の本を読みながら呑む積もりだったのだが、見付からないので、安福悠「発見・予想を積み重ねる－それが整数論」（オーム社）を持って行く。ちょっとしか読まなかったが面白そうだ。ちょっと時間があるし、読んでみることにしよう。明日は1時からM0のゼミがあるので今日は程々にすることは前提だったのだが、うっかり「ご馳走様、美味しかった」と言った瞬間にお会計モードに入られてしまったので、もう少し呑むつもりだがすごすご引き上げてくる。まあまた近いうちに行こう。

帰ってきてニュースを見ている。吉本興業の社長の会見だが、デタラメこの上ない。社長は辞めないというが、いかがなもんだろうか。とにかくすっきりした形での解決を望む。さもなければ吉本芸人の出ている番組見ても笑えないやんか。

ロペスがジュニアに捧ぐ満塁ホームランで、貯金1

結局昨日は激呑みしてしまった。が、今日は意地でも選挙に行くぞ、ということで、目覚ましを何回も鳴らし、ちゃんと起きて投票してきた。いい加減な政治をやっている与党に鉄槌、というわけで、それには投票率を挙げる以外手は無い。これから選挙特番を見る。

で投票から帰ってきて、相撲観戦。幕内の途中から。最後は鶴竜 vs. 白鵬。力の入る一番だった。結果は鶴竜の勝ち。素晴らしい。千秋楽の日はNHKの「サンデースポーツ」に優勝力士を呼ぶのが恒例になっているが、今日は選挙特番のため「サンデースポーツ」は放送が無いようだ。うむ、鶴竜折角頑張ったのに。まあしゃあないか。

相撲終了後野球。今日も1イニング5点（ロペスの満塁ホームランと乙坂のタイムリー）取って追加点が取れない。そうこうしているうちに1点差。うーむ。で最終回は1アウト満塁の大ピンチ。「いや、ここでゲッツーだ」と思って見ていたらその通りになった。3日連続1点差ゲーム。見てるほうはたまらん。まあいいのだ。とにかくこれで貯金1！Giants は Carp 相手に3連敗。これで7ゲーム差に成った。今度は Giants が大型連敗する番だ。見ていろ。

さて、先日 twitter を眺めていたら、富山大のKさんの呟きに python が走る関数電卓というものがあり、購入しようか迷っているとあった。小生は即買った。小生昔から電卓は大好きである。何といっても立ち上がりが速いのがいい。で早速いじってみた。python はあまり知らないんだが、sage を使っていた時の類推で何とか1本プログラムを書くことに成功した。何を書いたかというとユークリッドの互除法。今度はヤコビ記号を計算するプログラムを書こうかと思っている。最大公約数を求めることや、平方剰余かどうか判定するという場面は案外多いんで、立ち上がりの速い電卓のメリットをいかして便利に使おうと思っている。その電卓は他にもグラフを書く機能があるので、それも便利そうだ。ただいかんせん時代というか何というか、マニュアルは簡単なガイドしか付いておらず、フルマニュアルを見たい人はダウンロードせよとのこと。仕方ないのでこれからやる。本当は夜を徹していじり倒したいところだが、明日は講義の最終日なので、それなりの時間に起きなくてはいけない。しかも明日は電車＋バスで行く必要があるので、いつもより早起きしないと。ということでほどほどに寝る予定。

5割復帰

今日は大学の生協に行きたかったので、11時くらいには起きたんだが、何か根っこが生えてしまって立ち上がれない。そんなこんなしているうちに生協の閉店前に大学に行くことが不可能になってしまったので、結局外出していない。水曜日に学生と呑んだ関係で職場に車を置きっぱなしなんだが、まあいいや。月曜日は面倒だが電車＋バスで行こう。

ということであっと言う間に相撲の時間。昨日鶴竜が負けて、鶴竜と白鵬が1敗で並んでいる、という状況。今日はどうだろうか、と思って真剣に見る。鶴竜は勝った。白鵬はというと、これまで通算で大勝ちしている琴奨菊が相手。まあ楽勝でしょう、と思って見ていたらさにあらず。琴奨菊の完勝で、白鵬2敗。白鵬は優勝するためには本割で買って、決定戦で勝たなくてはいけないという、大変厳しい状況になった。まあたまには白鵬が優勝しないほうが面白い。明日は全力で鶴竜を応援しよう。

6時から野球。今日は久々の先発の石田。相手は Baystars キラーの山井。これは苦戦するぞ、案の定2回までパーフェクトだ、と思ったら、3回に一気に4点。まずは重畳。が、4回に平田にソロホームランを許し4－1。その後は石田が抑えて、勝ち投手の権利を得て5回で降板。三嶋、エスコバーとナイスピッチングだったが、パットンが2ランを浴びて4－3。ピッチャーは国吉に交代。何か昨日と展開が似ている。ということはこのまま勝つということか、とあまりハラハラしないで見ていた。案の定国吉は抑えて、9回も康晃が抑えて、無事勝利。これで5割復帰。うむ、明日も勝って貯金1といきましょう。まあ明日は中継ぎに過剰な負担を掛けないよう、中押し点、ダメ押し点を効果的に取ってください。

明日は選挙だ。これから呑みにいくのだが、ほどほどにしておこう。4時半くらいには投票に行きたい。さもなくば、相撲の優勝を掛けた一番を見られなくなってしまう。え、相撲の後行けって？いえいえ、6時から野球ですがな。野球終了は9時を過ぎるのがほぼ当たり前なので、野球を少々見逃さないと投票に行けなくなってしまう。それは嫌だ。ということで逆算して酒を呑まないと。何か美味くなさそうな気がする。まあいいや。行ってきます。

再び単独2位

昨日は12時半くらいには寝た。で余程疲れていたのか何なのかわからないが、4時過ぎに寝たのと同じような時間まで寝ていた。が、今度は寝過ぎだろうと思われるが、絶不調。相撲を十両の取り組みから見ていたんだが、幕内に入る前にもう一度寝入る。起きたら6時半。うーん。まあいいんだけど。特に予定は無いし。

で6時半から野球観戦。テレビを付けたらもう3点入っている。1回裏にロペスの3ランホームランが飛び出したとか。そのままどちらも得点が入らず、平良（Baystars）と柳（Dragons）の投げ合い。平良は6回完了して交代。無失点。柳は7回完了して、1回の3失点のみ。どちらも見事だった。で8回に Dragons が2点取って3－2と大ピンチ。平良の勝ち星がまた消えてしまうのか、というところで出てきた三嶋がナイスリリーフ。3－2のまま。9回は康晃が締めて、3－2で勝利。Dragons の連勝を8で止めた。再び単独2位に浮上。まだ借金は1あるので、明日勝って5割、明後日も勝って貯金1といきましょう。

京都の放火事故は33人の犠牲者を出したそうだ。ひどい話だ。現場は小生の住処から電車で少々行った所。手を合わせるくらいの事をしにいこうかな。

Dragons が10年ぶりの8連勝で2位タイ

昨晩は呑み会の後夜更かしをしてしまい、寝たのは相当遅かった。で今日は呑んだ翌日とあって、何となく調子が悪い。相撲を見ている途中に寝入ってしまい、そのまま7時半くらいまで横になっていた。

で7時半から野球観戦。1－5で負けている…。2点取り返し3－5とするも、すぐ取り返され3－7、…。結局いい所無くそのまま試合終了。Dragons は10年ぶりの8連勝とか。2位で並ばれてしまった。明日からさらに Dragons 相手の3連戦。何とか2勝1敗で行きましょう。

上に書いた通り不調なので、今日は早く寝る。別段明日用事はないんだが、まあたまには早寝しないと。ということで寝ます。じゃ！

納涼呑み会

当分8時半に起きなくてよい、と書いたそばから6時半に起きてしまった。まあいいや、ということで起きていることにした。で1時からのゼミには余裕だったはずだが、集合と位相に関する本を読んでいて、演習問題を解き始めてしまったからさあ大変。簡単な問題だと思ったら予想外に難しい。ということで答が出たのが11時過ぎ。シャワーで寝癖を直して、とかやっているうちに11時50分。今日の昼飯は学外で、と決めていたからその通りにしたんだが、そのせいでウェストウィングの6階に着いたのが1時丁度。結局ゼミには2分遅刻。廊下で待ちぼうけさせて申し訳ない。後期はカードキーで開けられる部屋を押さえておきます。

で今日の卒研2は「有限体上の曲線の解の個数」。卒研1でやっている内容とダブるが、「ガウス和という道具を利用しない点が特色である」と書いてあるので、D.K.君に取っても目新しいでしょう。

卒研終了後1時間くらい個研室でお勉強。難しかった。16時半から会議。よくわからない議題が多いので、内職。大昔に橋本先生（早稲田大学）に出された問題がようやく解けた。5時20分頃終了。

で今日は前期の卒研2最終日なので、納涼呑み会を開催することにしていたので、久々に近江鉄道バスで南草津駅へ向かう。バスの中では暇だったので、スマホをいじったり、佐藤篤・田谷久雄共著「理工基礎 代数系」（サイエンス社）を見たり。そこでさっき解けた問題が出ていることを見付けた。本には解答は付いていないが、サイエンス社のページで解答を公開している、ということなので、住処に戻ったら見ることにする。

南草津駅前で6時待ち合わせにしたんだが、この時間は道路が混むので、大学から駅まで30分くらい掛って、6時10分頃駅に。遅刻ばっかりだがやむをえん。「右京さん」は教員採用試験の勉強をしたい、とのことなので、男子学生3人と駅前の「白木屋」に入る。最初のうちは静かな呑み会であったが、4人中3人が野球ファンだということで、超が付くほどの野球マニアのA君が独演会を始めた。野球ファンなら小生も負けていないぞ、ということで、野球談義で終始。数学の話に成らなくてよかった。で3-Sylow君が Carp ファン、小生が Baystars ファン、今日は直接対決ということで、途中経過を気にしいしい呑む。今日も Baystars が勝って、無事単独2位キープ。V。8時半くらいに皆呑み物が無くなった。
「あと1杯ずつ頼もうぜ」と小生が提案して、それで終了。皆駅の近くに住んでいるそうで、そのまま解散。

山科に着いたらもう1軒行こうか、と思っていたんだが、今日は寝不足だしやめておいた。住処に着いたらまだ10時前。こんな呑み会もたまにはいいな。でサイエンス社のページを見てみる。なるほど、本質的には同じだが、g.c.d.が1か2であることの導き方が違っている。これから TeX 化して、いつでも使えるようにする。

卒研2は今日で終わりだが、講義は月曜日に1回残っている。卒研1は、学生が大学院進学希望ということもあり、夏休みも不定期ながら開催することにする。暑い中大学に行くのは辛いが、まあ勉強に成るのでよいということで。大分、博多出張をするかしないかで8月第1週が出来るかどうかは変わるが、大分の研究集会は面白そうなので、行こうと思っている。博多は微妙だな。最終日が別の用事とバッティングしているので、行ったとしても2日だけ。あまり面白そうな話は無いんだが、行くかな

「代数学I」最終回は何とか遅刻せずに行った

火曜日は「代数学I」から。10時40分開始なのだが、目が覚めたのが9時40分過ぎ。アラームが鳴らなかったなー。シャワーで寝癖だけ直して、10時ちょい前に出発。もちろん飲まず食わず。

で最終回も無事遅刻せずに講義を始められた。今日は二次体での素イデアル分解の一意性とイデアル類群を話してきた。詳しくやる時間はもう残されていなかったので、大事な定理でも結構証明を省略した。で無事12時6分に全て話し終わった。二次体の類数の話をするからには、類数1の虚二次体が9つに限ることは話しておかねば。でその9つは、ちゃんと覚えているので時間に余裕があれば、空で黒板に書けるはずだが、慌てていたので－11を落としてしまった。みっともない。まあいいや。再来週試験があるが、それまでは8時半起きをしなくてもよいので、大分気が楽になった。ただ明日の卒研2は遅刻しまくっているので、明日くらいは間に合わせよう。

昼飯を挟んで卒研1。今日は efg＝[F：Q] から。その後分解群や惰性群のことが証明抜きで出ている。読んでおくように伝え、二次体と円分体の章に入る。二次体の整基底と判別式を決定して、最後に類数1の虚二次体のことが出てきた。「これの証明を読みたい！」と言うので、Baker の超越数論の本でも読ませようか？まあ先の話だ。ゆっくり考えよう。

4時10分に終了。生協に寄って本を数冊買って、ダッシュで山科へ戻る。5時くらいに住処着。相撲は幕内後半戦から観戦。高安はやはり肘を痛めたようで、テーピングの上からサポーターを巻いて出場。今日も片腕で相撲を取っているような感じだった。が、目出度く勝って、勝ち越し決定。よかった、全員負け越しか休場なんてことにならなくて。昨日白鵬に勝った逸ノ城だが、今日は鶴竜に負けた。やはり2日続けて金星というのは難しいんだんな。

で6時から野球。今日は良くない形で3点取られる。Carp の先発アドゥワが5回まで被安打2。「今日はつまんない試合で負けそうだな。あーあ」などと思っていたら、今日も2番に入った筒香が2塁打。で3番ソトが初球を場外ホームランで2－3。お、と思ったら、5番佐野がヒットで出塁して、6番宮崎が逆転2ランホームラン。敗色濃厚だと思っていたら、わずか8球で逆転！うーむ、信じて見ないといけないんだな、うん。その後鈴木にホームランを打たれ追いつかれるが、その裏に今度はタイムリーでつないで犠牲フライも絡めて4点取る。最後は康晃が1発打たれたが、まあ大過なし。8－5で勝利。明日も勝てよ。

昔から本は買っておいて、いわゆる「積読」をすることが多い。数学の本は何かの時に役に立つんで、買っておいて損はない。講義の準備の時に何冊も本に当たって、よるシンプルな証明を探したり、それをヒントにして自分で証明を付けたりと、有効に使っている。もちろん買ったきり一度も開いてない本の方が多い。研究も楽しいが、よく書かれた教科書を読むのもまた楽しい。開いていない本たちは、定年後に開くこととしよう。65まで健康でいられればいいが。

休日に月曜の講義。あわや遅刻しそうになる。

今日はうちの大学は平日月曜。ということで2時40分から「数理科学特論2」をやらなければいけない。ところが、目が覚めたら1時56分。まずいぞ、間に合うか、ということで急いで出勤。ちゃんと講義には間に合った。しかし、である。いつもは個研室に寄って、講義の資料をプリントアウトするのだが、その時間が無い。ということで、住処を出るときにパソコンを鞄の中にしまっておいた。講義はパソコンの画面を見ながらやった。最初は左手で持ってやっていたんだが、腕がだるかったり落としそうになったりで、机の上に置いて一々覗き込みながら講義をした。そのせいかどうか知らないが、思いの他進まなかった。来週やる分がたっぷり残った。ということで、来週はガロア群に位相を入れる話から。無限次元ガロア理論の基本定理などを証明して、最後にガロア群が profinite 群であることを示すと丁度時間となるだろう。

でいつもの月曜日は講義が終わると直帰なのだが、今日は個研室に寄った。というのも、いつもは月曜の講義資料を印刷する時についでに火曜日の分を印刷してしまうのだが、今日はさっき書いた通り個研室に寄らずに講義室に行ったので、火曜日の分を印刷していない。明日も寝坊する確率が高いので、今日中に印刷しようというわけ。でパソコンの電源を入れたら「Windows を再構成」の画面に成った。先週帰るときに Windows update をダウンロードし始めたっけかな。ということでしばし待つ。印刷したら直帰。講義終了が4時10分で、今日の野球は5時から。印刷し終わったのが4時30分くらい。ということで急ぐ。

で高速道路の前に来たら「草津JCT－大津 渋滞11km」の表示。うーん、これは高速か下道か。迷って高速に乗った。下道だと順調にいって50分、名神は多少渋滞しても45分。ということで決断。今日は祝日割引で430円だから、まあいいでしょう。が、この決断は失敗。新名神の時点で既に渋滞が始まっている。JCT から名神に入った時点では合流するのが困難。うーむ、まずったな。まあ慌てても仕方ないので、いらいらせずに待つ。コンビニに寄ったら、既に50分掛っていた。430円払った価値がない。まあ仕方ない。

で部屋に入ってテレビを付けると、既に試合は始まっていて、0－4で負けている。…。そこから更に2点取られて、0－6。でここでアナウンサーの言葉に耳を疑う。「裏は2番筒香に回ります」と。え、2番筒香！アナウンサーの言い間違いだろう、と思ったら、本当に筒香が2番だった。うーむ、どうなんだろう。で筒香が押し出し四球を選んで、まず1点。その後3番ソトが2点タイムリー。3－6。まずは重畳。がその後点が入らず9回表。国吉が意味の無い四球を2つ出し、それが効いて曽根のタイムリーで3－8。うーむ。9回裏に細川に2ランホームランが出ただけに、国吉が取られた2点が余計だった。結局5－8で負け。Carpの連敗ストップに貢献してしまった。11連敗中1試合に2点取れていなかった Carp だけに、初回の4点は余計だった。井納にはゆっくり反省してもらおう。

でその後 Yahoo！で相撲の情報を見た。何と白鵬が負けているではないか。うむ、これは面白くなった。全勝の鶴竜は勝っている。よっしゃ。では1敗の高安はどうかというと、負けて2敗。高安は休場こそしなかった（不戦敗ではなく、突き落としで負けている）ものの、負けて勝ち越しはお預けか。勝ち越せよー、高安。

高安の怪我は大丈夫かいな

今朝は8時くらいに目が覚めた。もう睡眠は十分と思われたので、起きていることにした。チェックアウトまでは3時間あるので、相棒の Blu-ray を見て時間を潰した。2話続きだったので、まだもう1話見る余裕はあったんだが、2話でやめておいた。

11時にホテルを出て、一路山科へ。休憩無しで行こうかと思っていたんだが、ホテルで水分を取り過ぎたためか、トイレに行きたくなって、大山田PAで休憩。ついでに昼飯も食べた。「蛤ラーメンとんこつ味」800円也。いい出汁が出ていて美味かった。その後一路山科へ。行きと同様三重経由で。カーナビが県境をまたぐと、「○○県に入りました」と言ってきて、県を代表する絵が出る。三重は「お伊勢さん」、愛知は「金のしゃちほこ」、滋賀は「浮御堂」、京都は「清水寺」。岐阜の絵が見たいので、今度一度岐阜県に行ってみよう。1時ちょいに住処着。ETC の休日割引のおかげで900円も安く済んだ。

相撲まで3時間ほどあるので、「トリニクって何の肉！？」の3時間スペシャルを見て時間をつなぐ。平成生まれが30人出ていて、30人全員正解したら100万円山分けでもらえるのだが、何と29人正解という、非常にもったいない回だった。その間違えた一人に対して、正解した29人が大ブーイング。その時の様子で、性格の悪いタレントがよくわかった。で4時過ぎから相撲。なんと豪栄道まで休んでしまい、4大関中3大関が休場の異常事態。高安が今日腕を痛めたようだが、大丈夫だろうか？高安はまだ勝ち越していないので、明日から休場にでもなろうものなら4大関全員休場で、来場所は1人は関脇で、他の3人はカド番でという、緊急事態。高安の怪我が大したことなければいいのだが。軽症であるよう祈っておこう。

今日は野球が無い。何と平和な。が、明日から野球があるそうだ。月曜日なのに何で？と思ったら、明日は海の日で祝日だそうな。うちはいつもの通り月曜平日。講義は来週の月曜日までなので、「数理科学特論2」は後2回ある。時間が余りそうだ。「代数学I」はもう1週間欲しくなってきたが、火曜日と水曜日は後1回。まあいいや、あらすじだけやっておこう。来年度に向けて作戦を練りたいところだが、そろそろ研究がしたいぞ。Ume-Umeとfg君の話を聞いて刺激を受けてきた。Ume-Umeは院生の修論のネタを作り出すために始めた、と言っていたが、こっちも準備をしておかないと。来年度は院生がいるので、再来年の為に作戦を練ろう。まあ自分の研究もろだと院生に解かれてしまうと悲しいので、何か別ネタを。

「愛知数論セミナー」に出席

今日はゆっくり起きて、10時半くらい。え、いつもと変わらない？その通り。が、いつもに比べると寝るのが早かったので、十分な睡眠時間を確保できた。で朝昼兼用飯をまた鰻にして、しばし部屋でまったり。1時半には宿を離れる積もりだったが、うっかり2時までいてしまった。

で「愛知数論セミナー」に参加すべく、一路名古屋工大へ。余裕で間に合うはずだったが、地下鉄の乗り換えに手間取って、「鶴舞」の駅から名古屋工大まで迷う始末。何とか2時50分に着けた。（セミナーは3時から。）今日は2本立て。梅垣－梅垣の話が最初で、藤井君の話が2本目。前者はあまりに解析過ぎて、さっぱりわからなかった。まあ専門ではないので、雰囲気を知ることが出来るだけでよし。2本目は割りとわかった。主たる道具が類体論とガロア理論だったのでね。有意義なセミナーだった。

セミナー後懇親会。割と食べて呑んでで、いつもの通りふらふらになった。シャトルバスも階段もエスカレータも倒れないよう必死だった。ようやく脈が落ち着いて来た。明日ちゃんと運転できるよう、早く寝る。が、早く寝られない事情が出来てしまった。何って？さぁ。無事に済んだら書きますわ。とりあえずしばらく必死になる。無事に済めばいいが。

でその後しばし。必死になった。無事済んだ。これで安心して寝られる。何が起こったかというと、住処の鍵が行方不明になってしまったのだ。車の鍵は駐車場の人に預けてあるから、山科まで帰ることは出来る。問題はその後。部屋に入れない。うーむ、と困っていた。フロントに聞いても落し物の鍵は届いていない。駐車場の人に聞いても無い、とのこと。考えられる唯一の可能性は、車の中に置いてある。それなら安心だが、一応確認しないと。と思って駐車場に行ってみたら、昨日の落し物の中にあった、とのこと。車の鍵と同じ所有者のものだと思って、車の鍵と一体にしていた模様。やれやれほっとした。もう11時を過ぎていることだし、寝る。

その前にもう一言。原口がまたホームランを打ったらしい。凄い。それと Tigers の近本がサイクルヒットとか。映像を見てると最後の三塁打はかなり近本に「忖度」したものになっていた気がするが。まあ記録に残るんで、よかったですね。MVPは近本。やっぱり何かずるい感は否めない。まあいいや。こんなことはシーズン中には無いんでね。さあオールスターも終わり。月曜からのリーグ戦が楽しみだ。

名古屋ナウ

今日は11時から区内某所で野暮用があったので、10時数分に起きた。朝飯を食べて、寝癖を直して、さあ出掛けよう、というところで「関西みらい銀行」から電話。小生を担当している方からだが、転勤になってしまうそうだ。残念、ようやく仲良くなったのに。新しい担当者を連れていた。名刺をいただいたが、名前をまだ覚えていない。早く覚えよう。

で野暮用は1時間くらいで終了。なか卯で鰻を食べて戻ってくる。その後色々ごそごそやって、名古屋へ出発。明日行われる「愛知数論セミナー」に出席するため。明日3時からだから、明日の朝出発してもよさそうなもんだが、今回は車で行く、という野望をいだいていたので。いや、野望というほどのこともない。名古屋には2回車で来ている。ただ、今回は新名神の一部分が開通している、という話だったので、折角だから走ろうと。で途中で東名阪方面との分岐があった。カーナビはまだ新名神の新しい部分を知らないらしく、空中運転状態だった。で結局東名阪に戻るんだが、まあ5分くらい短くなったらしい。早く完全開通してくれ。名古屋高速を経由して、名古屋の市街地を運転。うーん、緊張する。滋賀にはあんなに車線の多い道路は無い。カーナビの言う通りに車線を走っていないと、どっかで2車線まとめて車線変更する必要があったり。で「伏見」とか「大津」とかいう地名があって、「今は本当に名古屋にいるんだろうか？」と疑問に成ったり。でホテルの前に到着したが、問題はここから。駐車場の入り口がホテルと離れているので、いつも探し回る。今日は大体覚えていたので2週しただけで済んだが、前は5、6回ホテルの周りを回ったこともあった。6時前に到着。

7時からプロ野球のオールスターだから、早目に夕食を食べておこう、と思い、5階の料理屋へ。また鰻を食べよう、ということで。で行ってみたら満員で入れないとのこと。がーん、仕方ない、一旦部屋へ戻って考えよう、ということですごすごと部屋へ。で部屋でホテルの案内を見たら、ルームサービスがあるとか。内線9番でさっきの店の料理が食べられるそうだ。ということで頼む。30分くらいで無事鰻が届く。名古屋の鰻は関東のような柔らかい鰻ではなく、皮がパリッと焼けている関西風に近いタイプ。まあ鰻が上物のようで、比較しては申し訳ないが、なか卯のよりはるかに美味い。関西風の鰻であっても、だ。満足。

で7時4分からオールスターの中継が始まった。試合はまだ始まっていない模様。放送する局の都合だと思うんだが、実際の開始は7時5分のようだ。セ・リーグが2年続けて2敗していて、現在4連敗中。今日こそはどうにかせな、と見ていたんだが、Lions の森の特大ホームランで2点先制される。筒香の内野安打で1点取り返すも、Eagles の浅村、Lions の山川の連続ホームランで4－1。9回には康晃が森の内野ゴロと Marines の荻野の2ベースヒットなどで2点を取られ6－1。ここで終わったら「あー、やっぱりね」という感じなんだが、今日は違った。9回裏に Dragons の高橋がつないで、バッターは Tigers の原口。プラスワン投票と言う、最後の1人にファンから選ばれたのが原口。大腸癌からの復帰を皆知っていたようだ。で原口が2ランホームラン！うーん、感動した。いいものを見させてもらった。結果はセ・リーグの5連敗だが、そんなことは忘れていた。

明日は野球の時間が多分セミナー後の懇親会の裏番組。出席するため見られないから、山科に戻ったら録画しておいた「プロ野球ニュース」を見よう。

癌からの復帰、と言えば Carp の赤松が先。胃癌で転移していて、大分辛い治療を続けているらしい。二軍では試合に出ているようなので、一軍で活躍する日を楽しみにしていよう。頑張れ、赤松！

今日は特に何も無し

今日は書くようなことを何もしていないので、一応書いたという証拠だけ残しておきます。

オールスター前5割折り返しならず

水曜日は卒研2。ほぼ毎週遅刻しているから、明日くらいは、と昨日の晩思っていたんだが、今日も遅刻してしまった。7時頃一旦用足しに起きたんだが、その後再撃沈。10時半の目覚ましと11時の目覚ましをスルーして、12時半ちょっと前に起きた。車に乗っている時間だけで25分だから、駐車場とウェストウィングへの歩き時間を考えると間に合わないことは起きた時点で確定していた。来週で前期は終わりだし、遅刻しないようにしたい。

で今日のゼミは、メルセンヌ数とフェルマー数の素因数を、小さい素数から順に割っていって見つけるのではなく、効率よく見つける方法からスタート。その後有限素体に原始根が存在することを証明して、xⁿ＝a の有限素体上での解の個数の話と、それを応用しての第1補充法則の証明。来週はどんだけ進むかわからないが、何にしても夏休み前にキリのいい所まで済ますのは絶望的。夏休み明けに前期にやったことをちゃんと覚えているでしょうか？

ゼミは3時頃終了し、30分ほどボーっとしてから帰宅。4時少し過ぎ。相撲は幕内の3番目から。豊ノ島の1番を毎日見損ねている。大ベテランが頑張っている姿を是非リアルタイムで見たいんだが。まあ明日は見られると思うので、しっかり見る。

相撲終了後即野球。今日でオールスター前最後。5割で折り返すためには負けられない。で2点先制していい展開か、と思われたが、追い付かれ勝ち越され、最後は一気に5点取られて the end。負け投手は国吉。昨日の勝ち投手が国吉なので、2日で1勝1敗の珍記録。まあ仕方ないでしょう。ただ、やはりエスコバーの代わりにソリスを、というわけにはいかないことが分かった。まあオールスター明けにエスコバーは登録されるでしょうから、後半も食らいついていきましょう。

Carp は11連敗。Eagles は昨日則本で連敗を止めたが、今日は負けたようだ。うーん、両チームとも首位を走っていたんだがなー。まあオールスターで一息つけるでしょうから、気持ちを入れ直して頑張りましょう、うん。

今朝は7時半起き

火曜日は10時40分の講義のため8時半起きだが、今日は7時半に目が覚めてしまった。昨晩ちょっと寝たのが遅めだったので、まだ眠いのだが、1時間は中途半端すぎるので、もう起きていることにした。でちょっと時間に余裕があるので、「ゴチバトル」を見た。1年で2度ピタリ賞は凄いな。

で無事「代数学I」に間に合う。今日はもうやることが済んでしまったので、一昨年「数学展望」でやった内容を、きっちりやろうかと。イデアルを知らないどころか、群も知らない。同値関係も知らない。そんな状況で y²＝x³＋5 が整数解を持たないことを示していた。当然無謀なわけで、1人も理解できていないと思われる。が、3回生の今の時期となると、結構色んなことを習っているはずなので、2次体の整数論の初歩からやっても大丈夫。いや、多分大半が大丈夫じゃないんだろうけど、一応教えた範囲で出来るから、こっちには大丈夫、ということ。ですいすい進んでいく。途中学生の方を見たら、いつも一番前に座ってノートをまったく取らない学生が、必死になって黒板を写している。先週は代数やら複素解析やらの本を大量に持ち込んでいたし、そろそろやばいと思ってきたんだろうか？それとも代数の初歩くらいは自分で勉強してしまい余裕で、今日のは整数論だから聞いてくれたんだろうか？いずれにせよ今日も含めて残り2回は無事過ごせることがわかってよかった。

昼飯を挟んで卒研ゼミ1。2時から。なぜかと言うと、今日は月1の保健センター行き。ちゃんと2時に開放されて、ゼミを2時から開始。今日は類数の有限性とか、代数体の整数環が Dedekind 整域であることを示したり。最後は Σe_if_i＝[F：Q] であることを示して終了。来週はガロア拡大の場合は efg＝[F：Q] となることから。順調である。

ゼミ終了後即職場を発つ。エレベーターが7階（最上階）から小生のいる6階へ向かってきた。すると Y 先生が乗っている。でちょっと無駄話。「土曜日は会議なことをすっかり忘れてました」とのこと。同じエレベーターに乗っている学生が「もっと先生方沢山いると思ったから、緊張していたのに、案外少なかったですね」と言ってきた。Y 先生は上の通りな理由で欠席、T 先生（younger）は出張で欠席、F 先生は理由は知らないが欠席。さらに助教の先生方は出席しなくてもかまわない、ということで、いつもよりは大分少なかった。ちゃんと行っておいてよかった。

でドラッグストアに寄って薬を処方してもらう。ということで住処着は5時20分過ぎ。テレビを付けたらもう高安の出番だった。今日は栃ノ心が負けたが、他の横綱、大関は安泰の模様。深夜にやるダイジェスト版を明日見ることにしよう。

相撲が終わると即野球。相撲があると忙しい。宮崎のソロホームランで先制するも、さくっと逆転され嫌な感じ。が、すぐに柴田のタイムリーで同点。が、その後すぐ勝ち越され、その後佐野タイムリー、筒香犠牲フライでまた追い付く。うーむ、長いゲームに成りそうだな、と覚悟を決める。6回表に神里のタイムリーで勝ち越し、ロペスの満塁ホームランで5点差！もう流石に勝負あったという感じで、そのまま試合終了。10時14分。長かった。負けておかしくない試合運びだったが、勝ってくれてよかった。今日は柴田（打率2割未満）、筒香（得点圏打率2割2分くらい）、神里（一時3割2分あった打率も今は2割9分と絶不調）、ロペス（得点圏打率2割2分くらい）と、打ちそうもない選手がよく打った。こうなると点は入るね。あとはソトだな。ホームランが多く、打点も多いが、いかにせん打率が2割4分では。去年は打率がもっとよかったので、今年ももう少しヒットを打ってください。

しかし Carp はひどいな。今日も負けて10連敗。月間20勝した勢いはどうした？今日も Giants は勝ってしまった。Tigers が負けた、ということね。こうなったらもう勝ち続ける以外手は無い。明日も勝て。5割でオールスターブレークなら御の字。Giants が大型連敗するよう呪いをかけよう。もちろん Baystars が勝つよう全力で祈り続けるのは言うまでもなし。

9999km、そして10000km

土曜日は宣言どおり呑んできた。ただ、いつものようにビール少々の後日本酒、ではなく、ビールだけにしてきた。何故かというと、土曜日の「ふなごや」は団体客が入っていて、飛び込みの客が1人でいっても、かまってくれる余裕がなさそうで、日本酒を頼むのが申し訳なかったから。日本酒の場合、一々冷蔵庫から瓶を出して、小生専用のぐい飲み（謎）に注いでくれ、しかも伝票につけなくてはいけない。ビールならサーバーにジョッキを乗せて、注いで、伝票につけるだけと、手が空いた時にやれるので、ビールだけにした次第。ということで、いつもより早目に、酒も少な目で帰ってきた。

住処に戻って、パソコンの電源を入れて、それで何をしたかと言うとマインスィーパー。いくら酒がいつもより少ないと言っても、酔っていることには間違いない。酔っ払い運転状態なので、考え違いやクリックの間違いなどで、何回やってもクリア出来ない。酒が抜けてきてようやく成功。もう明るくなっていた。一体何時間やったことやら。

その後即寝てもよかったんだが、つい面白くてテレビを見てしまった。何を見ていたかというと、京都の消防隊の訓練の様子をコンクールするという番組。いや、何でこんなのがやっているチャンネルに合わせたかと言うと、そのチャンネル（J:COMチャンネルという）で深夜の1時から朝の7時まで「ジャパネットチャンネル」という、ジャパネットの通販番組を延々放送しているのだ。で朝の7時過ぎまでマインスィーパーは続いていたから、その後の番組も見た、ということ。その消防訓練は何が面白いのかというと、実況している人が面白くて面白くて。行列で入ってきて、ポケットから業務用の手帳を取り出して、それを上司が見て、胸ポケットにしまう、というのが面白いのだ。平均年齢の一番若いチームがやっている時に「おーっとこれは、若さあふれる手帳だー！」と。酔っ払っていたせいもあったが、とにかく笑い転げていた。そんなこんなで朝9時過ぎまで起きていたのだ。

でその後寝て、野球の途中で目覚める。ようやく3タテを免れて勝利。何とか借金1で抑えた。で Tigers が勝って、Carp が負けて、2位 Tigers、3位 Baystars、4位 Carp という状態に。1位 Giants と Tigers の差が6.5、Tigers と Baystars の差が1、Baystars と Carp の差が0.5という状態。まだまだ分からない。真剣に応援しよう。

で野球が終わる頃にはもう眠くなっていたので、ちょっと横に成ったら、そのまま明け方の4時くらいまで寝てしまった。もう睡眠は十分だ、ということでそこから起き続けている。大相撲のダイジェストが丁度始まる頃なので、それを見る。その後「くりぃむクイズミラクル9」の3時間スペシャルを見た。こんな風に時間がある時でないと中々見ないからね。昨日の「プロ野球ニュース」の再放送を見るなど、色々やってもう12時過ぎ。シャワーを浴びてから出勤。

今日は「数理科学特論2」。p 進整数環を Z/pⁿZ の射影極限として定義したものが、前に定義した Q の完備化の付値環というして定義したものが位相まで込めて同型になることを示した。それで、まだ講義は丸々2回半ある状況なので、仕方ないので射影極限をもう少し詳しくやることにした。来週は無限次元ガロア理論。ここに射影極限が出てくるからね。profinite 群であることと、コンパクトで完全不連結なハウスドルフな位相群であることが同値であるかはやるかどうか未定。まあ来週で無限次元ガロア理論が終わればいいでしょう。どうしても余ったら、最後は PARI/GP や SageMath の使い方でも教えよう。それを使ってレポートの問題を解いてもいいぞね、ということにしよう。ソフトウェアの使い方を覚えただけで十分合格。整数論を専門にしている学生が1人もいない中でやったんだ。採点基準は甘めにするということで。

講義終了後直帰。相撲を途中から見て、6時から野球。月曜日に野球があるのは珍しいので、うっかり忘れそうになった。9連戦や、言うてたもんな。でスタートからいきなり4連打。が、4連打で1点しか取れない。外野に打球は行ってるんだが、野手が前進すれば取れるような当たりばかりで、進塁は一つずつ。うーん、効率悪い。その後犠牲フライでもう1点取ったが、得点力不足は目を覆うものがある。その後相手に4安打で4点という、非常に効率のよい点の取り方をされただけに、余計悔しい。まあまた明日だ。頑張ってもらおう。

今日は行きに車のメーターが待望の「9999km」と「10000km」を迎えた。どちらもちゃんと見た。8888km は見たんだが、9801を見逃したのがちょっと悔しかったのでよかった。次は11111だな。12345も見たいぞ。14641もね。え、最後の奴が何だか分からない？二項定理を勉強してください。

大学院推薦入試の面接のため、土曜なのに大学へ

今日は1時から大学院推薦入試の面接。この時期は教育実習の学生がいるので、土曜開催というわけ。ちゃんと11時くらいに起きて遅刻しないで行けた。面接を受ける学生は14人。慣れないスーツ姿で来ている学生が多かったが、別に正装などせんでええんやで。まあそうは言っても、小生も大学院入試の時はスーツを着て行ったけな。で13人は無事終了。最後の1人はどうしても教育実習から抜けて滋賀に来るわけにいいかなかったようで、実家と skype でつないで面接。中々設定がうまくいかず、しばし時間のロス。つながった後は無事に面接試験が出来て、無事終了。3時半ちょい前。その後形式的な判定会議と、学位審議委員会。こちらも形式的で、あっさり終了。4時過ぎに開放される。

帰ってきてから会議の最中に内職していた内容をコンピューターでチェックした後、ちょっとコンビニまで買出し。6時から野球。今日はというと、非常にくだらない試合だった。エラーで先制され、先発が4回で降板。その後中継ぎが無駄な点を与え、4－0。8回にロペス、筒香の2者連続ソロホームラン、9回に伊藤光がソロホームランと、形だけ見れば4－3だが、そんなランナー無しの1発攻勢なんぞでファンは騙されないぞ！今日のは完敗。明日勝ってくれ。せめて3タテだけは阻止しないと。

今日勝って Carp が負けると、Tigers と並んで2位浮上だったのだが、負けてしまった。Carp が負けている…。このままでは2位浮上どころか4位転落。うーむ。まあいいや、とりあえず呑んできます。今週は珍しく週5日大学に行ったので、疲れた。来週はいつも通り3日。が、ちょっと出張があるので、また疲れるでしょう。講義の準備は済んだのかって？いや、それは、まあどうにかなる。Giants に一方的に負けて精神状態が不安定なので、とても数学が出来るモードではない。明日は勝ってくれ、頼む。そうしないと月曜の講義が…。まあいいです。呑んできます。じゃ！

チャンスでソト、筒香が連続三振

今日は野球を見る以外のことはしていない。野球はと言うと、…。まあ多くは言うまい。チャンスに主軸が連続三振するチームと、タイムリーに3ランホームランを打てたチームの差が出た。また借金1。Carp は Tigers に負けて、ついに貯金が底をついた模様。貯金を持っているのは Giants だけとか。うむ、明日と明後日は勝ってもらわないと。Carp も頑張れ。

明日は土曜にも関わらず仕事。遅刻することが出来ないので、今日は早目に寝る。と書いて夜更かしばかりしているが、今日こそは寝る。今すぐ寝てもいいくらい。まあもうちょっと起きてるかな。

2位 Carp に0.5差！

大抵水曜の晩は激呑みなんだが、今日木曜日に珍しく仕事があったので、昨日の晩は呑まずに寝た。が、いつもの通り夜更かしをしてしまったので、起きたら11時半過ぎ。1時からの仕事なので、あまり時間は無く、今日も飯抜きで出勤。生協でサンドイッチを買って、食べているうちに1時に成ってしまった。1分くらい経ったら電話が鳴った。どうやら呼び出しのようなので、急いで7階へ向かう。が、7階に行ったら、まだ物理の先生が来ていないようで、始まっていなかった。よかった。今日の仕事は「学科別就職懇談会」というやつで、数理科学科と物理科学科の去年の就職状況やら何やらを説明してもらう会。物理の先生はえらく熱心だったが、小生はと言うとずーっと沈黙。小生は物理の先生や他の数学の先生と違って学生の自主性に任せている。と言うと聞こえはいいが、ようは学生の就職にはあまり興味が無い、ということ。決まったかどうかすら聞いたことが無い。学生の就職支援は基本キャリアオフィス任せである。まあ就職委員という立場上、企業から説明会の案内が届けば張り出すよう、事務の人にお願いするくらいはしている。それでいいんでない？そうではない、もっと熱心にやれ、という人は言ってきてください。まあ右から左でしょうけど。

会議終了後は今日も講義の準備。大分分かってきた。が、まだ完全理解とはいかない。もう少し粘ろう。5時15分過ぎくらいに職場を発つ。

で野球に間に合うはずだったのだが、ガソリンがもうすぐ底を付く、というインジケータが点灯したので、ガソリンスタンドへ。40Lのタンクだが、今日給油したのは31Lくらい。まだ大分余裕があるような気がするが、説明書に寄れば5Lは残ってないとエンジンがかからないそうなので、まあいいタイミングでしょう。で野球開始から2分くらい経って住処着。今日も vs. Tigers。昨日は惜しくも負けたので、今日はどうにかしたいところ。が、1回表に早速1点取られる。が、裏にすぐ取り返すと、昨日と似た展開。がすぐに追いつかれてまた2点取り返すと、今日はいいかんじ。その後着々と加点を繰り返す。戸柱の1号ホームランなど。先発の大貫は5回しか持たなかったのだが、2番手の石田が3イニング無失点と、抜群のリリーフを見せる。で8回裏に代打中井の2ランホームランで、勝利は確実に。5点差付いているので、9回表は康晃でなく国吉。その国吉も3人で打ち取るという好投で、めでたく勝利。横浜スタジアムでの Tigers 3連戦の勝ち越しは4年ぶりとか。うーむ、去年までは Tigers に相当やられていたんだな。今年こそはやり返して、上位進出を狙いましょう。Carp はまた負けて貯金は1。うむ、2位浮上が見えてきたのか。明日からは Giants 戦。叩きましょう。首位が見えるところまで行ってやりましょう。行くぞ、Baystars！

野球終了後 NHK のニュースを見た。中にとんでもない話題が。センター試験に代わる新テストの英語の採点に大学生アルバイトを参加させる！とんでもない。大学入試をなめてる。そんな馬鹿なことをするんだったら、新テストを破棄すべきだ。とにかく大学生アルバイトによる採点絶対反対！

1日で借金1に逆戻り

水曜日はどうも起きられない。今日も10時半、11時の目覚ましをスルーして、11時30分過ぎまで寝ていた。そこから飯抜きでシャワーを浴び出発。ウェストウィングの1階に着いたら1時を告げるチャイムが。が、幸いゼミの学生と同じエレベーターに乗り合わせたので、ぎりぎりセーフといった感じか。1時3分くらいからゼミ。今日は Z/(m) の単数群の話と、1次合同式の解の個数、オイラーの定理とフェルマーの小定理など。2時半過ぎに終了。

その後部屋で講義の準備。5時くらいまで一生懸命やった。どうやらどうにか成りそうな気がしてきたが、余分にやって損なことは無いので、明日以降も続けよう。

でコンビニで買い物をしてから帰宅。野球を最初から見る。今日は糸井のホームランで先制されるも、ソトのホームランで即追い付いて、その後2点取り3－1とリード。今日も勝てるか、と思ったらそうは問屋が卸さなかった。パットンがランナーを残して5連投のエスコバーに交代。さすがに5連投は辛かったか、2点取られて追い付かれる。延長へ。絶好のチャンスを何度か作るが、ことごとく潰して、そうこうしているうちに追い越される。延長11回裏も1アウト1塁3塁のチャンスを作るも、慣れないスクイズバントをやろうとして失敗。最後の代打佐野のフライは抜けそうかという当たりだったのだが、ぎりぎり取られてゲームセット。1日で借金1に逆戻り。まあいいや、明日頑張ってもらおう。明後日から Giants 3連戦だそうなので、勢いを持って東京ドームに乗り込みましょう。それにそろそろ Giants を止めないと。今日は超ラッキーな相手のミスでサヨナラ勝ちをしたそうだ。Carp は相変わらず負けてるし。もうこうなったら自力で引き摺り下ろすしかないのだ。頑張れ Baystars！

というところで書き終えて寝ようか、と思ったんだが、もうちょっと書きたくなった。今日の話題は Swallows の村上。今日ホームランを打って20号。高卒2年目の20号はゴジラ松井以来20年ぶりとか。打点は61で、2位ソトに8点差。凄いね。どうせならこのまま打点王を取ってもらおうか。高卒2年目の打点王となると誰以来なんだろう？そこはまだ情報が無い。知っている人は教えてたもれ。

4月19日以来の5割で、単独3位浮上！

今日はちゃんと8時半に起きた。で講義室にちゃんと10時40分に到着。「代数学I」はそんなに出席者は減っていない。というか元から少ない。登録が最初から50名程度。1学年100人くらいいるんだが…。まあいいや。今日は Z[X] が U.F.D. であるが P.I.D. でないことを示し、その後代数的整数を定義して、√2 が無理数であることの別証明、cos(2π/n)、sin(2π/n) が有理数である n の決定など。中途半端に時間が残りそうなので、複素数 z に対しては cos(z) の絶対値が1を越えることもあるなどの無駄話をして終了。

昼飯をはさんで卒研1。今日は合同ゼータ関数の計算例を一つやって、代数体の話に突入。類数の有限性が示せるか微妙だったが、時間切れだった。教授会が無ければ多少延長してもいいんだが、今日は無理、ということで来週に回す。

教授会の最中は内職。藤崎先生の「体と Galois 理論 III」を持ち込んでお勉強。何やら書き込みが沢山してある。昔岩澤先生の「局所類体論」を読む時必要になって必死に読んだっけな。当時理解していたとはとても思えない。まあいいや、もう1回真剣に読もう。

教授会は5時20分くらいに終了。その後急いで帰る。野球を最初から見られるのかも知れないので。で無事5時59分にテレビを付けた。今日から vs. Tigers。借金1で3位に並んでいるので、この3連戦は絶対勝ち越さねばならぬ。Tigers は苦手にしているんだが、そんなことは言っていられない。絶対勝つ。ということで今日は上茶谷。打線は2番に佐野を入れて、ソトは5番。で佐野が先制ホームラン（ライトウィング席に飛び込む特大弾！）と追加点となるタイムリー2ベース。うむ、ラミレス采配ずばり的中だな。上茶谷を6回途中で引っ込めたが、その後中継ぎ陣がピシャリピシャリと抑えていく。8回には伊藤光が押し出し四球を選び、大和がタイムリーと2点追加。最後は康晃が閉めて、4月19日以来の5割。単独3位に浮上。Tigers は不調のようだから、ここは今までの憂さ晴らし、3タテといきましょう。ちょっと Giants が勝ち過ぎているんで、ここは頑張ってついていきましょう。そうすればオールスター後の逆転も夢ではない。98年の再来と行きましょう！

明日は卒研2。ゼミ室の予約が遅れて、変な部屋でやっている。が、未だに部屋が無くて困っている先生がいるようだ。卒研2は早目に終わっているので、その後なら空いてます、とメイルを出しておいた。後期は早目に部屋を押さえるのを忘れないようにしよう。

数理科学特論2の出席者は5名

月曜日は「数理科学特論2」。講義室に定時に行ったら、2人しかいない。うーむ。そこから1人来た。「あと1分待ってから始めよう」と宣言したらまた1人来た。で講義開始。今日は近傍系、基本近傍系を与えると、そこから unique に定まる位相が存在する話。A4の紙で3，4枚だから、60分くらいで終わるか、と思ったのだが、予想以上に時間を使い、85分掛った。今日のは字が多かったからな。Ostrowski の定理の証明なんかは結構 align* 環境で縦に書いた式が多かったので、紙数の割には時間を食わなかった。やはり字が多いと辛いな。喋って済ませばいいんだろうけど、やっぱり大事なことは書いてしまう。まあ「ノートが取りやすく、後で見直す時に迷うことがない」とさっき計算用紙に使った昔の授業アンケートに書いてあった。そういう意見があるから、とにかく何でも書くようになってしまうのだ。まあいいや。とりあえず来週やる分は出来てるから、再来週の分を早く勉強しないと。ただ来週今日より出席者が少なかったら、こっちの情熱が萎えそうで困る。まあ今の目標は「無限次ガロア理論」の理解だから、学生がいなくても構わない。そもそも最初から整数論専門の学生が一人もいない状況で講義をやってるわけだから、出席者なんか少なくてもいいや。

講義終了後直帰。部屋に荷物を置いて、靴を脱がずに買いだしに出る。靴脱ぐと動くのいやになるからね。晩飯と明日の朝飯と飲料を調達。ついでに定期で飲んでる野菜ジュースの代金の支払い。帰ってきて冷房を付けて、しばしニュースを見た。また西日本で大雨のようだ。京都、滋賀はそんなに降っていない。まあ雨の降るのは嫌だし、かと言って空梅雨も困るし。ほどほどにして下さいよ。お願いします。

明日は8時半起きなので、もう寝る。再来週の講義の準備は明日の教授会の最中にでもする。じゃ！