三角不等式を知らない？

10時29分に固定電話が鳴る。むぅ。と思ったら10時半に目覚ましのアラームが鳴った。まだちょっと寝ても大丈夫、と油断して11時過ぎまで寝た。シャワーを浴びてすっきりして出勤。間に合う予定だったが、5分ほど遅れた。まあいいでしょう。

で1時くらいからゼミ。1ページ半くらいで1節終わることになっていたが、一人目はそれで物足りないのか、次の節に突入。しない方がよかった。{(x₁,…,x_m)∈F_p^m｜x₁＋…＋x_m＝1} の元の個数がわからないという。でまさかと思って F_p の元の個数を聞いたらわからないという。じゃあ F_p って何？という具合でどんどんドツボにはまっていく。で何やら怪しげな式変形をするので、止めて質問すると、三角不等式を知らないという。うーん。そんなこんなで声を荒らげてしまった。レベルとしてはかなりひどい部類なので。今日中に終わらなかったので、宿題を残して今日は終了。

その後部屋で月曜日の講義の準備。月曜日は10時45分から講義で、その前に個研室へ行って資料を印刷する余裕は無い（というか早く起きる自信が無い）、木、金、土、日は職場に行く予定が無い、ということで自ずと水曜日に準備することになる。ちなみに住処にはプリンターが無い。まあ大筋は去年までの講義資料の流用なので、そんなに時間は食わない。しかし今度やるところは代数的閉包の話の続きと、正規拡大、最小分解体など、難しい話なので、念のためしっかり見直しておいた。すると、嘘の reference があったり、説明の雑なところがあった（そのため書いた本人がしばし悩んだ）など、結構書き直した。野球を気にしいしい8時過ぎまでやったろうか。

その後買ってきた数セミを眺める。「エレガントな証明」が今月号の特集企画。積分計算が幾つか出ていて、中々巧みな計算で定積分の値を求めている。面白い。こういう時は即 Maple の性能チェックをやるんだが、一つ目は Maple が満足いく答えを返してきた。が、二つ目はそうはいかなかった。結果に dilog が残っていたりと、とてもこれが正解とは思えない。が、evalf コマンドで近似値を計算させると、どうやらちゃんと求まっているようだ。こういう時は Maple は手計算には追い付いていないな、と実感させられる。数式処理はあくまでも補助、という認識は間違っていまい。

野球はというと、今日も Carp vs. Baystars を見ていたが、3点取られてやな感じ。が、5回に一気に7点取って逆転。6回には2者連続ホームランで2点追加。Carp には申し訳ないが、こっちも最下位脱出が掛かってるんでね。昨日 Giants の悪口をいっぱい書いたが、実は Baystars は昨日の負けでBクラスが決まってしまったそうだ。まあ話題にもならないんでね。（ニュースソースは Facebook の Baystars 応援板。）まあいいです。今日も Giants は勝たなかった。エース菅野でも勝てない当たり、もはやどうしようもなさを感じる。挙句に Swallows の村上がついにホームラン数で岡本を抜いたそうだ。打点も並んだらしい。こうなったら Giants には全ての不幸を背負ってもらおう。まだ5割を切る可能性もあるようだ。負けろ負けろ。

パ・リーグは首位攻防戦第2ラウンド。今日 Buffaloes が勝てばマジック点灯だったはずだか、先発の山崎福也（さちや）がまさかの5失点。Marines に負けて、明日 Marines が勝ったら2位のままマジック点灯とか。残り試合数の関係かな。今年は－0.5ゲーム差とか、色々珍事が多い。まあ記憶に残るシーズンに成りそうでよかったです。おっと、まだ終わっていない。明日も Buffaloes を応援するぞ！

Dragons の山井と藤井が引退試合をしてもらったようだ。どちらもいい選手だった。40過ぎまで現役で出来たことは誇りにしてよいでしょう。お疲れ様でした。

東（Baystrars）好投報われず

昨晩はうっかり夜更かししてしまった。今日教授会があるのを忘れていた。が、幸いその後すぐ寝たので、教授会にはちゃんと出席出来た。今日は人事案件など重要な議題があったので、欠席するわけにはいかなかった。よかった。で最近の教授会は30分弱で終わることが多かったが、今日は1時間15分ほどやった。大半は人事。重大な議題なので、当然と言えよう。教授会・研究科委員会終了後もまだ何かあったようだが、そちらはパス。義務ではないんでね。

6時から野球。今日は vs. Carp。最近 Carp は強く、ここまで5連勝。3位を目指して頑張っている。今日も Baystars の先発東に3回まで完璧に抑えられるも、4回に1点取って先制。その後東、九里の両投手が好投し、0－1で8回裏。Baystars はピッチャーをエスコバーに交代。が、鈴木に2ランホームランを打たれ、the end。Carp は6連勝。凄い。どうせなら3位に成ってもらおうか？いや、それは Baystars に負けろと言っているようなもんだ。そうはいくか。頑張れ、Baystars。

今日の結果で、セもパも去年の優勝チームの優勝が無くなったそうだ。Giants は Hawks に日本シリーズでコテンパンにやられ、今年最初から「打倒 Hawks」とか言っていたが、その前にセ・リーグのチームが相手だということを忘れていたか？Hawks は自力CSも無くなったそうで、仮に Giants が CS を勝ち抜いても日本シリーズでの敵討ちは出来そうもない。目標を失ったチームの末路は哀れだ。今日も負けて7連敗。Tigers 相手に14年ぶりの負け越しとか。実に無様だ。このまま負け続けて、4位に成ってもらおう。うん？それは Baystars が負けることだったのでは、って？うん、そうなんだが。Giants が負けると飯が旨いからね。まあ Giants が CS 行ってもいいです。そこでまた無様に負けてくれれば。

パ・リーグは首位攻防戦が行われた。Buffaloes が辛くも引き分けに持ち込んだらしい。2ランホームランを宗に打たれた Marines の先発小島（おじま）は試合終了後泣いていた。それだけこの試合に掛けていたのだろう。泣くのは早いぞ小島。まだチャンスはある。え、お前はどっちを応援してるんだって？いや、そりゃ Buffaloes なんだが。まあ基本11球団どこが日本一に成ってもいいんでね。その中で一番応援してるのがセでは Baystars、パでは Buffaloes ということです、はい。

野球が終わる頃スマホに着信音。何だと思ったらサッカーの日本代表がオーストラリアに勝ったという情報。そうか、すっかり忘れていた。後でダイジェストを見ると、熱戦だったようだ。勝ってよかった。次も勝て。

プロ野球ドラフト会議

昨日は11時くらいには寝床に入った。11時30分くらいまで twitter を見たり Facebook を見たりしていた。その後中々寝付けなかったが、大丈夫で、今朝は9時に起きた。食事を摂る時間は無いが、シャワーを浴びるくらいの時間はある。ということでザーッと浴びて、9時45分くらいには住処を出た。

職場に着いたらまだ講義には30分くらいの余裕があった。生協で面白そうな本は無いか物色して、5分くらい前に講義室に向かう。3階なので、歩いていこうかどうしようか迷ったが、週に1回くらい3階までは歩こう、と決めて、歩く。講義室に着いた時は若干息が上がっていたが、まだ呼吸を整えるくらいの時間はあった。10時45分に講義開始。今日は体の拡大が代数的とか、代数的な元に四則演算を施しても代数的とか、そんなことの証明。代数的な元を有限個添加しても有限次拡大にしかならないことを証明してから x±y, xy, x^－1 が代数的であることを証明したから、それらが満たす多項式を求められない。そこで多項式の求め方も教えておく。例を1個出したが、w と ω を同時に使うという、絶望的なことをやった。ついでに χ（カイ）と x（エックス）の書き分けもちゃんとしよう、と言っておく。代数的閉包を定義する前に終了。存在証明はやらないと昨日決めたので、やらない。

でレギュラーなら1時からゼミなのだが、学生が「予習がおぼつかないので、今週は無しにしてください」と言ってきていたので、昼飯は弁当でなく学外へ。魚を食べないといけないので、回転寿司屋に向かう。いきなり黒毛和牛を食べてしまった。いかん、ということでその後秋刀魚やサーモン、タコ、ウナギなど。例によって1500円弱。

そのまま帰ってもよかったのだが、月曜日は遅くまでいると決めているので、大学に戻ってきた。しばしゆっくりしてからお勉強。足立先生の本の穴を埋めるにはどうすればいいか、と思い藤崎先生の「体と Galois 理論」を引っ張り出してくる。職場には「体と Galois 理論」があって、住処には「体とガロア理論」がある。この違いわかるかな。穴は簡単に埋まることがわかった。一応足立先生にご注進しておく。その後 Pell 方程式の勉強の続き。x²－Dy²＝±1, x²－Dy²＝±4 はよくわかっている（積り）なのだが、右辺がその他の値の時はよく知らない。いや、そもそも D が square-free でない場合も大分怪しい。一つずつ丹念に追いかけて理解した。まだ中途半端なところはあるが、そろそろ引き上げよう（実は職場でこれを書いている）。

今日はプロ野球のドラフト会議。市立和歌山高校の小園が取れたようで、まあ上々。三浦という投手を取っていたが、大丈夫だろうか？G.Miura のようだ。混乱は起きないな。すごいのは Hawks で、ドラフトでは5人しか指名しなかったが、育成ドラフトで14人を指名。Hawks は育成選手から掘り出し物を見つけてくる。甲斐しかり千賀しかり。Giants も育成で10人指名。Giants も育成といえば山口鉄也、松本哲也、そして今売り出し中の松原聖哉と、中々の指名をしている。面白いかも。しかし去年も思ったんだが、どうしてこんなシーズンが佳境な時にドラフト会議をするのだろう？オフシーズンでは遅いのか？そんなことはないと思うが。大学の人事も確かに早いな。年内に決まっても遅いくらいだ。まあいいや。

Buffaloes の紅林が骨折？

昨日は週に1度の呑みの日。珍しく他に知った客が二組、計3人いて、盛り上がった。で閉店までいたんだが、ちょっと呑み過ぎた。で帰ってきて即ダウンして、このブログを更新しなかったというわけ。

昨日早目にダウンした割には今日もシャッキとせず寝てばかりいた。Baystars vs. Dragons も最後のサヨナラ勝ちの瞬間以外はほぼ見ていない。まあいいです。

今は Swallows vs. Tigers を観戦中。昨日は Swallows が負けたが、今日は Swallows が勝っていて、このまま行くとマジック9。どうなるでしょうか。

明日は8時半に起きようと思っているので、12時に成る前に寝る。10時45分から対面で講義。先週までのように10時半に起きればいいというわけにはいかない。気合を入れないと。あ、そうそう、明日の講義が対面だという案内を出しておかないといけない。すっかり忘れていた。もう眠いし、それだけやったら寝るか。

パ・リーグの情報を仕入れようと思い、Yahoo!の野球のページを見たら、Buffaloes の紅林が骨折の疑い、とのこと。吉田正尚が骨折して、その代役を務めていた19歳だが、骨折だとしたら痛いぞ。今日終わって2.5差で、来週は Marines との天王山。紅林が大丈夫であることを祈ろう。

Swallows にマジックナンバー11が点灯

今日は「はま寿司」で昼食後職場、という予定だったのだが、起きても眠いを数回繰り返し、「はま寿司」による時間的余裕が無くなってしまった。仕方ないので、生協でサンドイッチを買ってすますことにした。

今日は2時40分からとある会議に出席。本当は3時でよかったようなのだが、まあ早く着くに越したことはない。二人の若者のプレゼンを聞いた。どちらもしっかりした人のようで、文句無し。細かいことは主催者に一任ということで。5時過ぎに解放される。

個研室へ戻って作文。今日の会議に出席した証を残す。で返事を書くのだが、ついでに一言。「今日私のことを何度か『加藤』とお呼びになっておられましたが、私の苗字は『加川』です。もう慣れていますので構いませんが、教授会の席ではお間違えにならぬようお気を付けください」と。大学生の時に「加藤」という奴と組んでバイトをしていたが、行く先々で「加藤」と呼ばれて、間違われるのは慣れている。「加藤」も「何度も『加川』と呼ばれた」と言っていた。同僚にも間違われたことがある。それに小生のお袋は「香川」と間違われないよう「『加藤』の加です」と説明していたそうだ。小生は「加えるに川で『加川』です」と言っている。1回だけ「module の『加』」と言って笑いを取ったことがあるが、これは一部に意味明瞭。

作文終了後は月曜日の講義の準備。代数的閉包のセクションに入ることが確定的で、代数的閉包の存在と一意性の証明をしようか、しないまでも後で web に載せる資料に書こうか、と考える。足立恒雄「ガロア理論講義（増補版）」の証明が一番いいんだが、それでもわけのわからない証明。無限変数の多項式環など誰がわかるんだろう？ということでやはり講義ではやらないことにした。資料にも載せない。気が向いたら別に出そう。足立先生の本に一か所穴があることに気付いた。代数的な元を一斉に添加すると代数的、とやっているが、有限個の元を添加することしか定義していない。小生の講義も引きずられて有限生成な拡大しか扱っていない。ということで別に載せるにはそれなりの注意が必要だ。

などとしながら野球をネット観戦。今日は5位の Dragons と。負けるわけにはいかない。が、1回表に2点取られ嫌な感じ。1回裏に佐野のホームランで1点返す。その後ちょっと作業をして、こそっと野球を覗くと、ソトがヒットを打って、ランナーの宮崎がホームインしたのだが、それがセーフかどうかの判定中。うむ、同点になることを祈ろう、と思って作業をして、またこそっと野球に目を移すと何と7－2になっている。宮崎のホームインはセーフだったようだ。その後桑原の押し出し四球で勝ち越し、佐野が満塁ホームラン。うー、見たかったよー。5回には桑原に2ランホームランが飛び出し、一方的な試合。いや、こんなので安心してはいけない。何度も痛い目にあわされている。その後1点取られるも、今日はそこまでで、9－3で勝利。5位 Dragons に0.5ゲーム差。よしよし。

今日の野球ファンの注目はセの5位、6位の直接対決でなく、セの1位、2位の直接対決だろう。Tigers の先発は2試合連続完封の高橋遥人だったが、初回に失点。その後も失点を重ねたようだ。結果は4－1で首位 Swallows が勝って、マジックナンバー11が点灯。Giants が破竹の勢いで勝ち進んだ時期があったが、その時はまさか Swllows にマジックナンバーが点灯するとは思いもよらなかった。Giants は9月に8の負け越しとかで、一気に失速した。今日も Carp に一方的にやられ、首位とは9.5差。逆転優勝が何のかんのと言っているが、気づけば4位 Carp と8差。下のほうが近くなっている。このままずるずると引きずりおろしましょう。Carp が勝つと4位が遠のくんだが、Giants が負けたほうが楽しい。Carp を応援しよう。もちろん Baystars もね。Swallows と Tigers？うーん、どっちでもいいや。Giants さえ優勝しなければ。

vs. Tigers の最終戦は無事勝利

昨日は12時前の時点で「もう寝る」と書いたが、結局「タモリ倶楽部」が終わるまで起きていた。終わったのは2時過ぎ。うーん、何してるんだか。で今朝も寝坊した。ゼミがあるので、急いでパソコンを立ち上げると、「体調が悪いので、今日のゼミは無しにしてください」というメールが来ていた。もう少し寝られたわけね。まあいいでしょう。

で野球まで3時間強ある。そこは有意義に勉強、と成ればいいのだが、昨日の「ミラクル9」の3時間スペシャルを見てしまった。面白かったので、まあいいでしょう。

5時45分から野球。今日は vs. Tigers の最終戦。こういうのを聞くと、季節の移ろいを感じるね。Tigers には勝てていないし、ここの所横浜スタジアムでの連敗が続いている。今日こそは勝ってくれないと。と思って見ていたら、3回にタイムリーヒットと2ランホームランで3点先制される。むぅ。4回に相手のミスでもらったチャンスを、内野ゴロとタイムリー内野安打（相手のミスくさい）で2点取り返す。その後チャンスを作ったり作られたりし、8回表終了時点で2－3。今日もダメか、と思ったら絶不調のソトがバックスクリーンへ逆転2ランホームラン！ソトのホームランは本当に久しぶり。ホームランどころかロクにヒットも打ってなかったからね。最後は日替わり守護神のエスコバーが抑えて、無事勝利。何とか意地は見せた。今日は他球場の経過を全然気にしないで見ていたが、試合終了後に情報が入ってきた。Swallows は Giants 相手にサヨナラ勝ち。内野安打の間に点を入れて、1－0で。8回まで複数投手ながらノーヒットノーランに抑えられていたそうだ。でかい1勝だね。これで Swallows と Tigers の差は2。明日から直接対決で、結果次第ではマジックナンバーが点灯するそうだ。意地を見せるか Tigers、はたまた一気に行くか Swallows。これからが見ものだね。

パ・リーグはというと、Buffaloes は勝って、Marines は負けた。Marines は守護神の益田が失点したらしい。これでまた1.5ゲーム差。こちらも目が離せない。

今日は別段寝坊してもゼミの学生に軽蔑されるだけで大過無い（いや、軽蔑されるのが大過だろう！）が、明日は他の学科の先生と打ち合わせをする必要があるので寝坊できない。今日リマインダーメールまで送られてきたので、「忘れていた」というわけにもいかない。明日は「はま寿司」で昼食を出来るくらい余裕を持って行くことにしよう。ということで、今日は「アメトーーク」を見ないで寝ることにする。

Cauchy－Scwartz の不等式がよくわかっていない

昨日の晩寝る前に「科研費の調書の提出くらいしておこう」と思い立ったが、これが運の尽き。山科教授と亘理研究員の「紙芝居」を見る羽目になった。言っていることは当たり前のことばかり。例えば少額だから多少の不正は構わない、〇か×か、みたいな話。答えはもちろん×。こんなのが1時間くらい続いた。運転免許を取る時の「追い抜きをするために速度を制限以上に上げた。いいかいけないか」的な問題と同じで、答えは全て自明。しかし過去の不正使用の事例を挙げると、けっして当たり前を当たり前と思わない人ばかり。だから貴公も気を付けよ、ということのようだ。こんなの去年までは無かったと思うが。その後も事務のホームページがわかりにくくて、トータルすること2時間くらい掛かった。ということで寝るのが2時間遅くなった。

で今朝は10時半に起きるつもりでいたんだが、目覚ましを仕掛けておくのを忘れて、1時間半以上寝坊。2時間早く寝ていればこんなことにならなかったのに！と八つ当たりをしておいた。でゼミに2週間連続遅刻。

ということで後ろめたいので、ゼミは大人しく、といってはいけない。それはそれ、これはこれ。例によってギャップをがっつり残しているので、突っ込み倒す。写像が単射であることを示せなかったり、2×2行列の逆行列が求められなかったり、行列の掛け算が出来なかったり、p が奇素数であること（素数であることはこの際どうでもよくて、奇数であることだけ必要）がどこで効いているか楽しまないで証明を読んできたりと、一人で2時間。幸い、というのも変だが、二人目は発熱のため欠席。来週は「和への寄与」という、よく意味の分からないであろう日本語が出てくる。紛糾必死だな。寝坊しないようにしよう。

今日は会議が無いので、ゼミ終了後は勉強。ペル方程式のことを勉強していたはずだが、その途中で Cauchy－Schwartz の不等式のことがよくわかっていない、ということで線形代数の本を開いて、しばしお勉強。等号成立条件に触れていない本が多い。そこに出てる証明を読んでも、等号成立 ⇔ 1次従属はわからない。まあ必要なのは2次元のベクトルで、その場合は成分をいじれば等号成立と1次従属が同値であることはすぐわかるのでよしとした。どうも不等式は苦手だ。もう少し励もう。

5時45分から野球を気にしながら引き続き勉強。4回にロハス・ジュニアに2ランホームランを許し先制される。その後どちらも点を取れず、0－2で力なく敗戦。うーん。もうシーズン負け越しが決定しているし、優勝を狙っているチームには敵わんかな、という感じだった。オースティンは肉離れで登録抹消、ソトは相変わらずの絶不調。明日もあっさり負けそうな気がする。今日負けて借金は18だが、3・4月の負け越しが16。5月以降はいい線行っているのだ。せめて借金16以下でシーズンを終わらそう。首位 Swallows は3位 Giants に勝って、Swallows と Tigers は1差のまま。が、ニュース。Swallows と Tigers の3位以上が確定。そうCS確定です。後は寄ってたかって Giants を引きずりおろそう。

パ・リーグも注目。Buffaloes が紅林のタイムリーで先制するも、2点のリードを許す。宗のタイムリーで1点差とするもそこまで。引き分けを挟んだ連勝は8でストップ。2位 Marines が勝って、ゲーム差は0.5。こちらも混戦が続いている。まだまだ目が離せない。

パ・リーグの試合が終わってから職場を後にする。当然学食はやっていないし、街中の食事処もやっていない。ということで帰宅後コンビニへ。食事の買い出し。ついでに明日の分の食事も買ってきた。明日は2時40分からゼミなので、今日は多少起きてても大丈夫だが、まあ早く寝るに越したことはないので、もう寝よう。食べてすぐ寝るのはよくないんだがな。まあしゃあない。Cauchy－Scwartz を理解することに励もうか。いやいや、そうすると何時に寝るかわからなくなる。やめ。おやすみなさい。