スマホに「X」というアプリが入っていて怪訝に思う

3夜連続呑みをしてしまった。そのせいで一日腹の調子が悪いし、眠かった。今晩は呑まないでちゃんと寝る。食事はちゃんとしている。昼は鰻、夜はトリプルニンニク牛丼。高2の時に夏バテで夏休みだけで体重が5kgも減ったことがあったが、そんなことは無いようにしたい。まあ今の体重だと5kgくらい減った方がいいが、食べられずに体重が減るのは辛い。ちゃんと食べてちゃんと寝よう。

数学はちょっとだけした。正方行列 A を A＝\begin{pmatrix} A₁₁ ＆ A₁₂ \\ O ＆ A₂₂ \end{pmatrix}, A₁₁,A₂₂：正方行列、と区分けした時、A が正則 ⇔ A₁₁,A₂₂ が正則、という当たり前だと思っていた事実をちゃんと考えてみた。すると存外難しい。A₁₁,A₂₂ が正則 ⇒ A が正則、は易しい。問題は逆。A を正方行列とした時、AB＝E となる正方行列 B が存在したら A は正則で B＝A^-1、を使わないと出来ないようだ。斎藤正彦「線型代数入門」にもそんな風に書いてあった。ふーん。ちゃんと紙に書き出して、TeX 化しておいた。ついでに正則な上三角行列の逆行列も上三角行列、というのの証明も考えた。これは上の事実を使えば行列の大きさに関する数学的帰納法で示せる。これも TeX 化しておいた。毎日ダラダラとするのは良くない。ちょっとずつでも数学をしておかないと。「線形代数学」の採点はまだしてない。今日ちゃんと寝て、明日やろう。

スマホをいじっていたら「X」というアプリが入っていて、何だ、と思ったら Twitter の名前が変わったのだった。Twitter に因んで tweet という単語が違う意味で使われるようになり、日本語でも「呟く」と言われるようにに成ったが、どう成るんだろう？この前イギリス人が言っていたが、「X」だか「ex」だかは追い出すとか何かそんな意味に使われるようで、tweet の代わりに使われるようになるとは思えない、と。どう成るんでしょうね？

フェンシング男子団体が金メダルとか。凄いな。女子サッカーのワールドカップは決勝トーナメント進出。予選リーグは11得点無失点らしい。日本も世界に通用するようになってきたね。世界水泳はあまり良くなかったようだ。自国開催だけに随分盛り上げていたが。まあ世界に通用すると言えば何と言っても大谷翔平だが。ホームラン王獲って欲しい。

さて、明日から8月。7月の Baystars は5つの負け越しだったそうだ。5連敗もあったしもっと負けてるかと思ったんだが。去年の8月は8連勝もあり12勝ち越した。今年も行きましょう。去年の日本シリーズ覇者 Buffaloes は9月10日にしてようやく初めて首位に立ったようだ。4月は佐々木朗希に完全試合をやられていて、日本シリーズ制覇した時は夢のようだった。Baystars もまだまだやれます。明日からも応援する。

やっぱり最後は手計算

結局6時過ぎまで起きていた。でその後テレビを付けっ放しにして横に成り、結構長時間寝た。が、睡眠は浅かった。

野球の始まる前には起きた。今日も Swallows 戦。石田が立ち上がりから悪く、1回裏に2点取られた。その後も点を取られ続け、5－1 に成った時点で一方的な負けを覚悟した。が、そこから一旦 5－4 にして、守備にスーパープレーが出て、解説の立川光男氏は「流れは横浜に行きましたね」と言っていた。期待して見るも、7回、8回と抑えられ、8回裏に出てきた伊勢が村上にホームランを打たれたりと、2失点。最後は田口に抑えられ、連敗。7月は悪かったが、明日は試合が無く、明後日から8月。去年は8月大勝ちした。去年のブログを見ると、8月5日に5割に復帰し、8月24日に8連勝を記録。最終的には2位。まだまだ分かりませんで。明後日からは Carp との3連戦の後 Tigers との3連戦。一気に縮めるチャンス。頑張りましょう。引き続き応援する。

さっき YouTube を見てたら、a が実数の時 e^x/(e^x＋1) を －a から a まで積分すると a、というのが出ていた。ほぅ、と思って計算したらその通り。ビックリするくらい綺麗に行くんだが、SageMath と Maple はそうは答えてくれず、log が残る答えしか返してくれなかった。計算機は補助に使うのはいいが、全面的に信用してはいけないということを再認識。やっぱり最後は人手だな。

さて、これから呑んで久々の3夜連続呑みにしようか、と考えているが、どうしよう？こんなのは滅多に出来ないし、録画したものを見ながら呑もうか？相変わらずハードディスクの空き容量が少ないので、どうにかしたい。見ないつもりでいた「プロ野球ニュース」が始まってしまったので、終わったら買い出しに行くか。

1位と2位は引き分けで、3位が負け4位が勝つ、という状況

結局「線形代数学」の採点はしなかった。が、結構な時間まで起きていた。食事をして眠りに落ちる。

で変な夢を見て、しょっちゅう目が覚めた。不摂生は色々悪影響が出る。5時半前に起きて「ドラえもん」とニュースを見て、6時から野球。

今日も Swallows と神宮で。1回裏に塩見に先制ホームランを打たれるも、2回表に大田のタイムリーで追い付く。4回裏に村上にソロホームランを打たれる。2－1。が、この時点で先発の大貫の打たれたヒットは2本。自明ですね。6回表に牧のソロホームランで同点も、よかったのはここまで。大貫の残したランナーをエスコバーが生還を許し勝ち越しを許す。7回裏に内野ゴロの間に1点取られるも、8回表に楠本の犠牲フライで1点差。が、8回裏に村上に2ベースヒットを許し the end。またお得意の連敗ストッパーを発動してしまい、3連勝ならず。まあいいです。明日（今日だが）勝ってカード勝ち越しと行きましょう。

9時半過ぎに呑み屋へ向かう。いつもの通り店長とバイトが談笑中。Tigers vs. Carp は途中見たら Tigers が1点リードしていたが、Carp が追い付いたらしい。で3人でスマホで速報を見ていた。結局引き分け。Tigers にとっては首位キープ出来たのでよかったかな、という気もするが、勝ってる試合を追い付かれたので、よくなかったか、という気も。まあ Baystars としては上と半ゲームしか開かれなかったので、よかったかな、という気もする。が、4位 Giants が勝ってしまい、よくない。明日（今日）は勝ちましょう。

月曜日の講義が無く、火曜日の学科長会議も無いとなると、結構不摂生をしてしまう。水曜日の会議は4時からにしてくれ、とO先生から言われているので、月、火は結構いい加減に生きていて大丈夫。まあ程々にするけどね。もうちょっと起きてようという気がしないでもないが、寝た方がいいという気もする。まあブログを更新したら、後は雰囲気で。詳細は明日（今日）書く、かもしれないし書かないかもしれない。どっちやねん！

4時5分に試験本部に集合で、起きたら3時近く。間に合ったが。

昨日は「何時に住処を出ようか？」とか書いたが、迷う必要は無かった。起きたら3時ちょい前。レポートの採点等で遅くまで起きていたので、起きられなかった。シャワーを浴びて、3時45分くらいに職場着。何も食べていないが、個研室でゆっくり、という時間は無かったので、生協でサンドイッチを買って、セントラルアークに入って貪り食った。前はサンドイッチの Subway がテナントとして入っていたのでよく行ったが、Subway 撤退後はセントラルアークに行く用事が無くなった。多分それ以来一度も行ってなかったろう。学生は大していなかった。講義が終わると学生がいなくなり閑散としている、だからたまり場を、という理由で作られた建物だが、BKC は理系学部が多く、講義終了後は実験に励んでいるので、たまり場を作っても大して学生は集まらないのだろう。確か建物を作るのどうの言っている時に学部長選挙があったと思うが、一人の候補者は上に書いたことと同様な趣旨のことを言っていて、もう一人の候補者は大いに作る意義あり、みたいなことを言って、後者が学部長に選ばれた。関係あったかどうかは分からないが、印象に残っている出来事の一つ。

4時5分までに試験本部に行くことに成っていたので、4時前にセントラルアークを後にした。何年も定期試験が無かったので、試験本部の場所を失念していたが、運よく一緒に試験監督をやる人と会って、彼の後を付いていった。同じ時間に行われる試験は3つしかないようで、人は少なかった。C102が試験会場で、大きな部屋。学生は結構いた。「数理統計学」という科目の応援監督が今日の仕事。小生の他に講義をしている先生とうちの若い先生2人の計4人で監督という、結構贅沢な体制。登録96名のところ85名来ていた。30分で退出していいことに成ってが、ボロボロと抜けて行った。まあそういう学生は大抵駄目で、素人の小生が見ても分かるくらいひどい答案だった。最後まで受けたのは55人くらい。答案を整理して試験本部に持っていく。主任監督の小生以外はそこで解放で、小生は答案用紙を勘定している間待たされた。まあ5分くらいだけど。でもう個研室には行かないで帰ることにした。遅く行ったおかげで近くに停められたのはまあよかった。

で6時くらいだと高速道路は渋滞する。今日も草津JCTから大津インター間で渋滞。一番左の車線は京滋バイパス方面、二番目のレーンは京滋バイパスと別れた後無くなるので、早いうちに第3レーンに入らないといけない。が、けっこうキチキチに車間を詰めてるので、中々車線変更出来ない。まあ5kmあるんで大丈夫だが。車線変更は多少の図々しさが必要。それに親切な人はウィンカーを出すと車間を空けてくれる。逆に合流したい車がいる時は親切にしないと。6時45分頃住処着。

暑いな。車から出たらとてつもなく暑かった。で停めて、住処へ戻って、テレビの前に冷房。耐えられない。でテレビを付ける。今日から神宮で Swallows と3連戦。2回裏に古賀にプロ初となるソロホームランを許して先制されるも、すぐ3回表に宮崎に2ランホームランが出て逆転。が、6回裏青木に代打3ランホームランを打たれ、逆転されてしまう。うーん、相変わらずリズムが悪い。ここのところの展開だとこうなると負けるんだが、今日は違った。8回表に先頭の宮崎が四球を選ぶと、牧の2ベースヒットで宮崎の代走知野が一気にホームインで同点。佐野のファーストゴロで牧が3塁に進み、代打楠本。外野フライでも勝ち越しの場面で外野フライを打ったが、浅過ぎてホームイン出来ず。ここのところの感じでは同点止まりで逆転される、という嫌な感じだったが、得点圏の鬼こと代打大和がタイムリー2ベースで勝ち越し。8回はウェンデルケン。先頭を四球で歩かせるも無失点。9回は森原。塩見の打球を楠本がスーパーキャッチ。高津監督のリクエストも覆らずアウト。村上に四球を与えるも、オスナの内野ゴロダブルプレーでゲームセット。いやー、勝ちました。連勝連勝。いいですね。5連敗を取り返すくらい連勝してください。

今日から Tigers vs. Carp の首位攻防3連戦。今日は野間のまずいプレーなどで Tigers が圧勝。1日で首位奪還。Carp の連勝は10でストップ。さて明日はどうなるでしょう。

終了後ニュースを見たら、大谷がとんでもないことをやったという情報。ダブルヘッダー第1試合はリアル二刀流で出場して、被安打1の完封勝利。第2試合は打者で出場して2打席連続ホームラン。うーん、化け物だな。日本人がメジャーでホームラン王なんて、考えただけでワクワクする。是非やってもらいましょう。

さて、昨晩採点したレポートだが、流石に講義の出席者が片手で足りる程しかいないだけあって、滅茶苦茶であった。x³＝y³ ⇒ x＝y を理由無しで書いているレポートが多かったが、これは x,y が正の実数だったら成り立つが、x,y が虚数だと成り立たない。例えばよく書くように1の原始3乗根の一つを ω と書くと、ω³＝1³ だが ω≠1 だ。まして今回は有限体が相手。ちゃんと理由を付してもらわないと×にするしかなくなる。一人だけ「(－∞,∞) で連続だから」とか訳の分からないことを書いてる学生がいた。有限体やっちゅうねん。何も分かってないんだろうな。こういう学生の大半が卒業してしまう。どうにか出来ないかと思うがどうにも成らない。高い学費納めて大学に来て、遊ぶだけ遊んで学士に成る、いいんだろうか？大学院生に一人カラッキシなのがいるが、高い金払って大学院進学した意味あるの？勉強しないと、と言っておいたが、一応反省したかのようなことは言ってきた。夏休みにタップリ勉強してくれるといいが。あまり過度な期待はしないことにしますわ。

さて、「線形代数学」の採点をこれからやろうか？それとも明日以降にしようか。91人分だからな。計算問題は殆ど出さなかったので、出来は悪いだろうから、やり始めたらすぐ終わるだろうが。もう問題のことを書いてもいいだろう。2次の実対称行列全体の成す空間が複素数の全体を実ベクトル空間と見たものと同型でないことを証明せよ、という問題を出したが、出来てるだろうか？前者の次元を求めよ、というヒントが最初はあったんだが、易し過ぎる、と思って消した。残しておいた方がよかったか？と何度か思ったが、出題してしまった後ではもう時既に遅しなので、いいことにしたが。さて採点しようかどうしようか。

バウアー粘投で7勝目。久々のカード勝ち越し

一回無茶をすると回復に時間が掛かる歳に成った。今日も訳の分からないくらい寝た。疲れている時はニンニクだ！ということですき家の「トリプルニンニク牛丼」（ホクホクのニンニクにニンニクの芽、フライドガーリックを牛丼にトッピングしたもの）を食べた。元気モリモリ、とは成らず、もう一度寝てしまったが。

6時から野球。今日はバウアーが先発なので勝たないと。で3回に宮崎の2ランホームランで先制。が、5回裏に京田のフィルダースチョイスで1点取られる。が、その後どちらも点が入らず、2－1でゲームセット。相変わらずの貧打。まあカード勝ち越しなので、いいです。明日からは Swallows と。最低限勝ち越しで、離されずにいきましょう。

Carp がまた勝った。Tigers vs. Giants は現在 Giants がリード。このまま終わると Carp が首位に成る。うー、凄いな。監督が変わるっていうのは大事なことなんだな。新井監督は人望があるらしい。まあまだ7月。本番はこれからです。Baystars も負けずに付いていきましょう。8月に強いのが Baystars の芸風。まだまだやれる！やればできる（高岸風）。

明日も目茶目茶暑いようだ。明日は試験監督のため職場に行かないといけない。4時5分に試験本部に行けばいいことに成っているが、何時に住処を出ようか？試験本部はプリズムハウスにあるが、通常の駐車場からはちと遠い。3時過ぎに職場に着くようにしすれば、フォレストハウスの脇に停めることが出来る。そうしよう。試験監督久し振りだな。どうやるか忘れたぞ。前はマニュアルを印刷したものが学内便で送られてきたが、ペーパーレスということなのだろう、送られてきてない。監督一覧も送られてきてないが、こちらは web に上がっていたので見たが。夕刻に事務からリマインドメールが来ていて、それにも添付されていた。緊張するな。ちゃんと出来るだろうか？まあ大丈夫だろう、気楽に構えておくことにする。学生が余計なことさえしなければ問題は無い。無事済ませてこよう。

上に書いた通り、明日は早起きする必要が無い。よし、今から「代数学I」のレポートの採点だ。60人くらいしか出していないから、まあ数時間で済むでしょう。「線形代数学」は90人出していた。こちらは面倒そうなので、明日以降。ということで、頑張ります。呑む？いやいや、呑みたい気分ではあるが、ちゃんとやらないといけないので、呑まずにやります。

Fighters の連敗止まる

生活リズムがぐちゃぐちゃで、呑み呑み書き散らかした紙を TeX 化したり、「赤い疑惑」を見たり。で明るくなってから横に成る。夕刻にゴロゴロと雷が鳴っていたので目が覚めた。表を見ると大雨。夏だな、という感じ。呑み過ぎたようで気持ち悪く、食べる前にもう一度横に成った。

次に目が覚めたらもう野球が始まっていた。1点取られてる。…。最近ガゼルマンは良くない。で Dragons のドラフト1位ルーキー仲地に8者連続で抑えられるも、3回表2アウトでガゼルマンにストレートの四球。その後桑原四球、関根ストレートの四球と、チャンスをくれた。が、宮崎が空振り三振。結局これが響いて、仲地に6回1安打と抑えられてしまった。8回にようやく2安打目が出るも無得点。9回にようやく代打楠本のタイムリーで1点。が、ここまでで、4安打1得点と、貧打は相変わらず。途中で見たら Carp はリードしていたが、Tigers はリードされていた。Carp が首位に立つのか、と思ったら Tigers も逆転していて、順位は変わらず。これで5ゲーム差。開いたな。まあ今年はどこも大型連敗をしているので、まだまだ付いていきましょう。

Fighters の連敗がようやく止まったようだ。Hawks は連勝。まあよかった。

豊昇龍が大関に成ったようだ。おめでとう。

今日は短いが、書きたいことはもう無いし、これでいいや。もう寝る。

Baystars の連敗、Hawks の連敗は止まるも、Fighters は続行中

昨日は早寝しようと思ったんだが、下らんことが気に成り出して結構遅くまで起きていた。何かというと、高校生は複素数 z,w に対し、「zw＝0 ⇒ z＝0 または w＝0」とか、「z＝0 ⇔ |z|＝0」とかどう習ってるんだろう？と。そもそも 1/z って何だ？とかも気に成った。でゴチャゴチャやってたんだが。保健センターに行かないといけないので、寝ておかないと、ということで無理やり寝た。

で電話とアラームで何度か起こされて、最終的に起きたのは2時過ぎだが、眠くて仕方ない。ドーピングして職場に向けて出発。これくらいの時間だとウェストウィングの近くに車を停められるのでよい。昨日から定期試験週間に入っているので、学内の人は少な目。保健センターもすいてた。というわけで早目に個研室に行けた。とにかく暑いので、着いてすぐ冷房の電源を入れた。冷房が壊れたのが今でなくてよかった。で上に書いた複素数のことを調べようと思って高校の教科書を調べたら、証明が付いていない。1/z についても特に説明が無い。高校の教科書は怖いな。まあ高校生は証明より問題が解けるかどうかに興味があるのだからいいのだろうが。不定元の逆数なんてどうやって理解したんだ？まあ有理式と有理関数は同一視されてるんでいいんだろうが。でゴチャゴチャと証明を書いて一応 TeX 化しておいた。複素解析を担当することはまあ無いだろうが、何かの時には役立つでしょうと言うことで。

6時から野球。初回から5安打で4点と、ここの所の貧打が嘘のように点が入っていた。いいですね。調剤薬局に行くため7時くらいに職場を後にした。テレビで久々の勝利を見届けよう。で住処に着いてみると5－1に成っている。桑原にホームランが飛び出したようだ。が、解説の権藤さんは、初回の4点はまぐれで、その後は貧打だ、と言っていた。好投今永を8回で引っ込め、9回は森原。が、ヒットと四球でランナーを沢山出し、2点差まで詰め寄られ、2アウト満塁のピンチ。負けが続いていたので、嫌なことを考えてしまう。ピッチャーは康晃でなく伊勢。Dragons は代打を出しそうな感じ。溝脇と高橋周平が準備をしている。高橋が代打に出てくると怖いが、と思ったら、溝脇を出してくれた。セカンドフライに打ち取りゲームセット。権藤さんは高橋を出さなかったのがご不満のご様子。まあこっちとしてはよかった。連敗は5でストップした。途中見た時は Tigers も Carp もリードされていたが、今見たらどちらも逆転している。うー、ゲーム差が縮まると思ったのに。Carp は6回2点、7回3点と取ったようだ。Tigers は6回2点、7回1点。むぅ。まあいいです。勝っていきましょう。

Hawks の連敗がようやく止まった。山本由伸を打ち込んだらしい。Fighters の連敗は伸びてしまった。Fighters は交流戦よくて、借金を5まで減らして4位に成ったのだが、借金は19まで膨れ、堂々の最下位に成ってしまったようだ。新庄監督はご陽気な人に見えるが、ああいう人の方が案外繊細なんだ。寝られていればいいが。

この前「赤い疑惑」のことを書いたが、3話以降を録画するだけして見てない。いい加減見よう、とは思うんだが、つい。ハードディスクの残りが少ないので、ダビングするものはして、見るものは見てしまわないと。講義もゼミも無いので、時間はたっぷりある。取り敢えずの用事は成績付けだが、これは締め切りは大分先。職場に行く用事は、金曜日の試験監督と来週水曜日の会議。O先生から会議をやってくれと言われたので、仕方ない。後は特にやることも無いので、少しテレビ漬けに成るか。