気持ち悪い一日

先週の土曜日の「ふなごや」は大忙しだったそうだが、今日は一転暇モード。野球が終わってから行ったわけだが、店長はカウンターに座って、スマホをいじっていた。バイトの女の人も来てないし、しばし店長とグダグダと喋り喋りしていると、バイトの女の人が客として来た。でそこから相当長時間呑んだ。で帰り際のことを覚えていない。セブンイレブンに寄ったかどうかも記憶に無いが、起きてみると殆ど口を付けてないペットボトルの水があった。寄ったのだな。正直未だに気持ち悪い。まあいいでしょう。

昼を大きく回ってから起きた。野球は昨日がナイターだったから今日もだろう、と思ったら、スマホが鳴ったので画面を見ると野球の情報。え、デーゲームなの？と思って、急いでチャンネルを日テレG＋に合わせる。3点負けてる。大貫が序盤から失点したようだ。最終回に大勢を攻めて満塁のチャンスを作るも凡退で、3－0で負け。Giants は勝った試合は全て完封とか。後ろが万全のチームは怖いかも。まあ Baystars は3カード連続勝ち越しと、中々の結果。3連勝こそ逃したが、いいです。この調子で行ける所まで行きましょう。

何故今日の野球がデーゲームだったかと言うと、終了後女子高校野球の決勝戦があったようだ。夏優勝の神戸弘陵が連覇したようだ。「ようだ」と書いているのは、気持ち悪くて寝て、音声だけ聞いていたので。始まるまで何やら Giants の名場面みたいなのを延々流していて、正直不愉快だったが。まあいいです。

今「サンデースポーツ」を見ているが、色々知ることが出来てよい。Jリーグは新加入の町田が好調で首位。町田市は横浜市のお隣なので、調子がいいと嬉しい。応援しよう。

nicematrix パッケージで遊んでいるうちに明るくなっていた

昨日職場を出る前に、TeX の array 環境で気に成ることを一つ見掛けた。で帰宅後野球が終わって試してみたが、エラーメッセージを吐いてうまくいかない。デマだったか、と思うも、Google 先生に頼って色々調べてみた。すると、TeX の行列に関することで「nicematrix」という、その通りナイスなものを見付けた。TeX で行列を簡単に書けるが、不満だったのは \cdots や \vdots を並べて点線を沢山書こうと思っても、連続的に成らないこと。それを解決してくれるのが nicematrix。他にも、こっちに来た年に線形代数の演習を担当した時どうにか成らないかと思ったのが、連立方程式を書く時の拡大係数行列に縦の点線で区切り線をいれたいが出来ず、実線に成ってしまうこと。nicematrix ではこれも解決してくれる。素晴らしい、と思ってドキュメントを読む。PGF を使っているので、タイプセットは数回行え、とのこと。というこは pdf に変換しないといけないのだな。ちょっと面倒。が、まあいいか、と始めてみても何かうまくいかない。TeX は通るのだが、pdf に変換する時にメッセージを吐いて、おかしな仕上がりに。うぉー、と暫く格闘したり Google 先生頼ってみたら、例題を沢山載せてくれているページに出会った。すると \documentclass の所に dvipdfmx を書いてないからだ、と判明。それを書き足したらうまくいった。おぉ、感動。この前書いたが、行列の掛け算をビジュアルに訴えた形のものを Tikz で描きたいが、無理そうなので、Google に「Tikz 行列の積」で検索したら、それを描いたものを見付けたが、何をやってるんかさっぱり分からなかった。が、nicematrix なら割と簡単に実現出来そう、という手応えを感じてやってみた。1時間強格闘したろうか？出来た。各ステップで何をやってるか分かるし、後で手直しも出来る。いいですね。色々出来そうだ。今度試そう。何しろそれが完成した頃はもう「おはよう朝日土曜日です」が始まっていた。いかん、寝るぞ。

で今日は床屋に行くつもりで昨晩呑まなかったんだが、起きたら結構とんでもない時間。呑んでないのに腹の調子がよくない。今日も床屋行きは無理だ。来週にしよう。

6時から野球。1回裏に先制され嫌な展開。グリフィンに3回までパーフェクトに抑え込まれる。が、4回表に相手のエラーでオースティンが出塁すると、佐野、牧連続ヒットで満塁。宮崎が逆転の2点タイムリー2ベースで逆転。よしよし。が、4回裏に宮崎のフィルダースチョイスで同点にされ、犠牲フライでひっくり返される。またしても嫌な展開。が、5回表に佐野のタイムリーヒットで追い付き、宮崎、関根が2者連続押し出し四球を選んで勝ち越し。7回に宮崎がタイムリー2ベースで3点差。もう勝負あったろう、という気がしていて今に至るが、9回裏に1点取られたところ。森原抑えられるか？

TeX の行列環境と言えば、この前 mathtools というパッケージも見付けた。行列を pmatrix 環境などで書くと、成分が中央揃えに成ってしまい、右詰にしたいときなどは仕方なく array 環境を使っていたが、mathtools にある pmatrix＊ 環境を使えばお手軽に出来ることが分かった。あと、psmallmatrix という、行列を小さく書いて、括弧で括ってくれるという便利なものもあった。前は smallmatrix と \right, \left を組み合わせてやっていたが、やや面倒な感が拭えなかったが、色々楽に成った。TeX は何年使っても知らないことが出てくる。数学と TeX は一生勉強だな。

などと書いているうちに試合終了。何とか抑えきった。最後は岡本の1塁ベンチ前へのファールフライを祐大がナイスキャッチ。これで3カード連続勝ち越し。明日勝って3タテといきましょう。順位表を見ると、いつの間にか Dragons に貯金が出来て単独2位。Tigers は5割。まだまだ混戦は続くね。

腹の具合はよろしくないが、呑みに行こう。先週顔出さなかったからね。毎回程々にするつもりで行くんだが、結局それなりに無茶呑みしてしまう。まあ春学期は月、水、木、金と出勤なので、酒量は自ずと減るでしょう。土曜日くらいはね。ということで行ってきます。

今日から講義

今日は7時起きのつもりでアラームを仕掛けたが、寝坊にびくびくして、深夜に何度も目が覚めた。最終的には6時55分くらいに起きた。ちょっと寝不足だが、まあいいでしょう。買い込んであったカップ飯を食べて、さて、というところでうっかり数学を始めてしまった。いや、大したことではないんだが、ちょっと SageMath に検算させようと。ところが思いの外時間を食った。括弧のネストが合わず一苦労。SageMath は emacs と同様に、括弧の対応を教えてくれるんだが、それでも中々合わず、やっと合ったと思ったら答えが違う。もう。で気付いたらもう7時45分くらい。ようやく想定通りになった。急いでシャワーを浴びて、8時15分に成るちょい前くらいに出発。が、これくらいの時間だとやはり渋滞するのか、「京都東－大津 渋滞1km5分」の表示。これ大したことが無いように見えるんだが、大抵料金所の外まで渋滞が伸びている。今日もそうで、四宮の信号を通り過ぎたらすぐ渋滞。しかも何故かゲートが一つ通行止めに成ってる。もう。で本選合流できたのは8時半くらい。まあ何とか間に合うな。9時からの用事は講義でなくゼミだから、多少の遅れなら。で8時50分くらいに漸く駐車場に着いた。ゼミ室には9時ちょいに着いた。が、今日やるのはテキストを渡して、進め方をちょっと話すくらいなので、5分くらいで終了。大学院進学希望の2名が相手で、テキストは藤崎先生の「代数的整数論（上）」。小生この本で代数体のことを勉強したが、テキストに使うのは今回が初めて。山本先生の本や小野先生の本は面白おかしく書いてあるんだが、分かってない人には辛い、というのがここ数年で分かったこと。藤崎先生の本はカチッと書いてあって、むしろゼミのテキスト向きか、ということで選んだ次第。気持ちよく読み進めてくれるといいですが。

で次の用事は1時からの講義なので、時間がタップリある。こういう時は普段出来ないことを、ということで Tikz でお絵描きを沢山。この前長方形を書いて塗りつぶしたが、一つの辺だけ線が出ないのは何でだろう？ということがあったが、web で調べたら解決方法が出ていた。他にも原点を通る直線に関する折り返しの一次変換の図を描いたり。「Tikz 備忘録」というページを見ながらいつもやっているが、そこに垂線の足を求めさせる例が出ていたので、それを真似して。ちゃんと直角に交わっていることを表す四角（何のことか通じてますか？）も描けたりと、中々格好いい。TeX の picture 環境で描くことを考えたらすごく楽で簡単。随分捗った。まだ正射影の絵が描けてないが、これからやるか、また今度やるか。昼飯はどうしよう？と思ったが、早く来たお陰で割といい所に停められたので、動かすのは勿体ない、ということで弁当を買って済ませた。

1時から「代数学I」。今日がセメスターの最初の講義日なので、学生はまだシャキッとしてないかと思うが、気にせずバリバリ進める。まず3次方程式の解の公式を紹介。で4次方程式にも解の公式があることを口で言って、5次だとそうはいかないのだ、と言っておく。でそのことを深く掘り下げたのがガロアだと言って、introduction は完了。その後テキストは使用しない、出席は取らない、単位はレポートで、演習問題は時々小生のホームページに載せる、など事務的なアナウンスをしてから、早速本編の開始。まず環を定義して、0と加法逆元の一意性を証明。線形代数でも群論でもやったよね、と言ってはおいたが、もう一回証明した。1の一意性は演習問題にした。まあ半群？モノイド？未だにどっちがどっちだか知らないんだが、まあそれで考えれば0の一意性と1の一意性の証明は全く同じなのだが。小生がこっちに来た頃同僚に半群の専門家という人がいて、群は半群の特殊なもの、という教え方をされていて、嫌な感じだと思ったことがある。1回だけ群論の演習を担当したが、言葉が増えて学生は消化不良を覚えている感じだったのを思い出す。他にも随分難しい教え方をされる方だったので、ちょっとテストをやったら、大半の学生の答案がカラッキシだった。まあどう教えても群論は難しいのだが。むしろ環の方が群より易しい。でその後例を沢山出してくる。うちと物理が数学物理学科だった頃物理の学生が時々受けに来ていて、そのうちの一人が大学院で小生の指導を受けたいと進学してきた。面接で小生の講義は例が多くていい、と言ってくれたので、ずっと例を沢山出すことだけは怠らないようにしている。今日挙げた例は Z, Q, R, C, M_n(R), R[X], Map(S,R) とか。来週は End(G) と {0} を例示する。そうしてから0に何を掛けても0とか、(－a)(－b)＝ab とかやる予定。部分環をやると Z[i] とか C^∞(I)（I は区間）とか出せて面白くなる。

講義終了後二人ばかり来た。一人は、単位認定レポートを manba＋R に上げる、と言ったが、演習問題も manaba＋R に上げるのか？と聞かれた。いや、小生のホームページに上げる、と言っておいた。小生の名前で検索すればすぐ出てくるから、と言っておく。もう一人は、何やら代数的整数論を勉強したい、類体論をやりたい、とか凄いことを言ってた。今は Atiyah－MacDonald の本を読んだり、雪江先生の整数論の本を読んだりしている、とか、これまた凄い仰せ。ホモロジー代数とかやった方がいいのか？と聞かれたが、あんまり難しいことはいらないので、そこまでしなくてもいいのでは？と言っておく。いや、整数論でも凄く難しいことをやるんなら、そういうのもバリバリ出来た方がいいと思うのだが、類体論を目標とするならね。でそうこうしているうちに〇んこ君が入ってきた。次の講義は彼が担当か。去年もそうだったよね？と言ったらそうだと言ってた。事務の人も仕事を増やしたくないのか、部屋は極力変えないようだ。まあ今年は情報理工学部が BKC から出ていったから、少し部屋に余裕はあると思うが。

その後部屋で色々。今年は講義ノートを web に上げるサービスはしないことにした。講義室に学生が一人しかいない、というのは精神的にめげるので、板書を写すのは大変だろうが、学生には来てもらう。出席は取らないとは言っておいたので、来なくなる学生はいるだろうが。だから去年までやっていた講義ノートの直しはやらなくていいので、Tikz で引き続き絵を描いたり、ゼミのテキストの領収書の処理をしたり。学生に小生の名前で検索してね、と言ったので検索したら、案の定小生のホームページは上位だったが、その直下にこのブログが出てきた。「見てます」と言う学生が案外多いのはこのせいか。少し書くことを気を付けないと。そんなことをしてたら、線形代数の演習を担当する先生からメールが。2、3情報交換をしておく。で5時前に職場を離れた。

5時前なら名神は混んでないだろう、と思ったが甘かった。「草津JCT－大津 渋滞10km」の表示。この時間はいつもこんなに混むんだろうか？それとも京滋バイパスで事故があって渋滞しているから、京滋バイパス経由で大山崎から先を目指す人が名神に流れてきたのか？来週からは少し考えないといけないな。講義終了後直帰することにしようか？住処に着いたらもう6時だった。疲れた。

テレビを付けて日テレG＋に合わせる。度会が1塁ベース上にいた。少しヒットから遠ざかっていたが、1本出たらしい。が、何故か2番がオースティンでなく桑原。オースティンどうした？ホームランを打ったりして割と好調だったのに。ベンチにはいた。で桑原がダブルプレー。もう。Baystars の先発は開幕投手の東。本調子じゃないのか2回に先制される。が、その後は粘って、そうこうしているうちに度会にタイムリーヒットが飛び出し同点。度会は初タイムリーだそうだ。ここまで5打点だが、3ランホームランと2ランホームランだったな。7回に無双状態の関根がタイムリーヒットを打ち、これが決勝打。東は7回を94球被安打5の1失点。ビジターだからヒーローインタビューは一人だけだな。関根？と思ったら東だった。今日もお馴染み「祐大のお陰」が出て、スタンドが映ると「祐大のおかげ」と書いたタオルを持って応援している人がいた。こんな応援グッズもあるのか。度会が開幕戦で「最高でーす！」を連発していたが、「最高でーす！」タオルも販売すると言ってた。商魂逞しくて結構。どんどん勝ちましょう。

Marines の小島（おじま）が完封勝利一番乗り。しかも1－0の勝利というのが凄い。一昨年は防御率3.14も援護無く3勝11敗。去年は一昨年より防御率が悪いが10勝。今年は今日で1勝1敗、防御率1.93。ロッテ球団はもう50年首位でペナントレースを終えたことがないそうだ。一度日本一に成ってるが、あの時は3位からの下剋上。リーグ優勝が1位のチームではなくプレーオフを勝ち進んだチームに与えられるというよくわからない制度だったので、リーグ優勝はしている。今年は横浜 vs. 千葉で湾岸シリーズをしましょう。お前は Buffaloes ファンだろうって？うん、まあそれはそうなんだが、5連覇は流石にいいでしょう、という気がする。山本も山崎福也も抜けたし。まだまだ先が楽しみ。

さっき「報道ステーション」で何やら土地・家屋の相続のニュースがやってた。あんまり真面目に見ていなかったが、自宅をリフォームしようとしたら100人くらいに了承を貰わないといけなかったり、明治22年に登記されてそれっきり手付かずの土地をどうするか？というようなことを言ってた。小生の住んでるすぐ近所に空き家が2件あるが、どうにか成らないのか？と思っていつも見ていたが、同様の状況なのかも。確か「科捜研の女」でもその手の話題があったな。小生の生家は「再開発」の美名のもと最早跡形もないし、親父殿が死んだ後は役所勤めの長い兄者が適切に処理してくれるだろう。小生も兄者も子供が出来る可能性は最早皆無。兄者より先に死んだ方が楽だな。山科で細々暮らして、ひっそり死んでいこう。

関根大気の打ち出の小槌バットからヒット大量生産。チームは2カード連続勝ち越し

早目に寝て早目に起きて床屋、という野望は水泡に帰した。SageMath で Kronecker 記号を計算させたんだが、何かおかしい。Q(√6) と Q(√(－6)) での素数の分解法則が同じに成ってしまうが、確か二つの代数体が等しいことと完全分解する素数全体が等しくなることが同値、だった筈。Q 上ガロアっていう仮定くらいはいるんだっけか？とそれは調べなかったが、まあ2次体なのでそこはどうでもいい。兎に角なんかおかしい。PARI/GP でも Kronecker 記号は計算出来るが、SageMath と同じ結果。むむ、と思ってしばし時間の無駄遣い。引数が二つあるが、一つ目と二つ目を逆にしていたのが原因と分かるまで随分掛かった。あほくさ。手計算の結果とようやく同じ結果になり安堵した。その時にはもう「おはよう朝日です」が始まっていた。いかん、寝るぞ。で目が覚めたら結構遅い時間で、鼻と腹の調子がよくないので、床屋はやめた。

で早くも6時。野球の時間。今日まで京セラドーム大阪で Tigers と。初戦は取って昨日は負け。さあ3戦目。Baystars の先発は中川颯（なかがわはやて）。去年 Buffaloes から戦力外通告を受けての移籍。今までの1軍マウンドは2021年の1イニングのみ。オープン戦では無失点と好調だったが、さてどうなるでしょう？3回まで無失点も、4回に梅野のヒットと木浪の内野ゴロで2失点。途中佐藤の3塁への走塁とホームへの生還を巡って岡田監督が2度リクエストすると、どちらも判定が覆りセーフに成ってしまう。こういう日はロクでもない結果が待っていることが多いので嫌な予感。が、6回にチャンスを作り、3試合連続猛打賞と大当たりの関根がタイムリー2ベースで1点返し、代打・楠本の技ありのセンター前2点タイムリーヒットで逆転！いいぞいいぞ。中川颯の後は上茶谷、伊勢、ウェンデルケン、森原、康晃と繋いで勝利。2カード連続勝ち越しで、通算4勝2敗。いいですね。明日から東京ドームで Giants と。土曜日もナイターのようだ。土曜日の昼床屋へ行くことにしよう。

昨日書いたが、3時間掛けて通ってくる剛の者がいる。それで思い出したが、予備校でバイトしている時に知り合った女の子は、横浜から埼玉大学まで2時間半掛けて通ってたな。確か最寄り駅は根岸線の磯子駅だった思うが、浦和のどこかまでなら乗りっ放しでいいん違うの？と聞いたら、時間が掛かり過ぎてそれだとどうしようもないと言ってた。横浜で東海道線に東京で山手線か京浜東北線に、上野で東北線に、と乗り換えると言ってたと思うが、今は上野東京ラインというのが開通して、東海道線の電車がそのまま東北線に突っ込んでいくので、それがあったら楽でよかったろう。1月6日の埼玉でライブはさいたま新都心駅が最寄りのさいたまスーパーアリーナだったが、横浜から乗りっ放し1時間だったので楽だったが、京浜東北線だと1時間半以上掛かる。磯子から浦和までも同様だったのだろう。えーと、そう、3時間掛けて通ってくる学生はどこから来てるんだろう？機会があったら聞いてみよう。

さて4月4日である。車の免許を取って21年。気分を新たにいきましょう。4月4日は兄者の誕生日でもある。58歳。年取ったな。定年まであと数年。健康に過ごして下さい。兄者は酒が呑めないので、その方面で体を壊すことは無いので安心だ。

で明日から春学期の講義が始まる。1時から「代数学I」だけの筈だったが、昨日書いた通り9時からゼミをやる。9時に職場に着くには、普通なら8時20分に住処を出れば問題無いんだが、この前と同じで正門に右折で入る車列が出来てて、中々正門を入れないので、余裕を見ておかないと。8時には住処を出るか。7時起きだな。もう寝るか。こんなのが15週間続くと思うと嫌だが仕方ない。のっけから寝坊はまずいので、もう寝る。「いたって真剣です」は見なくてもいいや。「アメトーーク！」も。いや、録画しておこうか。しても見ないことが多いからな。まあいいや。兎に角もう寝よう。

その前に関根大気についてもう一言。3試合連続猛打賞の大当たりであることは昨日書いたが、昨日から今日に掛けて5打席連続安打。途中打率が7割5分を超えた。最後の2打席は凡退したが、それでも打率は驚異の .667。去年も春先はレギュラーでチームを引っ張ったが、今年は開幕スタメンの座を逃した。しかし自らの力でぐっと引き寄せた。去年は自身初の規定打席到達だったが、今年も是非。

Tikz でお絵描きを沢山

10時にアラームが鳴るようにしていたが、起きたのは11時近く。まずい、と急いで出掛ける。勿論いつもの通り言葉の綾で、走行車線を80km/h弱で走ってたが。で12時前に着いて事務室に行ってみるともぬけの殻。もう昼休みだろうか？仕方ないので一旦個研室で時間潰し。12時半過ぎに事務室に行ったら人がいたが、小生に用事があると言っていた人がいない。「談話会室じゃないでしょうか？」と言われたので行ってみる。火曜日から明後日まで、何やら確率論の国際研究集会をやっているようなので、それの手伝いかな。行ってみるといた。7階に上っていき、印鑑を押して、今日の任務は終了。やれやれ。生協で弁当を買おうかと思ったら、唐揚げ弁当を売ってるキッチンカーが近くにいたので、温かい飯にありつけた。

さて、まず卒研の時間を決定しようということで、皆の予定をすり合わせる。9人もいると中々 unique な解に成らない。午前中にやりたいという意見が数名から上がっていたが、一人3時間掛けて通学しているという強者がいて、9時開始だと6時に家を出るとか訳の分からないことに成ってしまい可哀想、10時40分から1コマやって昼休みを挟んでまた1時から1コマ、というのはだらけて良くない。ということで強権発動で木曜の1時から2コマと決定し、皆に通知。で大学院進学希望者のゼミはどうしよう、と該当者にメールを書くと、何と午前中しか空いてないという学生がいて、諸々考慮して金曜の9時からやることにした。1時からは「代数学I」の講義ある。キツイな。まあ仕方ない。酒の量が減っていいだろう。ちゃんと勉強してきてくれて、機嫌よくスムーズに講義に移れればいいが。

その後 Tikz と格闘。絵を幾つも書いた。前は x 軸から30度正の向きに回した長さ2のベクトルを書くのに \draw[->] (0,0)--(1.73205080756888,1); とかいう生産性の低い書き方をしていたんだが、調べてみたら座標を与えて、それを θ だけ回転させた点を求めて、2点を結ぶベクトルを書いて、とか出来ると分かった。そのベクトルから更に φ だけ回転させるとか出来るので、ぐっと楽に成った。毎回 1.732 とか書くと角度を変えたいとき大変面倒な上汎用性が無い。分かってよかった。他にも領域を塗りつぶすことが出来て、教材が結構出来た。後でもうちょっとやってみる。

で8時過ぎまで職場にいた。6時頃から野球の様子を気にしいしいやっていたが、初回にオースティンにホームランが出て先制。2回にルーキー石上（いしかみ）がタイムリーヒットで追加点。よしよし。石上は5試合中4試合でヒットと、度会の派手な活躍に隠れてはいるが中々の働き。今日も勝てるか？と思いはま寿司へ向かう。夜の8時過ぎのはま寿司は結構混んでて、待たされた。読書をして待っていたが、途中スマホを見ると逆転されてる。濱口！まあいいです。まだ一つ勝ち越している。この時期は上位から大きく離されず5割前後で行ってればいい。去年は4月終わった時点で首位だったようだが、最終的には3位だった。まだまだ頑張って粘りましょう。

昨日書き忘れたこと。今永昇太がMLB初登板初白星。5回まで完全試合だったそうだ。6回被安打2の無失点と、上々のデビュー。去年はよくホームランを打たれていて、今年のオープン戦でも一発病だったが、ちゃんと対応したということだな。山本由伸も2試合目は5回無失点と上々だったようだし、今日は鈴木誠也がホームランを打った。期待しましょう。

さて、「報道ステーション」を見ているが、台湾で大きな地震があったとか。沖縄に津波警報が出たらしいが、皆素早い避難で被害は無かったようだ。素晴らしい。そうかと思えば宮崎では高校生が雷に打たれて大変だったようだが、こちらは雷注意報が出ているのに練習試合を続けてしまったとか。駄目ですね、注意報とか警報とか軽んじては。ちゃんと受け止めて対処しないと。明日も雨だ雷だと言ってるから、気を付けないとね。明日は床屋へ行こうかと思ってるが、どうしようか？天気次第だな。午後には天気がよくなると言ってたし。兎に角今晩は呑まないことにしよう。

赤チャートに熱中して徹夜

結局昨晩は呑んでしまった。ちょっと昨日考えてもうまくいかないことがあって、職場から赤チャートを持って帰ってきたのだが、ちゃんと出てた。成程、こうやって示すのか、と分かった。チャート式面白い。結構熱中してしまった。呑み呑みやってたんだが、気付けばもう10時近かった。まあ無茶をしたが、いいです。金曜から講義が始まるので、それからは少しちゃんとする。

食事をして寝床に。ちょっとYouTubeを見たんだが、京大の去年だかの入試でチェビシェフ多項式のことを知らないとどうしようもないものが出ていたが、それの解説が面白かった。成程、cos(nθ)＝f(cos θ) を満たす多項式 f(x) をチェビシェフ多項式と言うわけだが（他にもあるが）、こうやって存在を示すのか、と分かった。まあ示せるでしょう、と思ってちゃんと示したことがなかったが、これは示せない。昔寺井さんと共著論文で数列のことを書いたが、その後にチェビシェフ多項式と言うもの存在を知って、それから興味を持っていた。チャート式にもチェビシェフ多項式関連の問題が出ていて、熱中してしまった理由の一つはそれ。面白かった。で寝たが、目が覚めるともう野球の始まっている時間だった。

今日から Tigers と3連戦。CSのスカイAというチャンネルで放送があったが、いくらチャンネルを合わせようと思ってもスカイAに成らない、という変な夢を見た。嫌な予感がしたが、何と1回に4点取って、5－1とリードしていた。その後2点取られ、9回はサヨナラのピンチだったが、康晃が抑えきって勝利。今日のトピックは9回に2年前のドラフト1位、松尾汐恩がプロ入り初安打。よかった。3勝1敗で単独首位に。まあまだ順位を云々する時期ではないが、まあ気分はいいです。Dragons は Giants 相手に3点差をひっくり返してのサヨナラ勝ちで今シーズン初勝利。細川が19打席目での初安打がサヨナラホームラン。凄い。Giants は中川が早くも2敗目。今年こそ最下位にしてやりましょう。現状最下位は Tigers だが。まあまだ順位を云々してもしょうがないのは書いた通り。これもしょうがないが、山本祐大が首位打者。気分はいいです。

もう学科長じゃないのだが、何か積み残しがあって、印鑑を押してくれ、とメールが来ていた。明日の午前中に職場に来てくれ、と。面倒臭いな。仕方ない、行くか。今日も呑んだろうかと思っていたが、やめよう。「アンタウオッチマン」が終わったら寝よう。印鑑押したらどうやって時間潰そう？TeX の picture 環境と Tikz で絵でも描くか。

暑い新年度初日

昨日は無茶やったから、今日は起きられないだろう、と思ったが、一応8時にアラームは仕掛けておいた。で7時55分くらいに目が覚めた。9時半からの新入生ガイダンスに参加出来る。ということでシャワーを浴びて出勤。随分前に新しい靴を買って何となく変えそびれていたが、今日から気分一新ということで新しい靴で行くことにした。新しい靴はきつい。慣れるまで少し掛かるだろう。

高速道路を出たのが9時少し前。案の定というか、正門前に車列。右折で入らないといけないが、対向車が引っ切り無しに来るので、右折矢印が出るまで曲がれないことがしばしば。で右折矢印が出てる時間が短く、3台くらいしか入れない。結局信号3つ待った。まあいい時間潰しに成った。

部屋はC108だ、と思い込んでいたが、行ってみると生命科学部の会場に成っていた。ん？とスマホを見ると、C205だった。C108って何だ？と思ったら、3月の学位授与式の会場だった。メモっておいてよかった。9時半に式開始。学科長の K 先生、ってこれでは unique に定まらない。小生も K だし、今日から助教に成った人の一人も K 先生だ。えーと、確率論の K 先生でも unique でないな。ペルー人の K 先生、とするか。まあ面倒臭い時は「学科長」と書くことにしよう。学科長の挨拶から始まり。長い。小生は話を上手に作る自信が無いので、去年は凄く短かったと思う。その後小集団科目（というのがあるんです）担当の先生方が紹介される。新任の S 先生（は unique かな？）も紹介されていた。その後「数学学修相談会」の宣伝や、学生が数名喋って、数学研究会の紹介。顧問の A 堀先生も喋って、それから今日から閑職の F 本先生も喋って、というところでお開きにされてしまった。「学科の教員紹介」とあったから、小生も何か喋らせてもらえるのかと思ったが。まあいいです。来週の水曜日から線形代数の講義で1回生と顔を合わせるが、その時に今日皆さんが喋っていたことなど踏まえながら講義をしよう。

一旦個研室へ戻る。荷物を置いて、少し経ってから食事へ。こういう日はいつもの鰻屋がいい。銀行に寄ってから行こう、ということで少し遠回り。が、銀行の駐車場は一杯。口座開設のお客様など、新年度モードで大忙しいらしい。臨時駐車場を紹介されたが、方向音痴の小生、航空写真など見せられても皆目見当が付かない。「出直します」と言って鰻屋へ向かう。店に着いたのは11時10分くらい。丁度良かった。いつもの一本鰻を頼んで、JAF の会員証を見せて100円引き。旨かった。

今日は暑かった。少し表に停めただけなのに、車内は暑い。ハンドルも結構熱を帯びていた。滋賀はどうか知らないが、夏日に成ったところがあるそう。暫くこんな陽気が続くらしい。が、最低気温は結構低いので、まだジャンバー（死語）無しで行くのは無理だな。まあ冬物はもうクリーニング屋に出してもいいかな。

で職場に戻ってきた。割といい所に停められた。生協に寄って Blu-ray のディスクを買う。いつもの通り「校費ですか？」と聞かれたが、「いえ、私費で」と言い返し購入。個研室へ戻って、事務に1年間預けていたも（何でしょう？）を返してもらい、奨学金関係の件で使った USB を返却して、少しのんびりしてから、学生とメールを1往復半。その後ちょっとベクトルの勉強。2回生の線形代数ではもうベクトルが何だとか言わないでよかったが、1回生を相手にするから、少し理論武装しないと。まあシラバスに「2章からやる」と書いたので、勉強する必要は無いんだが。まあいいです。高校の教科書を見ながら勉強。そうか、ベクトルってこういう定義なんだな。位置ベクトル、とかよく分かっていないで勉強していたことを思い出した。いつの間にか点とベクトルを同一視していた。昨年度からか今年度からか忘れたが、ベクトルを習うのは高校3年に成ってからだから、消化不良で来ている学生は多いと思われる。そういう学生に手取り足取りやらないといけないか？という疑問には「No!」と答える。入試要項に数学Cをやっておくように書かれているので、やってない学生は知らん。午前中にA堀先生が「手取り足取りやってくれるのは今週だけで、来年からは放っておかれます」と脅しておられたので、いいでしょう。

その後結構長時間やった。随分前に高校の教科書から3次元空間内の平面の方程式のことが載らなくなっていたが、細々ながら復活したようだ。線形代数の演習を担当した時に「x＋y＋z＝0 で定義される R³ の部分空間の基底と次元を求めよ」という問題を出したが、基底も求まって次元も2だと分かったのに、「どんな図形？」と聞いたら「直線」という答えが返ってきてガッカリしたことがあった。何故か聞くと「一次式だから」との答え。うーん。どっか工科系の学科の線形代数を担当した時にも直線と答えてきた学生がいたが、「いや、左辺を (1,1,1) と (x,y,z) の内積だと思ってみ」と言ったら「ああ、平面か」とすぐ納得してくれた。題材が多過ぎると混乱する、ということでどんどん内容を減らしているのかもしれないが、ちょっと考えれば分かることくらい載せてもいいと思うんだが。それと違うが、少し前の課程では高2の微積分で xⁿ の導関数が nx^n-1 なのを n が3以下に限定していた。証明出来ないからなのか何なのか分からないが、いらぬ混乱を招くだけでロクなことないと思うんだが。小生の頃も3年生に成るまで証明抜きで使ってたぞ。数学IIIを受験科目に課さない大学は苦労しただろう。平気で x⁴ の微分とか x³ の積分とか出してる大学もあったけどね。

で用足しに表に出て気付いた。暗い。まだ6時くらいかと思っていたらもう7時半くらいだった。学科長の用事と関係無くこういうことに時間を使えるのはいいな。先週までは月曜の晩は学科長会議のことを気にしいしい行動していたが、今日からは気楽に出来る。さっき12時55分のアラームを解除した。嬉しい。今日は呑んでもいいぞ。いや、無茶が過ぎるとよくない。やめようかどうしようか。まあもうちょっと考える。

文献の鬼（って誰も呼んでないか？）のY村さんが昨日付で定年退職だそうだ。メールをいただいた。初めてお会いしたのは30年以上前だな。色々お世話に成った。実家が近所だったということもあり、かわいがっていただいたが、色々失礼も働いた。永年ご苦労様でした。関西大学にいる先輩に去年ちょっとメールを書いたが、定年まで6年半と書いてあった。皆歳をとったな。かく言う小生ももう定年まで10年ない。隣の隣の部屋のO先生が「学科で最年長に成った」言われていてビックリしたが、そうだな。歳はとるのです。仕方ない。年寄りは年寄りで頑張ります。