携帯電話を講義室に忘れてくる事件

今日は Neukirch のゼミからスタート。のはずが、10時40分に成っても学生が来ない。暫く待てど暮らせど音沙汰なしなので、昼飯を食べに行った。部屋に戻ってメールを見ても、何の連絡も無い。「ははー、寝坊したな」と思ったら案の定で、後で見たら侘びのメールが来ていた。まあ寝坊はよくあることなので、気にするな、と返事しておく。

その後暗号理論の講義。先週まで楕円曲線の基本的なことをみっちり教えたので、今日は楕円曲線暗号と、楕円曲線を用いた素因数分解など。聞いている雰囲気がしないので、もういいや、と切り上げる。最後に携帯電話にインストールされている「素数チェッカ」を見せて、ほら、楕円曲線を用いた因数分解が使われているでしょ、と見せて終了。悲劇はこの後待っていた。

今日は教授会が無いので、さっさと切り上げて住処へ戻ってきた。「大相撲幕内の全取り組み」を大分に行っている間見られなかったので、わざわざ録画しておいた。で3日分見終わったところで、ちょっと携帯電話いじりでもしよう、と思ったら見付からない。そういえば帰ってきてポケットから色々出したときに出した記憶がない。うむ、これは講義室に忘れてきたな、ということで、泣く泣く高速道路をかっとばして取りに行く。講義室に行ったら無い。うーむ、やっぱり住処にあるのかな、と思ったが、忘れ物はキャンパス管理室に届けられているはずだ、とそちらへ向かう。案の定届いていた。で「教員証はお持ちでしょうか？」と聞かれてはたと気付いた。持ってない。ということは職場まで免許証不携帯で運転してきたことになる。まあそれはともかく。「数理の加川先生のものと思われます」などという紙が貼ってあったし、ちゃんと加川だと名乗ったから信用してもらえる。やれやれと受け取って、再び高速道路を飛ばして帰ってくる。570円×2。高くついた忘れ物だった。

で自宅に戻ってパソコンを開いてメールを見たら、16時51分付けで、「先ほど情理の学生が『C509教室で携帯を拾得しました。恐らく一つ前の時限で授業をされていた先生のものと思われます。』とシルバーのiphoneを事務室に持参しました。」で始まるメールが届いていて、最後は「何度か個研に電話しましたがご不在のようですので、今からキャンパス事務室に届けておきます。当メールを確認したら引き取りにいっていただきますようお願いいたします」となっていた。住処を出る前にメールを見ておいたらよかった。まあ何にしても帰ってきて良かった。

前は東京に携帯電話を忘れてきたことがある。早稲田整数論セミナーに出席して皆と一頻り呑んだ後、まだ呑み足りなくて一人で「キリンcity」で呑んでいて、携帯電話をいじった後、机に置きっぱなしにして帰ってきたようだ。で幸いレシートを貰ってきてあったので、電話したところ「黒のiphoneが忘れ物でありました」と。どこにあるか確認するため電話したのが運がよく、「画面に『自宅』と出ています」と言われ「あ、それ私のです。間違いありません。送ってください。」と図々しく頼み、住所を言って送ってもらったのだった。あの時以来のちょんぼや。「携帯電話を忘れるとは、おろかな奴、ふっ」とか他人のことを笑っていたのだが、最早笑えない。今後は気をつけるとしよう。

ところで上の記述から明らかなように、最初に忘れた携帯電話と今使っているのは別物です。

筋肉痛

今日から平常営業。数学IVは次元定理や、同型なのと次元が等しいのが同値、というところで終わった。まだ来週やるところを見ていないが、恐らく表現行列に入るのでしょう。こうなると抽象的だったベクトル空間や線形写像が、ユークリッド空間と行列の話に出来て、楽になってくる。もう少し我慢してください。それにしても教室は完全にワントップ状態。一人だけ前のほうに座って真剣に聞いていて、他の学生は後ろの方に座っている。前に座っている学生は書き間違えの指摘をしてくれるくらい真面目に聞いている。うん、まあワントップでもやりがいはあるというもの。問題は一定数以上合格させる試験問題を作ることだな。

昼は天下一品で。50円割引券の使用期限が今月末なので。ついでに銀行を梯子するなど。

夕刻からゼミ。素イデアル分解の一意性や、素数が二次体でどう分解されるかなど。二次体だと議論が clear でよい。デデキントの判別定理とかああいう難しい議論をしなくて済む。二次体の arithmetic は諸事情により結構詳しいので、非常に楽な気持ちで聞けた。で本の間違いも見つけてしまった。「命題8.14」と書いてあるのが実は「命題8.13」だった。そもそも「命題8.14」というのは存在しない。ゼミ終了後著者へ報告。

来週からイデアル類群へ。学生は1人1セクションと決めてやっているようだが、イデアル類群のセクションをやる学生は気の毒だ。わかりづらい概念だし、有限性の証明は割りと難しいし、計算例が大量にある。1人でやるんだろうか？まあ来週は1セクションで終わりだな。早く関数体類似の章に入りたいんだけど。

お話戻って。大分ではまずホテル探しに一苦労。「大分大学前」の駅から寺井さんの部屋まで坂道を上り下りして一歩き。寺井さんの部屋は4階で、エレベーターはあるがちょっと不便なところのようなので階段で。呑んだ後はホテルへ戻るだけだが、2階の入り口は夜10時半から朝7時半まで閉鎖なので、1階昇ってまた降りて。これだけ歩いたので、筋肉痛。普段は全然歩かないから、この程度でもふくらはぎがパンパンに張っている。少し運動をまめにしないといけないか。とりあえず筋肉痛がおさまってから考えることにする。

研究打ち合わせ

朝5時頃目が覚める。昨日買っておいた飯を食べたりして時間を潰しているうちに2度寝。が、幸い寺井さんとの約束に間に合うように大分大学へ着。昼飯をはさんで、夕刻まで研究打ち合わせ。「これはパラメータ無しの楕円曲線の整数点問題になりそうだねー」といい感じで進んでいたんだが、「いやこれは重根持っちゃいますよ」、うまくいくと「やっぱり重根持つねー」と繰り返すことしばし。結局行き詰ったまま終了。まあ寺井さんに分析していただいた結果、小生の論文には相当無駄があったということ、そして決して自明な問題ではないということ。あのまますらすらと解かれていたらどうしよう、と思ったんだが、まあよかった。いや解かれた方がよかったかな、と複雑な気分。もっと技を増やして手が出るようにしないといけないな。まあ出張してきた甲斐があった。

終了後は寺井さんと大分駅前で晩飯。下世話な話から野球の話から、もちろん数学の話もと様々。11時30分頃まで。寺井さん、終電は大丈夫でしたか。

大分大学は中々の田舎。立命館に面接に行って最初に感じたのは、電車は1時間に4本、回りは畑だらけで、「うわー、こんなとこ住めねー。」だったのだが、大分大学はもっとすごい。時間帯に寄っては電車は1時間に一本、しかも1両編成のワンマン運転。「大分大学前」駅から大学の道すがらは何も無く、帰りは駅で20分待ち。3両編成のワンマン運転車が来た。まあそこそこの乗車率なれど、琵琶湖線には適わない。琵琶湖線は12両編成の電車が結構一杯になることがあるからね。今となっては駅と大学の間には食べどころ呑みどころが沢山。南草津は都会だ。これからも贅沢言わずに、せっせと大学へ通おう。（もう明日は講義だし。）

大分ナウ

寺井さんに教えを請うため、大分に来ている。資金は、「研究推進費科研費獲得型」と言って、科研費にはずれた人に大学が支給してくれる研究費。20万円。大分には一月半くらい前に来ているが、「大分への往復」という名目で申請しているので、その通りに使っている。今晩はとりあえず寝るだけ。明日を有効な一日にしよう。

で今日の相撲は、新幹線の中だったので見ることが出来ず、ちょっと携帯電話でチェックした。稀勢の里は3横綱撃破だったのだが、今日は何と平幕の栃ノ心に負けていた。うーん、横綱がどうとか言う話が出るといつもこけるんだよなー。豪栄道は日馬富士に負けて、横綱は完全消滅。残念。結局鶴竜、日馬富士のモンゴル横綱による優勝争いになってしまった。日本人横綱はいつ誕生するのやら。

プロ野球のベストナインが発表されていたが、大谷（Fighters）が投手とDHでのダブル受賞とか。うーん、何かどんどん伝説を作っていくな。来年は何をしてくれるのかもう早くも期待。

今日は暑かったが…

火曜日の午前中は Neukirch のゼミ。先週同様本もノートも見ないでやるので、ゆっくりしか進まないが、彼が理解しているのがよーくわかってよろしい。ただ院試で色々聞かれたりすると、知識の少なさ（要するに本のページ数の進んでなさ）が問題になるかもしれない、という気がするので、適当な時期にギアを上げるよう注文を出そうと思っている。何しろ2回で4ページ。ちょっとね。

昼飯は珍しく日替わりランチ。焼肉とエビフライだからね。ご馳走気分。

ということでうきうき（死語）して午後の講義へ。今日で楕円曲線の加法を定義できて、それによって楕円曲線 E が K 上定義されている時に K－有理点の全体 E(K) が群になることが証明できた。え、加法の結合法則の証明はどうしたかって？それは「ひどく難しい」として略。ただこれでは気が引けるので、C 上の場合は楕円関数によるパラメータ表示が出来、C の加法の結合法則が遺伝できて、E(C) では結合法則が成り立つことを説明。出席者2名はもう聞いていないようだったが、いいのだそれでも。講義はこっちの頭を整理する時間だと割り切ってやっているので、理解しないでもらって大いに結構。まあ1回生、3回生科目の場合はちょっと事情は違うが、それでも講義の時間だけで全部理解してもらおうなんて思ってない。あとで復習しないとたまらんぞ、ということを思い知ってもらうために、がーっと快速講義。新快速でないだけいいとしよう。で明日は祝日だが、快速講義が2コマ平常に行われる。ということで今日も酒抜きで早寝。

ちなみに今日は20度を越えたそうだが、明日は11度くらいまでしか上がらないらしい。今日は講義中も汗だーらだらで、講義終了後駐車場に行って車のドアを開けたら、もあーっと暑い。明日は寒くて震えるのか。たまらんな。最近は金もたまらんし、困ったもんだ。

To contain is to divide.

今日は正規の「数学IV」。線形写像のセクションに入った。でユークリッド空間の間の線形写像は行列で与えられる線形写像に他ならないとか、そういう話。定義は抽象的だが結論は具体的で単純に過ぎない、という数学の実例の一つ。楽しんでますか？付いてきてくださいよ。

で昼は回転寿司。例に寄って2400円ほど食べてしまう。…。ちょっと腹が苦しかった。

でその後は卒研ゼミ。こちらはいよいよ P.I.D. でない環を本格的に扱うところに入った。イデアルの積とかイデアルのノルムとか、J⊂I ⇔ I | J  などやって終了。ちょっと学生が理解を間違えているところがあって、そこを直し直しだったから、15分ばかり延長。が、大分すっきりしてくれたようで、今晩はよく眠れるでしょう。小生も明日のことを考えたらそろそろ寝ないと。明日もゼミと講義だからね。ではお休みなさい。

arctan

もう一言だけ。∫dx/(1+x² ）を arctanx になることを知っていて、それを入試の解答で使ったらどうします？ロピタルの定理は？