Nangoku

駒ちゃんから連絡が中々無いので、今日のwalking dietは無しか？と思って電話を掛けると、「今神戸に仕入れに行った帰りで、もうすぐ京都東に着く」とのことなので、しばし待つ。来た。昨晩は4人で。「いつか30人になる」と駒ちゃんは言っていたが、なるんでしょうかね？

で帰りにK佑が始めた「Nangoku」の前を通ったんだが、客が全然いなかった。「かわいそうやし、みんなで入ってあげようや」と言うわけにもいかず、通過。でいつもの解散場所でdiet軍団と別れた後、行ってあげた。場所を知らない人のために書いておく。「より道」の隣。1時間呑み放題歌い放題1500円、というのが売りらしい。最初のうちは小生は呑んでいるだけだったのだが、歌い始めたらもう止まらん。「チャカ省」の本領発揮で、浜田省吾の歌ばかり片っ端から歌った。何しろ浜田省吾の歌がどさっと入っているからね。確認した範囲では、知らない歌一曲、知ってるけど入ってない歌2曲。他に客もいないし、好きな歌を片っ端から。会計する時調べたら、何と28曲も歌っていたらしい。学生相手に大声で喋ってるだけあって、喉は強いよ。ただ結構とんでもない時間に成っていた。ということで、銀行に行く用が2件あるので、早いとこ寝た。これから銀行へ行く。

騒いだおかげで、憂さが吹っ飛んだ。月曜日の講義の支度もやらないといけない。本に書いてある通りやると、ほぼ全員落ちこぼれるのがわかったので、まず2×2で例をたっぷり見せてから本論に入る予定。さー、頑張るぞ。

魂が抜けている

昨日ちょっと嫌なことがあって、Baystarsも負けたことから、昨日の晩から力が入らない。今日の仕事も魂を抜かれそうな仕事だったので、ただ今大変憂鬱な気分。こんな日は楽しく酒でも呑んで憂さ晴らし、と行きたいところだが、今日はwalking dietの日。だから夜中まで呑めない。まあ楽しく話しながら歩けば、少しは気も晴れると思い、しばし勉強でもするか。しかし、職場でも魂が抜けていたせいか、(a,b)と(c,d)で張られる平行四辺形の面積が|ad-bc|であることが証明できなかった。講義中でなくてよかった。予行演習のため、とりあえず後でもう一度やってみる。

梅雨入り

今日は1コマしかやってないのにバカに疲れている。何だろう、と思ったら、昨日のwalking dietの後遺症か？昨日は2回目だったからか、先週より楽なような気がしたんだがなー。講義が終わったら直帰したかったのだが、ちょっと用があって職場に18時くらいまで残っていた。用は無くなったんだが。

さていよいよ梅雨入りである。じめっとした、嫌な季節が来てしまった。こういう時は汗をかくので消耗するが、そのせいかな？梅雨になったらwalking dietはどうしようか？と昨日話題に上がったんだが、結論は出なかった。どうするかはまた明後日相談しよう。

村井美樹が煙草を吸うシーン

昨日の晩から、駒ちゃんとのwalking dietが始まった。彼は四宮から、小生は住処で合流。一生懸命歩いた。体力がめちゃめちゃ落ちてるのを実感。別に痩せなくてもいいから、体力だけは復活させたい。こうなると4階での講義が無くなったのは大きいな。4階dietと3階diet、それにwalking dietを合わせれば大分体力は戻ると思うんだが。まあとにかく毘沙門堂の階段を楽に登れるまでは体力を戻したいな。

さて帰ってきて疲れたのでとっとと寝ようか、と思ったんだが、Fightersの大谷が一軍で投げた、ということでプロ野球ニュースを見た。それでもう寝ようか、と思ったんだが、相撲の結果が気に成ったので、引き続きNHK総合で大相撲の全取り組みを見る。寝たのは3時過ぎ。

で大分疲れていたので、すごくよく寝た。りそな銀行からの電話で起こされるまで、ほぼ12時間。で最後の方に夢を見た。で夢の中で、何故か小生が村井美樹と話していて、彼女が煙草に火をつけて吸い始めた。小生煙草を吸う女性はあまり好きではないので、ちょっとがっかりして目が覚めた。で録画してまだ見てない「相棒」を一話だけ見る。バーのママが経営者である夫を殺害した、と疑われている事件。法廷では被告人の取り調べの様子と、証人が申請するシーンが画像で流されていた。その証人の役が村井美樹だった。でいきなりカバンから煙草を取り出して吸い始めた。ガーン、夢と同じシーンではないか。まあ女優は色々な役をやらないといけない。彼女がやったことのある役も、令嬢、雑誌の編集所の社員、カメラマンの助手など。芸の幅を広げるためには吸えなきゃいけないんだろうな。私生活でパカパカと煙草を吹かす人でないといいが。まあ彼女は綺麗だし賢いし早稲田の後輩でもある。応援し続けよう。

UPECS発見！

そういえば、前にWindows98なんていう不安定なOSを使っていた時にUPECSを使ってたなー、と思い出して、廃棄手続きをする前にバックアップを取った外付けHDを穿り返してみた。すると、UPECSあった！よーし、UBASICをインストールして、使ってやろう！と張り切ってはみたのだが…。今職場で使っているパソコンは64bitのため、UBASICを走らすことができない。がっくし。64bitの機械でUBASICを走らす方法はあるのだが、どれも面倒くさい。まあ幸い住処のノートパソコンではUBASICが動くので、住処でいじればいいや、ということで妥協。

ということで住処へ帰って、早速いじってみる。そうそうこんな感じだったな、と思い出しながら色々。で「157は合同数である」ということを確かめるために、E：y²=x³-157²xのanalytic rankを計算させてみる。結果はすぐ出た。UPECSでは本来のrankは計算できないので、ちょっとheightの小さい点を探してみるか、と思ったが、出てこない。もちろんこれは予想できたこと。何たって面積157を持つ直角三角形の3辺がすごいえぐいからね。ではmwrankで、と思ったら、こっちは何かパラメーターを入れてやらないと、ある程度以上のheightを持つ点が出てこない。「よし、こんな時はGoogleだ！」というわけで「157 合同数」でググってみると、さすが皆一度はやってみるようで、すぐヒット。http://www.kaynet.or.jp/~kay/misc/congr.htmlに出ていたものを無断引用。こういうのはどっかにメモっておくと何かの時に使えるからね。Eの生成元は[-8831247480342855244749962265791220 : -167661624456834335404812111469782006 : 150201095200135518108761470235125]こんならしい。heightは54.600889294017036…。やっぱりえぐいね。対応する三角形は、この点を2倍しないと出てこないから、そら恐ろしいことになるわ。久々に楽しかった。ということで昨日はよく寝た。

名神集中工事はまだ続行中。今日は10時40分からゼミだから、早く寝て早めに住処を出よう、と思ったのだが、楽しかったし、ビールを500㏄で2缶くらいは呑んでもいいよね、ということで呑んだ。目が覚めたら9時30分。うむ、これからシャワー浴びて10時前に住処を離れるとなると、10時40分は結構微妙かな？と思ったんだが、名神は思いのほか混んでなかった。でやはり瀬田西で降りて職場着10時30分。おお、間に合った。ということで10時40分から14時過ぎまで楽しくゼミ。これからちょっと気の滅入ることがあるので、今晩もまた呑んでしまうかもしれないな。まあ明日はまた用事があるし、ちょっとだけね。

昨日のゼミにて

演習問題が2問。

（１）2¹⁰⁰⁰⁰を105で割った余りを求めよ。

オイラーの定理を使えば楽勝。

（２）2¹⁰⁰⁰⁰を100で割った余りを求めよ。

で学生が「オイラーの定理より…」とやったところで、別の学生からクレーム。「2と100は互いに素じゃないからオイラーの定理は使えませんよ。」う、なるほど。考えて作られてるなー。その後あーでもない、こーでもない、とやって、小生が「mod 4 と mod 25 分けたら？」と言ったところ、「いや、でもやっぱり2¹⁰⁰⁰⁰は4と互いに素じゃないですから…」。3人寄れば文殊の知恵。ここで学生が一言。「じゃあ最初から4で割っといたら？」う、なるほど。そうすればオイラーの定理が使えるじゃないですか。ということで無事解決。ずいぶん時間を食った。やれやれ。

ゼミも終わって、しばし研究室で仕事をした後、エポックへ。早めに寝るつもりだったが、BSで Fighters vs. Giants がやっていたので、試合終了まで観戦。無事Fightersの勝利。インターネットで調べたところ、Baystarsも勝ったようで、気持ちよく寝られる。…。と思ったら、夜中の2時頃用足しがしたくなり目が覚める。その後寝ようとするんだが、中々寝つけない。やっぱり寝る前に数学の本を読んだのが良くなかったか。とにかく寝ているのやら起きているのやらわからない状態で、フロントから電話。「10時でチェックアウトです」ということで追い出される。で10時半頃からエポックのロビーでしばし眠気覚まし。そんなこんなとしているうちに、エポックの1階のラーメン屋「麦笑」がオープンする時間。1回食べたかったので、行ってみる。とんこつラーメンで細麺と、博多で食べるラーメンのような感じ。おいしいが、ちょっと量が少ない。まあそこはさすがで、替え玉もあるので、今度は替え玉と一緒に頼もう。

お話戻って。ゼミで使っている本は整数論の人の書いた本、昨日エポックに持っていったのは代数幾何の人の書いた本。同じような内容を扱っている部分が多いのだが、ずいぶん感じが違う。整数論屋と代数幾何屋の違いがよく出ている。小生は一応整数論屋なんで、後者の書き方にはあまりなじめないし、デデキント環でないない環を例に使われてもさっぱりわからん。少し視野を広げるべく、夏休みは後者を勉強してみるか。

エポック立命21

BKCには、「エポック立命21」と言って、宿泊施設がある建物がある。他にはホールや会議室、琵琶湖ホテルのレストランなど。普段は前を通るだけなんだが、今日は泊まっている。そう、名神集中工事対策である。まあただこうやって万全の準備をすると役立たないもので、今朝は7時ちょっとに目が覚めた。これなら住処から通勤しても間に合うがな。まあいいんだけどね。住処だと色々気になるものが多くて、勉強がはかどらないが、ホテルの部屋のようにテレビしかないところでは案外勉強できる。というわけで、今日も早めにエポックに戻って、少し勉強してから寝る予定。

今年の4月からは、エポックは禁酒になったそうである。うんなら外行って呑んで…、というわけにはいかない。一番近い飲み屋は車でないと行けないほど遠い。まあ学内禁煙になったんだし、酒の方だけ野放しというわけにもいかんでしょう。というわけで数日自動的に禁酒。健康のためいいことです。

嘘を書いてしまった

寝る前に書いた blog に嘘があった。本家本元のGoldbach予想はまだ解決されていない。odd versionが解決された、というのが正しい情報らしい。だから、7=2+2+3もodd versionである。お騒がせして失礼いたしました。英語の読解力の無さと、驚いた時の小生のリアクションの大きさがわかろうというもの。まあいずれにせよ、すごい予想が証明された、というんだから、喜ばなくてはいけない。え、お前が証明できなかったのに悔しくないのかって？全然。小生は小生でまだ未解決の問題をいくつか抱えてるからね。もちろん「岩澤主予想」とか「谷山-志村予想」みたいに自分の名前を冠される問題ではないので、誰にも言わずにひっそり抱えているだけだが。とりあえず一つは夏休みにでも手を付けようか、と思っているんだが、さてどうでしょう？

コンピューターを使って証明するのは、そんなに悪いことか？

駒ちゃん（だから誰？）とwalking dietに必要な靴、ジャージなどを買ってきて、インドカレーを食べて帰宅。というと正確でない。今日は外で飲まないよう、コンビニエンスストアに寄って、朝食とビールを購入して帰宅。さて、講義の準備を…、などと思いつつ、つい時間を無駄に使ってしまった。

無駄、と言っても、テレビを見ていただけではない。ネットサーフィンを少々。なんだやっぱり時間を無駄に使ってるじゃないか、と思われそうだが、そうでもない。まず富山大の先生のページで、3項Goldbach予想（7以上の奇数は3つの素数の和である）が解決された、と見てびっくり。さらにNumber Theory Webのページを見たら、本家本元のGoldbash予想（4以上の偶数は2つの素数の和で表せる。例えば 4=2+2)
が証明された、という記事が出ていた。びっくり。どっちも証明の概略は、ある程度以上の奇数が和で表せることを証明、残った有限個はコンピューターに調べさせた、というもの。ただ単にコンピューターの性能がアップしたから出来た、というのではなく、その「ある程度」を改良して、コンピューターに乗せられるようにしたところがすごい。もしどっちも本当なら、近い未来にいわゆる「双子素数問題」も解決されるかもしれない。

さて本題。いわゆる「4色問題」が解決された時は、「有限個の例外を除いて確かめられた。残りの有限個はコンピューターで総当たりで証明」というのに、随分かみついた数学者がいた。要するに「そんな汚い証明でなく、もっと美しい証明を」という欲求らしい。「数学は美しい」とか、「数学の証明は美しくなくてはいけない」みたいなのは「夢見る少女」の戯言で、「♪夢見る少女じゃいられない」というのが本当の所。実際小生の論文も「可能性はあと138個。その138個をコンピューターに総当たりさせて」、とか、「後は楕円曲線の整数点を全て求めるだけ。でKASHにやらしたところこうだった」みたいなのばっかり。こんな「汚い」証明で大学でパーマネントな仕事をさせてもらえんるんだから、証明が「綺麗」である必要など全く無い。もちろん講義や学生のゼミ向けの本などは「美しい」ものばかりだが、実際はすっごいどろどろしてるんだよ。ブランコがホームランを打てるのは、内村がバントでランナーを進めたとか、次打者の中村紀洋が好調だから、と似ている（か？）。まあいずれにせよ、大事件である。論文に間違いがあるかないか、これからしばらく見ものである。

あなたのコンピューターは危険な状態です

最近色々メッセージが出力されてくる。「あなたのパソコンはクラッシュ寸前です」とか、「あなたのコンピューターは危険な状態です」などなど。それも決まってインターネットエクスプローラーを開いている時。うるさい！というわけで×印をクリックして消しても、またしばらくすると出てくる。ひどい奴になると、メッセージを消せない。頭にきて、Firefoxをインストールして、今使っているところ。変なメッセージも出ないし、快適だ。メイルはChromeで読んでるし、もうIEは捨てることにする。金輪際立ち上げまい。

スーパーサイエンスハイスクール、というのがあって、うちの付属校がそれになっている。何やら大学の講義を聴きに来たり、自分で研究（のおもちゃ）のようなものをして、発表しているとか。で今回は循環小数に興味を持っている学生がいて、主任のご指名でその学生の相手をすることになった。でさっき付属校の先生に会ってきた。いただいた資料を見てみると、色々実験したり、特別なケースは自分で証明してしまったりと、中々しっかりやっているようだ。これはこっちも気を締めてかからねばならんぞ、ということで少し勉強することにした。こっちの勉強のネタ本をここに書いてしまうと、当該の学生がうっかり検索してひっかかったらやだから書かない。とにかくとある本をちょっと読むことにした。幸い買ってある。ということで、前期は線形代数と楕円曲線のL関数、循環小数と3つばかり真剣に勉強しないといけない。野球を見る暇がない。そういえば知らないうちに相撲が始まっていた。…。酒飲む時間を削るのが一番かな。（睡眠時間は決して削らない。質の高い睡眠が健康に一番）

近江大橋最高！

今日は13時から。通勤時間帯から大分経っているので、名神はすいてるかも、という気もしたが、当初の予定通り近江大橋経由。国道161号と国道1号の分岐点が少々混んだだけで、あとはすいすい。最高！ただ一つだけへまをした。橋を渡ってちょっとで国道1号をまたぐはずが、いつまでたっても国道1号に出ない。久しぶりなんで、曲がるところを間違えた。大分遠回りをしてしまったことになる。が、幸い職場には12時45分頃とどうにか間に合った。これから帰るところ。明日は道を間違わないよう、山手幹線を通らないで、わざわざ150円払って近江大橋経由で帰ろう。

♪背中まで45分

今日から名神集中工事。今週は追い越し車線を、来週は走行車線を封鎖しての大工事。で10時40分からの講義に遅刻してはいけないので、かなり早めに出発。で京都東インターに着いたら「草津JCTまで15分」の表示。何だ、大したことないじゃないか、と思って入口へ向かうと、…。何しろインターを通るまで20分以上、インターを通ってから本線合流まで20分以上。本線は20km/h程度でちんたら運転。たまに60km/h出せて、おっ！と思ったらすぐ20km/hに逆戻り。もう「瀬田西」で降りてやる！と決めてしばし我慢。瀬田西インターから大学までは渋滞も何もなくあっという間。それでも住処から大学まで1時間半くらい掛かった。明日は名神絶対使わん！いつもの道は大津インターへ行く車とお付き合いすることに成るので、こちらも渋滞が予想される。ということで近江大橋経由で行こう。

講義には間に合ったものの、ちゃんと準備をしていなかったため、しどろもどろ。来週はちゃんと準備して行こう。

午後のゼミは、本来しゃべるはずの学生が来ておらず、仕方ないので一人が「じゃあ私がやります」ということで開始。準備してないのにアドリブでやるのか、と思ったら、何と準備してあるではないか。すごい、立派。一人の学生はゼミ終了後、「この証明面白いですね」と言ってきたりと、立派。小生もいわゆる「中国の剰余定理」の新しい証明を知ったし、気持ちよく終了。

帰りは名神を使わず帰宅。折角気持ちよく数学したのに、渋滞でストレスが復活したらたまらん。渋滞もなく気持ちよく帰宅。

ところで今日のタイトルだが、ただ単に「草津JCTまで15分」と見た時に思い出した沢田研二の歌のタイトルで、本文の内容とは一切関係ありません、念のため。

今日は5月6日である

5月6日の月曜日を休みにしてやるから、今日代わりをやれ、とのこと。だがどうしても外せない用があるから、午前中だけ休講登録。オンラインで。成績付けも学生の科目登録もとにかく何がなんでもオンライン化したがる。却って仕事を増やしているだけだし、トラブルも増えているし、いいことない。この前教授会で「成績訂正について」という議題が上がっていたが、何だと思ったら、エクセルに成績を入力したときにずれたというだけのことだった。絶対成績は手書きで出したる。

で午後の講義は無難に済まし、卒研は今日はしないそうなので、Joshin電機で買い物をして帰ってくる。その後自動車税の支払いなど野暮用をして、野球観戦中。ただ今 1－0 でリード中。さて今日はどうなる？

などとしばし。今日は1点差の負け。勝てる試合だったのにもったいないなー。5月に貯金、というのは6年ぶりだとか。5月もまだ 長いし、期待すべし。

多村やったぞ！

読 ５
横

…

読 ５
横 ３

おっ！

読 ５ ０ ０ ０ ０ ３ ２
横 ３ ０ ０ ０ ０ ０

…

読 ５ ０ ０ ０ ０ ３ ２
横 ３ ０ ０ ０ ０ ０ ６

お、7連打で6点。

読 ５ ０ ０ ０ ０ ３ ２ ０ ０
横 ３ ０ ０ ０ ０ ０ ６ ０

さーてどうなる。

読 ５ ０ ０ ０ ０ ３ ２ ０ ０
横 ３ ０ ０ ０ ０ ０ ６ ０ ３×

出たー！多村のサヨナラ3ラン。ということで今日は気持ちよく眠れそうである。

mwrank があった/UPECSが欲しい

少し前にパソコンがいかれた時、色々な手立てでいかれたパソコンのハードディスクの中身を全部吸い取っておいた。で新しいコンピューターにつないでみると、mwrankがあるではないか！これはもうけた。その後しばらく gp と mwrank と UBASIC をおもちゃにして遊ぶ。中々楽しめた。ただ、Ian Conellが作ったUPECSが手に入らない。これはUBASIC上で動く手軽な楕円曲線パッケージで、ずいぶんお世話になった。が、Conellのサーバーがいかれたためか、今はダウンロードできない。誰かUPECS持ってませんか？お持ちの方がいれば是非連絡ください。

7は合同数である（続）

GP を拾ってきた。で色々遊んだ。面積7の正三角形の有理三角形に対応する点は、(113569/14400,17631503/172800)。結構エグい。それはそうで、面積nの有理三角形に対応する点は、y²＝x³-n²x　の2倍点でなくてはならない。実際この点は(25,120)の2倍。この他にも諸々条件が必要で、詳しくはコブリッツ（上田、浜畑訳）「楕円曲線と保型形式」丸善出版、を参考にしてください。この書き込みを理解するためには楕円曲線の加法を知る必要があるが、それが何であるかを楽しみにして§1.2まで読めば十分。157を面積とする有理三角形の3辺はゴツイよー。これもコブリッツの本に出ている。（ザギエに寄るらしい。）

さて我がBaystarsは再び5割まで戻した。何度も書いている通り、大阪近鉄Buffalowsの最後の優勝は、前年最下位から。今年の箱根駅伝の日体大も、去年20校中19位だったところからの浮上。うん、まだ目はある。それに97年（2位）は、オールスター前は最下位、その後月間10の勝ち越しで一気に首位Swallowsに手をかけたのだった。（結果は石井一久にノーヒットノーランを食らって、そこからしおしおのぱー。しかし2位。）98年は6月まで5割前後をうろちょろしてたと思ったら、整数論サマースクールの間にあっという間に突き出てのダントツの日本一。今年も望みは捨てまへんでー。

祝・中村紀洋2000本安打

ついに出ました。中村紀洋の日本だけで2000本安打。アメリカで5本打ってきたそうだから、もう通算2000本安打は達成しているのだが、日本での通算2000本安打にはずいぶんこだわりがあったらしい。1本目はどでかいホームランだったが、2000本目はタイムリー2塁打。試合も3－4のビハインドから、紀のタイムリーも含めて連打連打で1イニング6得点。9－4で勝ち。いやー、いい一日だった。

一方谷繁はと言うと、こちらは今日はノーヒットで残り2本のまま。頑張ってください。

今日の夜のニュースのトップは、長嶋茂雄、松井秀喜の国民名誉賞受賞。で長嶋氏のスピーチを聞いていたが、実に痛々しい。脳梗塞で倒れたことがある人に、そんな人前でスピーチさせるなんて。一体 Giants の首脳は何を考えているんだか。まあ本人がやりたいと言ったからいいんだろうけど。やっぱり痛々しい。

7は合同数である

学生にゼミで読ませている本に、「7が合同数であることはオイラーが証明した」と書いてあった。こんなことが書いてあるくらいだから、対応する直角三角形は結構大きな数を3辺とする三角形なのか？と思ってしばしネットサーフィン。が、どこを見ても出ていない。仕方ないので UBASIC でプログラムを書いて探してみた。数秒で答えが出てきた。(35/12,24/5,337/60)。なるほど確かに手計算で探すのは大変そうだ。で y²＝x³－7²x のMordell-Weil群を求めてみよう、と思ったら、それを計算してくれるプログラムが手元にない。Cremonaのページへ行って mwrank をダウンロードしよう、としたら、「今は Sage に組み込まれているので、もう mwrank はページには載せない」というつれない言葉が書いてあった。じゃあプログラムを書いて、と思ったが面倒臭い。とりあえず無限位数の点を見付けて満足するか。ということでまた UBASIC でプログラム。二組出てきた。(25,±120)と(112/9,±980/27)が無限位数。rankは確か1だったから、どっちかが free-part の生成元で、片方はその2倍だろうか？それともどっちも生成元で、片方は他方に有限位数の点を足したものか？これもすぐ確かめられるが、やっぱり面倒くさいから後日やることにする。

それにしても、一応楕円曲線で何本も論文を書いている小生が、楕円曲線の計算をやってくれるソフトを一つも持っていない、というのはあまりに情けない。Magma買うか？まあ今回は見送りと言うことで。

などとやっているうちに Dragons vs. Baystars は終了。今日は4－0で負け。まあ幸いまだ最下位ではない。明日は勝つべし。

ゴールデンウィークは何を読もう

Jay 君のラザニアは目茶目茶うまかった。食べた人が皆一斉に「うまっ！」というくらい。お代わりを頼む人もいた。その後に誕生日の人がいるので、これまた Jay 君手作りのチョコレートケーキ。「下手な市販品よりうまいすよ」という声が出るくらい。山科には有名な「チーズケーキ ローヌ」という店があるんだが、そこの店主が「Jay 君、うちでバイトしない？」と言ったことがあるそうだ。皆さん、京都へお出での際は、是非 Jay 君の店へ行きましょう。

さて、その後早く帰ってくるつもりだったのだが、人生の大先輩に捕まり、ためになるお話をたくさん聞かされてきた。小生より20歳上の人が小生より20歳下の人を捕まえて、「やりたいことがあるなら突っ走れ！」などなど。小生も多少巻き込まれる。彼らが帰った後は、Jay 君と小生より20歳若い前述の人がダーツをやっていたので、観戦。閉店まで居座った。

で適当に寝た。さて木曜は講義がないので、今日から月曜まで5連休。実家に帰ろうかと思ったんだが、ちょっとあわただしいので、今回はパス。で有効に使うべく、読書でもするかと思い、職場から

黒川信重、小山信也「ABC予想入門」 PHP

を持って帰ってきたんだが、
、
飯高茂「体論、これはおもしろい」共立出版

も面白そうだ。さてどうすべ、と生協に寄ったら、

足立恒雄「フレーゲ・デデキント・ペアノを読む」日本評論社

を見付けてしまい購入。うーむ困ったな。Amazon から文庫本を1冊購入しているし、それも面白そうなんだよな。まあ結論はマインスイーパーにはまって、「新記録達成までやったる」がオチのような気もするが。

夢の続き

何やら夢の中で行列の問題を解き始める。ポスターに書いたり床に書いたりと、さながら「ガリレオ」の湯川先生。目が覚めてもまだ続き。ボーっとした状態なのでどうもうまくいかない。そんなこんなしているうちに、「お風呂が沸きました」との声が聞こえてきたので、風呂へ。今日のような寒い朝は、温かい風呂に入れる新居はありがたい。風呂から上がって冷静になってやったら、すぐ解けた。それはそうで、2×2行列の問題で、ただの高校数学。まあいいや、講義でやるとある定理が整域でないと成り立たない、という新しい例を作れたので。

で10時40分から院進学希望者とゼミをするので、職場へ向かう。前回時間切れで終わってしまったので、節の途中から。その後もう一節やって、「終わります」と言ってくるかと思ったら、何と次の節に突っ込むではないか。もう気合入りすぎ。ということで飯抜きで2時20分までゼミ。合同数と楕円曲線と保型形式を勉強させよう、という腹で始めたんだが、どうしてどうして。こちらの方が勉強させてもらっている。で「卒研配属希望調査票」というやつを数年前から書かせているのでそれを見ると、何と「フェルマーの最終定理にも好きであり、よって楕円曲線、保型形式等にも興味があります」と書いてあった。いい本を選んであげたな、うん。さらに妙に賢いと思ったら、2011年度、2012年度の西園寺育英奨学金の受給者であることがわかった。そら賢いわけだ。昨年度の代数の試験の答案も完璧と言ってよかったし、今年度は当たりを引いたな。うん。

その後部屋でYahoo!で野球観戦。3回で早くも3－0で負けている…。が見てるそばから3－2に成ったので、「うぉー、今日は見るぞー」ということで帰ることにする。昨日は“龍神”金城の決勝打を見損ねたので、今日は勝つところを見てやる！ということで住処に着いてテレビを付けたら、井手のヒットにブランコのホームラン！見てよかった。このまま勝て！、と思ったら、山口が打たれて延長戦へ。が、今日も龍神がやってくれた。サヨナラホームラン！9連戦を3勝6敗で乗り切ったとか。やれやれ、今日の最下位転落は無くなった。

その後演習問題作り。FTPでサーバーにあげて終わり。さーて、という所で Jay 君から電話。「ラザニア作ったから食べに来て」とのこと。今日は違う店に呑みに出るつもりだったのだが…。まあいいや、そっちはまた行こう。