2017年10月31日火曜日

日本シリーズ第3戦

火曜日はノイキルヒの本のゼミ。代数体の有限次ガロア拡大なら、その剰余体の拡大が巡回拡大である、というのは「有限体の有限次拡大は巡回拡大」という易しい性質にのっといているもので、一般のデデキント整域でやるとひどく難しい。正規拡大であることから証明しないといけない。ノイキルヒの本は、イデアル類群の有限性やディリクレの単数定理(要するにミンコフスキーの数の幾何)などを本の最初の方でやってしまったり、ヒルベルトの分岐理論はがちがちに抽象的で具体例はあまりないなど、初学者には易しい本ではないな。やっぱり藤崎先生の「代数的整数論(上)(下)」なども並行して勉強していかないと。

講義後は部屋に戻って「暗号理論」の準備。気をつけないと今週中に楕円曲線の話をしなくてはいけなくなりそうなので、何とか水増しした次第。まあ楕円曲線は11月1ヶ月掛けて、射影平面の幾何から始める予定。3、4週間は掛るだろうけど、それでもまだ数回余る計算。うむ、どうしたもんかね。

今日は朝シャワーを浴びる時間が無かったので、帰宅してからすぐに浴びてきた。気持ちいい。でぼちぼち日本シリーズの時間。過去2回の日本シリーズ出場で「ホームゲームでは負けていない」というデータがあったので、今日も勝てるか、と思って真剣に見るも、後一歩及ばずで3-2の負け。1回の柳田の打球を柴田が処理していれば。あれがなければ1点取られずに、試合の形勢はどうなっていたかわからない。まあ過ぎたことを悔やんでも仕方ない。明日何とか勝って、勢いを盛り返さないと。福岡に戻れるよう、明日、明後日と連勝や!

2017年10月30日月曜日

とんこまさんと呑む

月曜日は数学IVから。次元の定義が出来た(有限生成の場合はね)。そろそろ基底変換の行列とか表現行列とか、どんどん難しくなってくる。ついてきてくださいね。

1コマ開いて卒研。イデアル類群がついに登場。応用として「素数p≠2,5に対し、∃x,y∈Z s.t. p=x2+5yp≡1,9 (mod 20)」を証明したところで時間切れ。y2=x3-5 の整数解が無いことは次回。その前に木曜日の「数学展望」で話しするので、勉強しておかないと。
で昼頃にとんこまさんから twitter で連絡が。「京都に来ているので夕食を一緒にいかがですか 」と。「卒研で19時30分に成らないと手が空かないがどうか?」と聞き返したら、それでも構わない、ということで、20時30分頃に合流。「開口」に行こうとしたんだが、行ったら「満員」とのことで、仕方ないので「栞屋」へ。日頃の不健康さを反省して、魚を中心に頼む。あと日本酒も少々。美味かった。今日の感想:いつもは日本酒呑み過ぎ。

案外早い時間に終わったつもりだったが、そもそも開始が遅かったので、22時半過ぎだった。帰宅してしばししたら、昨日の「プロ野球ニュース」の再放送が始まる。うーん、いくら見てももったいない試合だったな。ただ今宮のホームへのスライディングはセーフだな。審判の判定に納得。まあ待っとれ。横浜ではそう簡単に勝たせないからな。

2017年10月29日日曜日

日本シリーズ第2戦

今日は日本シリーズ第2戦。梶谷、宮崎のホームランでひっくり返した時は、「よし、いけるぞ」という気になったが、あの今宮のホームへのスライディングと、8回の今宮の守備には舌を巻いた。4-3とは言え、完敗だわ。ただ工藤監督の「福岡で決めたいと思います」には Baystars は怒らないといけない。「ハマスタで2つ負ける積もりか!なら上等、負かしてやろう!」という気にならないと。そう、明日一日開いて聖地・ハマスタでの試合である。3連勝してやろうじゃないの!

で今日は4時間を超える長い試合だったので、疲れた。明日は昼からだけどもう寝る。酒は無し。

2017年10月28日土曜日

日本シリーズ第1戦

今日からプロ野球の日本シリーズが開幕。Hawks vs. Baystars。まあ結果から書いてしまうが、10-1の惨敗。先発の井納はよくなかったし、リリーフに出てきた田中健二朗も押し出し二つにタイムリー2本と滅多打ちを食らった。まあ救いは須田、平田、砂田らが一方的な試合の中継ぎを腐らずにやり、0点に抑えたこと。それとルーキー・細川が代打で出てきてヒットを打ったこと。明日からの細川の使い方が楽しみだ。まあ今日は大人しく寝ることにしますわ。明日は昼からちょっと用事があるんでね。さ、明日明日。

そうそうすっかり忘れていたんだが、一昨日は10月26日だった。1998年の10月26日と言えばお袋の還暦の誕生日、横浜Baystars日本一、そして岩澤健吉先生ご逝去と、忘れられない日になっていたのだが、もう19年も経つといずれも心の中で風化してくる。ただお袋の79回目の誕生日に何もメッセージを贈らなかったのは失敗。来年は80歳だ。何か一言声を掛けておくことにしよう。

2017年10月26日木曜日

清宮は Fighters へ

今日はドラフト会議だった。で当然一番の注目は早実の清宮。7球団が1位指名で、Fighters のくじ引きは木田優夫。見事引き当て、清宮は Fighters へ。良かった Giants に盗られなくて。Baystars は立命館の東を単独指名。うむ、応援しよう。東大の投手も Fighters へ。うむ、来シーズンは面白そうだな。とりあえずの楽しみは明後日からの日本シリーズ。Baystars の優勝成るか?

「象の卵」には随分色々と文句を付けられたが、適当な理由をでっち上げて、あまり直さないで再提出した。もう文句を付けられませんように(祈)。

2017年10月25日水曜日

正規拡大(誤字に注意)

水曜日は「代数学II」。10時40分から。眠い。居眠り運転しないよう出勤。今日は正規拡大の話。正規拡大であることは色々なことと同値であることを示す。最後に「L/K が有限次正規拡大 ⇔ L がある K 係数多項式の K 上の最小分解体」を示したところで丁度時間。うむ、いい具合に一つの話が一コマに納まった。というところで気持ちよく昼食。

昼休みは科研費の調書の直しをしようと思ったんだが、赤ペン添削を見たらげんなりしてやる気が無くなり、結局無為に過ごす。

14時40分から暗号理論。今日は素数判定法や素因数分解の話など。ノートパソコンを持ち込んで、UBASIC や PARI/GP を使ってデモを見せる。小さい奇数で順に割っていくというのが無力なことを示すため、昨日の晩大きい数の素因数をそのアルゴリズムで見つける、という素朴なプログラムを UBASIC で書いて走らせて寝た。寝てから今朝住処を出るまでの11時間走らせっぱなしにしたんだが、素因数は見付からなかった。でρ法でやってみると、20秒くらいで素因数が見付かった。PARI/GP では一瞬で factor してくれるなど。他にも2次篩い法の紹介など。少し早めに終了。

ミートパイを買って部屋に戻り、しばしの後会議。何故皆こんなに情熱を持って会議に臨めるのかわからないが、兎に角熱い人のいる学科である。18時くらいに終了。帰ってきてニュースを見て、プロ野球ニュースの録画してあった分を見て、で今は昨日の試合の再放送がやっているので見ている。が、今日は水曜日である。呑まないと。じゃいってきます。

2017年10月24日火曜日

Baystars, CS制覇!

今日は昼からゼミの予定だったのだが、学生が体調不良とのことで取り止め。ということで12時過ぎまで再度寝直す。

で14時15分からの健康診断の予約を入れておいたので、それに間に合うよう出発。で健康診断は1時間ほどで終了。体重は増、視力は去年と変わらず、心電図は異常なしということで、最後に一発インフルエンザワクチンの注射を打たれてくる。これしばらく左腕に痛みが残るから嫌なんだけどな。まあしゃあない、冬の1番大切な時期にインフルエンザで行けません、ではシャレにならんので。ということで昼飯がまだだったので、サンドイッチを買ってきて食べる。

で帰ってきて、しばし UBASIC と遊んだ後、プロ野球クライマックスシリーズ・セ。今日 Baystars が勝てば19年ぶりの日本シリーズ出場という大事な試合。初回に2点取られるも、そこから打ちまくってホームラン5発で9-3と圧勝。これで日本シリーズを横浜スタジアムで開催できる。CSを横浜で、は実現しなかったが、「阪神、広島を破って、必ず横浜スタジアムに戻ってきます」というラミレス監督の言葉が現実と成った。さあ、まってろ Hawks。大洋ホエールズ時代に1回、横浜ベイスターズ時代に1回、そして横浜DeNaベイスターズとなっての1回。過去2回はいずれも日本一に成ってる。今年も是非。おっと、日本一とはおこがましい。「日本シリーズチャンピオン」にしておこう。

それにしても先発の石田を1イニングで引っ込めて2回から三嶋を出してきた時は、「すわラミレス、気でも狂ったか?」と思ったんだが、三嶋は2回を零封。勝ち投手に。その後濱口、三上、エスコバー、パットン、康晃と、完璧とも言っていい内容だった。(三上が新井に一発打たれているが。)打撃がこの調子でピッチャーもこの調子だったら Hawks 相手でも勝ちそうな気がするが。まあそう上手くいくわけはないので、程ほどに期待して見ましょう。

2017年10月23日月曜日

琵琶湖線、野洲-米原間不通により、終日休講

10時くらいに目が覚めた。昨日は選挙関係の番組を見て、ちょっと遅くなったので止む無し。外を見たら晴れ間が覗いている。「こりゃ講義せなあかんか」ということで覚悟を固めるも、Facebook を見たら、同じキャンパスの人が「休講じゃ、補講じゃ」と書いていた。で事務から来ているメイルを見た所、「琵琶湖線、野洲-米原運休により、1限から5限まで休講」と書いたものが届いていた。そうか、ならしゃーない。どっかの土曜日を使って補講せなあかんから、覚悟を決めよう。補講登録は明日以降。

で折角昼に山科にいるんだから、カップラーメン昼食ではあまりにもったいない。ということで昼の「ふなごや」へ。和定食(ご飯、味噌汁、鯖の塩焼き、鶏の唐揚げ)を食べてくる。うん、たまには何かこう健康的なものを食べないと。その後クリーニング屋へ背広上下とワイシャツを持っていく。もう卒業式まで着る機会は無いだろう。でその足でトイレットペーパーと切れたトイレのライトの代用品を買ってくる。LEDの昼光色のやつを買ってきたんだが、眩しい。トイレ入るたびに目がくらみそうになる。まあしばらくすれば慣れるでしょう。

というところで野球のお時間。今日勝ったほうが日本シリーズへの王手。試合はいきなり1回裏に丸の2ランホームランと新井のタイムリー2塁打により 3-0。うむ、いかんぞ、と思ってたら、4回表に筒香のソロホームラン。5回は桑原の2点タイムリーとロペスのタイムリーヒットで逆転。4-3。その後先発のウィーランドがランナー2人残して交代。変わった砂田がストレートの四球を与え、ノーアウト満塁。が三上が2者三振に抑えて、最後はエスコバー。その回は無得点。さらに今永にプロ入り初の中継ぎ登板をさせるなど、監督の気勢が伝わってくる。最後は康晃が締めて4-3の勝利。これで19年ぶりの日本シリーズに王手。さあ明日が楽しみだ。明日決まって欲しいな。明日は教授会が無いはずだから、最初から見られる。明後日はちょっと重た目の会議があるので、多分途中から観戦になるだろうから、明日決めてくれないと。行け!Baystars!

2017年10月22日日曜日

大雨の中選挙へ

台風に伴う大雨と強風の中、選挙に行ってきた。小生の投票は死に票になった。無念じゃ。まあ前原誠司はどうやっても通るわな。

で選挙からびしょ濡れで帰ってきて、流石に少し寒かったので、今期始めて暖房を入れた。温い。車の暖房はほどほどにするのは書いた通り。少々厚着して耐える。

で明日の講義は台風次第で延期になる。何か今日だりーから、明日は休講になって欲しいな。まあその分どっかの土曜日を潰すから同じなんだけど。風がヒューヒュー鳴ってる。明日は休講に成ってくれ。

野球は、セは今日も中止。パは最初不調だった Hawks が勢いを取り戻して、一気に3連勝で日本シリーズ進出を決めた。初戦を落とすと CS 勝ち抜け率 0% だったそうだから、かなり苦しかったのは間違いない。しかしさすが Hawks。そこから勝ってしまうんだから。セは明日も中止だろうから、大変。同じ勝ち星の場合は、リーグ戦で上位のチームが勝ち抜けだそうだから、Carp 圧倒的有利。せめて6試合やって決着を付けて欲しい。

2017年10月20日金曜日

鍵紛失騒動

昨日は7回裏くらいに猛烈な睡魔に襲われて、座ったまま寝た模様。気が付いたらヒーローインタビューがやっていた。で「プロ野球ニュース」を見ると、宮崎がホームランを打ったらしいが、全く記憶に無い。よほど熟睡したと見える。で眠いのでブログを書かずにダウン。

今朝は例に寄って早く目が覚めた。2度寝も相変わらず。で最近鍵をよく失くす。住処の鍵、職場の部屋の鍵、車の鍵、駐車場の鍵と、4本1セットになっているのを2セット作っているんだが、1つがどうしても見つからん。である方の一つからは職場の部屋の鍵がなくなっている。うむ、これは職場に飛んでいって、合鍵を借りて、自分用の合鍵を作るしかないのか、というところで何故か住処の郵便物を取りにいった。何とすると鍵が1セット出てきたじゃあーりませんか。実はこの前は車の鍵もなくしたんだが、その時は管理人さんが防犯カメラを見て小生が落としたのを確認し、ポストに入れておいてくれたのだ。今回もそうでしょう。ありがたや管理人さん。まあしかし、職場の合鍵を作っておくにこしたことはないので、近所の合鍵屋さんに行ってきた。これで鍵紛失騒動は一段落。やれやれ。

今日も今日とてクライマックスシリーズだが、何とピッチャー井納のタイムリーであげた1点を守り通して1-0の勝利。これで2勝2敗。まだまだこれから面白く成りまっせ。パ・リーグも2勝2敗。こちらからも目が離せない。まさか3位のチーム同士で日本シリーズなんていう珍事の可能性もあるが、Carp と Hawks はそうはさせじとかかってくるだろうから、目が離せない。Baystars は前の優勝からもう19年経つんだ。そろそろ日本シリーズに出場しないと。行け!Baystars!

2017年10月18日水曜日

気持ちの悪い決着の付き方

今日は昨日書いた通り、写真撮影があったので、背広で行った。10時からという約束だが、ちょっと遅れて10時5分頃到着。10枚くらい写真を撮られたろうか?少々の時間で終了。

部屋へ行って「代数学II」の今日の分を印刷して講義室へ。今日は代数的な元が二つあった時、その和、差、積を根とする多項式をどうやって求めるか?という話から始まって、代数的閉包の存在と一意性を証明抜きで話す。来週は正規拡大から。どんどん難しくなってくる。付いてこいよー。

昼は保険会社の人と会った後、「暗号理論」のためにノートを少々いじっているうちに時間に成ったので、コラーニングIIへ向けて出発。コラーニングIIは遠い。RSA暗号の話と、その攻撃の話をした後、素数判定法の話しへ。次回へ続く。というわけでしばらく暗号と関係ない数学の話をする。来週はコンピューターを持っていって、デモをやってみよう。

で帰宅後しばしして、CSファイナルステージのスタート。石田が好投していたんだが、5回に一気に崩れて、3点取られる。そこで雨脚が強くなってきて、しばしの中断の後コールドゲーム。うむ、もう泥遊びはしないか。これで Carp の2勝。あと2つ取られるとまずいので、明日は頑張れ。

2017年10月17日火曜日

セもパも下克上

昨晩は飯を食いながら Lions vs. Eagles を観戦。まさか Eagles が勝つとは。セ・リーグもどうなるかわからんぞ、という期待を抱いて就寝。

今日は昼からゼミ。が、いつもの2度寝が少し長すぎて、目が覚めたら12時30分くらい。うむ、これはいかん。13時からのゼミに間に合わないぞ、と車を飛ばしていく。(と言いながら追い越し車線には1回も入らなかったんだけど。)で20分遅れくらいで到着。まず詫びてからゼミ。やっぱりノイキルヒの本は難しいんだろうか。例に寄ってあんまり進まず。また、力の抜きどころがわかっていない。書いてあることは全部理解してやろう、という感じで読んでいる。そこは適当にやっていいのに、というところを真面目にやってしまうから進まないのだ。もっと大事なことがその後に書いてあるのに、という感じ。まあ4回生に必要以上を期待するのは無理というもの。ゆっくり進みましょう。

で15時から普段あまり行かない建物で野暮用。いいんじゃないでしょうかね、という感じで40分ほどで終了。部屋に戻って片づけを少し。

その後昨日の件でトヨタに寄って、住処に辿り着いたのが18時ちょい過ぎ。1回表4番筒香という場面。が、もう Baystars が1点取っている。うむ、これは重畳。さらに嶺井の2点タイムリーも飛び出して3-0。で能見は1アウトしか取れずに降板。その後はしばし抑え続けられるも、またしてもタイムリーヒットとロペスの2ランホームランで6-0。今日ももらったぞ、という感じ。大山のタイムリーで1点取られるも、結局リリーフ陣が抑えて6-1で勝利。パ・リーグに続いてセ・リーグも下克上。さあ明日から Carp が相手だ。シーズン中にカープと互角以上の戦いをしている。13勝12敗で一つの勝ち越し。Carp の完全優勝(全球団から勝ち越しての優勝)を阻止した。ということで明日以降の戦いに期待を持っていこう。

でここは祝杯といきたいところだが、明日は午前中から講義で、その前に理工学部のホームページに載せる写真を撮影してもらわなきゃいけないので、酒は無し。まあもっとも講義の前の日は原則呑まないことにしてるんだけど。髭だけ剃って寝よう。風呂は明朝。

2017年10月16日月曜日

探検!数の密林・数論の迷宮

今朝も6時前に目が覚める。最早老人の域か。まあ大体もう1回寝るんで、まだ老人ではないか。今日も案の定朝食後11時過ぎまでもう一度寝る。

で月曜は「数学IV」から。有限生成ベクトル空間は基底を持つことの証明や、基底を実際に求める計算例など。もう大分チンプンカンプンに成っていると思われるので、演習の時間で頭を整理してもらいたい。来週は次元が定義できる予定。

卒業研究まで一コマ空くので、まだ食べていない昼飯を食べに大学の外へ。すき家で「デラックスカレー」などという怪しげなものを食べてくる。あんまり美味しくなかった。やっぱり秋刀魚を食べておくべきだったな。その後浜田省吾のCDを買いに、近くのCD屋へ。売ってない。仕方ないので別のCD屋へ後日行くことにする。ガソリンスタンドに寄って満タンにして大学へ戻る。

で部屋でパソコンの電源を入れて、メイルを読む。一人の学生が熱が下がらないため休むと。ついでに Tigers vs. Baystars が中止に成ったことを確認。

卒業研究の時間。ゼミをやる部屋へ行ってみると、ショッキングな出来事が。今日来ない上述の学生がイデアル類群をやることに成っていたらしく、今日のゼミは30分ほどしか開けない、とのこと。うむ、仕方ない。素数の分解がルジャンドル記号でわかることの証明をして今日は終了。まあ一応45分間はやったということで、いいでしょう。

でゼミは早く終わったし、野球は中止だし、ということで、CDを買いに行く。龍谷大学から少し瀬田駅方面に下がったところにある「フォレオ」の大垣書店のCD屋ならあるだろう、と思って、行く。無い。店員に聞いてもわからない模様。そこに店長らしき人が現れて「カバーアルバムですよね?探してみます」との頼もしい発言。ちゃんと持ってきてくれた。帰路が楽しみだ。で折角大垣書店に来たのだから、数学書もちょっと見てこよう、と行ってみたら、橋本喜一朗「探検!数の密林・数論の迷宮」日本評論社、なる本を発見。これはいい。橋本先生の書かれたものは大抵面白い。講義も面白かったし。と言うことで迷わず購入。ついでにもう2冊。お目当ての本は無かったが、いい掘り出し物があった。生協の本屋はいかにも「教科書」とか「単位取りたいです本」しかないので、たまには生協以外の本屋に行くのもいい。うん。

で18時半くらいに帰宅。昨日トヨタの人から電話があったのに気付かなかったので、こちらから掛けてみる。まあ新車の様子伺いだろうな、と思ったんだが、向こうの勘違いでもう一手続きいるらしい。で印鑑証明書と実印を明日持ってきてくれと。で電話を切って時間を見ると18時45分くらい。うむ、駅地下の行政サービスコーナーは19時までだったような気がする。ということで急いで行く。幸い18時50分頃に到着できて、まだ開いていた。印鑑証明書をもらって帰ってきた。暑い。皆今日は肌寒いというが、そんなことはなく、まだまだ蒸し暑い。デブの証拠だ。冷房をドライにしてかける。本当に寒い日はまだまだ先。暖房は当分入れない。特にヴィッツ・ハイブリッドは暖房をがんがんかけるとエンジンが一生懸命かかってしまうので、燃費が相当悪くなるらしい。折角のハイブリッド車だ。燃費は良くないと。ということで真冬は厚着をして暖房をあまりきかせずに運転することにする。

さて飯だ。

2017年10月15日日曜日

雨中の激戦、Baystars が制す

昨日(今日ね)の夜中はちょっと遅くまで起きていたんで、今日はゆっくり起床。野球が始まるまでしばし「暗号理論」の準備。去年までは数冊持っていって、それを見ながら講義をしていたんだが、今年は卒研で学生に「教科書見るの禁止にしようか?それくらい予習してこなあかん」と1度説教した手前もあって、紙におこしておいた。まあ色々勉強に成るし、いいことでしょう。

で14時ちょっと前にチャンネルを GAORA に合わせたんだが、雨のため試合開始が遅れる、との話。なのでもうちょっと準備をしながら、試合開始を待つ。

試合は15時3分に開始。ゲームは成立するか、はたまたいつコールドゲームに成るかわからないので、はらはらしながら一喜一憂しつつ見る。途中までは1点を争う好ゲーム。

B 0 0 2 0 2 0
T 0 2 1 0 0 1

とこんな感じだったのだが、最後は

B 0 0 2 0 2 0 6 0 3 | 13
T 0 2 1 0 0 1 2 0 0 |  6

といった感じに。乙坂の代打3ランホームランが効いた。これで明日まで決着は持ち越しになった。ただ明日も天気予報が悪いそうなので、明後日になるかもしれない。明々後日からは広島で試合なので、何が何でも明後日までには終わらせないといけない。今日もあんなグズグズなグラウンドで試合を強行したのも日程的な原因でしょう。まあしかし今日の甲子園のコンディションはひどかった。内野グラウンドは全面水浸しで、水溜りまで出来ている。キャッチャー前のゴロで普通ファールになる球が線上で止まってしまい、ヒットに成ったりと。まあ投げてるピッチャーはかわいそうだわ。こちらとしてもちゃんとしたグラウンドで試合をしているのが見たかった。まあ勝ったからいいんだけど。

ヴィッツハイブリッドは快調そのもの。やっぱり買い換えてよかった。うん。

2017年10月14日土曜日

月曜日の講義の後、「数物会」の懇親会

今日は月曜の講義。「数学IV」。今日からいよいよ基底が登場。で来週の月曜日ももちろん月曜の講義なので、学生にとってはハードな3日間になりそうだ。今日は蒸すし、冷房はもちろん入らないので、汗だくになりながら講義した。ハンカチびしょびしょ。

その後部屋へ戻り、「象の卵」の直し。いい感じなんちゃうの、というところで16時半近くなったので、数理科学科、物理科学科のOB会である「数物会」の懇親会の部屋へ移動。いや本当は総会に出たかったんだが、講義の裏番組だったので。名誉教授の三木先生(御年90歳!)の立命の歴史を振り返る話は大層面白かったらしい。懇親会の会場でお見かけしたが、まだ腰はまっすぐだし、歩き方もしっかりしていらっしゃる。数年前から年賀状をいただけなくなったんで、調子が悪いのかと心配していたんだが、そんなことはまったくなかった。まあ要するに、歳を取ると時候の挨拶や冠婚葬祭への出席が面倒になる、ということでしょう。

懇親会はまだ続く模様だったが、何やら今日はひどく酔いが回るので、早目に逃亡して、部屋で「象の卵」の続き。安閑として構えていたら、締め切りは月曜だそうなので、ちょっと真剣に。「まあこんなもんでしょう」というところで pdf ファイルを添付して送信。ワードで作成すると向こうはそのファイルに色々な色で指摘のコメントを書いてくださるのだが、「象の卵」は TeX でないと出来ないので、「ワード以外のソフトで作成した」と書いておく。そうすると赤ペン先生が添削してくれたものをスキャナーで取り込んだ pdf ファイルが帰ってくる。それをよきように直せば完了だが、何回往復すれば済むことやら。

さて、今日からセ・パともCSが始まっている。試合開始の14時に成ったら、なにやら携帯電話が鳴った。「試合開始」を告げるアプリの音だった。講義中に電話を鳴らした学生には強烈に文句をつけていた小生だが、天に唾はくモードに成ってしまった。これから気を付けよう。セ・リーグは福留の2ランホームランによる得点のみの2-0で Tigers の勝ち。パ・リーグは則本が打ち込まれ、菊池が完封ということで、10-0で Lions の圧勝。明日で決まってしまうのか?そうならないよう Baystars と Eagles には頑張って欲しい。まあただ明後日に持ち込まれても見ることは出来ない。何故なら月曜は16時20分から19時半までと超ハードゼミがあるので。去年もそうだった。田中健二朗が鈴木尚広をけん制で刺した瞬間、思わずガッツポーズしてしまったのだった。ゼミ中に携帯電話で野球の速報を見る不届きな教員であった。今年はどうしようかな。

2017年10月13日金曜日

ヴィッツ・ハイブリッド車来たる

朝7時くらいに目が覚めた。でふとひらめいた。「新幹線の中で科研費LaTeXをノートパソコンのTeXでタイプセットしたら通ったな」と。で試しにやってみたら出来た。うーん、この前何時間も掛けて職場のコンピューターの TeX を新しくしたのは何だったのか。まあただ pdf に直す時に何かメッセージが出る(職場の新しい TeX では出ない)ので、やはりバージョンが古いのでしょう。まあ明日以降は職場でも家でも出来ることになったので、少し根を詰めてやりたいところ。ただ明日はうちの大学は月曜日なので、早く寝ておかないとまずい。

でしばらく科研費LaTeXと格闘したら、眠くなってきた。朝10時30分頃。眠いので軽く寝る。目が覚めたら12時ちょっと。丁度いい仮眠だった。

で13時から銀行に行く約束になっていたので、出掛ける。表は雨模様だったので、傘を開く。そこで何やら軽いプラスチックの跳ねた音が。熊本で無くしたはずのクレジットカード。うーん、そうか、ここにあったか。もう止める手続きはしちゃったんで、見付かっても手遅れ。しかし「もしかしたら傘の中にあったりしてな」と思った時に何故開かなかったか。後悔しきり。

銀行から帰ってきたら、また科研費LaTeXと格闘。中々思ったようにはいかない。合間にゲームをやる。(ゲームがメインで科研費LaTeXがサブだったという噂もあるが。)そうこうしているうちに17時ちょっと前。トヨタへ出掛ける。そう、先日書いた「押しに弱い」の件で。強力にプッシュされたため、ヴィッツ・ハイブリッド車を買ってしまったのだ。今日納車だったので、行ってきた次第。でもろもろ手続きなど。ナンバーはちょっと残念なナンバー。最後の一桁がもう一つ上だったら、ぞろ目だったのに。住処の電話番号も、空いているナンバーが無かったせいで、キリのいい番号になるところだったのに。ナンバーには付いていない。まあいいんだけど。

でしばらく慣らしにドライブ。まず一周(謎)して王将へ。満腹にした後、王将の駐車場でカーナビの設定。立命館を目的地として登録する。で職場へ向けてスタート。うん、「いつエンジンが掛ったか、慣れるまでわかりませんよ」と言われたがその通りで、加速レーンを走っているときにエンジンが掛ったはずだが、全くわからなかった。で職場では駐車許可証の変更届を出してくる。まあ月曜日にやっても同じなんだけど、折角来たのに何もしないのは勿体無い。で書類を提出して、即帰宅。カーナビのテストをこめて、自宅を目的地にセット。うまくセットされている模様で、無事自宅に帰してくれた。まあこれだけ走ったので、大分勘は掴めた。明日以降も楽しく運転しよう。もちろん安全運転だけは忘れないように。

2017年10月12日木曜日

昨日の続きをやろうとしたのだが…

昨日の科研費調書の作成の続きでもやろうと思ったのだが、MaC に積んである TeX Live では古くてタイプセット出来ない。仕方ないから TeX Live のアップデートするか、とやってみると30分ほどで終了。さてうまくいくか、と思ったらいかない。仕方ないので Windows7のパソコンの方をアップデートするか、と思ったら、ウィルスバスターが邪魔して出来ない。どうすうちゅうねん。やはり今週の土曜日(月曜日の講義日)、来週の月、火あたりで一気にやっちゃうしかないか。

まあ科研費は TeX で全部書くわけでなく、e-rad とかいうよくわからない頁に行って、そこで入力する分もあるから、去年の調書を参考にどういう風にお金をいくら使うかなどの入力をする。ちょっとトラぶったが、こちらは無事に成功。よしこれで明後日以降に、一応やりましたで、という証拠を事務に提出する。多少文句を付けられるだろうが、それは承知の上。締め切り前に一旦は提出したという事実が大事。去年までと色々変わっているそうだから、大丈夫だと思っても大丈夫でないことが起こるに違いない。予断をゆるさないぞ。

2017年10月11日水曜日

TeX をバージョンアップして、科研費調書の直し

昨日の晩はやることがないので、10時くらいに寝た。で今朝起きたのが11時。よくこんなに寝られるもんだ。

というわけで、珍しく定時より5分以上前に教室に行った。で「代数学II」。今日は t が体 K 上代数的なら、K(t)/K の基底が 1,t,…,tn-1(n=[K(t):K])であることなど。剰余環とか多項式の既約性が効いて来るところ。ということで前期その辺で脱落した人は今日の講義はチンプンカンプンだったでしょう。なので、「そういう人は自分でどうにかしておくこと」といつもの捨て台詞を吐いてくる。

昼休みは科研費の調書でも書こう、と思って、そのために住処からわざわざ Mac を持っていく。でこの前一発で通ったはずが、なぜか駄目。おかしい。で学内無線 LAN に Mac をつないで TeX をヴァージョンアップしよう、と思ったんだが、うまくつながらない。そうだ、この際、いつも書類作成用に使っているデスクトップのパソコンの TeX を最新のものにしてしまおう、うまくいかないのはきっと TeX が古いからだ、うん、と勝手に解釈して、インストール開始。午後の講義が終了してもまだ終わっていないはずだから。

というわけで午後は「暗号理論」講義。今日は互除法がどれくらいで終わるかの見積もりと、RSA を理解するのに必要な初等整数論をちょっと。で少し早目に終了。

で個研室に戻ってみると、何やらインストールがうまくいかず、エラーメッセージが出ていた。うむ、困った。ということでよーく読んでみると、何やら別の方法があるとか。でそちらを試してうまく動いていることを確認して会議。

会議が終わっても当然インストールが終わっているわけはなく、「しゃーない、諦めて帰るか」と、一旦は考えた。が、今日中にうまくいかないと気持ち悪いので、TeX のインストールが終わって、調書が上手く通るのを確認してから帰ろう、と気持ちを切り換え、待つことにする。その間は部屋の片づけを少々。まあ少々では全然片付くわけはない。何しろ小生の部屋は末期症状だからね。とりあえず健康診断キットだけは探し出さないといけない、と思って必死に探した結果見付かった。片付けはそこで終了。でまだ TeX のインストールが終わっていない。しかたないので色々しながら、待つ。待った甲斐あって、TeX が最新版になった。さて調書をタイプセットするぞ、と思ってやったら、前と同じところでエラー。うむ、これはおかしい。TeX のせいじゃなく、小生の書いた .tex ファイルに間違いがあることにようやく気付き、直し始める。でどこが悪いか探すのはいささか面倒。ということで、科研費 LaTeX をもう一度拾ってきて、さらの状態から少しずつ直していく。順調に行っている。である所をコピーアンドペーストしたら、突然エラー。うむ、とりあえずその行をコメントアウトして、タイプセットすると、別のところで同じエラーメッセージ。どうやら \hline というコマンドに問題があるらしい、ということがわかって、\hline のある行を全てコメントアウト。すると、めでたく TeX が通って、pdf に変換することも成功。いやー、疲れた。と時計を見ると、なんt21時30分。最近早く帰るのが普通になってたから、凄く遅い時間のような気がするが、まだ終バスまでならずいぶん時間がある。車で職場に行くようになるまでは、終バスまで職場にいることがしょっちゅうだったのだが。ということでうまくいったものをプリントアウトして、職場を離れる。

夕食がまだだった。天下一品のラーメン(並)無料券を使わないといけない、ということで南草津の天下一品へ。ラーメンだけ食べて、はい無料、というのは出来るほど図々しくはないので、一緒に餃子も頼んでくる。ついでにビール、というわけにはいかない。車だからね。

で、こういう風にテンションが上がっている時は事故を起こしかねない、ということで自分に「慎重に、いつもより慎重に」と言い聞かせながら運転をして帰ってきた。住処着23時。もういつもの「ふなごや」にも行く気がわかないので、コンビニでビールを買ってきた。これから呑む。さらに新幹線で買ってきてまだ呑んでいない「獺祭」も呑む予定。明日は科研費の調書の直しをしよう。最悪な場合住処の Windows7 のパソコンも Mac の TeX もバージョンアップしなくちゃいけなくなる可能性もあるが、そうなったらインストーラーを走らせておいて、職場に行けばよい。うん、ということで今日は早目に寝よう。ということで呑みスタートです。じゃ!


2017年10月9日月曜日

今日は平日のため、昨日熊本から帰ってきた

昨日は研究集会2日目。わかりやすい話や興味深い話が多かったので、真剣に聞いてきた。やはり整数論に関わった以上、素数分布や類数の話はわかりたいと思っている。論文を書くことは出来ないだろうから、せめてわかるくらいは。弟子のK君がどんどん偉大になっていく。冗談も入れたりしながらと、中々軽妙なトークであった。

その後路面電車で熊本駅へ。激込みだった。熊本からは山陽新幹線直通の新大阪行きに乗る。停車駅が、博多、小倉、広島、岡山、新神戸と、中々派手にぶっ飛ばしてくれる。何故か京都までの切符を買ったら、新神戸で乗り換えるような切符になっていた。新大阪乗換えよりホームを移動しない分楽だからということだろうか。で新神戸-京都間くらいは立っててもいいや、と思って、何10年か振りの新幹線自由席券を買った。ただ激しく後悔。デッキに立って空き席を待つ空しさたるや。新神戸-京都間でも指定券を取っておくんだった。新大阪-京都間だったら在来線に乗るが。

新幹線の中では科研費の申請書類書き。何かおかしい。表示されるべき部分が表示されない。これは「科研費 LaTeX」いかれたか?と思ってもう一度ダウンロードしようと思いページに行ったのだが、「最近のバージョンの TeX Live が必要」と書いたあって、「あ、そうか、このパソコンに入っている TeX が古いのが原因か」と気付き、帰ってきて少し新しい TeX Live が入っている Mac のパソコンで TeX を実行したら、すぐに正しいものが出てきた。よかった。

ということで今日は恒例の「体育の日と書いて平日月曜日と読む」なので、昼過ぎに出勤。「数学IV」は部分空間の定義と同値条件といくつか例。暑くて汗みどろになった。講義が終わってみると、冷房の電源が入っていたことが判明。今日は暑かったからな。その後卒研ゼミ。今日はイデアルが2元生成であるとか、イデアルのノルムとか、素イデアル分解の一意性など。イデアル類群は来週登場。楽しくなってくる。ただちょっと順調すぎて、本が早目に終わってしまいそうだ。学生からも「この本1冊終わったらどうするんですか?」と聞かれた。「考えておく」と曖昧に答えておいた。また頭痛の種が一つ増えてしまった。

で今日は3連休の最終日なので、名神は激込みだろう、と思ったら案の定で、草津JCT、京都南間が渋滞。これでは京都東まで何分掛るか全く読めないので、下道で。すいすい進む。が、大津-山科間は国道1号を通らないといけないのだが、ここが渋滞。峠越えまで随分掛る。まあそれでも40分くらいで帰ってこられたから、まあ上出来。帰宅後はラーメンをすすりながら「Qさま!!」を途中から。面白かった。

さて明日は昼からだが、まだ旅の疲れがちょっと残っているので、早いこと寝る。おやすみなさい。

2017年10月7日土曜日

研究集会1日目

今日から研究集会。前に泊まった人が8時40分に目覚まし時計を仕掛けたのがそのままになっていて、幸いなことに朝食食べてもまだ会場に着くには余裕のある時間。で余裕のあるのはいいが、歩いていっても肝心の現地を見つけられない。トイレにも行きたくなってきたし困ったぞ、と思って適当な建物に入ったら、何とそこが目的地だった。よかった。

しかしホテルは熊本城のすぐ近くなのだが、食堂の窓から見えるお城の哀れなこと。崩れた石をもう1回積み直すそうだから、何年掛るんだろう。「お城が見られないのは残念」という意見には真っ向から反論があって、「修築中の城を見るチャンスは中々ない!」とのこと。うん、まあそうかな。

で肝心の研究集会はと言うと、全て起きていて全部聞いた、は嘘で、一部内職モードに入っていたが、まあいつもよりは聞いている感じ。明日はもうちょっと聞けそうな話だから、真面目に聞く。

その後懇親会。運良くエビスビールだったので、O君と二人ビールだけで済ます。他の人はあれこれと頼んでいたが、ちょっとたちの悪いのが1人。「お姉さんの好きと言う物が全部好きだから」とか言ってバイトのお姉さんは大層困っていた。(いや、バイトじゃないのかも知れないけど。)終了後は「昨日はラーメン4杯食べました。加川さんもどうですか?」とか誘われたんだが、いやいや、もう一杯。「そんなに食べてよく太りませんねー」と言ったら、「昔の加川さんが思い出せないんですけど」と言い返された。うむ、困ったね。と言いつつホテル目指してオーガナイザーの寺井さんと群馬大のM君と3人でホテルを目指す。2人はまだロビーで数学の研究をやるそうだから、一足早く部屋へ帰ってきた。いやいや、楽しい一日でした。(まだ明日があるのを忘れるなよ!)

あ、そうそう、昨日のブログに「最後の話が一番面白そう」とか書いたが、「午前の最後」に訂正。それを聞きに来てるんだから。


2017年10月6日金曜日

熊本ナウ

明日、明後日と熊本で行われる研究集会のため来ている。新幹線で来たんだが、中々の長旅だった。新幹線に乗ってる時間は合計で3時間40分程。明後日は最後のトークが16時10分から17時までで、closing が17時5分までと成っているから、京都に着くのは大分遅くになりそうだ。月曜日は恒例の祝日つぶしの講義日だから、明後日は多少早く寝なくてはいけない。そのためには明後日は途中で抜けるのがいいのだが、最後の話が一番面白そうなので、途中でごめんするわけにはいかない。新幹線で寝るか。科研費の申請書類を書こうと思っていたんだけどなー。ま、いいや。その時に成ったら考えよう。とにかく疲れたので、もう寝る。じゃ!

2017年10月4日水曜日

シーズン最終戦

今日は「代数学II」と「暗号理論」。前者は「最小多項式」が登場。次回は最小多項式であることと既約多項式であることが同値なのを示すなど、面白くかつ難しくなってきた。「暗号理論」は必要な整数論の復習。Z が単項イデアル整域であるとか、a,b∈Zの最大公約数が ax+by の形で表せることなど。去年やったことばっかりだが、4回生に成ってまで単位を取りにくる学生はあまり3回生の代数は理解していないと思うので、まあいいでしょう。来週は互除法が何回で終わるかの評価から始める予定。

しかし1日2コマはやっぱり疲れる。特に午前中は少しセーブしながらやってるから、午後は4回生相手に「復習だから」と言ってマシンガントーク。終わった後の疲労感がひどい。今日も講義終了後は何もしないで帰ってきた。

で17時20分頃帰宅。55分より野球。今日が今シーズン最終戦。勝てばルーキー濱口が二桁勝利。ルーキーの二桁勝利は20年前に川村がやって以来とかで、注目して見る。勝負は Baystars がソロホームラン2本、Dragons がソロホームラン1本で、2-1の勝利。こういう勝ち方は好きではないんだが…。まあ濱口が二桁勝利、細川の2試合連続ホームランなど、見るべきところは多数。勝ってよかった。

その後最終戦ということでセレモニーが行われた。監督の挨拶、シーズン振り返りのビデオ、球場中を回りながらファンボールをスタンドに投げ入れる、そして派手な花火の演出と、DeNA がスポンサーに付いてからこういう楽しませ方が上手になった気がする。客も入るわけだ。キャパ2万8千ちょっとの球場で、1試合平均が2万7千強という、驚異的な客の入りもうなずける。ただ、ちょっと気が向いたから横浜まで新幹線飛ばしていって、切符買って見る、ということが出来なくなったのは残念だが。監督曰く「甲子園で Tigers に勝って、Mazda で Carp に勝って、必ずまた戻ってきます」とのこと。そんなことになったら来年は毎日超満員だろうな。まあ遠くからテレビで応援しますわ。

ということでちょっと呑んできます。じゃ!

2017年10月3日火曜日

だるい1日

何か朝からだるい。風邪の初期症状のような感じ。なので大事を取って、今日のゼミは休みにした。そのまま寝ていられれば良かったのだが、今週末からの出張届けを出さなくちゃいけないのと、教授会に出席する義務があったので、ちょっと無理をして職場へ出掛けた。

で帰宅後。まだやっぱ何かだるい。が、とりあえず野球観戦。テレビを付けたら1回裏の筒香の打席。ヒットで出て、5番バッター。当然宮崎と思ってみていたら、細川とかいう知らない選手が打席に。そうか、宮崎は首位打者掛ってるからお休みか。まあ期待しないでいよう、と思ったら、プロ入り初打席3ランホームラン。びっくり。投げてはプロ初登板の綾部が先発で、5回無失点。2番手飯塚がソロホームランを許すも、結局3-1で勝利。ちなみに Baystars の安打は初回の3安打のみ。つまり、桑原25打席ぶりのヒット、筒香ヒット、細川ホームランのこの3安打で勝ったのだ。うーん、こういう野球をやってちゃいかんのだが…。まあ今日は宮崎だけでなく梶谷も出てないし、仕方ないかな。まあラミレス監督の誕生日プレゼントとしては丁度良い勝ちだったということで、今日はOK。明日は濱口が10勝目を掛けて放るそうだから、明日も楽しく見よう。

明日は午前中から講義。先週いくつか嘘をついてしまったので、訂正しないと。あと午後の講義の学生にも諸事情あって平謝りをしなくてはいけない。まあいいでしょう。野球が8時30分頃に終わったのをいいことに、今日はもう寝ることにする。寝坊しないよう注意。あと体調が今日よりはよくなっていることを願う。まあ数学の講義をやると体調がよくなるというデータが結構あるので、明日で本復でしょう。

2017年10月2日月曜日

今日から数学IVと卒業研究がスタート

何か変な夢を見て、そのせいか寝不足気味だったが、気合を入れて職場へ向かう。今日から「数学IV」のスタート。要するにベクトル空間を扱う時間である。今日は集合リテラシーをちょっとやって、ベクトル空間の定義と例(テキストに載っていない例も挙げる)、部分空間の定義など。零ベクトルの一意性や逆ベクトルの一意性とか、-a=(-1)a などをやって、早速森に迷い込ませる。あと14週間大丈夫なんでしょうか?

卒研も今日からスタート。今日で類数1の話は終わって、来週から類数が1より大きい場合。イデアル類群が登場してきますからねー。うきうきしちゃいますね。ということで19時半くらいに職場を離れる。

すき家で「鰻丼特盛り」を食べるつもりだったのだが、鰻はもう無いらしいので、「秋刀魚丼並盛り」に変更。青魚は体にいいのだ。たまに食べておかないと。もう野球のシーズンも終わりを迎えているので、そろそろカップラーメン夕食モードからは脱出できそうだ。でもまだCSも日本シリーズもあるのだな。まあ試合がある時は見るということでカップラーメン夕食に戻ってしまうのだが、無い日は精一杯抵抗しよう。明日?明日はカップラーメンです、はい。

2017年10月1日日曜日

Baystars CS進出決定!

呑んだ次の朝は中々起きられない。夕刻まで寝ていることもしばしば。が、今日は14時ちょっとに目が覚めて、野球が観戦できた。乱打戦もいいところ。Baystars はロペス、筒香、ウィーランド、筒香、梶谷がホームラン、Carp は會澤、田中がホームランと、空中戦。結果はというと、B 12-7 C で勝利。今日は Giants が負けてくれたので、これでCS出場決定。念願の「ハマスタでCSを」は実現できなかったが、まあ贅沢は言うまい。今日の調子で打ち続ければ、CS突破しちゃうかも知れないから、日本シリーズ行っちゃって、それで日本一に成っちゃたりと、今だけ夢を見る。シーズンでは Tigers には負け越してるから、CSファーストステージの突破は微妙。Carp には今日勝って13勝12敗と勝ち越し。だからセカンドステージにもし行けたらまた Carp と互角に戦える。とりあえず Tigers との3戦を勝たないと意味は無いので、頑張ってファーストシリーズ突破しましょう。

しかしウィーランドのバッティングは凄い。2打席目は打った瞬間それとわかる3ランホームラン。7点取られても打席に立って、「まだ投げさせるつもりか。変えてやれ」と思って見ていたらまたヒットを打った。で次の回のマウンドは砂田。そうか、ピンチヒッター出すよりウィーランドに打たせたほうがよかったというわけだ。名采配。

でその後は、出し忘れた書類があることに気付いて、職場へ車で。いや別に明日出しても構わないんだが、それだと午後の講義のあとに出すことになるので、よくない。今日出しておけば明日の朝一の学内便で送ってくれるだろうから、半日くらい早いことになる。ということで行ってきたというわけ。でその後そのまま帰るのは馬鹿馬鹿しいので、職場の近所の「天下一品」でラーメンただ券をもらうため行ってきた。いや、山科にも「天下一品」はあるのだが、まあどうせなら草津でもらっておこうということで。20分くらい並んでようやく店内へ。今日は忙しくて仕事が雑なのか、いつもより美味しくなかった気がしたのは多分気のせいだろう。その後名神で山科まで帰ってきて、コンビニエンスストアで明日の朝食の買出しなど。今日も無事に更けていくのであった。

明日は昼から講義。月曜日の初回。ベクトル空間か。不安だな。

COLOR'S でライブ

今日(昨日ね)は、Baystras vs. Carp を観戦。1点先攻されるも、宮崎のホームランで同点。その後チャンスを作り続けるも、肝心の一本が出ない。で21時から向かいのバー COLOR'S でライブがあり、ボンジョビの「Livin' On a prayer」をやるというので、これは行かなくてはいけない。先日行ったときに、小生この歌の歌詞を暗記してる、と言ったら、「じゃあ客席で大声で叫んで」と陳さんに頼まれて、行かなくてはいけないのだった。その時点では Baystars vs. Cars は 1-1、Giants vs. Tigers は 1-3。Giants が負けてるのは望ましいのだが、Baystars が勝っていないのは…。ライブの合間に見ると、Baystars vs. Carp は 1-5、Giants vs. Tigers も 1-5。でそのまま決着。Giants が負けたのは嬉しいが、Baystars も負けているのはちょっと痛い。まあ明日(今日ね)Giants が負けてくれれば文句は無いんだが。とにかく良い方向に行くよう、期待して待つ。I'm looking forward to winning. ってやつやね。もうこんな時間じゃないか。明日(今日ね)のデーゲームを見るため、そろそろ寝よう。

「Livin' on a prayer」の出来は今一。小生楽器のことはわからないので、もっぱらボーカルのチェック。発音悪いし、リズムに合ってないし、不合格やね。まあベースは素人だったが、よく弾けていた感じ。総じて合格点でしょう。(偉そうである。)次は “You give love a bad name” をやってくれるそうなので、また楽しみ。少しボンジョビのCDを買い漁るかな。