2018年10月31日水曜日

日本シリーズ第4戦

水曜日は卒業研究の日。毎週遅刻しているが、今日は間に合うくらいに起きた。よし、今日こそ、と思っていたんだが、また一寝入りしてしまって、今日も遅刻。うーん。まあいいや。で今日は超楕円関数体のイデアル論。ほぼ全て虚二次体の場合とパラレルなので、証明はがっつり略、という姿勢で学生が来ると思ったが、なんと全部証明を付けてきている。素晴らしい。先週までの調子だと来週には本が終わってしまう感じだったので、進まなかったのはありがたい。再来週は3回生がゼミの見学に来ると思うので、そこまで本を終わらせたくなかったので。まあでも、もうすぐ終わるのは間違いない。去年と同様高木貞治「初等整数論講義」の二次体の章でも読ませよう。でゼミ終了後は少し難しい話。数学の話ではない。まあ皆興味を持って聞いているようでよかった。その件で隣の部屋の先生からメイルが来ていた。よきように返事を書いて送っておく。

ゼミ終了後はまっすぐ帰ってきた。今日も日本シリーズ観戦。1回表に Carp の丸にヒットが出て、1塁ランナーの菊池が一気のホームインを狙うも、センターからの中継がばっちりはまって、ホームタッチアウト。うーん残念。その後 Hawks の上林にホームランを打たれたり、Carp の鈴木がホームランを打ったり、Hawks のデスパイネがホームランを打ったりと、空中戦。最後は4-1で Carp の負け。これで1勝2敗1引き分け。うむ、明日は Carp に頑張ってもらわないと。明日は多分最初の方は見られない。急いで帰ってくれば7時前には何とかなるので、1回からいきなり見せ場が来なければいいが。

日本シリーズが終わってから引き続き読売テレビを見ている。きんさんの娘が100歳になったとかで、面白いので見ている。小生100歳まで生きるとは思えないが、まあ多少は年寄りと言われるまでは生きたい。65歳までは毎年健康診断をしてくれるので、何とか定年までは生きられると信じたい。

2018年10月30日火曜日

白熱の日本シリーズ第3戦

どうも月曜の晩は夜更かししてしまう。そのために火曜日の起床がいつも遅くなる。今日もそうだった。まあ今日は夕刻から教授会がある以外の用事は無かったのでいいが。で4時ちょい前に4時半からの教授会を目指して、住処を出発。今日の教授会は、学部長選挙の1次投票で選ばれた10人の演説があるので、楽しみにしていた。で案の定皆さん異口同音に「私には入れないで下さい」との演説。「白い巨塔」とか「Doctors」なんかだと、選挙のためにこれでもかと根回しして、実弾攻撃も辞さず、という感じでやっていたし、早稲田でも学部長選挙は大々的に行われるんだが、うちのように理事会ががっちり権力を握っているところでは、学部長になるうまみが無い。用事が増えて研究どころでは無くなってしまうだろうから、やりたくないのも当然かな。まあもちろん小生もやりたくない。もっとも小生の場合は票が1票も入らないだろうから、心配はいらない。これからも無能っぷりを大々的にアピールしていこうと思っている。5時半頃終了。

教授会終了後は直帰。6時10分くらいに住処に到着。日本シリーズは6時半からなので、間に合った。で初回から観戦。序盤は先発投手の投げ合いも、中盤から点が入りだし、一度は 9-3 で Hawks リードというところまでいったんだが、Carp は鈴木のソロホームラン、安部の満塁ホームランで 9-8 まで追い上げる。9回もランナーを2人出して反撃も、最後は打ち取られて終了。白熱したいい試合だった。これで1勝1敗1引き分けと五分になった。明日も楽しみ。明日も最初から見られそう(学科会議が無い)なので、また一生懸命 Carp を応援しよう。

2018年10月29日月曜日

避難訓練

今日も月曜日。10時40分の「暗号理論」に間に合わせるべく8時半起きの予定だったが、例によって10時近くまで寝てしまった。朝飯抜きで職場へ飛んで行く。ちょっと遅れたくれいで済んだ。で今日は素数判定法や素因数分解法をいくつか紹介した。素数判定=素因数分解と思っているかもしれないが、素因数を一つも見付けなくても素数でないことはわかるんだよ、と言って、Wilson の定理を紹介する。が、Wilson の定理による非素数判定法は実用的でないので、Fermat テストを紹介。べき乗が速く計算できることはもう言ってあったので、Fermat テストがいかに素晴らしいかはわかってもらえたと思うが。

で12時から避難訓練。放送が入り、何やら「机の下へもぐれ」とか「鞄などで頭を守れ」とか放送が入るが、やる学生は1人もいない。まあそうだろうな、と思いつつ、次の段階「学生を第1グラウンドまで誘導」をやらなくてはいけない。学生に「ついておいで」と声を掛けたんだが、ついてきた学生は1人だけ。うん、まあそうかな。小生の科目の場合は今日の出席者は5名なので全員行っても大したことにはならないが、プリズムハウスの全教室の出席者が第1グラウンドに行くとなるとちょっとした騒ぎ。ものすごい数の学生が第1グラウンドへ向かっていた。こんなに成るんだったらみんな帰してもよかったな、と不謹慎なことを思ってしまった。結局のところ、避難訓練なんてものは一度痛い目を見ない限り真剣にはやらないんだよ、という見も蓋も無いことを思ってしまった。

で第1グラウンドまで来た、ということは隣の駐車場の目の前にいたことになるので、昼飯は外に食べに出る。「すき家」で「特鰻丼」を食べてきた。昔は教職員食堂に鰻があったんだが、値段が上がり過ぎたか生協では手が出ないようで、もう何年も前に無くなってしまった。この時期鰻を食べられる店と言ったら「すき家」くらいしか無い。満足。

で1時くらいに個研室に戻ってきた。食休みしつつメール読み。そしたら偉い先生からメールが来ていた。うむ、昔散々ご迷惑を掛けたし、また怒られるのか、と思って先生の部屋へ行ったところ、小生のことでなく、もっと大局的な話。こういうのは関係ないよう20年近く勤めてきたつもりだが、諸事情で関わる羽目になってしまった。中々平和な日々は訪れないなー。

などと色々やっているうちに2時半に成ってしまった。講義に行かねば。で「代数学II」をやる部屋に2時35分頃着いた。この前は土曜日だから出席者が少ない、と納得していたんだが、今日も少ない。早くも代数は諦めたか?今日は標数と分離性。標数はさらっと済んだ。分離性は来週まで掛る。去年までは「分離多項式」と「分離拡大」と2節に分けていたものを、今年から一つにした。それくれらいで分量的には丁度いい。まー、普通にいじるん分には既約で非分離な多項式とか非分離拡大とか出てこないから安心してください、という定理を出しておく。来週は「原始元定理」から。終了後はいつもの D 君が一つ質問に来たが、さくっと終わった。で帰途に着く。

帰宅後は、今日の講義で発見した typo を直し、そのまま講義ノートの修正へ。色々わけのわからないことが書いてある。本当にこんなに修正点があるのに、去年までやっていたんだろうか?まあいいや。特に問題は無かったわけだから。で参考のため色々な本を見ているわけだが、中島匠一「代数方程式とガロア理論」共立出版(共立叢書「現代数学の潮流」)が面白い。ものすごく細かいところを微に入り細にいり注釈がつけてある。この本は脚注を読むだけでも大分ためになるだろう。ということで学生さん、是非購入のご検討を。

2018年10月28日日曜日

日本シリーズ第2戦

今日は一日無為に過ごした。まあ昨日働いたし、よかでしょう。

6時半から日本シリーズを観戦。今日も Carp が初回から点を上げる。昨日はその後点が取れずに追いつかれたが、今日は着々と加点。結局 5-1 で Carp が勝利。目出度い。明日は試合無し。明後日から福岡で3連戦。本拠地で Hawks が持ち味を出して強さを示すか、それとも Carp がこのままいくのか?何にしても楽しみである。

今週は火曜日に教授会、木曜日が「数学展望」の順番で、月曜から木曜日まで毎日職場にいかないといけない。水曜日に会議が無いことを願うばかりだ。火、水、木と、3日続けて日本シリーズを最初から見られないのはいやだ。教授会が早く終わりますように。学科会議がありませんように。

2018年10月27日土曜日

白熱の日本シリーズ第1戦

今日は土曜日であるが月曜日である。ということで10時40分に間に合わせるべく8時半に起きるつもりだったが、アラームを止めて再び睡眠。9時のアラームも止めて再び睡眠。で最終的には10時ちょい前に目が覚めた。慌てて住処を飛び出る。もちろん朝食抜き。

で「暗号理論」の講義の部屋へ行ってみると、2人しかいない。いつもは10名近くいるんだが。やはり土曜日だからでしょう。途中で1人入ってきて、3人。うむ、今日はあんまり進まんとこ、と思って、デジタル署名の話と、RSA暗号に対する攻撃だけやって、45分で終了にした。まあいいでしょう。

今日は教職員食堂はお休み。久し振りに学食でも行こうか、それとも表に食べに出ようかと考えていたら、目の前に弁当屋がいる。唐揚げ弁当を買って、個研室に持って帰って食べた。早いとこ科研費の申請書類の修正をしたかったので、時間が欲しかったのだ。で弁当を食べた後 e-rad に login して、ちょこっと修正。その他「象の卵」の方の直しも少々。で事務に送ったが、考えてみれば今日は事務の人は来ていないはずだ。まあ月曜日まで先送りしてもどうせやらないだろうから、もういいです。

で2時40分から「代数学II」。いつもの通り部屋に着いた時は数名。でその後わんさと教室に入って来るんだが、やっぱり少ない。いつもの D 君もいない。「もう少し来るかもしれないから、少し待とう」と宣言して D 君を待つ。すると現れた。そのまま即始めると何となく露骨過ぎて嫌なので、さらに2分待つ。今日は正規拡大の話。どれを定義にするかによって難しさは変わるが、まあとにかく幾つもの条件が同値であることを示した。大して難しいことをやっていないんだが、初めてやるとよくわからないかも知れないので、「時間を掛けて理解してください」と言っておく。しかし明後日も月曜日だから、あまり時間は掛けられないかな。まあとりあえず標数と分離性で時間を要するので、その間に理解してくれればいいわ。

講義終了後は住処に直帰。昨日のプロ野球ニュースの「日本シリーズ予想スペシャル」を見て、日本シリーズ観戦開始。1回裏にいきなり Carp が2点先制。これはいいぞ、と思ったら、まさか菊池のエラーで5回に追い付かれる。その後どちらもチャンスは作るんだが、どちらもリリーフピッチャーがいいので点が入らない。でまさかの初戦から延長戦。去年までは日本シリーズは延長15回までやることになっていたんだが、今年から12回までにルールが変わった。でその12回までやりきって引き分け。疲れた。いい試合だった。今後どうなるかまったく見当が付かない。明日からも熱戦に期待。

しかし11時過ぎまで試合がやっていたから、11時からのプロ野球ニュースはどう対応したんだろうか?録画してあるので、後で見てみよう。

2018年10月26日金曜日

お袋の80回目の誕生日

今朝は7時前に目が覚めてしまった。勿体ないので、もうそのまま起きていることにした。で論文の直しなど色々やっているうちに昼になった。昼食を取ってトヨタへ昨日書いた件で出掛ける。1時間ほどで終了。帰ってきてから論文の直しの続き。大分いい感じに成ってきたが、やはり一度 native に見てもらわないと心配なので、近いうちに頼むことにする。

で先週と今週の水曜日の2話続きだった「相棒」をようやく見た。面白かった。そう来ますか?という感じの落ちだった。まあ俳優の顔ぶれから見て、こっちよりこっちが犯人かな?という感はあって、やっぱりその通りだったな、という感じ。来週も楽しみだ。

で今日は10月26日。何の日かというと、お袋の誕生日である。80回目。いやー年を取りましたなー。祝いの電話も何も掛けなかったけどいいやね。今までだって掛けたこと無いんだし。まずは目出度い。20年前の還暦の誕生日は、横浜 Baystars が日本一に成った日で、小生は仕事の関係でほとんど見なかった。住処に着いたらもう胴上げが始まっていた所。うー、見たかったよー。あ、お袋の誕生日の話どっか行ってもうたな。まあいいや。

20年前の10月26日と言うと、もう一つ大事な日である。岩澤健吉先生がお亡くなりなった日。もう20年か。あれから岩澤先生の本を全く読んでないし、岩澤理論の勉強もしていない。ししょぉが岩澤理論の本を刊行する予定だそうなので、楽しみにして待つとしよう。Washington の本を読んでもいいんだが、やはり日本語の方が助かる。ししょぉの明快な切れ味ある解説が楽しみだ。絶対買う。

2018年10月25日木曜日

プロ野球ドラフト会議

昨晩は何時まで呑んでいたか、例によって覚えていない。買い物をしているところを見ると、どうやらファミリーマートに寄ったらしいが、これも全く覚えていない。いかんね。まあ怪我して無いからいいんだけど。朝8時くらいに一旦目が覚めたところを見ると、どうやら早めに帰ってきたようだ。朝飯を食べてもう一寝入り。

2時過ぎに起きた。どうやら酒は抜けたようだし、運転しても問題なかろう、ということでトヨタに行ってきた。ちょっと駐車場でバックした時にぶつけてしまったので、その修理で。バンパーがちょっとずれていたので、はめ直してくれたが、どうもみっともないので、バンパーを変えてもらうことにした。もう少し高かったらそのままにしたんだが、想定より安かったので。ということで明日の昼過ぎにもう一度トヨタに行くことになった。やれやれ。

とやって帰ってきたら、4時過ぎ。やっぱり酔っていたか、携帯電話が行方不明。固定電話が未だにあるので、そこから携帯電話に電話を掛けてみる。マナーモードにしていたか、着信音が鳴らない。が、震えている音が聞こえてきた。そっちの方向に行ってみたら、ちゃんとあった。よかった。「スマホを落としただけなのに」という映画があるらしいが、その映画は大層恐いようだ。そんなことに成ったらいけないので、見付かってほっとした。一度東京に携帯電話を忘れてきたことがあるが、出てきたのが奇跡的と言ってよい。二度と携帯電話を忘れるものか、と思っていたので、忘れていなくて安堵した。

で5時からドラフト会議がスカイAで放送されているようだが、まあいいや見なくても、ということでしらんぷりをしていたんだが、昨日の「相棒」でも見ようかと思って、ブルーレイレコーダーの電源を入れた。すると何とスカイAが選局されているではないか。ということで、ドラフト会議を途中から見た。一番の盛り上がりは済んでいたので、割合静かに進んでいた感じだった。結局育成ドラフトの終わりまで見た。各チーム中々の補強が出来たようだ。Baystars は東洋大の上茶谷大河投手を1位指名。4年連続ドラフト1位で投手を取って、その補強がことごとく成功していたので、今度も期待しよう。今年駄目だった投手が来年復活して、東が二年目のジンクス無しに活躍して、上茶谷が活躍してくれれば来年は優勝が期待できる。来年こそ。

2018年10月24日水曜日

卒研ゼミはやっぱり遅刻

今日は宅配のお兄さんに起こされた。時計を見ると10時半くらい。朝飯を食べて、即出かけようかと思ったんだが、少し眠いので、横になってしまった。目が覚めると12時半を回っている。いかんぞ、また卒研遅刻だ!ということで急いで出かけるも、駐車場に着いたのが1時くらい。そこからウェストウィングまで10分くらい掛るから、やっぱり遅刻。しょうもな。

で卒研ゼミ開始。今日は多項式版平方剰余の相互法則の証明と、超楕円関数体の初歩的な話。来週は超楕円関数体の arithmetic をやって、もうそろそろ本が終わってしまう感じ。また高木貞治「初等整数論講義」の二次体の章を読ませて、最終回までつなごう。で、今日も3時30分くらいに終了。

その後部屋でごそごそと。5時半前に職場を出る。明日はトヨタに行く予定。本当は今日の帰りに寄りたかったんだが、水曜定休なので明日行く。ということ今日は激呑み開始をすこし早めて、起きる時間を早くするように設定したい。ですので、今から呑んできます。じゃ!

2018年10月23日火曜日

健康診断

何度も書いた通り、今日は健康診断。目が覚めたら4時間くらい寝ていなかったので、朝飯を食べてもう一寝入り。2時間くらい寝た。体調は万全という感じ。結果が楽しみだ。で2時10分頃健康診断の会場に到着。さくさくと進み、3時前には一通り済んだ。その後問診があるので、保健センターで待っていたら、存外早く呼ばれた。いつもは行く時間が悪いのか、保健センターで長いこと待たされるのが普通だったが、今日は5分くらいしか待たなかった。問診担当の先生はいつもの伊東先生。1年前より体重5kg、腹囲4cm減に喜んでくれた。「運動ですか?それとも食事?」と聞かれたが、「うーん、特に思い当たるところはないです」と返信。「酒を控えてるからですかね?」と再度聞かれたので、「まあそうですかね」と答えておく。酒は週2日だが、1回当たりの量が多いので、とても控えているとは言えない。まあそう納得してくださったのでOKかと。

で3時10分頃に個研室に戻る。インフルエンザの予防接種をしたので、学内で30分待機。1度も問題があったことは無いので、適当に帰ろう、と思っていたのだが、珍しく7時近くまで個研室にいた。野球と相撲が無いとこんなに時間があるのか、とちょっとびっくり。何をしていたかというと、学生向けの演習問題の改訂、ホームページのリンク切れを直すなど、あまり生産的ではなかった気がするが。まあいいや。こういうのは時間がある時でないと出来ない。で帰ろうか、というところで気が付いた。今週の土曜日は月曜日ですがな。ということで講義ノートを見ると、今度やるところは正規拡大。うーむ、ある意味一番難しいところだな。こんなことを土曜日にやってもいいんだろうか?まあいつもの D 君が来ていればいいか。D 君がいなかったらどうしよう?月曜日はもちろん月曜日なので、今週から来週にかけて、一番難しいところをさらっと通り過ぎてしまいそうだ。まあしゃあない。そういうスケジュールなんだし。気にしないことにしよう。

ということで今日は寝不足な上働いてきたので、寝るとしよう。1回くらい卒研を定時に始められるようにしよう。

2018年10月22日月曜日

「避難訓練」は今日でなくて来週

昨日はあんまりよく眠れなかった。で寝不足だから休講にしようか、と思ったんだが、さすがにそんなふざけた理由では休講に出来ない。仕方ないので職場に向けて出発。車を運転していても平気だったところを見ると、思ったより寝ているらしい。

で月曜日は「暗号理論」から。何やら「避難訓練」をせよ、とかいう風になっていて、うざい。で12時に放送がある、と言われていたので、講義は12時前に終了。全然放送が入らない。何故?と思って書類を見たら、「10月29日2限目」と書いてあった。何だ、1週間間違えたのか。学生には詫びて、今日は退散。

14時40分の講義まで時間があるので、明日の健康診断の内容を事前にチェック。色々記入しなくてはいけないものがある、と去年までの経験でわかっているので、健康診断の時間を短くするべく、ちゃんと記入しておく。まだ時間があったので、いつもの通り部屋掃除。例に寄って大量の紙ごみ。15年以上前の会議資料とか、そんなのばっかり。幸い最近の会議はペーパーレスに成っているので、もう紙ごみに悩まされることは無い、と思って頑張って掃除。

14時40分から「代数学II」。今日は cos(2π/n), sin(2π/n) がどんな n∈N でも Q 上代数的であることなど証明することから始め、代数拡大の上に代数拡大を乗せても代数的、及びその逆の「親亀こけたら皆こけた」を証明。その後いわゆる「根体」の存在を示して、代数的閉包の定義など。存在と一意性の証明はやっぱりやめた。あの証明を理解してもらうより、代数的閉包という謎なものが存在する、R に対しては とか、代数体に対しては \overline{Q}を思い浮かべれば十分、という方がいいでしょう。(どうせほとんど標数0の場合しか扱わないし。)ということで汗みどろになって講義終了。今日もよく働いた。

帰宅後は買い物をしてから、ちょっと片付け。こっちも職場に負けず散らかっているので。で7時からテレビ。何やらプロ野球の助っ人 best 25 を決める、とか言うので、見た。「バースが1位だろ」と番組が始まった瞬間に見当が付いてしまったが、その通りだった。つまらんかと言うとそうでもない。「あー、こんなんいたなー」とか、「そうか、こんなに凄い選手だったのか」など、楽しめた。番外編の中に近鉄の「ドン・マネー」がいたのはさすが。阪神の「グリーンウェル」も。千秋が「グリーンウェル」の顔が出た瞬間、露骨に嫌な顔をしていたのが印象的だった。

その後「報道ステーション」と「過ぎるTV」を見て、寝ることにした。明日は健康診断なんでね。お休みなさい。

2018年10月21日日曜日

Hawks 日本シリーズ進出

今日はまともな時間には起きられなかった。まあ休みだからいいでしょう。

パ・リーグの CS は見ない、と書いたが、今日は日本シリーズ進出チームが決まるかも知れないので見た。Hawks の強さが目立つ試合だった。Lions も何とか1点差までは詰めるんだが、そこで追いつききれない。ということで Hawks が日本シリーズ進出。Hawks は前に何度も下剋上されているが、今年はついにやり返した。前は CS を嫌いだったファンも、今回はちょっと好きになったでしょう。ということで日本シリーズは Carp vs. Hawks。面白そうな組み合わせだ。今年も時間の許す限り見よう。

昨日ブログを書いた後に、もう少し例の全単射が書いてある本を探してみたら、松坂和夫「代数系入門」岩波書店、にはっきり書いてあった。しかも証明付きで。この本は正直色々嫌いなところがあるんだが、初学者のためにはいい本かも知れん。初学者は「これは演習」とか「細部を詰めるのは演習とする」とか言われても、何をしていいかわからないだろう。やはり手本を見せるのが大事だと小生は昔から思っている。だから、講義もほとんど gap を残さないようにしているし、演習は答を配ってしまう。4回生くらいになったら、gap を埋めることは十分できると思うが、3回生以下の場合はあまり試練を与えてもね。「学ぶはまねぶ」とは寺田文行先生のお言葉だったと思うが、その通りだと思う。ということで学生さん、卒研が始まるまでにたっぷり「まねぶ」をしておいてください。

2018年10月20日土曜日

菅野先生の本

今日は久々にまともな時間に起きた。いや、小生にとってまとも、というだけで、皆さんから見ればまともな時間じゃ無いかもしれないが。詳細は例に寄って秘密。

朝飯を食べて(と言えるところがまともな証拠)、昨日の「プロ野球ニュース」を見てから、数学開始。いや、研究ではなくて講義ノートの直しなんだが。5次方程式の非可解性のところになると、結構群論が一杯出てくる。去年までは「代数学序論でやってる」と言って突き放していたんだが、どうもそれでは寝覚めが悪い。また、「代数学序論」でどこまでやってるかは、正直言って知らない。聞けばいいって?いや、まあそうなんだが、色々人間関係がありまして、はい。例に寄って詳細は秘密。で一つ当たり前みたいな命題の証明を数冊の本で見たんだが、どの本もキレが悪い。どれも「N が群 G の正規部分群の時、{G/N の部分群} と {Gの部分群、⊃N} の間に全単射があり、正規部分群には正規部分群が対応する」という事実を何の説明も無く使っている。それはいかんのではないか、というわけでその辺を全部講義ノートに書き散らそうとしたら、5次方程式よりも群論がはるかに重くなってしまい、さて、というところ。まあまだ先の方なんで、ゆっくりやりますわ。

で床屋に行ったんだが、切ってもらってる間もやっぱり上に書いた全単射のことが気になった。証明を付けてしまおうかそれとも演習にするか、悩ましいところ。世間のガロア理論の本ではどうやってるか見たくなって、床屋から帰ってきて職場へ車を飛ばした。で本を数冊眺めると、どうも中々これというものが見付からない。で explicit に書いてある本をやっと見つけた。菅野恒雄「代数学II 群・体」森北書店、がそれ。これは神保町の「明倫館書店」で何となく買ったんだが、見てみるといろんなことが書いてあって、中々よろしい(偉そうである)。射影的極限、位相群、無限次ガロア理論など。時間が出来たらじっくり読んでみよう、という本がまた一冊増えてしまった。あー、時間がもっと欲しい。野球がオフシーズンに成れば大分時間が出来るはず。その時を楽しみにして待とう。

因みに菅野先生の「恒雄」は「つねお」と読む。足立恒雄先生の場合は「のりお」と読む。これ非常に紛らわしいのは、足立先生の博士課程の時の指導教員が菅野先生だったりするわけで。そんなに紛らわしくも無いか。菅野先生は東日本大震災の津波に飲まれて亡くなったそうだ。巻き込まれるために東北に帰ったようなもんだとか。偉い人は早く亡くなるね。小生は長生きできそうだ。おっと、足立先生が偉くない人みたいだな。発言には気を付けよう。

2018年10月19日金曜日

Carp 3連勝で日本シリーズへ

寝る直前に数学をやってはいかん!ということを昨日は体現してしまった。1つの命題の証明がわからず、うんうん唸りながら証明を読み、わからない所があるから実例で考えたりと、何やかやで1時間くらいやってしまった。その後も1つ気になることがあったので、本をひっくり返したりと色々やって、また1時間。寝るのがどんどん遅くなる。寝床に入っても何かひっかかってて、眠くならない。お陰で相当な時間まで起きていた。(詳細は秘密。)酒?呑んでません。来週健康診断があるので、今は酒を控えている所。水曜日まで禁酒中。

というわけで、またわけの分からない生活をして、相当な時間まで寝ていた。(詳細は秘密。)で住処に食料の買い置きが一切無かったので、「なか卯」にカレーを食べに行く。ついでに買い物。食料と飲料を買い込んでくる。これで月曜まで何とかなる。

で野球観戦。今日も Carp vs. Giants を。昨日の勝ちで勢いづいた Carp が序盤から攻勢。Giants には5回に1点与えた以外は、ピッチャー陣が0点に抑える。見事な横綱相撲で、CS ファイナルステージは Carp の4勝0敗。一方的だった。いやー、早く終わってくれてよかった。1週間くらい余裕が出来た。これで見ないで溜まっている録画した番組を見るもよし、勉強するもよし、色々出来る。パ・リーグは見ないのかって?うーん、多分見ないな。これでパ・リーグまで見てたら廃人に成ってしまう。日本シリーズまで1週間、「プロ野球ニュース」で情報を集めるにとどめよう。

近々「卒研ガイダンス」がある。そのための資料の校正をしてくれ、と学科内メーリングリストで回ってきた。で他の人のを見ていると、えらく丁寧に、沢山書いてある。小生のはしょぼいなー。まあそれでも去年は13人も希望者がいた。(実際にはその後移籍希望をしてきた学生と、単位が足りないため登録できずという学生が2名いて、10人で卒研をやっている。)どんなに丁寧に書いても、集まるところには集まるんだよ。それは小生の力かというとそんなことは無くて、代数や整数論の力。去年の学生は石井卒研に大量に流れていったが、石井先生退官に伴い、代数の教員は2人だけ。石井研に大量に流れたことを考えれば、その分 T 教授と小生のところの人数が増えるのは当然。ということで、今年もどばっと来るでしょう。まあ謙遜して書いたが、T 教授も小生も代数の講義を楽しくやったお陰で学生が集まるといえばその通りだ。自信を持っていよう。

吉田信夫「具体例で親しむ高校数学からの 極限的数論入門」現代数学社、という本がある。部屋を掃除したら出て来た。眺めてみると何やら面白そうだ。時間が出来たら読もう。栗原将人「ガウスの数論世界をゆく 正多角形の作図から相互法則・数論幾何へ」数学書房、という本もあるが、こちらも読みたい。やはり時間が出来たら読もう。野球見てる暇があったら読めって?いやいや、野球は娯楽。数学は命がけでやるものだから、娯楽の分を削っても数学には回らない。野球を見ない分だけ他の娯楽(「相棒」など)が増えるのだ。だから時間を作って、じっくり読まないと。

2018年10月18日木曜日

Carp 早くも日本シリーズ出場に王手

昨晩は案の定激呑み。健康診断も近いことだし、今週はもう酒はやめよう。今日が健康診断の5日前らしく、保健センターからメイルが来た。火曜日の2時から。忘れないようにしよう。

で6時から野球観戦。今日も Carp vs. Giants を。ジョンソン、田口の息詰まる投げ合い。Giants が6回に1点先制するも、8回に Carp が新井タイムリー、菊池3ランホームランで大逆転。最後は中崎が冷や冷やながら抑えて、これで Carp が3勝0敗で日本シリーズ出場に王手。強いね。今年こそ Carp に日本一に成ってもらおう。うん。

野球が9時前に終わったので、9時から「リーガルV」を見た。面白かった。先週放送の初回を見逃したので、見ないつもりでいたんだが、つい。法廷ドラマは一発逆転が面白い。「白い巨塔」も柳原がキレて、財前教授を追い詰める辺りが一番面白い。まあ「リーガルV」は見ないようにしよう。「相棒」と「科捜研の女」を見るだけで十分忙しい。野球が終わるまでと相撲が始まった時には見るだけで時間が無くなってしまう。ドラマまで見ていたらそれだけで廃人同然に成ってしまう。気を付けよう。

2018年10月17日水曜日

33.4km/L で歴代3位

今日はいつもの通り変な夢を見て、6時半くらいに飛び起きた。あー、寝覚めが悪い。朝飯を食べながら、月曜日の深夜にやっていた「激レアさんを連れてきた。」を見た。面白かった。そのまま職場に行くまで起きていようかと思ったんだが、何か中途半端に眠いので、軽く寝ようと思って寝床へ。目が覚めてみると12時15分くらい。卒研は1時からなので間に合う。で高速道路を飛ばして行こうと思ったんだが、走行車線、追い越し車線とも中途半端なスピードで走っている車がいて、思うに任せず。で職場着は12時50分くらい。そこからウェストウィングまで10分くらい掛る。昼食がまだだったので、サンドイッチを買う。結局今日も5分遅刻。

で1時5分開始の卒研ゼミ。今日は多項式環上の平方剰余。定義と定理の主張、具体例の計算だけで、証明は来週。何故か1週間に進むのは2節ずつ、と学生同士で取り決めたらしく、2時45分くらいに終了。本当は4時10分までのコマなんだが。まあいいや。来週証明してくれるので楽しみにして待とう。

ゼミ後は恒例部屋掃除。ダンボール一箱空けた。大分紙ごみが出た。部屋が片付かない理由の一つ、大学ではあまり勉強しないので計算用紙が増える一方。そこで計算用紙を使うべく、講義ノートの直しを少々。前々から何か気持ち悪いと思っているところがあったので、そこの修正。気持ちよくなった。紙もそこそこ消化。来週からもこの調子でやろう。

で4時半から会議。あまり重たい議題は無いのかと思ったら、最後に一球ズドンときた。5時40分くらいに終了。

会議終了後は直で家に帰ることに。が、名神が渋滞。「瀬田東JCT-京都南 渋滞12km」の表示。うーむ。でもまあそこそこ普通に走ってきた。で「京都東」で降りたら、そこからまた渋滞。まあここはいつもなんで慣れてるけど。で6時半くらいに住処着。今日の燃費はどれくらいか見たら、33.4km/L。今までで3位の好結果。いや、要するに渋滞中はエンジンが掛らないんで、渋滞になればなるほど燃費は良くなるのだ。ただ確か、今まで1位の35.5km/L の時は渋滞してなかったような気がするんだが。まあいいや。

で CS を途中から。早くも Carp が1点取っていた。その後も大瀬良のナイスピッチングと、Carp 打線の爆発で、Giants 相手に一方的な勝利。これで2勝0敗。Carp は Swallows のようなわけにはいかんでしょう。明日も頑張れ Carp。

ということで水曜恒例の激呑みに行ってきます。来週健康診断があるんだが、多分ほどほどには出来ない。まあいいや。今週は今日だけにしよう。

2018年10月16日火曜日

久々の長い教授会

火曜日は基本何も無い日。隔週で教授会があるのだが、夕方4時30分からの用事のためだけけいに行くのが何とも面倒くさい。早く起きて早く行って、部屋掃除でも何でもすればいいんだが、前の晩夜更かしするので、起きるのが遅くなる。昨晩も寝たのが3時過ぎ。で結構遅く起きてしまった。まあ高速道路に乗らないでいけるくらいの余裕があったので、久々に下道で行った。570円お得。ハイブリッド車は降りる時にどれくらいお得に成ったか教えてくれるんだが、大体数十円。下道で行っても大丈夫なくらいの余裕は持って起きよう。

で今日の教授会は長かった。最近は30分~1時間で大概終わるんだが、今日は2時間半以上掛った。議題が多くて、投票することも多かったので、やむを得ない。まあ長いののいいところは内職が捗ること。お陰で定期試験の問題がもう出来てしまった。12月はちょっと忙しくなるだろうからよかった。まあもちろんもう1回見直すんだが。

で教授会が終わったら、車椅子を使用している先生が、ドアの前で呆然としておられた。いつもは奥さんがいらしているんだが、今日はいないようだ。ドアを開けて押さえただけで、大分感謝された。前も入試の仕事の時に、車椅子の進路に椅子が幾つもあったので、机の下に引っ込めて進路を作ったら、その先生はこちらを見て、「ありがとう」と言ってくれた。うん、感謝されるとやはり嬉しい。これからも人に優しく生きよう。

今日は野球が無いので、食事は住処でインスタントものではなく、外で食べようと思い、「王将」へ行く。いつものキムチ焼き飯と餃子。「餃子は大蒜入りでよろしいですか?」と聞かれた。ん?と思ったら、大蒜の入っていない餃子があるらしい。何と、「王将」ひよったか?うーん。餃子の匂いが漂っているのが「王将」だと思っていたのだが、裏切られた気分だ。まあこれからも行くんだけど。明日は CS ファイナルステージが始まるので、夕飯はインスタントものだ。あ、明日も会議があるんだ。早く終わるといいな。

2018年10月15日月曜日

科研費調書初稿完成

月曜日は10時40分の「暗号理論」から。今日は Z が P.I.D. であること、a,b∈Z の g.c.d. d が d=ax+by と表せることの証明を二つ(Z が P.I.D. であることを使った証明、互除法を使った証明)、そして互除法が何回で終わるかの見積もりなど、暗号と関係なさそうな話ばかりしてきた。が、来週合同式をやって、Z/mZ の単元の群の話。そしてオイラー関数の話をすれば、これらが暗号に関係深い、ということがわかる。それにはどうするか、そう「RSA暗号」をやってしまえばOKですよ。ということで、3回目で早くもRSA暗号が終わってしまうんだがいいでしょうか?まあいいや。いくらでも薄めようと思えば薄められる。楽しくやりましょう。

昼食は教職員食堂で簡単に済ませ、研究室に戻って科研費調書の直しと提出をしてきた。いわゆる「象の卵」の部分は鹿児島に行っている時にあらかた書き上げていて、今日やったのは予算の入力と研究者情報の入力。去年の分を印刷して、それを見ながらやったので、案外短時間で済んだ。まあどうせ駄目出しがたっぷり出て来るんだし、どうせ来年もはずれるだろうから、あんまり力んで書いても仕方ない。この辺にしておこう。

午後は「代数学II」。今日は単純拡大の構造定理をメインに。t が体K上代数的なら、K(t)
の元 F(t)/G(t) (F(X),G(X)∈K[X])を計算する時に有理化できることを示した。じゃあ実際にどうやったら有理化できるか、というのはユークリッドの互除法を用いて A(X)F(X)+B(X)G(X)=1 を満たす多項式 A(X),B(X) 求めればよいという、何だか午前中にしたのと同じ話をしている。まあ楽でいいや。それと代数的な元を加減しても乗算しても除算しても代数的だとか。代数的な元を有限個添加しても有限次拡大にしかならない、を使ってのもの。じゃあ多項式はどうやって求めるんだい?という疑問には来週答える。時間が来たので。で黒板を消していると、いつものD君が質問に来た。どうも板書を間違えたらしく、そこでわからなくなったようだ。熱心でよろしい。彼のような学生がいるから、どんどん講義が難しくなるんだ。気をつけよう。代数的閉包の存在証明をやるかどうか考えているが、やはりやめた方がいいだろう。彼なら理解してくれると思うんだが。

生協で「数セミ」を買って帰宅。今日はパ・リーグのCS第3戦目があるが、「Qさま!」を見たかったので、野球はパス。まだ結果を知らない。後で調べよう。明日は野球が無いそうなので、のんびりしよう。教授会があるな。まあ野球が無いので、多少長くなってもいいぞね。

2018年10月14日日曜日

菅野がノーヒットノーラン

今日は昨日呑み過ぎたか絶不調。ということで今日は「山科バルフェスタ」には行かなかった。まあ明日は午前中からだから、呑まない方がよいのだ。

で今日は野球観戦をした。Hawks vs. Fighters を途中から。そして Swallows vs. Giants は最初から。Giants の先発は菅野。1回からバッタバッタと Swallows 打撃陣が薙ぎ倒される。そうこうしているうちに、Giants が3ホームランで4得点。うむ、いかんぞ、と思って見ていたら、菅野がノーヒットノーランをやっちまった。Swallows 散る。無念じゃ。水曜日からCS第2ステージが始まるが、今度は Carp に頑張ってもらいましょう。

ところで、ノーヒットノーランを見たのは実は初めてである。Baystars がやられてないから、と思ったら、前に山井(Dragons)にやられたことがある。その試合は見ていなかったか。槙原のパーフェクトも見てない。あの頃は地上波でしか見ることができなかったが、放送をしていなかったのだろうか?今日は菅野は1四球。もしかしたらパーフェクトが見られたかも知れない。勿体なかった。関係ないけど、ボーリングのパーフェクトは1回だけ見たことがある。見てるだけだけど緊張するね。

9時から「下町ロケット」が始まるので、録画をセットしておいた。で番組表を見ると、9時から「科捜研の女スペシャル」が裏番組でやる。うむ困った。野球は見たいし、「下町ロケット」も録画したい。持っている録画機は2番組同時録画出来るが、その場合はどっちかを最高画質で撮らないといけない。うむ、こまったぞ、野球か「下町ロケット」か「科捜研の女」か、と思ってたんだが、野球が9時前に終わってくれた。これで「下町ロケット」を録画して、「科捜研の女」はリアルタイムで見ればよい。まあ Swallows は負けたがよかった。ということでこれから6チャンネルに合わせて、2時間ばかり見てから寝る。明日は午前中に講義あるしね。

山科バルフェスタ

今日(昨日だが)は大人の縁日「山科バルフェスタ」に昼から行こうと思っていたんだが、早く起き過ぎて二度寝をしたのが運の付き。3時過ぎまで寝てしまった。でその後しばし野球観戦などをしてるうちに、5時半に成ってしまった。うむ、いかん、ということで出発。

「バルフェスタ」は北から行ってみた。で「ふなごや」、「テンパブ」、「らくざ」、「也」などを訪問。「テンパブ」ではセ・リーグのクライマックスシリーズを見せてくれたので、結構長居。まあ Giants が勝っていたので、最後まで見たわけではないが。「也」が最後だったので、長居した。「美智子さん」が相当出来上がっていて、からまれた。「美智子さん」は数学とか物理とか大好きで、勤め先の美容院に “Newton” を置いてもらっているそうだ。で「素数は研究しないの?」とか、甥っ子の友達が小学生の頃から量子力学に興味を持っているとか、色々聞かれた。大分鬱陶しく成ってきた辺りで、「終電があるから帰る」と、帰ってくれた。よかった。その後酔い覚ましをしようと居座っていたんだが、全然酔いが覚めないので、「もう1軒行こう」と誰かにからまれるまえに脱出。12時台には帰ってきていた。やれやれ。

その後酔い覚ましをしながらパソコンいじり。まあほとんどが「マインスィーパー」タイムだったんだけど。大分ましに成ったところで、「象の卵」と格闘しようとか、月曜日の午前中の講義で一つちゃんと理解してないところがあるので、そこを埋めようか、と思っていたんだが、どちらも途中で放り出した。講義の穴埋めは目が覚めたらゆっくりやる。「象の卵」の方は、月曜日の午前と午後のコマの間(2時間半以上ある)を使ってやろう、ということで、ぼちぼち寝ます。

ちなみに今 BGM 代わりに、Hawks vs. Fighters の CS 第1戦を流しているんだが、Hawks が1回から満塁ホームランなどで圧勝ムードという感じなので、結果だけ確かめた。圧勝やね。明日(今日だが)はどうなるんでしょうかね。とりあえず寝ますわ。じゃ!

2018年10月12日金曜日

alg_ex.tex

修理に出していたコンピューターが直ってきたのが嬉しく、ひたすらブラインドタッチで TeX 打ち。代替機はキーが小さくて打ちづらいのが欠点だった。で秘蔵の alg_ex.tex を TeX 打ちしている最中にトラブル発生。なにやらキーを押し間違えたらしく、ファイルの一部分のアルファベットが全て大文字に成ってしまった。これは困る。バックアップファイルを開けばいいんだが、多分最終更新が反映されていないんじゃないかと思い、仕方ないので word 単位で置換することにした。で \BEGIN を \begin に、\END を \end にと、地道な作業。途中 \CDOT を \cdot に置き換えたんだが、これは失策だった。\CDOTS が \cdotS と成ってしまい、再度検索、置換を繰り替えす必要があった。でそんなこんなで1時間くらいで全部修復できた。やれやれ。

その後も alg_ex.tex に向かって、新しい問題を打ち込んだり、答を作っていない問題の答を作ろうと思って、わからなくてパニックたりと、色々やった。見ると定期試験の問題に丁度いいんじゃないか、という問題が2、3見付かって、「うぉー、テスト問題作りじゃー!」とは成らなかったが、覚えておいて、試験問題作成の時期になったら再検討しよう。

野球は明日から CS が始まる。Baystars のいない CS なんて見てもしょうがなかろうに、と言う意見が聞こえるような気がするが、そんなことはない。今までも見てきた。取りあえず明日は Giants が Swallows にめたくそに負けるのを楽しみにしようと思う。明日は
「山科バル」という名の大人の縁日。「テンパブ」でテレビを見せてもらおう。野球観戦しながらビール、というにはちと寒いかもしれんが、まあいいや。

2018年10月11日木曜日

激呑み翌日

昨日は水曜恒例激呑み。今朝4時近くにブログを更新しているので、おわかりだと思う。で今朝は珍しく起きている気力があったので、8時近くまで起きていてしまった。ワイドショーで「豊洲市場」の問題点をやっていたので、つい見てしまう。色々問題があるようだ。大丈夫なんでしょうか?まあ小生にはあまり関係ないのでいいけど。

でその後相当遅くまで寝ていた。でメイルを見ると、何やら来年度の件で、小生の申請と違う内容が通っていることが判明。うむ、ちとまずい。向こうの勘違いであることを気付いてくれればよいが。

というわけで、今日は何もしていないので、書くことが無い。Baystars の今シーズンは終わっているので、野球に関しても書くことがない。ということで、もう寝よう。じゃ!

「ハズキルーペ」を買ってきた

水曜日は卒研ゼミ。ようやく「イデアル類群」が出て来た。途中「イデアル I は単項イデアルであるか、I(2,1+√-5) が単項イデアルであるかのどちらかである」に突っ込みを入れようかどうしようか、と思っていたんだが、結局スルーしてしまった。大後悔。一番大事なところだった。まあ誰も突っ込まないので、理解しているんでしょう、ではないと思うけどな。

ゼミ終了後スマホを見たら、修理に出したパソコンが帰ってきたとのこと。引き換えに出した伝票を持って来い、とのことだが、生憎と住処においてきてしてまった。しかたないので、住処に一辺戻って、伝票を持って Johsin 電機へ。きれいになって帰ってきた。ついでに Blu-ray ディスクと「ハズキルーペ」を買ってくる。最近老眼になってきているので、眼鏡をいいかげん覚悟して買おうか、と思っていたんだが、「ハズキルーペ」なら眼鏡に比べると覚悟が軽い。で買ってしまった、というわけ。で書きながらかけてるか、というと、そうでもない。「ハズキルーペ」は思いの他遠くのものが見えない。パソコンのディスプレイを眺めながらだとちょっと遠いぞ、と思って説明書を見ていた(この時はばっちりピントが合う)ら、もう一つ下の倍率のやつを買えばパソコンにぴったりだったらしい。うむ、無駄な買い物をしたかな、と思いつつも、スマホの画面を見るときにはちょうどいい感じのようなので、いいや。

で帰宅後は、今シーズン最終戦を見る。いや、昨日(一昨日ね)の結果次第では最終戦ではなかったんだが。まあ仕方ない。で Tigers vs. Baystars。Tigers はよっぽど Baystars が嫌いらしい。今月2勝だが、いずれも勝ちは Baystars 戦。まあいいんだけどね。ソトのホームラン王が決定したし。今年は Tigers 相手に10くらいの借金があって、それが全部の借金だから、来年は Tigers 戦をどうにかしないといけない。あとハマスタでの負け越しがほぼ全ての借金らしいから、ホームに強いチームにならないといけない。うむ、課題は多いな。ラミレスの続投か決まったそうなので、今年の課題を来年にぶつけて、優勝を狙おう。来年こそ21年ぶりの優勝を!

パソコンが帰ってきたのは上述の通り。でキーボードがでかいし、字もでかい。小さくて持ち運びに便利なパソコンもいいが、ある程度でかいパソコンもいい。今度買う時はどうするかな?

2018年10月9日火曜日

Baystars クライマックスシリーズ進出ならず

火曜日は職場に行かなくていい日なんだが、今日は保健センターに処方箋をもらいにいかないといけないので行ってきた。4時半までに行けばいいが、2時半過ぎまで寝ていた。鹿児島から夜の11過ぎに帰ってきて、月曜日は午前中から講義なので寝不足。それらが祟ってか、すごく疲れている。中々起きられなかった。10時過ぎに電話があって起こされるも、電話を切った後また寝る。1時くらいに起きたんだが、まだ眠い。もう一寝入りして起きたら2時半過ぎ。うーむ、疲労が蓄積していたなこれは。まあこれだけ寝れば大分疲れは抜けたんで、明日は大丈夫でしょう。まあ今日はそろそろ寝るけど。

処方箋をもらって薬を入手し、帰宅。例によって野球を観戦する。今日は Baystars が負けるか Giants が Tigers に勝つかすると、Baystars の4位が決定してしまう、という状況。で Baystars が幸先よく先制し Tigers が1点先制したという情報。いいぞいいぞ、と思っていたら、あっという間に Tigers は Giants に逆転を許す。その後も Tigers と Giants のシーソーゲーム。が、最後は結局一方的な試合になり、Giants が勝ってしまった。この時点で Baystars が4位に。CS進出ならず。無念。土曜日から始まる CS は Swallows を全力で応援する。そして Giants を全力で呪う。

まあ毎度 Giants の悪口ばかりなので、たまには褒めよう。4番の岡本和真が3割30本100打点とか。史上最年少らしい。素晴らしい。これから日本を背負って立つ逸材だ。大きく育って欲しい。来年以降は、岡本はどんどん打ってよろしいので、他のバッターが大スランプに陥りなさい。来年度こそは Giants を最下位に落としましょう。ってやっぱり Giants の悪口だな。ははは。

Tigers に対して八つ当たりも。土曜日の試合、なんでサヨナラ勝ちすんねん。あれ無かったら展開は逆だったはず。まあそもそも Tigers が Baystars に勝ちすぎやねん。最下位になるんやったら、もと惨めな成績を残さんかい。Tigers がもうちょっと負けてたら楽に3位に行けたのに。明日は全力で叩き潰す。見とけ!

2018年10月8日月曜日

「暗号理論」は今日スタート

昨日は中々寝付けず、8時半に起きようと思っても起きられなかった。で9時45分頃起きて、シャワーだけ浴びて寝癖を直して出発。月曜日の10時40分からは「暗号理論」。先週は台風でつぶれてしまったので、今日が初回。思いのほか受講生が多かった。小生の卒研生は誰もいなかった。もう単位が足りているということだろう。今日はつまらない話をしてきた。次回は Z が単項イデアル整域だとか、そういうのを改めて証明するという大サービス。今年の「代数学I」で試験に出したんだが、出来は最悪だった。ということで、もう1回証明してもよかろう、というわけ。互除法が何回で終わるか、ということも証明する予定。去年は何か変で、「来週もう1回やる」と言ったまま放り出して終わってしまったので、来週までに証明をちゃんと読んでおかないと。

大分ふらふらに成ったので、昼はこってりしたものが食いたくなった。「天下一品」のラーメン一杯無料券があるので、「天下一品」に「こってり、ニンニク入り」を食べに行く。ついでに餃子も食べてきた。今は「天下一品祭り」の最中で、くじを引かせてくれた。ラーメン50円引き券が当たったので、来週の月曜日の昼飯も「天下一品」かもしれない。

再び職場へ。研究室で「代数学II」の資料を印刷して、しばしのんびり。で14時半頃に講義室へ向かう。教室ががらんとしている理由は先週分かったので、学生が少なくてもびっくりしなかった。でチャイムがなるのを待っていたら、いつもの D 君が質問に来た。どうも「虚数」の定義を間違えているようなので、正しい定義を教えておく。前に入試で「虚数」という言葉を出した時に、同僚2人が定義を間違えていたことがあった。「虚数」の定義を知らない人が多い。今日は有限個の元を添加して得られる拡大や、元が代数的であることの定義など。代数的な元を添加したときに有理化ができることを来週やる。あと K(t) が K[X]/(最小多項式) が同型であることなどを示す。難しくなってくるぞー。

で講義が終わって帰途に着く。インターチェンジの手前の電光掲示板に「草津JCt-京都東 渋滞8km」の表示。うむ、これはかなわん、ということで下道で帰ってきた。祝日に講義をやるのはかまわないんだが、夕方から夜にかけて帰ってくるとなると、大概高速道路が渋滞しているのはたまらん。12月にも月曜日の祝日に講義をやらないといけない日があるので、覚悟しておこう。今日が祝日だということを、数行上を書いた時にようやく気付いた。大分立命館に慣れてきたな。

Tigers の最下位が決定したそうだ。Giants 相手に意地を見せてくれ。あともう一つ、間違っても Baystars に勝つなよ!

研究集会2日目

今日(昨日だが)は研究集会2日目。8時半ごろに目が覚めたんで、間に合ったかというとさにあらず。その後「あと5分寝よう」を何度も繰り返し、最終的に目が覚めたのは10時過ぎ。チェックアウトは10時だ、ということで慌てて起きる。結局2日とも最初の話を聞きそびれた。まあ誰にも迷惑はかけていないのでOKということで。で研究集会は5時に終了。市電で「鹿児島中央」まで出て、そこから新幹線。6時7分発の新幹線に乗って、「新大阪」着10時21分。その後10時35分の快速(「高槻」から普通)で「山科」へ。次の新快速の方が先に着くのだが、まあそこまで慌てる旅ではないか、ということですいている快速を選んだというわけ。でお腹がすいたので、駅前の「松屋」でカレーを食べてきた。ということで住処着は11時35分頃。鹿児島からは5時間半掛かるんだな。来年は佐賀でやるそうだが、佐賀も遠いんだろうか?はなわの歌で知っている程度の情報だが、大層田舎らしいので、覚悟していこう。

さて、新幹線の中で「相棒」のシーズン1を終わらしてくるはずだったが、終わらなかった。何故ならパソコンにインストールしてあるブルーレイの再生ソフトがご機嫌斜めだったから。とにかく再生してくれないのだ。何度もトライしたが、ダメ。うーむ、ということであっという間に山口県に入ってしまった。ようやくわかってきたのは、ネット環境がいいところでないとそのソフトはへそを曲げるということ。九州新幹線や山陽新幹線のトンネルの多いところでは中々再生してくれない。で再生が終わった後もネットにつながっていないと、何やら異常終了してしまうのである。うーむ、ネット環境が無いと再生できないのではあまり意味が無い。新幹線の中でブルーレイを見ようと思ってインストールしたのに。やっぱりフリーソフトはダメかな?まあ今のは代替機なので、そこに有料のソフトをインストールしても何にもならないので、修理に出しているパソコンが帰ってきたら考えよう。それにしても、キーボードを取り換えるだけの修理なのに、何でこんなに時間がかかるんだろうか?

昨日(一昨日だが)はしなかった野球の話題。昨日(一昨日ね)は負けた。しかもよりにもよって Tigers に。これで自力 CS の目がなくなり、残り全勝しても Giants が勝ってしまったら4位確定なのだ。だから今日(昨日だが)は負けるわけにはいかなかった。で後で野球の情報を見たら、今日(昨日ね)は勝ったらしい。ソトが大暴れしたとか。ホームランが40本で、何と単独トップ。すごい。残り試合でも暴れてもらおう。

調べたら、Giants の最終戦の相手は Tigers だそうだ。今度は負けそうな気がするなー。CSの趨勢は Tigers に掛かってきた。おい島田海吏、Baystars 戦でサヨナラヒットを打ったことは一生忘れないからな。Giants 戦で打ったら呪うのだけはやめてやる。その翌日の Baystars 戦で打ったら、やっぱり呪ってやる。

2018年10月6日土曜日

研究集会1日目

今日から2日間で研究集会。解析的な話題が多いので、中々辛い。だが、昨日の晩はよく寝ていたので、眠くならなかった。明日もかくありたい。

夕方6時半から懇親会。現地に皆が到着したのが6時5分くらい。大体今までの感じだとこういう時は入れてくれるんだが、玄関で待たされた。そこまでちゃんとやらいでも、という感じだが、まあそういう予約なんだからやむなし。で呑み放題メニューの中に「ビール1杯」ていうのがあって、これは乾杯のビールだけ無料で、そこから先は料金を取られてしまうシステムだった。うーむ、世知辛い。これで料理が不味かったら暴れるところだが、まあ美味かったのでよし。で結構ふらふらになった。そんなに呑んでいないんだが。3杯目に呑んだハイボールが異常に濃い気がしたがそのせいか。でもう一軒行く、という声が聞こえていたんだが、もう無理、ということでタクシーでホテルまで逃げてきた。ただいまテレビを見ながら酔い覚まし中。酔いがある程度覚めないと寝られそうもないんで。もっと呑めばいいって?いやそれは一案なんだが、宿で売っている酒はスーパードライと発泡酒だけなんで、呑みたくない。コンビニが近くにある?そこまでして呑みたいとは思わない。ということでペットボトル飲料数本で大分覚めてきたので、もうすぐ寝る。明日はチェックアウトだから、早起きしよう。早いとこ寝られるといいが。

2018年10月5日金曜日

鹿児島ナウ

さっき鹿児島に着いた。いやー、疲れた。今日は3連休前のせいか新幹線が混んでいて、指定席を取れたのが1時間後の新幹線。で新幹線に乗ったはいいが、通路側の席。嫌な予感がしたんだが、新大阪では隣の席に人はいなかった。よかった、と思ったら新神戸で窓側の席の人が乗り込んできた。でその人が新山口で降りたと思ったら、博多でまた窓側の人が。その度にパソコンが不機嫌を起こし、リブートをしなくてはいけなかった。で4時間以上新幹線に乗っていて、リブートと Blu-ray の再生ソフトが立ち上がる時間で1時間くらい掛かったのでは、という感じ。本編が2時間18分、解説などで10分くらいの映画を見ていたんだが、見終わったのは熊本に入ってからという感じ。うむ、「相棒」も1話見てくるつもりだったのだが、予定が狂った。まあいいや、定時に着いたから。台風が来ているので、来られるかどうかが怪しかったんだから、来られただけでもよし。風は十分強かったが、明日はもっと強いみたいなことをニュースで言っていた。明日は町中に出ても大丈夫なんでしょうか?

さて、新幹線の中では「清須会議」を見ていた。羽柴秀吉が主人公の映画だと思っていたんだが、実は柴田勝家が主人公らしい。成程、秀吉が大泉洋、勝家が役所広司と、役者の格から考えてみてもやっぱり勝家が主人公だな。勝家の人の好さと秀吉のずるさが描かれていて、面白い映画だった。うん。帰りは「相棒」の第1シーズンを見ながらにする。ようやく第1シーズンが終わる。17日からは新しいシリーズが放送開始だ。気合を入れて見よう。

今日はやつの誕生日だ。これで50か。お互い年を取ったのぅ。

2018年10月4日木曜日

Giants が勝ちよった

今朝は「古畑任三郎」を見た後メイルチェック。鹿児島の宿からメイルが来ていた。で見ると、3泊で予約したようだが、2泊の間違いであった。で宿に電話したら「ネット予約されているようですので、そちらで修正願えないでしょうか?」とのこと。で修正しようと思ったら、何やらパスワードが必要らしい。が、それが皆目わからない。昔のメイルを見ればわかると思って見てみたんだが、やっぱりわからない。で、宿に再び電話して、手動で直してもらった。こんなことをしてるうちに7時過ぎ。寝ないと。

で寝たのはいいが、宅配だ電話だと何度も起こされる。最終的に起きたのは夜の10時過ぎ。生活リズムガタガタである。

で飯を食べて、11時から「プロ野球ニュース」。まず Tigers のBクラスが確定したというニュース。これでいよいよ相手は Giants だけになった。で Carp vs. Giants の試合。Giants の先発は菅野。菅野がすごくいいピッチングをしていて、Carp が点を取られた、という状況になるたびのけぞっていた。結局菅野は完封勝ち。これで8完封とか。鈴木啓示以来らしい。恐るべし菅野。これで Baystatrs は非常に不利になった。Giants が残り1試合を負けても、Baystas は3勝1敗でいかないといけないらしい。うむ。しかも Giants の残り試合の相手は Tigers。ここにきて3連敗で、全然点が取れない Tigers。Giants が残り1試合を勝つと、Baystars は残り4試合全勝しか目がないそうだ。うーむ、困ったな。…。明日から鹿児島に乗り込むから、試合を見ながら応援することが出来ない。気をもみながら待つしかないのか。うーん、うーん。

しゃべりすぎた男

水曜日は卒研ゼミ。今日(昨日だが)は虚二次体での素イデアル分解の一意性と、素数の分解がルジャンドル記号でわかること。一番整数論くさくて面白いところ。二次体だと証明が簡単に済んでしまう。聞きながらどれくらい二次体らしいか考えていたんだが、結局二次体のイデアルの底が簡単に書けるところとか、(0)でない素イデアルが極大イデアルであるとか、そこをさかのぼれば、二次体の整数環が整閉であることとか、そういうのが効いている。結局デデキント整域であることが一番のへそだな、というところでだいぶすっきりした。最初抽象的にやったんだが、こういう具体的なことがわかれば気持ちがよい。この域に達するまで30年近く掛かっているので、もっと達人の域に達するにはもう30年くらい必要かもしれない。足立先生がもうすぐ77歳。小生の今の年齢からすると27年。うん、やっぱりそれくらい掛かるな。研鑽を積むこととしよう。

でゼミが終わって住処に戻って、それから野球観戦。ここ2試合、肝心なところでタイムリーヒットが出ないで、Swallows に連敗。CS に行けるかどうかが微妙になってきた。G は監督がやめるらしいが、監督は人徳があるとは思えなかったので、それで逆に勢い付いてしまうかも。まあ3年優勝できなかったら、「不振の責任」でやめさせられるのはかわいそうだ。Carp は3連覇だが、その前は25年優勝していないわけだし、Baystars も20年優勝していない。6チームでやってるんだ。6年やって1度も優勝していなければ責任問題かもしれないが、3年優勝出来ないからって。ここはセ・リーグの他チームに頑張ってもらって、向こう10年くらい優勝できないチームにするしかないでしょう。そうすればちょっとやそっとで監督の引責辞任とはならないと思うんだが。

などと考えて呑みに出る。いつもはビール3杯のところ、4杯呑んでしまった。で日本酒に切り替えたんだが、今日はもう一人客がいて、日本酒をシェアしたので、呑んだのはいつもの半分。が、相当酔ってる気がした。これは記憶なくすモードか、と思ったんだが、そうでもなかった。これを書いている時は5時を回っているが、酒は3時前にやめた。で記憶がある。うむ。

で何でこんな時間まで起きていて、記憶がはっきりしていると確信が持てるかというと、今さっきまで「古畑任三郎」を見ていたから。帰宅してたまたまテレビを付けて番組表を見ていたら、「古畑任三郎」シリーズのうちの名作の一つ、「しゃべりすぎた男」をやるというので、見ていた、というわけ。大体記憶にあるとおりだったが、肝心のところを忘れていた。で見終わったら、やっぱり面白かった、という感想。「古畑任三郎」シリーズでは、番組始まってすぐ犯人がわかってしまう。そこを如何に古畑任三郎が追い詰めるか、というのが見どころ。で今回も犯人を追い詰めて、最後に自白させてしまうところなど、ものすごく面白かった。「古畑任三郎」シリーズは、「コンプリートブルーレイ」を買ってしまったので、いつでも好きなところを見ることが出来るが、今は「相棒」で手一杯なので、いつ見られるかわからない。「踊る大捜査線」も買ってしまったぞ。おっと「半沢直樹」も買ってるな。うーん、定年後が楽しみ。いやいや、定年後は数学を極めるのでは。まあ人生楽しいことがいっぱいあった方が楽しいですわ。

2018年10月2日火曜日

Swallows が2位確定

今日は昼から学生と面接なので、12時前に住処を離れる。で面接の学生は現れず、恒例の無駄足。まあいいんだけど。昼飯がまだだったので、食べに行く。ちどりの「貴様は?」「貴様!」のCMでおなじみの「SmartNews」のクーポンを使ってみたかったので、マクドナルドに行って「BigMacセット」を頼む。確かにスマホの画面を見せただけで50円引いてくれた。うーん、いい時代だ。今度は吉野家行こうか?

で職場に戻って、教授会まで部屋掃除。途中リサーチオフィスの人が訪ねてくる。何だと思ったら「科研費の申請のご予定はありますか?」との質問。出すので、「はい」と答えたら帰っていった。うむ、もうそんな時期か。片付けが済んだところで、「科研費LaTeX」をダウンロード。そしたら電話。Johshin電機から。修理に出したパソコンの見積もりが取れた、とのこと。うむ、見積もり来るのに1週間掛かったぞ。ノートパソコンのキーボードの取り換えくらいに何でそんなに時間食うねん?鹿児島に行く前に帰ってくるかと思ったが、どうも無理そうだ。

で夕刻から教授会。大事な選挙をまず。その後あまり興味のない話題が続くので、鹿児島に持っていくパソコンにブルーレイの再生ソフトをインストールする。ドライブとディスクは持ってきていないので、住処に戻ったら動作確認をすることにする。で会議は何事もなく終了か、と思ったら、また選挙。うむ、巻き込まれるぞこれは、と焦ってたら、案の定巻き込まれた。あー、いやだいやだ。

で住処に戻ってきたらもう野球の時間だった。今日は Swallows の2位が決定するかもしれない、という試合。Baystars は3位を確定的にしたいために絶対負けられない。Swallows はバレンティンの2ランホームランとソロホームランで3点、Baystars は宮崎のソロホームランと相手ピッチャーのワイルドピッチでの2点と、何とも見るところの少ない試合だった。で Swallows が2位確定。無念。明日は勝ちましょう。Giants は残り2試合どっちも菅野で来る、という噂なので、まだ油断できない。目が離せないぞ。

昨日は藤崎先生の本で盛り上がって、相撲のことをすっかり忘れていた。貴乃花部屋の一同は千賀ノ浦へ移るとのことだが、千賀ノ浦部屋って元・舛田山では?何故?と疑問だったのだが、いつの間にか千賀ノ浦親方は元・隆三杉になっていた。うむ、それなら移籍は納得いく。二子山部屋と藤島部屋が合併した際に隆三杉は貴乃花の兄弟子になったのだった。で引退後はしばらく二子山部屋、貴乃花部屋付の親方だったから、力士にはなじみがある。うん、納得。で千賀ノ浦部屋の力士の名前を見たら、「舛」で始まる力士と、「隆」で始まる力士がいて、そこに「貴」で始まる力士が混ざるから、何か派閥が出来そうな気がする。大丈夫だろうか?まあうまくいくことを願うね。

で現役のころから思っているんだが、隆三杉は伊集院光に似ている。クリソツだ。Baystarsの伊藤光の名前を見ると伊集院光を思い出す。伊集院光を見ても伊藤光を思い出すことは無いが。

先ほどブルーレイを再生できることが分かった。これでよし。鹿児島まで「清須会議」を見ながら行ける。「清須会議」は3時間を超えると思ったが、2時間40分とのこと。何だ、大したことないじゃないか。鹿児島に着く前におまけに「相棒」を1話見られるわい。次の「相棒」も持ち込むことにするか。

2018年10月1日月曜日

藤崎源二郎「体とガロア理論」岩波書店

今朝は10時に起きる予定だったのだが、6時半頃目が覚めてしまった。もう一度寝ようかと思ったのだが、大して眠くないので、起きていることにする。余裕のある日は早く目が覚め、余裕のない時は寝坊するという、小生のいつものジンクスだ。で10時までテレビで台風の残していった爪痕や、交通情報などを仕入れる。いわゆる「京阪神地区」では大きな被害は無かったらしい。京都は北の方が、兵庫では淡路島あたりで色々あったようだが、京都市山科区は「本当にこれで台風来てる?」というくらい静かだった。でもう琵琶湖線は普通に動いているようなので、「これは午後は講義ありかな?」と大学から来たメイルを見たら、「3限から平常通り」というメイルが来ていた。3限はもともと講義が無いので、小生は4限から。というわけで、押っ取り刀で準備する。

で職場に着いて、今日の講義の資料を印刷してから教室へ go!2時32分くらいに講義室に着いたんだが、学生がほとんどいない。がーん、午後から講義があるの知らんで休みよったか?と思ったら2分後にぞろぞろと入ってきた。そうか、別の教室で2時30分までの講義があるんだな、と知ってほっとする。で「代数学II」を初回から全力投球でやってくる。さすがにちょっとペースが速過ぎたか、終わってから黒板を写真に撮る学生多数。いつもの D 君は1番前まで出てきて、一生懸命写していた。来週からもうちょっとゆっくりやろう。

講義終了後直帰。で前から証明が気になっていた補題があって、それの証明を読むべく
藤崎先生の「体とガロア理論」を開く。15分ほどで理解できた。野球までちょっと時間があるが、次の証明を読み始めると時間切れになりそうなので、証明を読むのはやめて、しばし藤崎先生の本を「鑑賞」する。面白い本だ。例がすごく多い。薄いだけで本質的なことがあまり書いて無く、それでいて例も少ないという、大衆迎合型の本が多い中、分厚くて例が豊富という、実際に使う時になってみると役立つことが多い本。最近はこういう本が減ったな。まあ最近の人は本はオンラインで買ってしまうから、「本が厚い」は死語かもしれない。そんなことを考えながらつらつら見てみると、小生の講義の定理や例題の配置は藤崎先生の本の順番と似ている。考えてみればそれはそうで、小生はガロア理論は藤崎先生の本で勉強したし、それ以外の本では勉強したことがないからね。足立先生の本や雪江先生の本は後に出版されたもので、正直あまり読んでいない。アルティンの本は嫌いだった。やっぱり困った時は藤崎先生の本だよ。代数体の整数論は藤崎先生の「代数的整数論(上)(下)」で勉強した。こちらも例が豊富で助かる。院生相手にやってる代数体の講義は、上巻から多くの例や証明をいただいている。藤崎先生には足を向けて眠れない。先生はまだお元気だろうか?確かうちの親父殿の1歳年上だったので、88歳ですか。もう一度お会いしたい。

で野球開始。1回に打者3人で1点取った時は、こりゃ何点入る?と捕らぬ狸をしていたんだが、ゲッツーなどで1点しか入らず。嫌な感じだ、と思って見ていたら、先発の濱口が好調。これは勝てるな、と思ったそばから得意の連打攻勢であっという間に4点入った。ネフタリ・ソトがついに38号ホームランを打ち、筒香、丸に並んだ!どうせならソトのホームラン王も面白いぞ。がんがん打とう。と言ってるまにまた5点取って10-0。Tigers はわずか1安打で、2塁までランナーが進まなかった。ごっつあんです。Giants が負けている、という情報が入ったので、そちらにチャンネルを合わせる。Swallows の大引が3号、4号と2打席連続ホームランとか。Ginants は最後食い下がったようだが、寄り切られて負け。これで Swallows の CS 進出が決定とか。明日勝つと2位確定だそうだが、明日、明後日は Baystars が相手。そう簡単に行かしてなるものか。頑張れ Baystars!

忘れちゃいけない。昨日埼玉西武 Lions がパ・リーグ優勝を決めた。マジック1で、対象チームの Hawks が負けたための優勝。Lions は負けたのに、ベンチ内で皆が握手している。実に不思議な光景だった。まずはおめでとう。次は日本シリーズで Baystars が相手だ!

こちらも忘れちゃいけない。10月1日といえば「天下一品の日」。ラーメンタダ券を get すべく、先ほど行ってラーメン1杯食べてきた。明日の昼も天下一品か、と言いたいところだが、それはさすがにパス。券は11月30日まで使えるそうなので、いつ行くかはゆっくり決めましょう。