2019年6月30日日曜日

5割復帰はおあずけ

昨日は野球後激呑み。野球はと言うと、猛攻の次の日は点が入らないというジンクスが本当にそうなって、伊藤光のホームランで1点取った後沈黙。磯村のタイムリーで追い付かれ延長戦に。10回の裏に宮崎のサヨナラタイムリーで勝利。これで借金1。いい感じでした。

で今日も野球観戦。筒香のタイムリーで先制するも、メヒヤに2ランホームランを打たれリードを許す。が、土壇場9回2アウトから代打佐野のタイムリーで延長戦に持ち込む。結局引き分けたので今日の5割復帰はお預けとなったが、昼 Tigers が負けていたため、同率の3位に浮上。明後日からその Tigers との3連戦。Tigers は苦手にしているのだが、そんなことは言っていられない。最悪でも勝ち越して、単独3位浮上と行きましょう。

講義の準備は1週間半くらい持たせられるようになった。が、実はまだ講義は4回もあるようだ。近傍による位相の導入、p 進整数環の射影極限による導入で終わるかと思っていたんだが、そうは問屋が卸さなかった。仕方ないので射影極限をもっとしっかりやって、無限次ガロア理論、そして Zp 拡大のことをちょっとやる。それでもまだ時間が余りそうだ。最悪閉講にするしかないが、それは当局にばれるとまずいので、何とか15週間講義を埋めたい。ベルヌイ数でもやるかな。von Staut-Clausen の定理とか p 進L関数とかやれば、こっちの勉強にも成って丁度いい。まあ今日はもう寝るがね。

2019年6月28日金曜日

17安打13点の猛攻で借金2

今日は午前中に起きた。で1時から用事があるので、それまでのんびりと過ごす。12時15分頃住処を発ち、市内某所へ地下鉄で向かう。用事は一瞬で終了。そのためにお金を使って、汗をかきかき行ったのかと思うと若干腹立たしかったりするのだが、止む無し。

で2時頃帰ってくる。それからしばしお勉強。ようやくトンネルを抜けた感じ。もう一息なので、今日は多少遅くなっても構わないので粘る。

と言っても6時からは野球を見たわけだが。今日は vs. Carp で、ピッチャーは今永と大瀬良。防御率2点台の投手同士だから、そんなに点は入らないだろう、と思って見ていたらさにあらず。1回裏にロペスが特大ホームランで先制。が、Carp があっさり取り返して1-1。で3回、4回と Carp が2本のソロホームランで1-3。そこからの Baystars がえげつない。筒香同点2ランにソトの3ラン、ロペス2ラン、筒香ソロと、5ホームラン、17安打、13得点。途中で勉強が気になりだして、野球観戦をやめたくらい凄かった。こういう試合は球場でビール呑み吞み見ると楽しいんだろうが、何かひっかかってることを中断してやっていると、集中してみることができないし、見なくても「絶対勝つぞ Baystars!」という感じで見なくなってしまう。まあ接戦をハラハラして見て最後に落とす、というのに比べたらいいが。とにかく借金は2に減った。3位 Tigres まで1.5差。これはもう行くでしょう。明日も勝って下さい。

で今日は呑んでもいいんだが、お勉強が上に書いたような状況なので、今日は呑まない。仮に勉強が無かったとしても、今日は呑まないな。何故なら朝から腹の調子が悪いため。恐らく冷房を効かせた部屋にずっといて、冷たいもの飲み物(アルコール飲料ではない)ばかりを飲んでいるからでしょう。明日は激呑みしたいので、腹の調子が治まってればいいが。お勉強の方もキリがついていますように。

2019年6月27日木曜日

G20で大阪は交通規制

昨日は頭が痛いので早寝する積もりだったのだが、つい勉強が捗ってしまって、夜更かししてしまった。ということで今日も遅く起床。起きた後は飯を食べてまた数学。どうも基本的な部分をきちんと理解できてないようなので、1からじっくりやろうということにした。まだ時間はあるのでね。紙をおいてペン片手に、左から右へ写すような感じで、じっくり考えながらやる。こういう勉強もいいものだ。明日もじっくりやろう。ということで今日こそ早寝する。

さて、台風が来ているようだが、そんなに荒れている感じがしない。G20のため多くの外国首脳が大阪に来ているが、大荒れにならなくてよかった。飛行機が空港に着陸できないんじゃしゃれにならんしね。日本は災害が多い、というイメージを持って帰って欲しくないので、大したことなくてよかった。最近地震が頻発しているようだが、G20が終わるまでは地震が起きないといいな。おっと、ずっと起きないほうがいいがね。

2019年6月26日水曜日

K 先生(≠小生)行方不明

昨日の晩は数学に大分集中していて、ブログの更新などすっかり忘れていた。珍しいことをするから、明日は大雨らしい。台風も来るとか。嫌だ嫌だ。

火曜日は「代数学I」。Chinese remainder theorem で90分尽くせるか、と思ったんだが、75分しか持たなかった。仕方ないので、来週やる予定だったところに少し突っ込む。来週は多項式環 Z[X] が U.F.D. であるが P.I.D. でないことを示す予定。

昼飯を挟んで卒研1。今日は合同ゼータ関数の話。で何度か対数微分が出てきたんだが、学生は関数 f(X) に対し、真面目に f'(X)/f(X) を計算していたようだ。log f(X) を考えて微分する、とやったら、痛く感動してくれた。うーむ。まあいいんだけど。来週から代数体の話に成る。こっちは退屈しそうだが、学生はそこをやるのを楽しみにしていたらしい。折角学んだ代数を今まであまり使ってこなかったが、来週からは使えるので、ということらしい。まあ楽しんでくれるならそれでOK。

で昨日は Baystars は試合が無いので、職場に7時くらいまでいた。その後ココ壱でカレーを食べて帰宅。その後は上に書いた通り数学。2時くらいまでやっていた。

で今朝は寝坊。10時半と11時に目覚ましが仕掛けてあるが、どっちもスルーして12時半近くまで寝ていた。急いで出勤。卒研2には10分ほど遅刻。こんなことばっかりやってる。夜更かしはほどほどにして、ちゃんと出勤しないと。

で今日の卒研2は合同式について。ようやく来た。「a+mZ=b+mZ ⇔ a≡b (mod m)」 を流そうとするので、示すよう突込みを入れた。悪戦苦闘だが理解してくれたようだ。よかった。3時前に終了。

その後会議。ちょっと難しい話題があって、その件に関しいてくれないと困る先生がいなくて難渋。その後の会議もその先生がいないと困るんだが、いないので暫定的にスケジュールを決める。会議後「会議を忘れていました。申し訳ありません」という趣旨のメールが来た。まあ会議を忘れることはあるんで、仕方ないでしょう。6時前に解放される。

帰宅して数学をしよう、と思ったんだが、野球選手の奥さんを特集した番組がやるとのことなので、それを見てしまう。不覚にも涙。独立リーグからのプロ野球入りにも色々な人生模様があるもんだ。応援しよう。Baystrars 戦では大人しくしといてな。

水曜日はいつもは激呑みなのだが、上に書いた番組を見ているうちに遅くなってしまったので、今日は酒抜き。頭が痛いのも理由の一つ。酒が好きと言っても、体調不良を押してまで呑むほど好きではない。酒を抜いても大丈夫だから、アル中ではない。いつも書いている通り。また週末まで節制して、それから呑む。アルコールよ待っていなさい。

2019年6月24日月曜日

戦国武将で一番強いのは「武田信玄」だそうだ

月曜日は「代数学特論2」。2時40分から。で早寝しなくても大丈夫だから、遅くまで起きていた。で起床は午後に成ってから。食事をする時間が無かったので、飲まず食わずですっ飛んでいく。

で職場に着いたら2時過ぎ。今日は学生にレポート課題を配布することにしていたので、コピーを取ろう、と思ったら、教員証の入ったカードケースを忘れたことに気付いた。コピー機のある会議室を開けないといけないので、入れない。仕方ない、学生用に開放してあるコピー機を使おう、と思ったら、コピーカードも忘れてきている。さすがに「開放してある」と言っても、コピーカードを無料で使わせてあげるほど太っ腹ではない。さー、どうしよう、と迷うことしばし。そうだ、学科の事務室にコピー機があるじゃないか!ということで7階の事務室に飛んでいって、10人分コピー。やれやれ。

で2時40分くらいに講義室到着。まずはレポート問題の配布。遅れてきた学生も含めると11人に成ってしまい、1枚不足。まあいいや、あとであげよう。ということで開始5分くらいはそれに使う。その後講義。今日は有理数体の非自明な付値は p 進付値(p は素数)か普通の絶対値と同値であることを証明。その後位相群についての概略。全然証明しなかった。唯一やったのは「開部分群は閉部分群」の証明だけ。まともにやられてもたまんないだろうけどね。来週は近傍による位相の導入を丁寧にやって、その後射影極限を使って p 進整数環を定義する、その後完備化で導入した Zp と射影極限を用いて定義した環と位相まで込めて同型であることを証明する予定。射影極限が少々手薄なことに気付いたので、1週間で強化していくつもり。講義終了後1人質問に来た。珍しい。何だと思ったら「これなんて書いてあるんですか?」と黒板を指差しながらの質問。「即ち」を指差している。字が汚くて読めないのか、それともこれを「すなわち」と読めないのか、どっちだろう。前者であることを願おう。

その後すぐ大学を離れる。住処に一旦着いた後、昼飯、晩飯共用の飯のため、食べ物屋へ向かう。SmartNews のクーポンを使おうと思ったのだが、1日遅れで使えなかった。無念。安く済ませる積もりだったのだが。

で食事から帰ってきて、昨日のプロ野球ニュースを録画しておいたものを見る。菅野が1回0/3でノックアウトされた、という情報を入手していたので、無様な姿を見てやろうと思って見た。爽快だね。Giants にもどんどん落ちてきてもらわないといけないので、菅野の不調は朗報ですわ。

その後「Qさま!」3時間スペシャル。今日は「本当に強かった戦国武将ベスト15」だそうなので、戦国時代好きの小生としては見ないわけにはいかない。で7時からテレビの前に貼り付く。「立花宗茂」とか「本多忠勝」とかが上位に入ってくる辺りは流石。ただ、問題は全般に易しめで、武将名を当てさせるクイズは、大概武将のシルエットで分かってしまった。「伊達政宗」は下膨れの肖像画が有名だし、黒田如水とか上杉謙信は被り物でわかってしまう。さらに黒田如水の「一族が目薬を売って生計を立てていた」というのもあまりに有名で、もう第1ヒントが出た瞬間に確証が持てた。うん。まあ実際スタジオに入って敵がいて、優勝したら賞金がもらえる、という状態と、自宅で落ち着いて見ているのは事情が違うので、あれくらいの問題が適当でしょう。偉そうに書いたが、戦国武将から派生した問題はほとんど答えられなかった。例えば「家康は鷹狩りが趣味。じゃあ鷹狩りが有名なこの都市はどこ?」みたいな問題。小生は知識が偏りすぎているので、ほとんど分からなかった。この問題の正解は、聞いているのだがもう忘れた。そんな調子なので、クイズ番組を見てもあまり賢くなれない。まあいいんだけど。

漢検1級レベルの問題で1問分かったのがあった。それは「虱の読みを答えよ」という問題。正解は「しらみ」。これは、ボレビッチ・シャファレビッチ(佐々木義雄訳「整数論(上)」吉岡書店、と言う有名な本に使われていたのを昔読んだため知っていた。案外難しい漢字を知っているのに易しい字を知らなかったりするのも、こういった本しか読んで
いないのが原因でしょう。まあいいんだけど。

明日は8時半起きなので、今日は早目に寝る予定。「過ぎるTV」を見ないで寝る積もりだが、毎週録画してあって全然見ていない。まあ「過ぎるTV」くらい見逃しても問題は無いので、そろそろ録画はやめよう。今晩?録るかな。

2019年6月23日日曜日

交流戦は貯金3で終了

今日も野球のみの1日。Baystars の交流戦は今日で終了。10勝7敗1引き分けの貯金3。パ・リーグ相手に5割でいければ御の字だったので、まずは重畳。と言っても、今日の試合もあまり褒められたものではない。3-0なのだが、3点の内訳はピッチャー上茶谷の2点タイムリーとソトのソロホームランの3点。まあ贅沢は言っていられない。内容よりも勝つことが大事。何しろまだ借金が3あるからね。このままオールスターを5割で迎えれくれれば上位が見えてくる。8月が勝負やね。とりあえず当面の敵との戦いを大事にしよう。リーグ戦再開後の最初の相手は Carp。Carp は落ち目だから、ここで3タテ出来ればでかい。場所はハマスタだから期待が出来る。頑張ってもらいましょう。

Carp の話。Baystars の試合が終わった頃速報を見たら、9回終了時で0-0。これは延長戦を見てやろうじゃないか、ということでチャンネルを J-sports1 に切り換える。延長10回表。まさかの滅多打ちを食らう。1イニング4三塁打というパ・リーグ記録付きの猛打で、Buffaloes から9点を奪われる。うーん、リーグ戦の時の Carp とは別のチームのようだ。まあこっちが優勝するには Carp を引きずり下ろすしかないんで、負けてくれてよかった。誤算だったのは Giants が勝ち過ぎたことだな。とにかく Carp には大人しくしてもらおう、うん。

2019年6月22日土曜日

1回表に6失点、1回裏に7得点、こんな試合を落とす

今日は起きたら野球の時間だった。相変わらずだらしない。おっと言っておかないと。今日はデーゲームです。

で1回表にいきなり6点取られた。先発の大貫は1アウトも取れずに降板。こりゃいかんわ、と思って見ていたら、何と1回裏に7点取り返す。先発の古川は1アウトしか取れずに降板。うーん、こんな試合見たことないな。半分以上諦めていた試合だが、逆転したと成っては欲張るのが当然。勝とう、ということで応援し続ける。4回を終わった時点で9-6とリード。いい感じで行っていると思ったら、平田がノーアウトのランナーをゲッツーで空にした後2失点。1点差。勿体ない。7回には三嶋がまるっきり同じ展開、ノーアウトのランナーをゲッツーで空にして、その後山下に2ランホームランを浴び2失点。逆転を許す。その後8回に更に1失点をし、11-9。9回裏は代打桑原のヒットから1アウト2塁のチャンスを作るも、恒例筒香、宮崎が打ち取られるパターンであっさりゲームセット。5回以降は Baystars はノーヒットだったそうだ。相変わらず中押し点が取れていない。明日で交流戦は終わりだ。勝って閉めよう。

ということで勢いをつけるべく呑むことにしました。じゃ、行ってきます。

2019年6月21日金曜日

交流戦勝ち越し決定!

昨日は結局遅くまで起きていた。そのあおりで遅くまで寝ていた。しょうもな。今日は何時に寝ようかな。

ということで、今日は野球観戦以外は何もしていない。だから例に寄って野球の話しか書けない。まあいいや。今日は神里が久々のヒットを打った(先頭打者ホームラン)り、ロペスがホームランを打ったりと、いい滑り出し。が、Eagles にもホームランを許し、あわやホームラン性の当たりが出たりと、反撃を許す。それでも先発の今永が7回2失点と好投。またも延長戦か、と思ったら、大和がまたサヨナラヒットを打ってくれた。一昨日のサヨナラ打も大和だった。勝ち投手はというとエスコバー。ここ3日間で2勝1敗と、ついてるんだかいないんだか。まあいいでしょう。今日勝って交流戦の勝ち越しが決定した。さらに借金3で、3位 Tigers と2ゲーム差。いい感じです。10連敗が無ければ今頃は首位争いだったかも知れない。まあこれからでもいいので、どんどん上げ潮でいきましょう。因みに一昨年も交流戦に勝ち越しているが、そのまま3位で終了し、CS で下剋上を起こし日本シリーズに出場している。だから今年も、って望みが小さい。これから大逆転で優勝じゃ!

2019年6月20日木曜日

昨日は恒例、激呑み

昨日は野球終了後激呑みをしてきたので、ブログは更新しなかった。一応昨日の出来事のレビューから。

1時から卒研その2。CR 上の既約多項式の分類をやった後、Q 上の既約多項式の分類がすぐ出来ない、という話。Eisenstein の既約判定法の証明をして、Q 上既約な多項式の例を上げてくれた。結局セクション一つやっただけで終了。ご苦労さんでした。

その後学科会議。久々で喋りたい人が多いのか、随分時間が掛った。ちょっと重たい議題もあったし。終了後は一部のメンバーで会議の続き。重たい話題だった。まあその人の気質だから仕方ないが、もっと仲良く出来ないもんだろうか?という話題もあった。ということで解放されたのは7時近く。うーん、疲れた。

その後直帰して野球を観戦。いい勝ち方をした。ということでストレス発散と祝杯をあげるため激呑みに出る。楽しかった。

で今日だが、昼過ぎに1階に引っ越した方が挨拶に来た。ご丁寧にありがとうございます。何やらいただいたが、まだ開けていない。後で開けよう。その後再び寝る。中途半端に起きたせいで、まだ酒が抜けていない。ということで激寝。起きたらもう野球が始まっていた。国吉が送りバントを失敗したシーンから。国吉が打席に立つのは珍しい。確か阪口が先発だったはずだが、と思って見ていたら、国吉は2回から出ていて、1発打たれて追い付かれたのだが、その後ナイスピッチングをしていたようだ。このまま行けば国吉が勝ち投手、という展開だったが、その後追いつかれて突き放されてと、完敗だった。負け投手はエスコバー。まあたまには打たれるさ、ということで諦めが付いた。

その後ファミリーマートへ買い出し。レジのお姉さんには完全に覚えられているが、また新たに知っている人が働き始めているので、みっともない格好で行くのは避けよう。新しく働き始めた人は、前に焼き鳥「開口」で働いていた人。最近「開口」には行っていないな。たまには行かないとな。

起きたばっかりだがそろそろ寝ようか、と考えている。生活リズムを激しく崩さないようにしないと。と毎週思っているんだが、結局でたらめな生活でわけのわからない時間に寝て、わけのわからない時間に起きることを繰り返してる。まあいいや、あまり考えないことにしよう。寝るぞ!

2019年6月18日火曜日

すごく久々に図書館へ

火曜日は「代数学I」から。今日も時間前に到着。で今日は商体の一意性とか、整域から体への単射準同型写像があったら、それは商体からの準同型写像に一意に延長される、とか、積閉集合による可換環の商環、局所環など。退屈な議論が延々続く、地獄のような時間。まあ板書を写している学生もそうだったろう。講義ノートに1箇所嘘が書いてあることが判明したので、直しておこう。

昼飯を挟んで卒研ゼミ1。今日は射影空間とか代数的集合とか。割合退屈な議論。簡単な場合の合同ゼータ関数の計算例も出た。来週はもうちょっと難しい合同ゼータ関数の話。さすがに一般の場合は出来ないが、そこは章末のノートを読んでいただこう。学生は英語が苦手だそうだから、読めるだろうか?本文はちゃんと読んできている。unless の後に二つ条件が書いてあると和訳するのは難しいが、ちゃんと数学を理解してきているようで、大丈夫だった。また来週が楽しみ。

その後企業の方と会う。従業員500人程度の企業だが、面白いことをやっているようなので、興味深く聞く。と言っても学生にその内容を伝えることは中々無いんだが。

その後すごく久々に図書館へ行く。最近は論文は出版社のページからダウンロード出来るようになっているので、論文をコピーしに図書館へ、ということがとんと無くなった。本は借りる前に買っちゃうし。で何故今日は図書館へ行ったかというと、Washington の円分体の本を個研室で見ようとしたら見当たらず、仕方なく借りに行った次第。他にも面白そうな本があったんで、まとめて借りてくる。そんなことをしているうちに5時40分。あー、野球は途中からだ。

ということで15分くらい遅れて野球観戦開始。今日は Baystars 平良と Fighters 上沢の息詰まる投手戦。ソトのホームランで4回に先制したものの、上沢も好投を続ける。その後ソトの打球が上沢を直撃して、上沢は苦悶の表情で退場。うーむ、重症そうだな。大丈夫だろうか?その後大和の2点タイムリーで加点し、エスコバー、パットン、康晃とつないで3-0で完勝。楽に見られる展開でよかった。

でその後講義の準備。「代数学特論2」もどう考えても1週間か2週間余りそうなので、何かしようと思って本をひっくり返す。とりあえず1週間分はどうにかなった。何回残っているか正確に把握していないので、余分になるくらい準備しておこうということで。再来年度やる時は楽が出来るといいが。

でもう寝よう、と思ったところで地震のニュース。うーむ、大丈夫かいな。まあ心配していても津波を止められるわけではないし、電気を復旧できるわけでもないから、そろそろ寝るが。

2019年6月17日月曜日

今日も車の暴走事故発生

月曜日は2時40分から登板なので、ゆっくり起きる。昼過ぎ。朝昼兼用飯はカップラーメン。それからシャワーで寝癖を直して出発。

個研室に寄って資料を印刷してから講義室へ。今日の「代数学特論2」はほぼ「位相空間論」の時間。コンパクトの定義は皆よく知っている、ということにして Zp がコンパクトであることをまず証明。その後 Qp が完全不連結であることを証明するんだが、連結性についてはよく知らないだろう、ということで、連結性について結構がっつり講義。p 進数が分からない状態でもここだけは独立で聞けるはずなので、付いていけていない学生向きにはいいんじゃないか、と思ったんだが、数週間前から講義室には来ているが全然講義を聞かず内職をしている学生は今日も内職をしていた。来週は射影極限のことをやる積もりだが、こちらは位相群の話がわからないとどうしようも無いだろうし、近傍による位相の導入もわからないといけないので、来週も p 進体が全く出てこない話で終わるだろう。その後はどうしようかな。少し考えることにしよう。

講義終了後は直帰して、数週間前に放送していた「さんまのまんま」のスペシャルを録画しておいたものを見る。それから「帰れマンデー見っけ隊」と「10万円で出来るかな」を見て無為に過ごす。

その後「報道ステーション」を見ているわけだが、今日も車の暴走事故があったとか。うーむ。何でこう連日のように起こるかね。今日の暴走車の運転手は「意識が飛んで覚えていない」と言っているそうだが。特定のメーカーの特定の車種による事故が多いそうだ。今回のもそのメーカーなのかな。まあ何でもいいけど、事故だけは無いようにして下さいよ。お願いしますよ。

2019年6月16日日曜日

京都大作戦2019

昨日は呑んできた。週2回は激呑みするんだが、先週は1回だけ。昨日は ZIMA をたっぷり呑んだ。ビールと日本酒だけで済ますのが普通なんだが、ZIMA を呑むとくじを引かせてくれて、当たると「京都大作戦2019」のTシャツ(非売品)がもらえるとのことなので呑んだ。もう1人いたお客さん(以下「虎さん」と呼ぶ)は何度か引いたが当たらない。で小生はと言うと、何と1発目で当たりを引いた!何たるくじ運の良さ。虎さんが余りに不満そうなので、その後2人で ZIMA を呑みまくってくじを引きまくる。そしたらついに虎さんが当たりを引いた。一気に機嫌が戻ったようだった。因みに当たりくじは3本しかないそうだ。昨晩だけで2つ当たりが出てしまったが、流石に店長はそのことを秘密にするだろう。他のお客さんにも ZIMA 呑ませたいだろうからね。まあいい夜でした。え、「京都大作戦」って何だって?さあ、知らない。何なんでしょうね?

で呑んだ日は大抵ぶっ潰れていて、野球が終わるまで寝ているんだが、今日は珍しく3時くらいには起きた。そこから野球観戦。上茶谷がナイスピッチングをしていたんだが、甲斐にホームランを打たれて同点に成った。上茶谷はそこで降板。無念でしょうな。その後延長12回まで試合は続く。12回表終了で、Baystars の勝ちは無くなった。無念。12回裏は康晃がぴしゃっと、とは行かなかった。ノーアウト満塁の大ピンチ。こりゃサヨナラ勝ちは覚悟しないと、と思って見ていたら、そこからの康晃が凄くて、三振、内野ゴロ、ファールフライ。引き分けに持ち込んだ。Hawks 相手に1勝1敗1分なら上等でしょう。よかったよかった。

今日の Marines vs. Dragons は凄い試合だったようだ。9回裏に突入した時点では Dragons が5点リードだったのだが、Marines が6点一気に取ってサヨナラ勝ち。うーん、Dragons にとっては痛恨の試合だった。リーグで5位、交流戦は9位と、大分辛い状況。与田の采配ミスだろうか。鈴木博志を抑えに固定して13セーブ(だったかな?)稼いでいたのだが、ちょっと失敗したら鈴木をはずして、R.マルティネスを代わりの抑えに起用している。が、R.マルティネスも数試合抑えに失敗している。また抑えを変えるんだろうか?監督1年目とは言え、迷走している。経験豊富な伊東勤ヘッドコーチがしっかり補佐しないと。まあ恒例の Tigers, Baystars, Dragons の順位で奢る、ということをやるので、Tigers と Dragons のどっちかが Baystars の下にいないと困るのでいいんだが。Tigers も落ちてください。そうしないと Baystars が CS に行けないんでね。

2019年6月14日金曜日

大谷翔平サイクルヒット

今日は10時に起きた。11時に近所で野暮用。雨が降りそうなので傘を持って出掛ける。が、雨が降りそうにない。まあ大体万全の準備をしていくと無駄になるので、今日もかな、と思ったら帰り道でかなりの降りになった。持っていってよかった。

で3時から企業の就職担当の人と会う約束になっていたので、金曜日にしては珍しく職場に行く。今日の会社は SE 募集らしいので、色々聞いてきた。C 言語でプログラミングが出来るといいですよ、とのこと。が、前に経済学部から、プログラミング経験0で就職した学生がいたらしい。ということで、面白そうだと思って就職すれば経験の差は埋まるようなので、どしどし応募しましょう。6階の掲示板に貼っておいたので、見てください。

用事は30分弱で終了。そのまま帰るのも勿体ないので、ちょっとお勉強してきた。数セミに整数論の4ページの特集があるのだが、今回は素数の個数を表す関数 π(x) の評価が主題だった。この前眺めたが、手を動かさないとわからなそうなので、紙とペンを持って真剣に読んだ。面白かった。で日本評論社のホームページに補足が載っているので、そちらも読んできた。面白かった。で5時過ぎまで職場にいた。名神の工事は明日までなので、下道で帰ろうか、と思ったんだが、「京都東まで20分」の表示を信じて名神に乗った。工事中のはずだが車線規制をしておらず、確かに京都東まで20分だった。ということで野球に間に合った。

今日から vs. Hawks 3連戦。千賀 vs. 今永の、両リーグ防御率1位対決。点があまり入らないだろうと思ったら、5-4と結構点が入った。と言っても、 Baystars は柴田のソロホームランとソトの満塁ホームラン、Hawks は松田の2打席連続ソロホームランと甲斐のソロホームラン、もう1点は内野ゴロの間と、何とも見所のない試合だった。今永は被安打4だが、うち3本がソロホームラン。まあリリーフが良く締めた試合だったということにしましょう。実際パットンはエスコバーの残したピンチをよく凌いだし、Hawks も満塁のシーンを3度作られるも、2度は抑えたし。1度はソトの満塁ホームランだが、ソトは1度空振りの三振をしている。相変わらずチャンスに弱い。明日に期待。

さて今日の野球のニュースは「千賀 vs. 今永の防御率1位対決を今永が制す」でも「高木京介ついに黒星」でもない。やっぱり「大谷翔平サイクルヒット」でしょう。凄い。日本人初とか。次は何だろう?満塁ホームランは打ってるのかな?ピッチャー再開した時にノーヒットノーランをやってもらいましょうか。いや、ノーヒットノーランは野茂がやってるな。パーフェクトか?いいねぇ。やってもらいましょう。

2019年6月13日木曜日

名神で大事故発生

どうも夜更かししてしまうな。そのせいで遅く起きて、起きてからも不調という悪循環。まあ今日は早く寝ますわ。明日午前中に用事があるんでね。

名神で凄い事故があったようだ。車ってあんなに紙屑のようにつぶれてしまうんだろうか。事故は恐い。気をつけよう。そうは言っても、もらい事故だけはどうしようもない。自分から起こさないようには気をつけるが、もらってしまったら運が悪いとしか言いようがない。まあ巻き込まれないよう祈るしかないな。

今日は Baystars は負けて、5連勝ならず。相変わらず筒香は三振しまくってるし、ソトもソロホームランは打つが、満塁の場面で三振と、いい所無し。いい加減にしいや、という感じ。明日からは好調 Hawks が相手だそうだから、楽にはいくまい。1勝2敗でも止むなしか。いやいや、最初から弱気は良くない。3タテを狙っていきましょう。

Baystars と言えば、好調の1番神里が Dragons の高橋と同率で首位打者に躍り出た。228打数75安打でぴったり並んでいる。神里がこの調子で打ちまくってくれれば、上位進出も夢ではない。頑張れ神里。

2019年6月12日水曜日

吉田輝星(FIghters)プロ初登板初勝利

昨晩は割合きちっと寝たので、今日はシャキッとしていた。で卒研ゼミも順調に進められた。今日は多項式環の「ABC定理」の応用と、Z における「abc予想」について。面白かった。来週は既約多項式の分類、さらに合同式へと進む予定。3回生の代数の復習になるが、去年までは新しいことを勉強したような気がしていた学生が多かった。今年はどうだろうか?

ゼミは3時前に終了して、その後3時半から企業の人と面談。30分くらい掛けて熱心に説明してくださったが、あまり数理の学生とは関係の無い職場のような気がした。まあ求人情報の掲示板に貼り出しておくくらいのことはしましょう。

職場を4時半前に離れて、集中工事中の名神を通らずに山科へ。1時間弱掛った。昨日保健センターに行って処方箋をもらっていたのだが、昨日は山科に戻らなかったので、今日ドラッグストアに行く。いつもの通り30日分の薬をもらって、住処へ。6時前だったので、野球開始にはちょっと時間がある。え、6時開始だろうって?いえいえ、何故かZOZOマリンスタジアムの試合は6時15分開始なんですよ。ということで旅支度を解いて、洗濯物を洗濯機に放り込んで、それで丁度試合開始くらい。今日は先制されるも追い付いて、いつの間にかリードを奪って、という展開。9回表に1点とって3点差。これで康晃なら余裕だろ、と思ったらそうでもなかった。Marines のリクエストが通ってしまい、ゲッツーで試合終了のはずが一転大ピンチ。外野は超前進守備。が、それが功を奏して逆転されなかった。2点は取られたが勝ったからよし。これで4連勝。負け越しは4と、大分回復した。何しろ10連敗したからね。このまま上げ潮で行きましょう。

今日の野球界の話題は、「Baystars 4連勝」でも「Giants の高木京介が3イニングパーフェクトリリーフで2勝目」でもない。「Fighters の吉田輝星プロ初登板初勝利」でしょう。5イニング1失点とか。まだ映像を見ていないので何とも言えないが、まずまずのピッチングだったということですね。まずはよかった。こうなると根尾(Dragons)はいつ1軍デビューかが気に成る。若くて生きのいいのはどんどん出て来てくれないと。待ってるよ。

2019年6月11日火曜日

代数の講義でもっと喋るネタは無いのか?

今朝は9時くらいに起きた。じゃっかん寝不足。まあでも10時に追い出されるので、そのまま起きた。昨日の晩買っておいたサンドイッチとコーヒーで簡単な朝食。

10時40分から「代数学I」。今日は Q 上の多項式の既約性の話から。原始多項式と原始多項式を掛けても原始的、というガウスの補題から始めて、Eisenstein の既約性判定など。一つ次数を決めるごとに、その次数の既約多項式が無限個ある、とは何とすごいことか!と話したんだが、別に何とも思わない学生が大半だろう。その後商体の定義をして、商体の存在を示した辺りで時間切れ。来週は二つの整域が同型だったら商体も同型などを示す。

今日は月1で保健センターに行く日。1時半から診療開始なので1時半に行く、とやったら前回2時過ぎまで待たされたので、今日は早目に行く。12時半から窓口はオープンなので、12時半に予約しに行ったら、1時に成らないと受け付けないという。仕方ないので12時50分くらいに個研室を出て、1時開始と同時に受付。今日は2番目だった。診療が済んだのが1時45分くらい。次回からも12時50分に個研室を出ることにしよう。

で2時から企業の人と会う約束になっていたので、ゼミは2時半から。今日は4乗剰余の相互法則の有理整数版と、正素数角形の作図など。後者は小生がいつも講義でやるのとは違った証明で、ガウス和とヤコビ和を用いたもの。勉強に成る。来週は射影平面の定義とかやるようだから、余裕で聞いていられるでしょう。

その後個研室でちょっとぼーっとしてから「エポック立命21」へ戻る。「相棒」を2話見てから夕食に出る。今日はココ壱で。カレーが来るのを待ちながらスマホで野球の情報をチェック。2-0で勝っている。よしよし、と思ってカレーを食べて戻ってくる。で野球の情報を再度見たら、6-3になっているではないか。一旦逆転されたようだ。が、その後猛打で一気に4点取って逆転。これで交流戦は4勝3敗と一つ勝ち越し。いい感じです。まだまだ行ってもらいましょう。

その後「相棒」を見ず、講義ノートと格闘。何とか講義の内容を水増しできないかと思って。去年から「数学展望」でいい加減に話した内容を、イデアルとか同値関係とか分かっている状況できちんと正当化する、ということをやっているのだが、今年の1回生の「数学展望」は担当しないので、再来年度以降困ってしまう。ということで色々考えているんだが…。名案は出ずに暗礁に乗り上げて呆然として終了。もっと代数の本をひっくり返さないと駄目だな。

今NHKでニュースを見ているのだが、女子サッカーがアルゼンチンに引き分けたそうだ。アルゼンチン相手の引き分けならいいじゃないか、と男子サッカーの基準で見てしまうのだが、女子サッカーでは日本の方がアルゼンチンより世界ランキングが上らしい。うむ、そうすると引き分けでは勿体なかったかな。まあニュースで切り取られた場面しか見ていないので、これ以上の論評は避けよう。とにかく頑張れ。

2019年6月10日月曜日

今日も「エポック立命21」泊まりだが、忘れ物をして山科に取りに帰る(2週連続)

月曜日は2時40分から講義なのだが、今朝は9時くらいに起きてしまった。眠くないのでそのまま起きていた。「科捜研の女」と「マツコの知らない世界」を見て時間を潰す。

で12時30分頃住処を出る。今日の昼食は何にしよ?と思って「よし、マクドナルドだ」と決めて、マクドナルドがあるショッピングセンターに行ったんだが、マクドナルドは撤退したようで、無くなっていた。マクドナルドにしたい、と一度思い込んだらもう他には変えられないので、別のマクドナルドがあるショッピングセンターへ向かう。するとそこは駐車場が閉鎖されている。すわ潰れたか、と思ったら、3日がかりで駐車場を整備するらしくて、ちゃんと別の駐車場が用意されていた。やれやれ。

ということで職場に着いたらもう1時40分。うーん、時間食った、とここで悲劇が起こったことに気付いた。ポケットに個研室の鍵が無い。がーん、また駐車場に差しっぱなしで出て来たか。2月5日にも同じことをやっている。うーん、呆けとる。個研室の合鍵を学内某所で借りて、部屋を開けて、今日の講義の資料をプリントアウト。その後メールを1通書いて送る。そんなこんなでもう2時半。鍵を返しに行ってから講義室へ。

月曜日は「数理科学特論2」。今日は log と exp をやって、それを用いて Qp× の構造を決定。来週は前に Hensel の補題の応用例として与えた p 進単数が平方数であるための条件を、log と exp を使って示そう、という予定。その後コンパクト性と連結性について。連結性は連結位相空間の一般論をやる積もりなので、p 進に挫折した人にはもう一度やり直す機会がある。一生懸命やるので付いて来てください。

講義終了後住処の管理人室に電話。案の定鍵はあったようなので、いったん山科へ引き返す。2週間続けて無駄足を踏んでしまった。あほくさ。5時ちょい過ぎに住処に到着。管理人さんは5時で上がりのはずだから、少し残業させてしまった。申し訳ない。鍵を受け取って、「マツコの知らない世界」を録画予約し忘れていたのを予約し、再び草津を目指す。今日の夕食は、先週書いた通り「來來亭」の味噌ラーメン」。期待してたのより美味しかった。ついでに餃子も一皿。こちらは至って普通。トータルでは満足。

7時に「エポック立命21」入り。そこからは「ネプリーグ」を見て、「相棒 Season2」を2話見た。面白かった。やっぱり「相棒」は面白いね。明日は4時半にはもうフリーに成るはずなので、5時から相棒漬けになろうかな。それとも研究をするかだが。まあそれと、講義ノートの誤植直しだな。今日やった分にも結構あったから、明日の分にもあるでしょう。それにそろそろ「怪しい」と思ってた場所に差し掛かるから、そこを潰しておかないと。やっぱり「相棒」は2話だけかな。

2019年6月9日日曜日

代打楠本プロ1号が逆転満塁ホームラン!

今日も vs. Lions。Buffaloes 3連戦は負け越したので、このカードは勝ち越したいところ。ということで今日は何が何でも勝たないといけない。で8回表終了時に2-4と良くない展開。が、8回裏に奇跡が起こった。代打楠本がプロ入り1号逆転満塁ホームラン!いやー、興奮した。オープン戦で絶好調も、シーズンが始まってみると不振を囲い、二軍に落とされたこともある。外野のポジション争いは熾烈だが、頑張って欲しい。今後にも期待。

明日からまた大学に2泊する。ということで、そろそろ旅支度をしないといけない。パソコンを持って行くので、電源を切ったら即旅行鞄に入れる。明日の朝慌てないようにね。先週は大事な忘れ物をして住処に取りに戻るという大失策をやらかしているので、今回は気を付けよう。

2019年6月8日土曜日

今日の交流戦はセ1勝、パ5勝

夜更かしして昼過ぎに起きるというパターンが続いている。今日も野球の始まる頃起きた。もちろんデーゲーム。流石にナイターの始まるまで寝ていることは…、あるな。まあ今日は2時くらいということで。

でそのまま野球観戦スタート。初回にいきなり2点取られるいやなスタートも、着々と加点し、最終的には7-3で勝利。が、14安打で6つ四球を選んで、それで7点はちょっとな。まあ満塁で押し出しの1点だけとかいつもの通りの効率の悪さが出たということ。もうちょっと得点圏打率の高い打者が多いといいんだが。筒香がホームランを打った。他球団のファンは「彼は凄い4番打者だ」と言うが、Baystars ファンはあまり言わない。何故なら彼は得点圏打率が低い。.239。これではちょっと。ロペスは .227、ソトは .220。1番バッターの神里が打率 .318 でリーグ4位でも得点力が低いのはこの辺に原因ありか。明日以降は打線が繋がるといいんだが。

今日の交流戦6試合はセ1勝、パ5勝と、パ・リーグの圧勝。まあこっちとしては1人だけ浮き上がるのでいいんだが、やっぱりセ・リーグがパ・リーグに弱過ぎるのは気に成る。

「白い巨塔」の原作を「ふなごや」のマスターに貸す約束をしている。上中下巻の3巻セットなのだが、下巻だけ見付からない。どこにあるのか皆目見当がつかない。1回がっつり部屋掃除しないと駄目だな。原作本を改めて買ってもいいんだが、今は5冊ものになっているので、下巻だけ買うということは出来ない。買うなら全部だが。まあそう言って「ふなごや」のマスターに買ってもらうことにしよう、うん。


2019年6月7日金曜日

櫻井周斗鮮烈デビュー

今日も結局あまり調子が上がらず、昼過ぎまで寝てしまった。その後も低空飛行な感じ。ほぼ何もしていないに等しい。野球観戦もあまり集中できなかった。まあ Baystars が負けていたせいもあるが。が、今日は一つだけ明るい話題が。Baystars の櫻井周斗がプロ初登板。1イニングを2三振3者凡退と、最高のプロデビュー。高校時代は清宮から1試合5奪三振ということがあったとか。楽しみな若手が出て来た。明日以降も好投を期待する。

しかし今日負けて3連敗。交流戦にいい感じで入っていけたと思ったら…。Giants の背中が遠くなるで。頑張ってや。おっと関西弁で言ってしまった。改めて「頑張れよ」。

2019年6月6日木曜日

激寝した

昨日書いた通り、昨日は超寝不足だったので、今日はそのあおりで激寝した。多分皆さんの想像している以上に寝ている。腰が痛い。長時間寝たからでしょう。今日もたっぷり寝て、明日には万全の体調にしておきたい。明日何かあるのかって?いや別に何も無いんだけど。

交流戦第3戦目。初戦は勝って昨日は負けている。今日は勝ちましょう、と思って見ていた。が、3回を除く毎回の出塁と10安打も、得点はわずか2。チャンスでゲッツーとか盗塁失敗とか浅い外野フライとか、点に繋がらないプレーばかり。何ともフラストレーションのたまる試合だった。明日はハマスタで先発今永、負けるわけにはいかない。勝ちましょう。

野球のコアなファン以外は知らないかもしれないが、Swallows の村上宗隆というのはすごい選手だ。打率こそ低いが、打点はリーグトップ。まだ19歳。凄い。同学年に Fighters の清宮がいて、この学年は「清宮世代」と呼ばれているようだが、「村上世代」と呼ばれる日も近いのでは?今後も期待。ただ Baystars 戦では大人しくしておいてください。

2019年6月5日水曜日

寝不足につき激呑みは無し

今日は早く起きなくて済むよう大学に泊まったはずなのに、早く起きてしまった。5時くらい。寝たのが1時過ぎだから、寝不足。が、そんなに眠くない。これは研究しろ、ということだ、と思い、研究ノートとパソコン相手に一勝負。Sage にバカにされ続けながら for ループを回すことに成功し、沢山実例が作れた。が、その中に見過ごしていいわけがない例が幾つか出てきて、ぎょ、また論文に嘘を書いたか、と焦る。注意深く見直すと、考察の範囲外の例が出てきただけで、ほっとする。なんじゃかんじゃで9時半過ぎまでやっていた。昨日の晩までは「白い巨塔」を5話見たわけだから、今日の研究の時間より長い。じゃあ「白い巨塔」を見ずに研究すればいいじゃないか、という突っ込みは却下。数学の研究は、いつもぼやーっと気に成っていることを、思いついたときに一気にやるから出来るのだ。そう思うでしょ、同業者諸氏。

で10時過ぎにチェックアウトして、個研室へ向かう。個研室では、昨日のコンピューターとプリンターの不機嫌を宥めるために無駄な時間を使う。よく理由はわからないがうまくいったので、気にしないことにする。その後「エポック立命21」で計算して気に成ったことを確認する。どうやら一考察必要らしいことが研究ノートをひっくりかえしてわかった。ちゃんと研究ノートには詳しく書いてあったが、論文の方は英語で何というかわからないから、まあいいや similar だ、ということにして誤魔化したらしい。うーむ、酷いな。まあ数学の論文っていうのは、講義のように一切ギャップを残さないように書くものではないので、問題ないでしょう。

11時半頃に昼食に出掛ける。予定通り回転寿司へ。いつもより少なめに頼んだ積もりだが、結局1300円強食べてしまった。まあ美味かったらいいんだけど。

1時から卒研ゼミ2。今日まで「右京さん」が教育実習なので、3人で。まずは体上の1変数多項式環が U.F.D. であることの証明。テキストに一瞥をくれただけで全てわかったので、学生がどう発表するか見てみた。何分かかんねん、とちょっと苛立ったが、まあちゃんとノートに整理して書いてきたようなので、余計な突っ込みは入れずに温かく見守る。ご苦労さん。その後多項式環の ABC 定理。寝不足だと多少頭が冴えるのか、今日は学生の証明で完璧に理解できた。去年まではどっか引っかかっていたんだがなー。面白かった。

寝不足なので、渋滞の中居眠りして事故、はしゃれにならないから、渋滞が起きる前に帰途に着く。福岡でひどい事故があったようだが、寝不足で集中力が切れて同様の事故、はしゃれにならない。アクセルとブレーキの踏み間違いだけはしないよう、集中して運転。こういう時は平気なもんで、無事何事も無く住処に着いた。来週も大学に泊まるが、ちゃんと睡眠をとれるよう気をつけよう。

帰宅して少し涼んでから買い物に出掛ける。帰ってきて野球。今日も Baystars vs. Buffaloes。去年のこのカードは京セラドームだったから、今年はハマスタのはず、と思っていたのだが、今年も京セラドーム。テレビを見ると客席はガラガラだし、見に行けばよかったかな、という感じ。まあ寝不足だし、それに平日の野球終了後だと帰宅ラッシュにもろに巻き込まれるだろうから、行かなくてよかった。で中継を見ていたんだが、今朝の計算の続きが気に成って仕方ない。そもそも p ≡3 (mod 4) に限定する必要があったんだろうか?いやそもそも 3p にする必要も無いんでは?と気になって、野球もそこそこに Sage と格闘。計算結果を見ると、予想外の事態が幾つか起こっている。が、それらは極めて例外的な事象のようなので、頑張ればそれらの例外性を証明できるかもしれない、ということでカットアンドペーストして残しておく。Sage の計算結果をそのまま残しても見づらいだけなので、TeX 化しておく。え、Sage は出力を TeX のソースにしてくれるって?いやいや、r-1 を -1+√5 に直すのはやはり人手でないと出来ないよ。ということで久々に longtable 環境を使って表にする。途中で面倒くさくなったので、続きはまた明日にでも。

職場に2泊して仕事をこなして、水曜日だし激呑みだー!となると今朝までは思っていたんだが、いかんせん寝不足なので、今日の激呑みはやめ。住処でビール500ml缶を2缶と、日本酒を少々呑んだ。もう眠くてふらふらなので、今日こそは早く寝る。じゃ!

2019年6月4日火曜日

交流戦スタート

昨晩はよく眠れなかった。が、今朝はちゃんと9時には起きた。昨日書いた通り「エポック立命21」に泊まっているので、余裕は沢山ある。ということで数名の人のブログや twiiter をチェックして、1時間ほど潰す。10時に「エポック立命21」を一旦後にする。

10時40分から「代数学I」。今日は「ユークリッドの互除法」から。520+8 と 520+3 が互いに素など、素因数分解をしなくてもお手軽に最大公約数が求まるなど、例を豊富にしておいた。それと体係数の多項式は、その体で考えても拡大体で考えても最大公約多項式が変わらないなど、後期で一発だけ効く定理を証明した。その後多項式の根の話。整域上では根の個数が体の次数以下とか、無限整域では多項式として0 ⇔ 恒等的に0など。ついでに整域でない可換環では、2次式なのに4つ根があったりする例なども挙げておく。次回は Q 係数の多項式の既約性が本質的に Z 係数の多項式の Z 上での既約性と同値などをする予定。

その後教職員食堂で「鮭のちゃんちゃん焼き」というのを食べてから卒研ゼミ1。今日は4乗剰余の相互法則。ヤコビ和とガウス和の計算をガリガリと行う。3乗剰余の時に比べると主張がやや複雑。が、証明は clear で、またガウスに一歩近付いた。有意義な時間だった。

その後教授会。あまり関係ありそうな議題が無かったので、研究ノートを読んで、昔やったことを思い出していた。最近証明したような気になっていた事実を、実は昔の自分がとうに証明していたことがわかってびっくりした。やっぱり研究は集中的にガーッとやって、キリのいいところで論文にしておかなければいけませんな。まあ講義の期間が終われば今年はずーっと時間があるので、そこでしっかりまとめよう。

で昼は「ヘルシーメニュー」と書かれたものを食べたのだが、夜でそれを台無しにしよう、ということで「來來亭」で味噌ラーメンを、と思って行ったら、電気が消えている。「定休日」の看板が。がーん。「丸亀製麺」と「來來亭」の位置が反対だったら「丸亀製麺」に入ったんだが、生憎「丸亀製麺」が手前で「來來亭」が奥だから、どうしようもない。仕方ないので「和食さと」でロースカツを食べてきた。「和食さと」なら住処のすぐ近くにあるので、いつでも行けるのだがなー…。まあいいや。「來來亭」は来週行こう。明日の昼は回転寿司と決めているので。

「エポック立命21」に戻ってからは「白い巨塔」の続き。今日で見終わった。面白かった。色々突っ込みどころはあったが、まあいいでしょう。岡田准一演じる財前五郎は、唐沢寿明の演じる財前五郎よりあくが強くてよかった。でもやっぱり田宮二郎だな。もう1回見ちゃおうかな。ただ結構な枚数の DVD だから、全部見終わるまでどれだけ掛るんだろう?え、上に書いた通り今年の後半はずーっと暇じゃないかって?いやまあそれはそうなんですけど、一応研究をするという名目でもらう自由なわけで、そうそう「白い巨塔」に血道を上げるわけにはいかない。まあまたその時考えるか。

今日からプロ野球の交流戦。Baystars の相手はというと、何と Buffaloes。小生セは Baystars、パは Buffaloes なので困ってしまう。しかし Baystars の上げ潮は止めたくないし、Buffaloes は連敗中。うーん、やっぱり Baystatrs だな。で3-1で勝ち、単独4位に浮上。と言っても3位には5ゲーム差もある。焦らず借金を返していきましょう。

と書いたところでそろそろ、と思ったんだが、Tigers の原口が大腸癌から復帰して、いきなり2塁打。いやーお見事。まだ若いのだ。頑張れ。Carp の赤松も胃癌からの復帰を目指している。こちらも応援しましょう。

明日は1時からゼミなのだが、「エポック立命21」は10時に追い出される。ゆっくり寝たいとこだがやむを得ない。午前中は有意義に使おう。

2019年6月3日月曜日

「エポック立命21」に2泊

月曜日は「数理科学特論2」。今日は Hilbert 記号の explicit formula に証明を与え、その後それを用いて Qp×/Qp×2 の非退化な対称双一次形式が定義されることを見て、その後 Qp× から {±1} への全射で核がノルムの成す群であるものを与えた。その後 Hilbert 記号の積公式。最後の最後で「平方剰余の相互法則」が出てくるのが鑑賞ポイント。やってる方は面白かったが、聞く方はかなり苦痛であったかと思われる。まあいいのだ。完全なる自己満足に推移する講義なのは初めから折込積み。来週は log と exp をやるので、解析が得意な大半の学生には分かりやすだろう。

で講義終了後「エポック立命21」へ。昨日書いた通り大学に2泊するので、とりあえず荷物を置きに。で住処へいったん取って返す。何故ならば大事な忘れ物をしてしまったので。何かって?さあ。兎に角大事なものなのだ。で住処からそれと、研究ノート、着替えのシャツを持って大学へ戻る。途中吉野家で鰻。やわらかいのはいいんだが、味が濃い。これじゃ何食ってるのか分からん。ということで鰻はすき家に軍配を上げておこう。なか卯のも中々。

でエポックに戻ってからは「白い巨塔」。こんな時でもないと中々まとめて見ることも出来ないので。今2話見終わったところ。面白い。もう1回田宮二郎のバージョンも見直そうかな?と思ったくらい面白い。原作は近々「ふなごや」の大将に貸してあげることになっているので、忘れないように。原作だと裁判でキレるのは柳原でなく江川なんだが、田宮版でも柳原がキレることになっている。まあどっちにしろそこが一番の見所なんで、面白ければ何でもいいのだ。うん。

もうそろそろ寝ようかな。10時に起きれば間に合うからまだ寝なくてもいいんだが、念には念を入れておかないと。ということで寝ます。じゃ!

2019年6月2日日曜日

山科バル

最近どうも遅くまで起きている習慣がついてしまっていかん。そのため起きるのが必然的に遅くなる。昨日も野球のちょっと前(デーゲームだから当然明るいうち)に起きるという体たらく。まあいいや。

で野球観戦。上茶谷がついにプロ入り初完封。いやー、興奮した。Dragons が負けたため、同率4位に浮上。もっと上を狙っていきましょう。

でその後「山科バル」に出掛ける。「山科バル」とは、飲み屋街「山科京極」を歩行者天国にして、出店が出る大人のお祭りみたいなもの。知っている店が幾つかあるので、顔を出さないわけにはいかない。ということで行ってきた。3軒ほど回って、ビールをしこたま呑んできた。楽しかった。バル自体は9時で一旦出店を撤収させないといけないようで、どの店も必死に片付けていた。気付くと車が走っていたから、ちゃんと撤収させたようだ。素晴らしい。でその後「テンパブ」で呑んできた。明るくなるまで。

で帰宅後も数時間起きていた。ということで寝たのは7時過ぎ。当然起きるのも遅くなるわけで、起きたら野球は終わっていた。Swallows の連敗が16で止まったとか。よかったね。まあつまり Baystars は負けたということだが、ここ5試合は4勝1敗と好成績。勢いを持って交流戦に突入できそうだ。

が交流戦の最初の試合は見られない。何故かというと職場に泊まるため。明日から名神集中工事が始まり、大渋滞が予想されるので、念の為泊まることにしたというわけ。特別な事情が無い限り2連泊が上限だから、明日(講義開始2時40分)は住処から出発することにして、明日、明後日と2泊。火曜日(講義開始10時40分)と水曜日(ゼミ開始1時)は遅れずに済む。なにしろ10時に追い出されるからね。来週も工事は続くので、来週も泊まる予定。名神集中工事はもうちょっとどうにか出来ないもんだろうか?と毎年思うんだが。まあしゃあないか。自衛手段をとるしかないな。

「山科バル」は2日間行われるのだが、大体毎年初日に呑み過ぎて2日目はいかないというパターンになる。今回もそうだった。1時から「開口バンド」が演奏をすることになっていたので、起きたら行こうと思ってたんだが、当然無理だった。去年は「開口バンド」が2日とも出演するのだったので1日目に行ったんだが、今年は2日目だけ。残念。秋にも「山科バル」があるので、その時を楽しみにして待とう。