無茶苦茶寝た

やはり一週間の無茶が祟ったか、訳の分からないくらい長時間寝た。深夜に寝て起きたら夕刻。何かまだ疲れているが、まあ今日は呑みます。横浜土産のハーバーを持って行かないと。風呂入ってから行く。

やることは色々あるが、録画したまま見てないものが大量にあるので、まず「ミラクル9」の3時間スペシャルを見た。米倉涼子は2時間でいなくなってしまった。舞台挨拶やら色々な番組に出るやらで超多忙なのだろう。なんたって「ドクターX」のファイナルだからね。内田有紀、勝村政信、田中圭もテレビに出まくってる。まあ映画は大ヒット間違いなしでしょう。勿論小生も見るつもり。最近よく映画館に行くな。浜田省吾の渚園でのライブの映画化とか、WBCのドキュメントとか。Baystars のことも映画に成るそうだが、京都と滋賀では上映が無い。梅田まで行かないといけないようだ。大阪行くの久し振りだな。いや、実家に帰った時に横浜の映画館に行けばいいのか。流石に横浜ではやるだろう。上大岡にも映画館が出来たそうだが、そこでやるなら有難い。調べてみよう。あ、大晦日に TVK（テレビ神奈川）で Baystars の特番をやるらしい。当然山科ではやらないから録画できないし、親父殿の部屋には録画出来る機器が無いから、兄者に頼まないといけないな。今度電話があったら言わないと。

さ、風呂だ。呑み行くぞ。

徹夜で Kummer の定理の修正を考えて、ゼミでは Hermite－Minkowski の定理の修正に手間取る

昨晩はその後ちゃんと Kummer の定理の証明を考えた。ちょっと成立するか怪しいところがあったが、そこは修正出来た。が、一箇所どうしても分からないところがあって、うんうん唸りながら粘ったが、どうしようもなくなってきた。で数日前に石田信「代数的整数論」（森北出版）を住処に持って帰ってきて、その証明を見返してみると、うまく理解出来ない証明とミックスして何とかなるような気がしてきた。で11時過ぎ（朝の）にどうにかなったと手応えを感じた。で TeX 化したいが時間が無い。1時から講義だし、2時40分からはゼミで、ちゃんと食事はしておかないとまずいので、弁当を買って食べる時間があるくらいに出掛ける。

1時から講義。全く寝てない状況でガロア理論をやるのは辛いかと思ったが、何年もやっているので、まあ大丈夫だった。今日は S₃ 拡大の例の続きと、4次巡回体、円分体のガロア群の決定など。来週は3次方程式と4次方程式がやれそう。来週はちゃんと寝る。

で2時40分からゼミだが、寝てないので講義よりこっちの方が心配。が、物凄く集中して聞けた。それに Hermite－Minkowski の定理（与えられた整数を判別式に持つ代数体は有限個しかないという定理）の証明が怪しくて、学生二人と小生でああでもないこうでもないと引っ掻き回して、何とか修正出来た。1時間以上議論したかな。で2時40分開始で5時30分過ぎの終了まで休憩無し。イデアル類には Minkowski bound 以下の整イデアルが入っていることまで示して、Minkowski の理論は終了。来週はイデアル類群の計算が出来る。上巻終わっちゃうな。まあ2章から始めたからね。疲れた。

さ、帰ろ、とはならない。一番高速道路が混む時間なので、居眠りしてブレーキが緩んで前の車にゴン、とか成ったらいけないので、渋滞が一段落付くまで Kummer の定理のメモを TeX 化しよう、と始めようとして、その前にメールを見てびっくり。新聞会社の速報だが、中山美穂が死んだ、というニュース。信じ難い。暫く情報収集に時間を使ってしまった。うーん。まあ悲しんでても仕方ないので、Kummer の定理。どうやら正しそうだ。来週の講義で話せるよう、もう少し整理する必要はあるが。何とかなってよかった。ちょっと Wiles に成った気分。いや、Wiles は自分で大問題を解決したと思ってギャップが見付かり、それの直しに時間を使ったのだから、今回の小生とは比べ物に成らないくらいのプレッシャーだったろう。まあ小生もプチ Wiles はやったことある。京大で行われる研究集会で喋れと足立先生に言われ、申し込んだ後にギャップが見付かってしまったのだ。その時は必死だったな。その時の解決方法を考え続けて、未だに何かやってるから、まああれが小生が「数学者」と名乗っても恥ずかしくない始まりだったかな、という気はする。テストで点数取るとか卒業研究でテキストの証明を理解するのとか、今考えると大したことではない。まあこの前書いた例えだと、学部は素振りをしている段階でしょう。修士に入ってようやくピッチャーの投げる球を打ち返す練習をしているくらい。試合出来るのは博士課程に上がってからかな。だから大半の人は一軍の試合に出る前に数学と関係無い仕事に就いてしまうのだが。頑張れ若者。

8時過ぎに職場を後にして、渋滞は無く眠くもならずに無事帰宅。長い一日だった。で「報道ステーション」の時間に成ったが、トップニュースが中山美穂の話題。死因はヒートショックか溺死だろうと。まだ捜査中のようだ。小生より2歳下だが、これくらいの年回りだと危ないな。今の所に引っ越してきてよかったことの一つは、風呂暖房があること。前の所ではシャワーを出しっ放しにして湯気を出してないと寒くてやってられなかった。ずっと前の所に住んでたら小生も死んでたかもしれないな。気を付けよう。さて、月曜日から暫くは中山美穂のCDを聞きながら通勤するとしよう。大学生の頃色々気持ちが荒んでて、そういう時に穏やかな気持ちに成ろうと中山美穂のバラードコレクションをよく聞いていた。テレビで流れていたが、あの歌はもう36年も前なのか、とビックリ。それはそうで小生が大学3年の頃のことだからもうそれくらいだな。冷静に成るとビックリするが、もうすぐ高校を卒業して40年経ってしまう。うーん。

今「探偵！ナイトスクープ」をやってるが、最後の話題が数学の話。「超難問」と言ってるが、まあ公務員試験の問題だからね。数学者の仕事は一つことを物凄い時間考えること。学生が2ページくらいの証明を「物凄く長い」とか「くそ長い」みたいなことを言うが、大したことないよ。Wiles は7年考えたんだからね。博士課程行ってまで数学やりたいんだったら、もっと気合が無いと。さっき Twitter を見てたら、「研究するようになって基礎勉強や例が大事なことがよく分かりました」と書いてる人がいた。そうなんですよ。去年の学生の一人が例を殆ど飛ばしていたが、いけませんよ。まあ留学生だったから、細かいニュアンスを伝えるのが難しいので言わずにおいたが。いまのどのゼミの学生も例を丹念にやるので、いいでしょう。

さ、今日はちゃんと寝るぞ。

「数学展望」1回目は無事終了

昨晩も結構な時間まで起きていた。昨日書いた通り悉く証明出来ないので、職場から持ってきた石田信「代数的整数論」（森北出版）を開いてみたが、やっぱり証明方法が違う。まあ参考に成るかも、と読んでみたが、どうしても一箇所分からないことがあって、そこで数時間足踏み。ようやく分かった。でもう寝ないとまずい時間に成っていたので寝た。

で今日は起きたら昼過ぎ。ぎゃ！急いで出掛ける。ゼミには10分程度遅刻。いけないな。食事をする時間が無いので、1階でパンを一個買って、ゼミ中にコーヒーで流し込んで、さて。今日は虚二次体の整数環での素イデアル分解の一意性とか、素数の生成する単項イデアルがどう分解するかをルジャンドル記号の値と関連付けたりとか。二次体に限定すると易しい。来週はイデアル類群をやることになるようだ。大分難しくなってきた。4時くらいに終了。

昨日書いた通り今日は「数学展望」の出番。F204教室にパソコンを持って出向く。部屋には一人しかいなかった。前の時間に講義があるのだろうか？4時15分くらいに大量に現れた。今日は素因数分解の一意性が成り立たない環の歩き方について。素因数分解の一意性が成り立たない環（環という言葉は出さなかったが）くらい無限個すぐ作ってあげるよ、と言っておく。ちょっと失敗だったのは、一意性が成り立つ環を無限個作る方が難しいことを言い忘れたこと。まあいいです。で早く終わり過ぎた。まあ訳の分からない話を延々聞かされても嫌だろうからいいでしょう。来週も小生の番なのだが、実は小生が2週間やるように成ったのは割と最近。教務委員をやっている時に学外研究で講義をやらない人の代わりを見付けるのが面倒臭いというか依頼するのが面倒というかなので、ええい、2回やってしまえ、としたわけ。まあ折角やるんだからと思って、Tikz で色々絵を描きたいので、大分勉強した。曲線と直線の交点（高校では共有点と言うようだが）を求めて、そこを通る直線をまた引いて、とかまで Tikz で計算出来るようになった。Tikz のことを書いた本があるようなので、買おうと思って、また忘れてきた。まあいいです。

その後個研室に戻って線形代数。こっちも難しくなってきた。凄く大変な例があるのだが、これをやろうかどうしようかというのが考えどころ。まだ表現行列をやってない。基底変換とか対角化とかやらないといけないのに。内積出来るの？と心配に成ってきた。で色々やって、いつもの通り9時くらいまでいた。

大分寒くなってきた。車に乗って気温を見ると7度。まあまだ凍結の心配は無いな。で寒いので、牛すき鍋膳だな、ということにする。吉野家かすき家か。が、狼川の吉野家の電気が消えてる。潰れたか？と思ったら改装工事だそうで、1月17日まで休むと書いてあった。最近2度ほど別の吉野家に行った時はどっちもタブレットで注文出来るように成っていたが、狼川の店は相変わらず口頭で頼まないといかなかったので、そのための工事だろう。ということで吉野家は駄目なので、すき家へ向かう。でちゃんと牛すき鍋膳。卵1個と卵2個を選べるが、後者にした。随分値段が違うが。前より肉が減った気がしたが、まあいいです。暖まった。今日は10時前だったので、深夜料金は必要無かった。

さっき思い出したが、今日は住処は停電があったのだ。色々日時を再設定しないといけないのでは？テレビもケーブルテレビのチューナーもガスもパソコンも時間は狂ってなかった。よかった。前は少なくともガスは日時を再設定しないといけなかったが。まあパソコンは AC アダプターをはずして持ち歩くことが出来るようにバッテリーがあるから大丈夫なのでしょう。よかった。

さて、また Kummer の定理を考えるか。火曜日の講義に間に合わせないといけないが、来週の月曜日は学生4人中2人が都合悪いのでゼミを無しにしたいと学生が言ってきた。まあそういうことならということで無しにした。なので月曜日は2時半に講義が終わった後たっぷり時間がある。そこで考える余裕が出来てよかった。いや、そこに持ち込む前に片付けたい。福岡の報告集の直しとか試験問題、レポート問題の作成とかやることが色々ある。もう1件ちょと面倒な依頼もあったが、こっちは1月8日締め切りなので、焦らなくていい。まあギリギリに出すと57歳に成ってしまうので、早目に済ませよう。さ、Kummer の定理だ。

年に一度の健康診断（義務）を受けてきた

昨晩は結局「相席食堂」が始まってしまったが、最後まで起きていられなかった。で銀行の人は11時に来るとメモしてあったので、それくらいに一旦起きたが、無理でもう一度寝た。約束すっぽかしてもいいや、と思って。が、銀行の人が訪ねてきたのは1時。寝惚けて約束したので、1時と11時を勘違いしていたか。寝巻で寝癖ボーボーだが構わないことにする。でちょっと手続きすることがあって、来週もう一度来ると言ってた。ウザい。

2時45分から健康診断なので、1時半くらいに職場へ向け出発。健康診断は面倒だが、辞令交付式の日に「健康診断は義務です」と言われた。今は予約制だが、昔は飛び込みでよくて、講義のスケジュールや起きた時間次第で適当に言ってた。で一回サボったら、予備日があるので受けてください、と言われて行ったことがあった。予約制だとありがたい。で問診票を記入して、2時45分丁度くらいに行ったら、「2時45分～3時」の紙が貼ってあった。そんなに厳密なのか？と思って待っていたら、3時受付の人が来たら待ち合わせの列じゃない所で待てと言われていた。厳密だ。で粛々と進んで、3時半ちょいには解放された。視力が悪くなってたのは多分今年はコンピューターに向かって根を詰めることが多かったせいだろう。体重が増えていたのはまあいいです。まだ80kgを割ってる。最高で89kgまで行ったことがあったから、まだいいです。

で昨日の講義の後始末を少しして4時半から会議。対面で参加するのは久々。講義の後始末が気に成っていたので、そっちが気に成ってあまり真面目に参加しなかった。まあいいでしょう。で後始末はうまくいかず、昨日成功したと思った証明はやっぱり間違っていた。で個研室で考えるも、うまくいったつもりのものが悉くこける。最後に「証明」したことは、成り立つわけがないのだ。諦めて9時半くらいに職場を後にした。

帰ってカップラーメンでもよかったが、まあすき家でカレーだな、ということにして向かう。10時を過ぎてたので、深夜料金を取られるなと思ったら案の定で、いつもより55円高かった。明日は気を付けよう。

講義の後始末をしたいが、考えてみたら昨日の資料を web に上げてなかったので、これからやる。明日は1時からゼミなので、今日は程々に寝る。他に急ぎでやらないといけないことはなかったかな？忘れないように気を付けないと。いつもの木曜日はゼミが終わった後用事が無いが、明日と来週は「数学展望」の出番。イレギュラーなことだから忘れないようにしないと。もう準備は出来てる。USB メモリーを持っていくのを忘れたら最悪なので、気を付けよう。職場に置いてあるノートパソコンに pdf ファイルをコピーしようと思って忘れていた。寝る前に USB メモリーを筆箱に入れて、鞄に入れよう。小学生の頃に寝る前に翌日の支度をさせられたな。小生は色々忘れることが多く、先生にも親にもよく怒られた。明日は怒られるでは済まないので、絶対にやろう。

講義で話す Kummer の定理の証明に大ギャップがあり、それを直すために半日以上考えて完徹

水曜日に健康診断を受けることに成ってるし、ちゃんとした生活をしておかないと、という目論見は崩れた。何故なら今日の院生向けの講義でやる話を寝る前に少し読んでおこうと思ったら、大ギャップを見付けてしまったので。Kummer の定理（素数 p の素イデアル分解が最小多項式 mod p の分解で分かるというあれ）の証明は大変なので、数年前までは証明のアイデアだけ話していたが、とある本にちょっと仮定がいるが、割と短い証明を見付けたのだが、R₁, R₂ を環、I₁, I₂ をそれぞれのイデアルで R₁/I₁, R₂/I₂ が同型なら R₁/I₁ⁿ と R₂/I₂ⁿ が同型、∀n＞0、ということが成り立つのを「明らかに」と書いてる。何も考えずに読んでいた証拠に、これに何も証明を付けていないが、証明が付くも何もこれは一般には嘘。例えば Z/2Z と Z[i]/(1＋i)Z は共に位数2の有限体なので同型。もちろんそうは言わなくても自然な埋め込み Z → Z[i] から同型写像 Z/2Z → Z[i]/(1＋i)Z[i] が引き起こされるのは容易に分かるが。が Z/4Z と Z[i]/((1＋i)Z[i])²＝Z[i]/2Z[i]は同型ではない。環として同型なら当然加法群として同型。が、前者は位数4の巡回群で後者はクライン四元群と同型。うむ。が R₂ が多項式環なのが効いてうまくいくのかも。もう一箇所不明な点もあって、そこを埋めるのにも大苦戦。「激レアさんを連れてきた。」を見ている最中に考え始めたが、決着したのは「大下容子ワイドスクランブル」の最中。そう、12時間くらい考えてた。勿論ぶっ通しではなく、飲み物を飲んだりマインスイーパーをしたり風呂に入ったり間食をとったりはしたが。でどうにかなったと思うので、TeX 化して、1時半くらいに住処を出て、2時ちょいに職場に着いて、プリントアウトして、2時40分から講義と、目茶目茶大変だった。で講義では結局 Kummer の定理の証明を話す時価は無かったが、まあいいです。定理の証明に必要な補題の証明も何か一箇所変な点があった。直して web に上げる、と約束しておいた。で証明は来週なので、またちょっと考える時間が出来た。で完徹状態で渋滞だと酷いことに成るので、講義終了後直帰した。

食事をした、とは書いたが、考えてみたら昼飯を食べてないぞ。パレードを見に行く前に湯沸かしポットの線を外しておいて、湯を沸かすのはそれ以来。ということで急いで沸かしてカップラーメンを食す。生き返った。その後ちょっと寝てまた起きた。上に書いたように明日は健康診断なので、今日はもう本格的に寝る。「相席食堂」とかどうでもいいわ。13時間でも14時間でも寝たるわ。あ、午前中に銀行の人が来るんだった。無視して寝続けようかな。先週缶瓶ゴミの日に出さないままにした袋があるから、それを出すこともしないと。あ、学生に目を通しておいてくれと言われたものがあったな。他にも福岡で話したのの報告集の直しがあるならしてください、というメールも来てた。前に書いたような気がするが、証明が幾らか簡単に出来る所があるが、直さなくていいやと思っていたが、今日届いた pdf ファイルを見ると、最後のページが文献一つで2行だけという何とも嫌な感じなので、証明を直してもページ数は変わらないし直そう、という気に成った。それもやらないと。何だか忙しくなってきたな。今週は面白そうな番組が幾つもあるが、ハードディスクに余裕が無いぞ、どうしよう、と思ってこの前見たら、「科捜研の女」のスペシャルが重複して録画されていたのが沢山あったので、消したら大丈夫に成ったので、録画するだけしておこうというモードに成ったので助かったが。あ、明日は会議があるっていう案内が来た。健康診断で職場に行くから、久し振りに対面参加しよう。ということでどんどん時間が無くなる。うぉー。とにかく今日は寝ます。

流行語大賞は「50－50」じゃなかった

データーベースが壊れていると昨日書いたが、何だか想像を超えている。こんな筈はない、と思って xyzzy の下の方のファイル名を見ると、どうやらバックアップとして作ってコピーしておいた方のディレクトリー（今の人はフォルダーと言った方が通じるか？）をいじっていたようだ。ホッとした。無駄な時間を使ったな。寝不足だったので、急いで横に成った。

で今朝は全然起きられず、時計を見ると12時を過ぎてる。やば！急いで出掛ける。講義室には数分遅れて到着。今日はまず線形写像が単射なのと核が自明なのが同値なのを示して、それから次元定理、次元が等しいベクトル空間の間の線形写像が単射なのと全射なのが同値（よって同型写像であることも同値）とか、同型なのと次元が等しいのが同値とか。表現行列をやれなかった。それどころか数ベクトル空間の場合は像の次元と核の次元が対応する行列の階数で分かるというのも出来なかった。今日で10週目だが、大丈夫か？

お分かりの通り飯抜きだったので、講義後食べた。まあ冷えた唐揚げ弁当だな、と思ったら、キッチンカーで旨そうなものを提供しているのがあったので、そこで頼む。サーロインステーキ丼1100円。旨かった。で個研室で講義の後始末をして、などとしてたらあっと言う間に4時を過ぎていた。時間の経つのは早い。

4時20分からゼミ。今日は実二次体の類数を連分数で求める話。いつもの通り突っ込みどころ満載。いつも思うんだが、A＝B∈C とか A＝ac＞0 とかは上手く説明しないとぐちゃぐちゃになる。この前は B∈C は全然自明じゃないが、A∈C は超自明だったので、B＝A∈C と書いて欲しいと思ったが、今日は A>0 と a>0 から c>0 従う、という話だったのに、A＝ac＞0 と書かれちゃうと何のことか分からなくなる。ということで、「A＝ac で、A＞0, a＞0 だから c＞0」と書き直させた。最初のように書いていると、書いた時はいいんだが、後で見返して、ん？、と成るのは必定。人間そんなに頭よくないよ。ということでウダウダと続け、7時25分くらいに終了。もうちょっとだ。

はま寿司で大切り中トロ100円を食べるべく、いつもより早目に職場を後にした。クーポン券があって、100円皿1枚無料なの使おう、と思って見たら、有効期限は11月29日。何だ。まあいいです。旨かったから。

どうも車のメーターのキリ番を見忘れる。今日も気付いて見たら9701kmだった。9800 は見なくてもいいから 9801 は見たい。昭和のパソコンマニアとしてはね。勿論 9999 も 10000 も見たいが。いずれにせよもう少しだ。忘れないようにしよう。

今日から新しい保険証が発行されなくなるそうだ。小生は随分前にマイナンバーカードは作っていて、少し前に医者に言われて保険証としても使っているのでいいけど。ただ多くの方が勘違いされているが、マイナンバーカードでない保険証が今日から使えなくなるのではないということ。従来の保険証を捨てちゃった人もいるらしい。情報はちゃんと仕入れないと。で「報道ステーション」でやっていたが、数年前の「マイナポイント」につられてカードを作った人が一斉に有効期限を迎える時期がくるそうだ。カードは10年に一回、電子証明書は5年に一回更新する必要がある。後者は数年前に区役所に行って更新してきた。で数年後に一気に28万人だかが更新するタイミングが来るとか。そうすると役所の人は大変だね。もっと時間を掛けて浸透させればよかったものを。よく ETC カードを引き合いに出されるが、休日どこまで行っても1000円キャンぺーで大分広まったとはいえ、まだ現金で払ってる人はそこそこいる。ふなごやのバイトの人も車に機械は付いてるが、まだカードを作ってないと言ってた。ETC 専用の料金所は大分増えてきた（近隣だと瀬田西と信楽）。時間を掛けて切り替えを薦めても切り替えない人はいるんだ。マイナンバーカードももう少しどうにか出来なかったか？

その後「流行語大賞」の話題をしていたが、野球関係者が選考委員に多いのか、前は「神ってる」とか「村神様」とか「ARE」とかあが大賞に成ったので、今年も「50－50」だろう、と思ったら、「ふてほど」らしい。何それ？と思ったが、どうも「不適切にもほどがある」というドラマのタイトルの省略形らしい。ふーん、とい感じ。前にも書いた気がするが、「村神様」が選ばれた年に、山之内すずだったと思うが「あたし野球見ーひんから、村神様とか言われてもピンときーひん」みたいなことを言ってたが、まあそれの逆パターンに小生が成ったわけだ。自分の知ってることをみんなが知ってると思ったら大間違い。そうそう、一つ思い出した。吹石一恵の紹介に「父親はあの近鉄の吹石徳一選手」だかなんか見て、いやいや、吹石徳一なんて誰が知ってるの？近鉄よ、と思った。小生は知ってた。勉強しながら野球の情報を仕入れるには、テレビよりラジオの方がよくて、よくニッポン放送「ショーアップナイター」を聞いていたが、「二番吹石の時に大石が盗塁」というのを飽きるほど聞かされた。だから知ってる。実家にいる時は眠くならないとプロ野球の選手名鑑をしょっちゅう見てたので、昔の野球選手はよく知ってる。最近も「週ベ」（週刊ベースボールのことをマニアはこう略す）の選手名鑑号は買うが、殆ど見ないで一年終わってしまうことが増えてきた。もう買わないかな。また2月に成ったら考えよう。

今日から師走

その後寝ないでちょっとだけ数学をしたり Facebook を見たり。前に Facebook で仕入れた情報だと、京浜急行の南改札に Baystars の選手の写真が掲示されている情報だったので、降りて見ようかと思ったら、今朝仕入れた情報だともうその写真群は無いという。何だ、ということでホテルをチェックアウトした後ホテルに一番近い地下鉄の9番改札から入り、新横浜を目指して地下鉄に乗った。新羽行の普通が丁度目の前で発車していったが、ということはすぐ快速が来るのかと思ったら案の定来た。で乗った後に気付いた。JR の関内駅は横浜スタジアムに一番近い駅なので、Baystars 一色に成っているという情報があったな。みなとみらい線の日本大通り駅も行けばよかった。もう引き返す元気が無かったので、いいことにした。土産は横浜銘菓のハーバーにしようと決めていて、新横浜駅の土産屋に無かったら駅ビルに行って探そう、と思っていたが、運良く新横浜駅で売ってた。幾つか味があったが、昔からあるやつを購入。で大抵昼飯は京都駅でカレーなのだが、折角だから崎陽軒のシウマイ（≠シュウマイ）弁当を買うことにした。「相棒」を見るつもりなので、ちゃちゃっと済ませてパソコンを開こう、と思って新幹線に乗ったら、何と隣の席に人がいた。もう。まあいいです。ゆっくり食べて、その後パソコンを開いて TeX 打ち。割合捗った。

で寝不足の上ちょっと近くをずっと見てて、紙で計算したりもしたから、ちょっと乗り物酔い。まあこういう時はオロナミン C を飲んでゲップ一発で治るので、購入しようとしてビックリ。オロナミン C って150円もするのね。一時ロイヤルポリスだか言う名前のちょっと高級な奴があって、それが150円で普通のやつは120円だったが。大学に通っている頃は100円だったな。何でも値上げされている。ウェストウィングの1階の自販機も、生茶140円、カフェオレ160円だったが、この前から生茶150円、カフェオレ170円と10円ずつ値上げされていた。ネットで見た情報だと、30年前はビッグマックは300円しなかったそうだが、今は490円らしい。サラリーマンの給料の中央値と退職金は目茶目茶下がってるようだし、世知辛いね。

昼2時くらいだと京都駅と山科駅の間の電車はすいてていい。隣の席に荷物を置いて、ゆっくり読書。で3時前には帰ってきた。その後続きの計算をしたりとか色々やって、気付くともう10時を過ぎていた。でその時ちょっと気付いたのだが、前に作ったデーターベースが一部壊れてる。パソコンを買い替えた時に移し間違えたか？仕方ないので記憶と google 先生に頼ったりで、大体復元出来た。馬鹿なことに時間を使った。まあいいです。

もう今年やることは無いな、と思って見たら、今週の水曜日に健康診断、12月5日と12日は「数学展望」の順番が回ってくる、テストの問題とレポートの問題を作らないといけなかったり、ここ数日で忘年会というかOB会みたいなのの企画が持ち上がったりと、色々やることあるな。あ、年賀状も書かないと。もう12月だもんな。考えてみれば、今年は1月に浜田省吾のライブに行けたし、最後は Baystars の日本シリーズ制覇と、いいことがあった。思い出深い1年に成った。数学も一生懸命やったしな。来年もいい年に成りますように。おっとまだ一箇月あるよ。