何もしない1日

今日は本当に何もしなかった。ということで書くことは無いので、生きている証拠だけ残して、この辺で。

新しい読者から連絡あり

変な夢を見た。何故か講義をやってるのが小生の他にもう一人いて、お互い勝手にしゃべっている。学生の方も得手勝手に質問をしてきて、完全なる学級崩壊状態。目が覚めた瞬間力が抜けた。よかった夢で。その時点で7時40分くらい。8時半に起きるつもりだったので、まあよかった。珍しく食事をして、シャワーを浴びてゆっくり。

とすると大体ロクなことが無い。「瀬田西－栗東湖南 渋滞12km」の表示。…。まあ京都東や大津から渋滞しているわけではない。瀬田西で降りよう、と決めて出発。が、だんだん渋滞情報が緩くなってきて、「草津JCT－栗東湖南 渋滞8km」の情報に。草津JCTまで行ければ問題は無い。草津田上は新名神のインター。ということで余裕が出てきた。で草津JCTでも渋滞が始まる様子が無い。「この先渋滞7km」という表示が見えたが、こちらには関係無い。割合ゆとりを持って草津田上で降りる。

が、それで終わらなかった。正門の前の通りが何故か渋滞。名神が混んでるからだろうか？一つの信号で数台しか進まない。うーん。信号3つ4つ待っただろうか。右折レーンに出られれば問題は無い。結局講義の2分くらい前に講義室着。危なかった。

月曜日は「代数学II」。今日の出席者は6名。途中で挙動不審な彼が入ってきて7名。科目等履修生の彼は今日もいなかった。まあ真面目にノートを取ってる学生が5名ほどいるので、手を抜くわけにはいかない。今日はまず3次方程式と4次方程式の解法を。どちらも見事に解けたように見えるのだが、前者は解として x＝4 を持ち、後者は解として x＝1 を持つというものを与える。だからこんな公式は数値解を求めるのしか役に立たんのだ。でそこで気付いた。関数電卓を持ってくればよかった。最近の関数電卓は3次や4次方程式の複素数解を全て求めてくれる。アルゴリズムがはっきりしてるからね。で謎なのが、Python が走る関数電卓は6次方程式を解いてくれる。どうやるんだろう？まあ今はいいや。でその後冪根拡大を定義して、「な、可解群と似てるじゃろ？」と言っておいて、しばらくして可解群の定義。アーベル群、3次対称群 S₃、4次対称群 S₄ が可解群であることを軽く証明。で必ず結果だけ述べる Feit-Thompson の定理。読めるようなものではない、と言っておく。で可解群の部分群や剰余群が再び可解群であることを証明したら時間。来週中には方程式の代数的可解性とガロア群が可解群であることの関連を話せる。

今日はM2の学生と1時から会うことになっているので、食事は弁当で。幸い揚げたての鶏のから揚げを提供してくれるトラックが空いていたので、弁当を頼む。お茶が付いて600円なのだが、お茶無しで500円でもいいぞね。まあいいんだけど。で食べ終わって学生に様子を聞く。うん、まあどうにかなるだろう。で今度いつ会うか決めようと思って考えたら、年内の月曜日はあと2回、年明け1週目は成人の日。ということはもう月曜は3回しか無いのか。あれ？何か変だ。まあいいや、後で考えよう。

その後部屋で修論関係の手続きについてちょっと勉強。修論を書く学生を出すのは久し振りで、色々様子が変わっているから迷う。まあいいや、まだちょっと余裕がある。副査を誰に頼むか考えておかないといけない。急に言われて、「いやー、それは…」と言われてしまうと困るので。これも後で考えよう。その後今日の講義ノートを直して、web に上げて。で普通は講義関係の予定はこれでおしまいなのだが、レポート試験を web に上げ忘れると大変なことにに成るので、やっておいた。こちらもまだ2週間ほど余裕はあるんだが。まあやれることはやっておかないと。その後明後日のゼミで学生がちゃんと証明できないだろうと思しき定理の証明を勉強。計算が合わなくて苦労した。2次の無理数 ω を使って a＋bω (a,b∈Q) の形に書かれている数を3乗するのはいくらやっても計算が合わないのは分かっているから、最初からコンピューターに計算させた。そこまではよかったんだが、整数 b に対し b² を計算するのを何度もミスった。高校1年生みたいな因数分解も出来なかったりと、舞台裏はとても見せられない。まあ数学屋の日常はこんなもんでしょ。

今日は8時半から「Qさま！」がやるとのことなので、7時半くらいに職場を後にする。今日のは見応えがあった。まさかあそこから逆転するとは。村井美樹凄い！しばらく番組に呼ばれていなかったが、やはり出演すると爪痕を残す。まだまだやれる。頑張れ！

昼ご飯を食べながらメールを読んでたら、「雑談ですが、・・・」というタイトルのメールが目に入ってきた。Y田O宣先生（ほぼ伏字に成っていない）が読んでくださっているとのこと。ありがたいです。「独り言」も真の独り言は虚しいだけだが、読んでくださる方々がいらっしゃることは嬉しい。まあ迂闊な内容が書けなくなるという縛りは増えてくるわけだが。筆が滑らないよう気を付けよう。まあ web に上げているという性質上、誰が読んでいるとか読んでいないとか関わらず内容には気を付けないといけないわけだが。まあ生きている証というわけで書き続けますがね。何かあったら連絡ください、皆様。

Y田先生が一か所ミスを指摘してくださった。「大教」でなく「大協」だと。直しておきます。

tikz の勉強を始める

昨晩は解放感に浸った、と書いたが、その後前から気に成っていた tikz を少し勉強しようかと思い始めた。こんなのは解放感に浸ってないと出来ない。でどうだったというと、まださっぱりわからん。描きたい図が沢山あるので、頑張って来年度始まるまで勉強しよう。ということで明るくなるまでやっていた。

で暗くなるまで寝ていた。その後は特に何をするでもなく、無為に過ごす。今「サンデースポーツ」を見ているが、ラグビーの早明戦があったようだ。ここ2年早稲田は負けていたようだが、今年は 17－7 で早稲田の勝利。よくやった。昔はよく見たんだが、最近は土曜日に酒で日曜ダウンというパターンが多いため、中々リアルタイムで見ることが無い。来年は覚えてたら見よう。

田中将大（Eagles）がユニフォームを着て出ている CM があった。これは契約したから撮ったんだろうか？だとすると手回しがよい。ほんの数日前に契約したばかりだが。来年は CM だけでなく本番で活躍して欲しい。メジャーリーガーらしさを見せないとね。

昨日呑み屋で「オミクロンの次は何？」と聞かれた。答えられなかった。調べたら 「パイ」であることがわかった。オミクロンは o に相当する。ということは当然次は p に相当する π でであることはちょっと想像すれば分かったはず。恥ずかしい。次は何だろう？後で調べておこう。で思い出した。「ぎりしゃもじ」と打って MS-IME に変換させると、一覧が出てくるのだった。どうやら「ρ（ろー）」の様だ。覚えておこう。

解放感に浸りながらボージョレ・ヌーヴォーを3杯ほど

仕事が終わったし、夜更かししたろ、ということで訳の分からない時間まで起きていた。いや仕事が終わらなくても訳の分からない生活はするんだが。で一旦日が高いうちに起きたんだが、眠くてしかたなくてもう一回寝た。次に起きたらもう7時（夜のね）。シャワーを浴びて呑みに出る。嫌何もしてへんやないかい！というツッコミは却下。土曜日は2週間続きで日本シリーズが遅く終わっているので、呑みに出てない。ということで今日は廃人みたいな生活をしてもいいや、と。

で呑んできた。先日ボージョレ・ヌーヴォーの会があったらしく、「どうですか？」と薦められた。そう言われて呑まない手はない。「葡萄ジュースだな」と言いながらグラス3杯ほど。美味しかった。他にもビールやハイボールを数杯。解放感とはいいものだ。12時過ぎまで呑んでた。

で日をまたいでこのブログを更新中。うーん、特段書くことは無いな。まあこれでいいか。また来週。

時間割関係の用事はひとまず終了

時間割関係の入力作業は1時過ぎに終了した。その後入力ミスは無いかチェックして、3時前に全て終了した。あとは提出するだけ。で冷静になってみると、明らかに無駄な作業を強いられていてことになる。数学科目は語学などと同様重要な科目なので、時間割は固定されている。専門科目はそれらを避けて配置される。で小生のやった作業の半分は、理工学部の数学科目の時間の入力。明らかに仕事は半分に成ったはず。腹が立ってきた。で提出する時に事務に「来年度からは事前に入力しておいていただけると助かります」と書いておいた。

今日はそれ以外は特に用事が無いので、遅く起きた。でメールをチェックすると、教務委員がらみのメールが数通。うー、面倒臭い。やっと時間割から解放されたのにまだ用事があるというのか。まあ今日は金曜。返事を書いても見てもらえるのは月曜日なので、のんびりやることにした。今日は何も考えずにおこう。

Baystars の新人選手入団の記者会見がやっていた。ドラフト1位の小園に背番号18を与えるそうだ。前に背番号18を付けていたのは番長。期待の大きさがうかがえるね。まあ来年即活躍というわけにはいかないだろうから、長い目で見て育てて欲しい。奥川や佐々木朗希のように大きく育つといいですね。Eagles の話題だが、田中将大が残留だそうだ。今年は防御率はまあまあだったが、4勝9敗と、満足いく成績ではなかっただろう。来年の巻き返しが期待されるね。こちらも背番号18。背番号18の活躍を期待しよう。ただし菅野だけは例外。メタくそに打たれて、現役を続ける意思が持てないくらいにしてやろう。

住処停電のため、仕方なく職場に行って、事後処理のため早目に帰宅

昨日書いた通り、今日は停電がある。1時半からなのだが、起きたら1時くらい。まずい、と取り急ぎ出掛ける。今日は2時40分からM1の学生とゼミなのだが、それには余裕で間に合う。で車を駐車場から出してる間にスマホでメールチェックしたら、今日のゼミはオンラインで行いたいと言う。うーむ、普通なら出掛けなくてよくて万々歳なのだが、上述の如く停電なので、どっちにしろ住処から離れる必要がる。面倒臭いけど仕方ない。

で1時30分くらいには高速を降りていた。時間があるし、この前行った「めいさん」で1辛のカレーを食べようと思っていったら、今日は定休日らしく閉まっていた。うーん。仕方ないので職場に戻って、生協で冷たい弁当を買って食べた。

で2時40分からゼミ。今日はディオファンタス近似に関する Liouville の定理の証明。その後改良版である Thue の定理を紹介して、Thue 方程式の解の有限性を証明。Thue の定理の証明を読んで来ようとしたらしいが、それは大変なので止めておいた。Roth の定理も紹介されているが、証明は省略されている。これも大変なので、読まないでいい、と言っておいた。オンラインのゼミは進むスピードが速くて、30分くらいで終わってしまった。

早目に済んだので、時間割作成作業をしよう、ということで始めた。明日までに事務に出さないといけなく、「締め切り厳守！」とメールで釘を刺されたので、多少不備があっても点検者が見出してくれるだろう、ということで調整作業はやめて、事務に提出するファイルに入力する作業を始めた。が、これが凄く面倒臭い。数十科目分を右から左へと移さなくてはならず、非常に大変。誰にも見張られていないのをいいことに、しょっちゅう休憩した。ゲームも大分やった。で終わったのかというとまだ半分くらいしか終わっていない。これも現実逃避に書いている。呑みながらやりたいところだが、ただでさえ間違いを起こしがちなのに呑んだらもっと間違いが入る可能性がある。ということで我慢。明日か明後日たっぷり呑むことにする。とにかく今は我慢。

住処に戻ってくると気が散りそうなので、職場で作業を、と思ったんだが、停電の余波が心配なので、8時前に住処に戻って来た。録画予約が取り消されていると大変だ、と思ったのだが、大丈夫だった。時計も合っている。さすがにケーブルテレビのチューナーは違うぜ。テレビの時間も狂っていなかった。が、電話は時間がリセットされている。寒いのに床暖房が入っていないぞ！と思ったらガス（床暖房はガス使用）の機械の時計もリセットされていた。床暖房の電源はうっかり（わざと？）入れっ放しだったのだが、切れていた。やれやれ、面倒臭い。昨日寝る前にふと気付いたのだが、冷凍のシュウマイを買ってあった。でお腹がすいていないのに仕方なく食べた。今日は長丁場に成りそうで、今お腹が空いているから、本当なら今食べたいところなのだが。仕方ない。あとで買ってこよう。あー、面倒臭い。入力作業の続きをやるか。今度は何分続くでしょうか？

「互いに素」の定義は？

今朝は寒かった。中々布団から出られず、目覚ましを2回スルー。例によって「30秒後に起きよう」を何度かやった。で何度目かの時にマンションのチャイムが鳴った。「アマゾンです」と言っている。？注文した覚えは無いが。まあいいや待ってみよう。小生の部屋の前に来て苗字が違っていることに気付いたようだ。「これ違いますよね？」と聞いてきた。町の名前と部屋番号はあっているが、住所が全然違う。「失礼しました」と帰って行かれた。で時間を見ると、起きないとやばい時間だったので丁度良かった。シャワーを浴びて出発。

でも例によって10分ほど遅刻してしまった。今日は事故渋滞がちょっとあって、半分はそれのせい。で遅れて卒研開始。今日は y²＝x³－2 の整数点の決定問題。互いに素な元を3つ掛けたものが立方数だったら、単元倍の差を除きそれらが立方数であることを証明。そこで一つ気になった。「α, β が互いに素」を「α, β 両方を同時に割る素元が無い」ではなく、イデアルを使って (α)＋(β)＝(1) で定義している。この二つは同値だろうか？いや同値なんだが、自明だろうか？で突っ込んでみると、あまり気にしていないようだった。(α)＋(β)＝(1) なら α, β の両方を割る素元は存在しない、は易しい。でやらしてみた。素元が単元でないという条件が効いている。ということでOKにして先を急ぐ。それは済んで、演習問題に y²＝x³－9 と y²＝x³－8 の整数点を決定する問題が出ていた。両方やるのか、と聞かれたので、前者だけでいい、と答える。するとこれが案外難しい。6 の Z[i] における素元分解が必要になる。さっきは 2 だけでよかったし、解かない方の問題も 2 だけなのだが。案の定ちょっと引っ掛かった。おかしいことを色々やっているので、突っ込む。納得はしてくれたようだ。ということで2ページ弱やるのに2時間近く掛かった。で選手交代かと思ったら、2人目の学生が電車内で調子を崩し、戻してしまったらしく、急遽来ないことになってしまい、今日は一人で終了。まあ仕方ない。来週きっちりやってもらおう。来週のところは細かい証明が出ておらず、あらすじだけとなっている。予習は大変かも。

早く終わったので、今日の会議で議題となる件の資料を見る。うむ、どうなんだろう。それから会議まで1時間くらいあったので、時間割関係を少々。

4時半から会議。重ための議題が幾つかあって、時間が掛かる。人事案件の前に既に6時になっていた。こりゃー今日は8時か、と思ったら、人事が案外すんなり通った。理由？うんなもん答えるわけなかろう。まあ短くてよかった。

で7時近くから時間割の続き。もうこんなんでよかろう、と思っていたのだが、念のため細かくチェックした。すると、分身の術を使ってもらう先生が2人いた。これはまずい。でそこを直してまたチェックを進めると、別の先生が分身の術を使わないといけなくなっていた。うむ。そこを解消すると、通年科目なのに春学期と秋学期で時間が変わる、という教員にも学生にもよくない事態が発生してしまう。うーむ。でちょっと名案が閃いて、解決。まあ似たような科目が2科目並ぶ時間を分断しないといけないという、いささかよくない仕儀となったが。まあ過年度生しか取れない科目だそうなので、いいでしょう。でこれで万事済んだか、と思ったら、「金曜日は空けてほしい」と要求されていた先生を思いっきり金曜日に入れていたことがわかり、それの解消に手間取る。データサイエンスの科目と、数学の基礎を教える科目（注：数学基礎論の科目ではない）、微積分の演習と重ための科目が3連荘になってしまったが、まあしゃあない。あきらめてもらおう。もっといい解決方法があるかもしれないが、明日やろう。

明日は住処が1時間半ほど停電するそうだ。その時間帯のどこかで木曜日は大体出勤していたんだが、明日は少し早目に出ないといけない。ということで今日の時間割関係の仕事はここで打ち切り。また明日早目に職場に着いたら始めよう。