10時に起きる筈が、目が覚めたら10時半過ぎ。急いでシャワーを浴びてから出掛ける。区内某所で野暮用。用事は1時間ほどで終了。その後銀行に行って振込みをしてくる。ついでに昼飯。松屋でうな丼。が、店内を見たら「カルビ焼肉定食、肉33％増」の表示が。うむ、鰻じゃなくてカルビ焼肉定食にするべきだったか、とちょっと後悔。8月4日までだそうなので、近日中に1度食べに行こう。
住処に帰ってきてからちょっと探し物。急いで探さないとやばいものなので、一生懸命探す。部屋を上から下まで引っ掻き回し、ようやく発見。見付かったのはいいが、うず高く詰まれたものを平面的にばらしてしまったので、部屋はもう散らかってるたらありゃしない。本と紙ごみがほとんど。本は本棚へ、と思ってるうちに3時半。
3時半からオンラインセミナー。今日は Q の円分 Z2 拡大に関する Weber の類数問題の話。layer の類数が全て1である、という予想なのだが、それを n-th layer と n－1-th layer の間の相対二次拡大の間の原始元を “連分数” 展開する、そして Pell 方程式と同様に基本解を見付ける、そしてその基本解に関するある予想が Weber の予想と同値であることなど。面白かった。大変興味深い。研究は鋭意進行中だそうで、今後の進展が楽しみ。が、その問題に乗り込むのは難しそうなので、第三者として楽しましてもらおう。小生は小生の問題があるんでね。4時半終了。
相撲は4時からなので、セミナー終了後途中から見た。千代の国が幕下優勝したようで、インタビューを受けていた。怪我で幕内から遠ざかっていたが、見事である。今場所は照ノ富士といい千代の国といい、怪我や病気からの復活をする力士の活躍が目覚しい。腐らずよく頑張った。おっと、照ノ富士の名前を出して、今日の一番をうっかり忘れるところだった。今日から白鵬が休場で、優勝争いは新大関・朝乃山と元大関・照ノ富士の一騎打ち。今日は直接対決。立会いからいい形になり、照ノ富士の圧勝。うむ、本当に復活即優勝となりそうな雰囲気。あと2日ある。まだまだ目が離せない。
6時から野球、のはずが、甲子園は雨で試合開始が遅れている、とのこと。試合前の雨の映像を見ると、かなり降っていたことがわかる。その後雨は弱まったもののシトシトと降り続いていて、試合開始は6時57分。先発は Baystars が上茶谷、Tigers が雨男・青柳。3回までは上茶谷がよく抑えていたんだが、4回に梅野に3ランホームランを打たれて0－3。Tigers は苦手にしているので、嫌な感じだが、6回にソトのセカンドゴロの間に1点、7回山下とオースティンのヒットで2点取って同点。その後は Baystars が沢山チャンスを作るも0点。延長戦へ。10回表1アウトランナー1塁2塁。バッターは大和。快音を残し打球はレフトへ。前進守備だったので、これは抜けるぞ、と思ったら、サンズが背走しながらのスーパーキャッチ。2塁ランナーが飛び出していて戻れず。これで勝ちが無くなってしまった。10回裏は抑えの三嶋。サンズに打順が回るし、嫌な感じだったのだが、三嶋が3者凡退に抑え引き分け。まあ良かった。明日明後日と連勝しましょう。それで貯金は2になる。が、それは Tigers も同じ。全力で掛ってくるだろうから、熱戦が期待される。
今ニュースを見ながら書いているが、スポーツコーナーで仕入れた情報。Lions のニールの連勝が13でストップとか。1年以上勝ち続けていたので、実に勿体ない。因みに外国人の連勝記録は Hawks のバンデンハークの14。日本記録？さあ知らない。田中将大がシーズン24勝0敗1セーブという凄い記録を残しているので、24以上であることは間違いない。知ってる人教えて。
2020年7月31日金曜日
2020年7月30日木曜日
Giants 相手に3連戦勝ち越し
木曜日は楕円曲線のゼミ。1時開始だが、起きたら12時55分。急いで支度をして、1時3分頃開始。まあいいでしょう。今日は先週の続きで、楕円曲線と関わる数論の問題を幾つか紹介。Fermat 予想の指数4の場合とか合同数とか。その後 b2, b4, b6, b8, c4, c6, Δ を定義して、それらの関係式などを紹介。で非特異なのと Δ≠0 が同値であることを証明しようとしているところで予習が尽きたらしい。来週は続きと、楕円曲線上の加法についてやる予定。3時40分くらいに終了。
4時から相撲。照ノ富士はまた勝った。朝乃山も勝ったが、何と白鵬が連敗。しかも何やら足を痛めたようで、明日以降が心配。優勝争いを大きく左右するだけに、白鵬は休場せず出て来て欲しい。明日は朝乃山 vs. 照ノ富士の1番が見物。勝った方が優勝に大きく前進。面白くなるぞ。
6時から野球。先発は好調の大貫。Giants はメルセデス。投手戦で、6回表終了時点では 0－0。6回裏に Giants が先制。嫌な感じだが、7回表にすぐ2点取って逆転。いい感じである。8回裏はノーアウト1、3塁の大ピンチも、石田が抑えて9回表へ。宮崎に2ラン。これで4－1 と余裕が出来た。9回は三嶋が岡本に一発打たれるも大過なし。無事 Giants 戦勝ち越し。5割復帰。素晴らしい。Tigers は負けて、やはり5割。ということで3位浮上。勝率が同じ場合は、勝ちの多いほうが上の順位というレギュレーション。ということで何とか3位。明日からは Tigers と直接対決。何が何でも勝ち越さないと。いつも通り一生懸命応援する。
野球終了後は書類書き。来月末締め切りなのだが、そんなに面倒な書類ではなく、作成せねばという気持ちのひっかかりを残さないため、書き上げた。メールで事務の人に送って一仕事完了。提出しないといけない書類がもう2件あるが、それは職場に行かないと書けないので、来週1回行こう。明日は午前中に用事があって、ついでに銀行振り込みをしないといけないので、今日は早寝する予定。まあそうは言っても2時くらいかな。
今ケーブルテレビでプロ野球ニュースを見ているが、地上波では Tigers の負け投手が藤浪、という以上の情報が無かった。どんなピッチングをしたのだろうと思ったら、6回までは1失点と好内容。が、7回に守乱で3失点。一つは藤浪自身のエラーなので、まあ文句は言えまい。次回につながるピッチングだったと思うので、2シーズン振りの勝ち星は近いでしょう。
政府は懲りずにマスクを送る算段をしているようだ。いらない、とあれだけ言っているのに。小生？いらない。まだ封を開けていないし、そもそもどこに行ったかわからん。リカーマウンテンに持って行くとノンアルコールビール1缶と交換してくれるのだったが、そのキャンペーンはもう終わっていた。ということで、完全なる無用の長物。もっと有効に税金を使って欲しいね。
4時から相撲。照ノ富士はまた勝った。朝乃山も勝ったが、何と白鵬が連敗。しかも何やら足を痛めたようで、明日以降が心配。優勝争いを大きく左右するだけに、白鵬は休場せず出て来て欲しい。明日は朝乃山 vs. 照ノ富士の1番が見物。勝った方が優勝に大きく前進。面白くなるぞ。
6時から野球。先発は好調の大貫。Giants はメルセデス。投手戦で、6回表終了時点では 0－0。6回裏に Giants が先制。嫌な感じだが、7回表にすぐ2点取って逆転。いい感じである。8回裏はノーアウト1、3塁の大ピンチも、石田が抑えて9回表へ。宮崎に2ラン。これで4－1 と余裕が出来た。9回は三嶋が岡本に一発打たれるも大過なし。無事 Giants 戦勝ち越し。5割復帰。素晴らしい。Tigers は負けて、やはり5割。ということで3位浮上。勝率が同じ場合は、勝ちの多いほうが上の順位というレギュレーション。ということで何とか3位。明日からは Tigers と直接対決。何が何でも勝ち越さないと。いつも通り一生懸命応援する。
野球終了後は書類書き。来月末締め切りなのだが、そんなに面倒な書類ではなく、作成せねばという気持ちのひっかかりを残さないため、書き上げた。メールで事務の人に送って一仕事完了。提出しないといけない書類がもう2件あるが、それは職場に行かないと書けないので、来週1回行こう。明日は午前中に用事があって、ついでに銀行振り込みをしないといけないので、今日は早寝する予定。まあそうは言っても2時くらいかな。
今ケーブルテレビでプロ野球ニュースを見ているが、地上波では Tigers の負け投手が藤浪、という以上の情報が無かった。どんなピッチングをしたのだろうと思ったら、6回までは1失点と好内容。が、7回に守乱で3失点。一つは藤浪自身のエラーなので、まあ文句は言えまい。次回につながるピッチングだったと思うので、2シーズン振りの勝ち星は近いでしょう。
政府は懲りずにマスクを送る算段をしているようだ。いらない、とあれだけ言っているのに。小生？いらない。まだ封を開けていないし、そもそもどこに行ったかわからん。リカーマウンテンに持って行くとノンアルコールビール1缶と交換してくれるのだったが、そのキャンペーンはもう終わっていた。ということで、完全なる無用の長物。もっと有効に税金を使って欲しいね。
2020年7月29日水曜日
平田真吾にホールドが付いた
昨晩も遅くまで起きていた。で今日は起きたら既に午後。領収書を提出しに職場へ向かう。それだけだと何なのだが、久々に図書館に行って本を借りよう、ということで、本のタイトルと著者名をメモしていく。でそんなこんなと色々やって出掛けたのだが、しばらく走って気付いた。マスクを忘れた。マスクしないと図書館が入れてくれないかもしれない、と焦ったが、幸い図書館は入れてくれた。論文に載せた公式について、レフリーが文献を挙げよ、と言ってきたので、それが出ているという本を借りてきた。探すのにちょっと手間取ったため、住処に戻ってきたのは5時半近く。相撲は最後の数番しか見ることが出来なかった。まあいいや。白鵬が負けた。朝乃山は勝った。見ていないが照ノ富士が勝った。ということで優勝争いが一気に面白くなった。ここはやはり照ノ富士優勝が面白かろうということで、照ノ富士を応援する。
6時から野球。今日は Baystars が濱口、Giants が戸郷。濱口は四死球こそ出すが、ランナーを返さないナイスピッチング。戸郷はというと、梶谷にソロ、高城に2ランと、一発攻勢に泣いて3失点。今日は楽勝か、と思ったら、濱口が2発食らう。今日も6回持たずに降板。1点リードで誰をリリーフに出すかと思ったら、何と平田。ここを任すにはちょっと荷が重いのでは、と思ったら、ランナーを出すも抑えた。で次の回にピッチャーが変わった。ということは、平田にホールドが付く筈。平田はプロ入り初ホールドの筈。うむ、ようやくか、と思っていたら、変わったピッチャーの名前を聞いてびっくり。康晃ではないか。7回に登板とは。気分を変える意味もこめての配置転換らしい。内野安打1本こそ打たれたが、ナイスピッチング。8回はパットン。見事に締めた。最終回は誰が出てくるんだろう？エスコバーか、と思ったら三嶋だった。三嶋がびしっと締めて、プロ初セーブ。快勝。3連敗でなくて良かった。借金1。まだまだ粘っていきましょう。
野球終了後は論文の直し。昨日レフリーレポートが届いたばっかりだが、もう revise 版を完成させてしまった。何かおかしなことを書いていないかと凝視したが、どうやら大丈夫そう。まあ変だったらまたレフリーが言ってくるだろう、ということで気楽に構えて再投稿。今度こそ accept してくれるといいが。講義は済んだし論文も直してしまったら、後は好きなように勉強できる。線形代数の理解を深めるのもよし、新しい論文のタネ探しに論文を読むもよしで、夏休みは有意義に過ごそう。暑くなりそうなので、外出は程々にする。酒も程々に。
6時から野球。今日は Baystars が濱口、Giants が戸郷。濱口は四死球こそ出すが、ランナーを返さないナイスピッチング。戸郷はというと、梶谷にソロ、高城に2ランと、一発攻勢に泣いて3失点。今日は楽勝か、と思ったら、濱口が2発食らう。今日も6回持たずに降板。1点リードで誰をリリーフに出すかと思ったら、何と平田。ここを任すにはちょっと荷が重いのでは、と思ったら、ランナーを出すも抑えた。で次の回にピッチャーが変わった。ということは、平田にホールドが付く筈。平田はプロ入り初ホールドの筈。うむ、ようやくか、と思っていたら、変わったピッチャーの名前を聞いてびっくり。康晃ではないか。7回に登板とは。気分を変える意味もこめての配置転換らしい。内野安打1本こそ打たれたが、ナイスピッチング。8回はパットン。見事に締めた。最終回は誰が出てくるんだろう？エスコバーか、と思ったら三嶋だった。三嶋がびしっと締めて、プロ初セーブ。快勝。3連敗でなくて良かった。借金1。まだまだ粘っていきましょう。
野球終了後は論文の直し。昨日レフリーレポートが届いたばっかりだが、もう revise 版を完成させてしまった。何かおかしなことを書いていないかと凝視したが、どうやら大丈夫そう。まあ変だったらまたレフリーが言ってくるだろう、ということで気楽に構えて再投稿。今度こそ accept してくれるといいが。講義は済んだし論文も直してしまったら、後は好きなように勉強できる。線形代数の理解を深めるのもよし、新しい論文のタネ探しに論文を読むもよしで、夏休みは有意義に過ごそう。暑くなりそうなので、外出は程々にする。酒も程々に。
2020年7月28日火曜日
論文のレフリーレポートが届いた
昨晩も寝るのは遅かった。案の定プロレスを見てしまった。EVIL が徹底的に反則して、内藤が起き上がれなかった。カウント3を取られて、チャンピオンベルト二つを EVIL がかっさらっていった。うーん、後味が悪い。ということで3時過ぎに横になったが、幸い午前中に目が覚めた。保健センターの診療は1時半からなので、しばしテレビを見て時間を潰す。適当な時間に住処を離れる。
職場着後まず保健センターへ。いつもは着いたらすぐ血圧と体重を測定するんだが、コロナのせいか計測器が使用中止になっていた。診察室へ行くと、一生懸命手を洗って、血圧を測定する機械を清浄する伊東先生の姿が。うーん、コロナのせいか。さくさくと血圧測定をしてもらって、処方箋をいただいた。これでよし。で昨日の晩仕方なく EXCEL を使っていたら、アクティベーションが何とかコンピューターが言ってきた。前にもこういうことは何度かあったが、Rainbow に駆け込めばすぐに処置してもらえたので向かう。その途中気付いた。Rainbow のライセンスのソフトは学内ネットワークにつなげばアクティベーションは済む筈。7月に一度職場にパソコン持ち込んだんだが。ああそうか、この前パソコンのメンテナンスをしたせいか。気付いたのはそのことでなく、メンテナンス代の領収書を持ってくるのを忘れたこと。何たる間抜け。今日はそのために職場に来たかったのではなかったか。保健センターも大事だが、そっちも大事だ。ということでまた明日職場に行かなくてはいけない。うー面倒くさい。まあ新車を運転できる機会をもらったということで、明日も行こう。5時半までに着けば事務の人に領収書を渡せるので、早起きは必要ない。お、じゃあ呑むか？と思った人、残念。大抵呑んだ次の日に職場に向かうと、駐車場に車が着く頃にお腹が痛くなる。こういうジンクスがある以上、今日は呑まない。何度も書いてるがアル中じゃないんで、4、5日は平気で呑まないでいられる。呑んだ量を日数で割れば、小生は相当小さい値が出てくるはず。多分日本人の平均以下。もういい加減呑ん兵衛のイメージは消し去りたい。
住処に戻ってきた頃にはもう6時過ぎ。野球が始まっていた。相変わらず Giants を相手にすると弱い。チャンスを作っても点が入らないし。いらいらしていたらメールが届いた音がした。見てみると論文を投稿した journal から。レフリーレポートが来た。お、2回 reject 食らってるが、どっちからもレフリーレポートは届かなかった。ということで一歩前進。まだ accept というわけではないようだ。変なところを数箇所指摘されて、さらに英語でどう書いたらいいかわからないのでがっつり略、とした部分を詳しく書けと。うむ、これは困った。まあいいや、成績付けはもう済んだし、時間はある。少しじっくり考えよう。採点とか論文の直しとかを呑みながらやる人もいるだろうが、小生は呑まずにやる。やっぱり脳味噌がクリアーな状態でやらないとね
結局野球は負けた。2－4。うーん。まあいいや。明日明日。
職場着後まず保健センターへ。いつもは着いたらすぐ血圧と体重を測定するんだが、コロナのせいか計測器が使用中止になっていた。診察室へ行くと、一生懸命手を洗って、血圧を測定する機械を清浄する伊東先生の姿が。うーん、コロナのせいか。さくさくと血圧測定をしてもらって、処方箋をいただいた。これでよし。で昨日の晩仕方なく EXCEL を使っていたら、アクティベーションが何とかコンピューターが言ってきた。前にもこういうことは何度かあったが、Rainbow に駆け込めばすぐに処置してもらえたので向かう。その途中気付いた。Rainbow のライセンスのソフトは学内ネットワークにつなげばアクティベーションは済む筈。7月に一度職場にパソコン持ち込んだんだが。ああそうか、この前パソコンのメンテナンスをしたせいか。気付いたのはそのことでなく、メンテナンス代の領収書を持ってくるのを忘れたこと。何たる間抜け。今日はそのために職場に来たかったのではなかったか。保健センターも大事だが、そっちも大事だ。ということでまた明日職場に行かなくてはいけない。うー面倒くさい。まあ新車を運転できる機会をもらったということで、明日も行こう。5時半までに着けば事務の人に領収書を渡せるので、早起きは必要ない。お、じゃあ呑むか？と思った人、残念。大抵呑んだ次の日に職場に向かうと、駐車場に車が着く頃にお腹が痛くなる。こういうジンクスがある以上、今日は呑まない。何度も書いてるがアル中じゃないんで、4、5日は平気で呑まないでいられる。呑んだ量を日数で割れば、小生は相当小さい値が出てくるはず。多分日本人の平均以下。もういい加減呑ん兵衛のイメージは消し去りたい。
住処に戻ってきた頃にはもう6時過ぎ。野球が始まっていた。相変わらず Giants を相手にすると弱い。チャンスを作っても点が入らないし。いらいらしていたらメールが届いた音がした。見てみると論文を投稿した journal から。レフリーレポートが来た。お、2回 reject 食らってるが、どっちからもレフリーレポートは届かなかった。ということで一歩前進。まだ accept というわけではないようだ。変なところを数箇所指摘されて、さらに英語でどう書いたらいいかわからないのでがっつり略、とした部分を詳しく書けと。うむ、これは困った。まあいいや、成績付けはもう済んだし、時間はある。少しじっくり考えよう。採点とか論文の直しとかを呑みながらやる人もいるだろうが、小生は呑まずにやる。やっぱり脳味噌がクリアーな状態でやらないとね
結局野球は負けた。2－4。うーん。まあいいや。明日明日。
2020年7月27日月曜日
不貞寝の後たっぷり過ぎる睡眠を取った
昨日は珍しく日が変わる前に寝床に着いた。眠くは無かったんだが、不貞寝という奴。で今朝は11時過ぎまで寝ていた。不貞寝の割にはよく眠れた。
1時からM1ゼミ。もう extra な章に入っているので、やる気が出ない模様。ということでまだ本は少し残っているが、今日でこの本は終了。次回から Washington の “Introduction to Cyclotomic Fields” を読むことにしたが、少し時間が欲しいらしく、9月までやらないことに成った。まあ彼はポテンシャルのある人だから、たっぷり貯金を作って帰ってくるでしょう。木曜日のゼミはいつまでやるって言ってたかな？後で調べておこう。4時前に終了。
4時から相撲。照ノ富士が勝ち越し。お見事。全勝の力士を追っての1敗。幕内に返り咲いて即優勝、ということもあり得るのでは？楽しみ。朝乃山と白鵬は勝って全勝キープ。昨日負けた御嶽海は連敗で優勝争いから脱落。いや、まだわからない。2敗キープで頑張っておくれ。今日は取り直しの一番が多く、中継が終わったのは6時4分くらい。白熱した相撲が多いのはいいことです、うん。
一息ついて6時半くらいから「線形代数学」のレポートの採点。「個有値」とか「対象律」とか書いているレポートは即刻F、としたいが、ここは穏やかに行きましょう、ということで普通に採点。レポートのタイトルが「線形台数」となったものがあったが、これこそF評価にしたいところ。まあそこは抑えて普通に採点。休憩を挟み挟み半分以上終了。で気分転換にこんなものを書いている次第。今日中に終わらせようと思っているが出来るでしょうか？明日は保健センターに行かないといけないので、今日もほどほどにして早寝の予定。まあ日が変わる前ということは流石にない。深夜にやっているプロレスの番組を見る習慣が付いてしまい、今日はタイトルマッチをやるそうだから、是非とも見ないと。挑戦者はトーナメントを勝ちあがった「Evil」という名前のレスラー。これにもまた文句を付けたくなった。アナウンサーは「イービル」と読んでいるが、英語の発音では「イーブル」。辞書にわざわざ「発音注意」と書いてある。受験生は気を付けてください。深夜にプロレスなんぞ見ないか。深夜まで勉強している人も多いと思うが、早寝早起きを続けた方が脳味噌にはいいので、規則正しい生活をして下さい。お前が言うなって？その通り。ただ小生も浪人した時は12時半に寝て7時過ぎに起きる生活をきちんと続けていた。予備校には1回も休まず通ったし、合宿制の講習にも通った。ちゃんと寝坊せず毎日勉強していた。あの頃の小生は偉かった。30年以上前の話だ。
ゼミ中に朗報が入った。勤続20年でもらった旅行券だが、最終日を3月31日から9月30日に延ばしてくれるらしい。よかった。来年の夏休みに別府にでも行こうかな。GoToキャンペーンは終わっているのかな？そうすると混まなくていい。コロナが収まらないと恐いので、収まってからにしよう。収まらないようだったら、その時はその時で考える。
政府がまた「ワーケーション」などという新しい単語を作ったようだ。頭悪いね。
1時からM1ゼミ。もう extra な章に入っているので、やる気が出ない模様。ということでまだ本は少し残っているが、今日でこの本は終了。次回から Washington の “Introduction to Cyclotomic Fields” を読むことにしたが、少し時間が欲しいらしく、9月までやらないことに成った。まあ彼はポテンシャルのある人だから、たっぷり貯金を作って帰ってくるでしょう。木曜日のゼミはいつまでやるって言ってたかな？後で調べておこう。4時前に終了。
4時から相撲。照ノ富士が勝ち越し。お見事。全勝の力士を追っての1敗。幕内に返り咲いて即優勝、ということもあり得るのでは？楽しみ。朝乃山と白鵬は勝って全勝キープ。昨日負けた御嶽海は連敗で優勝争いから脱落。いや、まだわからない。2敗キープで頑張っておくれ。今日は取り直しの一番が多く、中継が終わったのは6時4分くらい。白熱した相撲が多いのはいいことです、うん。
一息ついて6時半くらいから「線形代数学」のレポートの採点。「個有値」とか「対象律」とか書いているレポートは即刻F、としたいが、ここは穏やかに行きましょう、ということで普通に採点。レポートのタイトルが「線形台数」となったものがあったが、これこそF評価にしたいところ。まあそこは抑えて普通に採点。休憩を挟み挟み半分以上終了。で気分転換にこんなものを書いている次第。今日中に終わらせようと思っているが出来るでしょうか？明日は保健センターに行かないといけないので、今日もほどほどにして早寝の予定。まあ日が変わる前ということは流石にない。深夜にやっているプロレスの番組を見る習慣が付いてしまい、今日はタイトルマッチをやるそうだから、是非とも見ないと。挑戦者はトーナメントを勝ちあがった「Evil」という名前のレスラー。これにもまた文句を付けたくなった。アナウンサーは「イービル」と読んでいるが、英語の発音では「イーブル」。辞書にわざわざ「発音注意」と書いてある。受験生は気を付けてください。深夜にプロレスなんぞ見ないか。深夜まで勉強している人も多いと思うが、早寝早起きを続けた方が脳味噌にはいいので、規則正しい生活をして下さい。お前が言うなって？その通り。ただ小生も浪人した時は12時半に寝て7時過ぎに起きる生活をきちんと続けていた。予備校には1回も休まず通ったし、合宿制の講習にも通った。ちゃんと寝坊せず毎日勉強していた。あの頃の小生は偉かった。30年以上前の話だ。
ゼミ中に朗報が入った。勤続20年でもらった旅行券だが、最終日を3月31日から9月30日に延ばしてくれるらしい。よかった。来年の夏休みに別府にでも行こうかな。GoToキャンペーンは終わっているのかな？そうすると混まなくていい。コロナが収まらないと恐いので、収まってからにしよう。収まらないようだったら、その時はその時で考える。
政府がまた「ワーケーション」などという新しい単語を作ったようだ。頭悪いね。
2020年7月26日日曜日
7回終了時点で6－0とリードした試合を落とす ;_;
今日も vs. Carp。平良がナイスピッチングをしていて、7回終了時点では
C ０ ０ ０ ０ ０ ０ ０
B ０ ５ ０ ０ １ ０ ０
とこんな感じで楽勝ムード。8回も平良がマウンドへ。1点取られて、1アウト取った時点で交代。がパットンが打ち込まれる。1点差。9回は康晃。鈴木にタイムリーと、會澤に満塁ホームランが飛び出した。最終的には
C ０ ０ ０ ０ ０ ０ ０ ５ ５ ｜10
B ０ ５ ０ ０ １ ０ ０ ０ ０ ｜ 6
と大逆転負け。うーん、ショックでかい。平良は良かったし、ソトにも久々にヒットが出たりと、いいところもあった試合だが、やっぱり負けは悔しい。明後日から東京ドームで G 戦だそうな。ここは勝ち越しておかないといけない。明後日以降も変わらず応援しよう。
小池都知事が、「感染者数は幾何級数的に増えている」と言ったらしい。でそれに対し一茂が「幾何級数って何？」と言ったとか。これは当然。幾何級数という言葉は高校までは習わない言葉。大学でも習うかどうか。古い言葉だからね。「等比数列」と言っておけばまだ良かったものを、あえて難しい言葉を使って自分をインテリ風に見せるという、いかにも浅はかな感じの姿勢。非常に良くない。前にテレビのコメンテーターが「指数関数的増えている」と言ったときにその番組の進行役が「指数関数って何ですか？」と聞いていたが、世間に対する数学の浸透度なんてそんなもの。正確さは欠くが、「爆発的に増える」でいいんじゃないだろうか？小池都知事はカイロ大学出身ということになっているようだが、カイロ大学で「幾何級数」という言葉を習ったとは思えないので、専門家の言ったことを理解せずに右から左とした可能性が高いだろう。あの人は「レガシー」とか何とか言っていたが、難しい言葉とカタカナ語で自分を偉そうに見せる。気に食わんね。どうして都知事選圧勝したのかわからん。とにかく、もっと庶民に分かりやすい発言をしてくれ。
カタカナ語で思い出した。最近「コンフォート」という変なカタカナの商品があるが、これは恐らく “comfort” の日本語読みかと。英語読みだと一つ目の o の上にアクセントを置いて発音し、強いてカタカナで書くなら「カンフォト」だろう。前にも書いた通り ”eyebrow” は「アイブラウ」だし。受験生はこういう CM で使われているインチキ英語を身につけないように気をつけて、受験勉強を乗り切って欲しい。最後に問題。”comfortable” を発音せよ。「コンフォータブル」は間違い
C ０ ０ ０ ０ ０ ０ ０
B ０ ５ ０ ０ １ ０ ０
とこんな感じで楽勝ムード。8回も平良がマウンドへ。1点取られて、1アウト取った時点で交代。がパットンが打ち込まれる。1点差。9回は康晃。鈴木にタイムリーと、會澤に満塁ホームランが飛び出した。最終的には
C ０ ０ ０ ０ ０ ０ ０ ５ ５ ｜10
B ０ ５ ０ ０ １ ０ ０ ０ ０ ｜ 6
と大逆転負け。うーん、ショックでかい。平良は良かったし、ソトにも久々にヒットが出たりと、いいところもあった試合だが、やっぱり負けは悔しい。明後日から東京ドームで G 戦だそうな。ここは勝ち越しておかないといけない。明後日以降も変わらず応援しよう。
小池都知事が、「感染者数は幾何級数的に増えている」と言ったらしい。でそれに対し一茂が「幾何級数って何？」と言ったとか。これは当然。幾何級数という言葉は高校までは習わない言葉。大学でも習うかどうか。古い言葉だからね。「等比数列」と言っておけばまだ良かったものを、あえて難しい言葉を使って自分をインテリ風に見せるという、いかにも浅はかな感じの姿勢。非常に良くない。前にテレビのコメンテーターが「指数関数的増えている」と言ったときにその番組の進行役が「指数関数って何ですか？」と聞いていたが、世間に対する数学の浸透度なんてそんなもの。正確さは欠くが、「爆発的に増える」でいいんじゃないだろうか？小池都知事はカイロ大学出身ということになっているようだが、カイロ大学で「幾何級数」という言葉を習ったとは思えないので、専門家の言ったことを理解せずに右から左とした可能性が高いだろう。あの人は「レガシー」とか何とか言っていたが、難しい言葉とカタカナ語で自分を偉そうに見せる。気に食わんね。どうして都知事選圧勝したのかわからん。とにかく、もっと庶民に分かりやすい発言をしてくれ。
カタカナ語で思い出した。最近「コンフォート」という変なカタカナの商品があるが、これは恐らく “comfort” の日本語読みかと。英語読みだと一つ目の o の上にアクセントを置いて発音し、強いてカタカナで書くなら「カンフォト」だろう。前にも書いた通り ”eyebrow” は「アイブラウ」だし。受験生はこういう CM で使われているインチキ英語を身につけないように気をつけて、受験勉強を乗り切って欲しい。最後に問題。”comfortable” を発音せよ。「コンフォータブル」は間違い
2020年7月25日土曜日
3連勝で5割復帰
昨日書いた通り1時からトヨタへ。買ってから1ヶ月弱で、走行距離も400km弱ということもあり、何の異常があるものか、ということで1時間ほどで解放された。で昨日パソコンをメンテナンスに出したんだが、トヨタで待っているうちにメンテナンスが済んだ、と line で連絡があった。ということで、トヨタを出た後長距離ドライブに出るつもりだったんだが、短距離ドライブに切り換える。軽く45km程。走行距離は400kmを越えた。4時くらいにパソコンが届く。こちらも何事も無いようだ。月曜か火曜に請求書を職場に持って行くので、ドライブはその時にでも。そもそもパソコンのメンテナンスって何だって？色々あるのだ。新しいパソコンに買い換えて1から立ち上げるのを考えれば、愛着のあるパソコンを大事に使うほうがよい。小生昔から物持ちはよく、スマホがこの前の交換まで50ヶ月使っていたそうだし、筆箱は大学生の時に買ったものを未だに使っている。使い捨ては程々にして、地球に優しい研究者生活を送りましょう。冷房をガンガン回していて、何が地球に優しいだって？まぁそういうこともあります。
4時から相撲。全勝の朝乃山と白鵬は圧勝。もう1人の全勝御嶽海は不戦勝。今日は阿炎との割が組まれていたんだが、阿炎が協会のコロナ対策のための不要不急の外出は控えよというお達しを昨日の晩破ったため、錣山親方が休場を決めたとのこと。うーん。しゃあないな。御嶽海は捨て身の首投げで勝った一番と、今日の不戦勝の一番。ついているな。今場所は御嶽海の3度目の優勝か？
6時から野球。1回にまず2点、3回にもう1点と、3点のリード。が4回。満塁で完全なゲッツーだったはずの当たりが守備の乱れで2失点。うむ、まだわからんぞ、と思ったら、6回に乙坂の代打3ランで一気に4点差。これで勝負あった。先発今永は6回で引っ込み、7回からエスコバー。ノーアウト満塁のピンチを作るも無失点に抑えた。4点差で康晃が3者凡退に抑えた（恐らく康晃がランナーを出さなかったのは今シーズン初）。ということで3連勝で5割復帰。Tigers が昼負けて5割に成っただけに、大きい1勝だった。明日も勝って3タテといきましょう。
さて、昨日書いた通りこれから祝杯を上げてきます。じゃ！
4時から相撲。全勝の朝乃山と白鵬は圧勝。もう1人の全勝御嶽海は不戦勝。今日は阿炎との割が組まれていたんだが、阿炎が協会のコロナ対策のための不要不急の外出は控えよというお達しを昨日の晩破ったため、錣山親方が休場を決めたとのこと。うーん。しゃあないな。御嶽海は捨て身の首投げで勝った一番と、今日の不戦勝の一番。ついているな。今場所は御嶽海の3度目の優勝か？
6時から野球。1回にまず2点、3回にもう1点と、3点のリード。が4回。満塁で完全なゲッツーだったはずの当たりが守備の乱れで2失点。うむ、まだわからんぞ、と思ったら、6回に乙坂の代打3ランで一気に4点差。これで勝負あった。先発今永は6回で引っ込み、7回からエスコバー。ノーアウト満塁のピンチを作るも無失点に抑えた。4点差で康晃が3者凡退に抑えた（恐らく康晃がランナーを出さなかったのは今シーズン初）。ということで3連勝で5割復帰。Tigers が昼負けて5割に成っただけに、大きい1勝だった。明日も勝って3タテといきましょう。
さて、昨日書いた通りこれから祝杯を上げてきます。じゃ！
2020年7月24日金曜日
思い出した昔の歌
早く寝るつもりだったが、案の定遅くまで起きていた。今日のオンラインセミナーは3時半開始で、それには間に合うくらいに起きたので、まあいいでしょう。昨日書いた通り、今日の話は昔やったことに関係のある話。出席は必須、と何週間も前からプレッシャーをかけていたので、よかった。定時に開始。今回の話は、類体論的な側面と幾何的な側面があり、小生は前者をやっていた。後者についても随分昔から研究がなされていたようだが、小生は全く知らなかった。どっちの場合も結構高度な群論が使われるが、とても小生の手の出るような話ではなかったので、やめておいて正解だった。為になった。来週も面白そうな話なので、是非参加しよう。
5時から相撲観戦。全勝の御嶽梅、朝乃山、白鵬は揃って勝ち。まだまだ面白いぞ。6時から野球。1回表にいきなり1点取られるも、裏に2点取って逆転。その後取ったり取られたりで、同点、乃至1点差で推移。3−4の状態からパットンが2点取られて3−6。うむ、ダメか、と思ったら8回裏にロペスにソロホームランが出て4−6。9回表は国吉が抑えて、さあ9回裏。抑えの一岡が乱れて、梶谷のタイムリーで1点返して、なおノーアウト満塁。バッターロペス。今日はタイムリー2ベース2本にソロホームランと、期待が高まる。が、内野フライを打ち上げて、インフィールドフライ。続いてバッター佐野。気合を入れ直して観る。すると何と出た。サヨナラ満塁ホームラン！びっくり。佐野は3試合連続ホームラン。4番らしいところを見せてくれた。6連敗の後引き分けをはさんで連勝。連勝は1ヶ月ぶり。これで借金1。まだまだついていきましょう。今日は首位 Giants と2位 Swallows の直接対決だが、引き分け。3位の Tigers は勝ってしまった。まあいいや。他力本願はやめて、自力でいきましょう。
さて今日は祝杯、といきたいところだが、明日は新車の1ヶ月点検で、1時にトヨタに行くことになっている。と言うわけで、今日の祝杯は明日あげる。明日負けたらヤケ酒に変わる恐れがあるので、明日も勝ってください。
5時から相撲観戦。全勝の御嶽梅、朝乃山、白鵬は揃って勝ち。まだまだ面白いぞ。6時から野球。1回表にいきなり1点取られるも、裏に2点取って逆転。その後取ったり取られたりで、同点、乃至1点差で推移。3−4の状態からパットンが2点取られて3−6。うむ、ダメか、と思ったら8回裏にロペスにソロホームランが出て4−6。9回表は国吉が抑えて、さあ9回裏。抑えの一岡が乱れて、梶谷のタイムリーで1点返して、なおノーアウト満塁。バッターロペス。今日はタイムリー2ベース2本にソロホームランと、期待が高まる。が、内野フライを打ち上げて、インフィールドフライ。続いてバッター佐野。気合を入れ直して観る。すると何と出た。サヨナラ満塁ホームラン！びっくり。佐野は3試合連続ホームラン。4番らしいところを見せてくれた。6連敗の後引き分けをはさんで連勝。連勝は1ヶ月ぶり。これで借金1。まだまだついていきましょう。今日は首位 Giants と2位 Swallows の直接対決だが、引き分け。3位の Tigers は勝ってしまった。まあいいや。他力本願はやめて、自力でいきましょう。
さて今日は祝杯、といきたいところだが、明日は新車の1ヶ月点検で、1時にトヨタに行くことになっている。と言うわけで、今日の祝杯は明日あげる。明日負けたらヤケ酒に変わる恐れがあるので、明日も勝ってください。
2020年7月23日木曜日
勝った！
昨日書いた通り、今日は1時から楕円曲線のゼミ。ようやく章が改まって、楕円曲線の arithmetic の入り口に立てた。来週からは楽しくなりそうだ。今度は院試のシーズンのようで、予習は少なかった模様で、3時ちょいに終了。
例に寄って寝不足。夜中の2時過ぎに始まるアニメの続きが気になってつい起きていてしまう。ゼミ終了後1時間半程寝た。もう相撲は始まっていた。新大関・朝乃山は今日は辛勝なれど、初日から5連勝。いいねえ。白鵬と御嶽海、そして新入幕の琴勝峰が他の5連勝力士。また白鵬が優勝しちゃうんだろうか？まだまだ見物。
6時から野球。初回いきなり3点取った。先発は大貫。この前は8回2失点と好投。今日も調子がよさそう。打つ方は中々追加点が取れずに6回まで。今日もスタメンマスクの戸柱に2号が飛び出し追加点。次の回は開幕から中々ホームランの出なかった佐野に2試合連続の2号2ランホームランが飛び出し6－0。大貫は7回途中までノーヒットノーラン。が、ヒットを1本打たれて、次の打順で交代。7回1被安打無失点は見事。この前の好投で自信を付けたかな。三嶋、エスコバーも無失点で、6－0と久々の勝利。まだまだ借金2です。付いていきましょう。
野球終了後レポートの採点。今日は祝日だから、昨日締め切りのレポートの整理は出来ないはずだから、採点を始めるのは月曜以降か、と思っていたら、電子提出のよいところというか悪いところというか、もう採点が出来るモードになっていた。早いうちに済ますに越したことはないということで、枚数の少ないほうの「代数学I」から採点。多分何にも分かってないんだろうな、というレポートのオンパレード。一般の環を \mathbb{R} にしていたり、\mathbb{Z} で書くべきところを普通の Z にしていたり。p が素元であるための条件の一つを「x｜ab ⇒ x｜a または x｜b」にしていたりとか。多分講義ノートには「$x∈R$ が素元 $\overset{\mathrm{def}}{\iff}$ …」と書いてあるためだろう。何にも考えずに写してるんだろう。それとどう見ても雛形があって、それを写したと思しき同じ間違い多数。まあ予想された展開やけどね。今晩中に「代数学I」を終わらそう。
明日は3時半から何やらオンラインセミナーがあるようで、それに出席する予定。大昔にちょっとだけ関わった話題と関係があるので、勉強させてもらおうと思って。4連休の二日はセミナーの為に潰れる。土曜日はトヨタに新車の1ヶ月点検に行くので、これまた予定が入っている。連休関係あらへん。まあ講義がオンラインに成っているので、年中休日という噂もあるが。とにかく今晩は少し早く寝よう。
例に寄って寝不足。夜中の2時過ぎに始まるアニメの続きが気になってつい起きていてしまう。ゼミ終了後1時間半程寝た。もう相撲は始まっていた。新大関・朝乃山は今日は辛勝なれど、初日から5連勝。いいねえ。白鵬と御嶽海、そして新入幕の琴勝峰が他の5連勝力士。また白鵬が優勝しちゃうんだろうか？まだまだ見物。
6時から野球。初回いきなり3点取った。先発は大貫。この前は8回2失点と好投。今日も調子がよさそう。打つ方は中々追加点が取れずに6回まで。今日もスタメンマスクの戸柱に2号が飛び出し追加点。次の回は開幕から中々ホームランの出なかった佐野に2試合連続の2号2ランホームランが飛び出し6－0。大貫は7回途中までノーヒットノーラン。が、ヒットを1本打たれて、次の打順で交代。7回1被安打無失点は見事。この前の好投で自信を付けたかな。三嶋、エスコバーも無失点で、6－0と久々の勝利。まだまだ借金2です。付いていきましょう。
野球終了後レポートの採点。今日は祝日だから、昨日締め切りのレポートの整理は出来ないはずだから、採点を始めるのは月曜以降か、と思っていたら、電子提出のよいところというか悪いところというか、もう採点が出来るモードになっていた。早いうちに済ますに越したことはないということで、枚数の少ないほうの「代数学I」から採点。多分何にも分かってないんだろうな、というレポートのオンパレード。一般の環を \mathbb{R} にしていたり、\mathbb{Z} で書くべきところを普通の Z にしていたり。p が素元であるための条件の一つを「x｜ab ⇒ x｜a または x｜b」にしていたりとか。多分講義ノートには「$x∈R$ が素元 $\overset{\mathrm{def}}{\iff}$ …」と書いてあるためだろう。何にも考えずに写してるんだろう。それとどう見ても雛形があって、それを写したと思しき同じ間違い多数。まあ予想された展開やけどね。今晩中に「代数学I」を終わらそう。
明日は3時半から何やらオンラインセミナーがあるようで、それに出席する予定。大昔にちょっとだけ関わった話題と関係があるので、勉強させてもらおうと思って。4連休の二日はセミナーの為に潰れる。土曜日はトヨタに新車の1ヶ月点検に行くので、これまた予定が入っている。連休関係あらへん。まあ講義がオンラインに成っているので、年中休日という噂もあるが。とにかく今晩は少し早く寝よう。
2020年7月22日水曜日
今日も勝てず
昨晩寝たときの予想だと、今日は夕刻に起きて会議に突入、となるはずだった。ところが案外早く起きたので、職場に行ってきた。数セミと、ブルーバックスの新刊「LaTeX超入門」を生協で購入。TeX の本は何冊あってもいいんで、買ってきた。パラパラと眺めた範囲に知らないことが幾つか書いてあった。やっぱり TeX は奥が深い。院生が何人か TeX で書いたレポートを提出してきたが、まだまだ青い。cos や sin がイタリックに成っていたり、縦揃えした式に全部に式番号が付いていたりとか。修論は TeX で書くんでしょうから、もう少し練習してください。奥が深いんで、完璧には出来ないでしょうから、少しずつ。
職場には1時間くらいいた。伝票を事務に送って、学生用のフェースシールドを受け取ったというのがやった全て。で4時前には住処に戻ってきた。4時半から会議。相撲は画像だけ流しておいた。今日のメインは来年度の科目担当者決め。前は10月にやっていた気がしたんだが、年々早くなっている気がする。今年と同じものを担当させてもらおうということにしてきた。まだ変更があるかもしれないが、まあ一安心。6時20分くらいに終了。
6時にチャンネルを野球に切り換えていたので、一応野球の情報は最初から仕入れていた。序盤にホームラン攻勢でリードも、濱口が粘れない。6回に追い付かれ5－5。そこで濱口は降板。何でも左バッターからの被打率が4割近くあるとかで、今日も左バッターにチャンスでパカパカと打たれていた。その後両チームの出てくるピッチャーが無得点に抑えただけに、濱口が坂口に打たれたタイムリーが余計だった。ということで引き分け。連敗は止まらず。無念。まあ形は作った。明日は勝つ。
攻守の切り換えの間にインターネットで他の試合の情報を仕入れていたんだが、Giants は負けそうで、Tigers は勝ちそう。Buffaloes はリードを許している。で Giants は負けて、Tigers vs. Carp は終盤にもつれて引き分け。Eagles vs. Buffaloes は6回終了時点で 7－2 と一方的な感じだったのだが、8回に Buffaloes が3点取って風雲急を告げる。で9回。Buffaloes が9回表に6得点で、大逆転勝ち。うーん、凄い。羨ましい。こういう攻撃力が欲しい。超強力打線だか何か知らないが、ここぞで一本が出ていないのが最近の Baystars 打線。明日は頑張って欲しい。どこが？いや Baystars に決まってるでしょう。そろそろ勝たないと本当にまずいで。
GoToキャンペーンは今日かららしいが、それに合わせたかのようにコロナの新規感染者数が過去最高とか。うーん。GoToキャンペーンはコロナが収まったらやるはずだったのを、無理して前倒ししたらしい。4連休だからね。小生はというと、明日は楕円曲線のゼミを1時から。学生はやりたがってるし、1ヶ月くらい間があったからね。ゼミが済んだら相撲と野球と、いつもと変わらない1日だ。「代数学I」と「線形代数学」のレポートが今日締め切りだから、明日当たり上がってくるんだろうか？と思ったら明日、明後日は祝日だから、月曜日に上がってくるということだろうか？来週から採点漬けだな。
職場には1時間くらいいた。伝票を事務に送って、学生用のフェースシールドを受け取ったというのがやった全て。で4時前には住処に戻ってきた。4時半から会議。相撲は画像だけ流しておいた。今日のメインは来年度の科目担当者決め。前は10月にやっていた気がしたんだが、年々早くなっている気がする。今年と同じものを担当させてもらおうということにしてきた。まだ変更があるかもしれないが、まあ一安心。6時20分くらいに終了。
6時にチャンネルを野球に切り換えていたので、一応野球の情報は最初から仕入れていた。序盤にホームラン攻勢でリードも、濱口が粘れない。6回に追い付かれ5－5。そこで濱口は降板。何でも左バッターからの被打率が4割近くあるとかで、今日も左バッターにチャンスでパカパカと打たれていた。その後両チームの出てくるピッチャーが無得点に抑えただけに、濱口が坂口に打たれたタイムリーが余計だった。ということで引き分け。連敗は止まらず。無念。まあ形は作った。明日は勝つ。
攻守の切り換えの間にインターネットで他の試合の情報を仕入れていたんだが、Giants は負けそうで、Tigers は勝ちそう。Buffaloes はリードを許している。で Giants は負けて、Tigers vs. Carp は終盤にもつれて引き分け。Eagles vs. Buffaloes は6回終了時点で 7－2 と一方的な感じだったのだが、8回に Buffaloes が3点取って風雲急を告げる。で9回。Buffaloes が9回表に6得点で、大逆転勝ち。うーん、凄い。羨ましい。こういう攻撃力が欲しい。超強力打線だか何か知らないが、ここぞで一本が出ていないのが最近の Baystars 打線。明日は頑張って欲しい。どこが？いや Baystars に決まってるでしょう。そろそろ勝たないと本当にまずいで。
GoToキャンペーンは今日かららしいが、それに合わせたかのようにコロナの新規感染者数が過去最高とか。うーん。GoToキャンペーンはコロナが収まったらやるはずだったのを、無理して前倒ししたらしい。4連休だからね。小生はというと、明日は楕円曲線のゼミを1時から。学生はやりたがってるし、1ヶ月くらい間があったからね。ゼミが済んだら相撲と野球と、いつもと変わらない1日だ。「代数学I」と「線形代数学」のレポートが今日締め切りだから、明日当たり上がってくるんだろうか？と思ったら明日、明後日は祝日だから、月曜日に上がってくるということだろうか？来週から採点漬けだな。
2020年7月21日火曜日
Python で行列式の計算をするプログラムを作ってきた学生がいた。
昨日の晩11時半過ぎに、やはりレポートを出してくる学生がいた。4名程。と言うわけで、それの採点を済ます。ギリギリになって出してくるレポートなんて大したことないだろう、と思っていたのだが、どうしてどうして。中々の力作。21/3＋(−3)1/2 を根とする Q 係数のモニック多項式を求めよ、と言う問題があったのだが、例であげた 21/2＋31/2 を根とする多項式を求めるものを真似すると、6次行列の行列式を求める必要がある。大半の学生は一生懸命余因子展開して計算していたが、11時半過ぎのレポートの1人は、Python で行列式を求めるプログラムを書いて計算してきた。凄い。文句なく A＋。こう言う創意工夫を凝らしたレポートは見てて楽しい。どんどん楽しいレポートを出しておくれ。
6時から野球。1回表に2点取られるも、1回裏に梶谷の先頭打者ホームランと柴田の2点タイムリーで即逆転。いいんじゃないでしょうか、と見ていたら、先発のピープルズが5回に打ち込まれ一気に4点失う。その後はリリーフ陣が0点に抑えたのだが、梶谷の二発目で1点奪うのが精一杯で、4−6の負けで、6連敗。うーん。重症だな。中継ぎ投手から点を取ったのが何試合ぶりとか言ってたな。今日も梶谷のホームランの1点だけだし。チャンスは作るんだけどね。中押し点を取らないと今日のような結果に成るのは自明。頑張っておくれ。
火曜か水曜か金曜に数セミを買いに行く、と書いたが、今日は行かなかった。明日行こうかと考えていたが、明日は会議があるそうだ。職場に行ってもオンライン会議だから参加出来るが、多分終わるのが遅くなるだろうから野球に間に合わない。と言うことで明日もやめよう、金曜日に、と思ったら金曜日は祝日ではないか。当然生協は休み。うーむ、予定が狂った。来週のどこかで行こう。と言ってまた来週も同じパターンの繰り返しになるかも知れないな。まあいいや、数セミ買わなくても。最悪日本評論社から取り寄せればいいし。4月は構内立ち入り禁止だったので、日本評論社から買ったが、送られてきたしょぼい領収書でも研究費で払ってくれるのは確認済み。と言うことで来週も職場行かなくてもいいや。
6時から野球。1回表に2点取られるも、1回裏に梶谷の先頭打者ホームランと柴田の2点タイムリーで即逆転。いいんじゃないでしょうか、と見ていたら、先発のピープルズが5回に打ち込まれ一気に4点失う。その後はリリーフ陣が0点に抑えたのだが、梶谷の二発目で1点奪うのが精一杯で、4−6の負けで、6連敗。うーん。重症だな。中継ぎ投手から点を取ったのが何試合ぶりとか言ってたな。今日も梶谷のホームランの1点だけだし。チャンスは作るんだけどね。中押し点を取らないと今日のような結果に成るのは自明。頑張っておくれ。
火曜か水曜か金曜に数セミを買いに行く、と書いたが、今日は行かなかった。明日行こうかと考えていたが、明日は会議があるそうだ。職場に行ってもオンライン会議だから参加出来るが、多分終わるのが遅くなるだろうから野球に間に合わない。と言うことで明日もやめよう、金曜日に、と思ったら金曜日は祝日ではないか。当然生協は休み。うーむ、予定が狂った。来週のどこかで行こう。と言ってまた来週も同じパターンの繰り返しになるかも知れないな。まあいいや、数セミ買わなくても。最悪日本評論社から取り寄せればいいし。4月は構内立ち入り禁止だったので、日本評論社から買ったが、送られてきたしょぼい領収書でも研究費で払ってくれるのは確認済み。と言うことで来週も職場行かなくてもいいや。
2020年7月20日月曜日
「数理科学特論1」のレポート締め切りが今日
1時からM1ゼミ。今日は Zp とかイデールとかテンソル積とか、彼が今まで勉強したことが無いことが大量に出てくる。流石に難しかったらしく、いつものように細部を詰めてくることが出来なかった模様。まあこちらとしても粗筋だけ分かればいい積もりでいたので、特に文句を言うことも無く終了。今日、明日にレポート締め切りがたくさんあるだろうから、それに時間を取られたということもあろう。まだ小生の科目のレポートを出していないようなので、「出してな」と言っておく。3時前に終了。珍しい。
上に書いた通り今日は大学院科目のレポートの締め切りの日。メールで提出するよう指示を出し、締め切りを今日の23時59分としているので、昨日あたりから五月雨式にメールが来る。大抵 pdf に変換しているのだが、jpeg ファイル数枚と提出という学生も少々。jpeg を Acrobat で開いて pdf に変換し、その後一つのファイルに合体、ということを数回やった。これで今まで届いた分は1人1ファイルの pdf に変換出来た。今まで15人提出してきているが、その分の採点は済んだ。院生なんて指導の先生とゼミが出来ればいいのさ、というのが小生の考え方なので、あまり小うるさいことは言わず、ざっくり採点。1人非常に沢山の問題を解いてきている学生がいて、彼を A+ にして、それよりも大きく劣るものは A 以下にした。これで終了、と行きたい所だが、23時59分締め切りと言ってしまった以上、待つ。今晩中に採点を終わらせる予定。明後日になるとさらに2科目分のレポートが降ってきて、それらは100人近くあるだろうし、3回生以下はきちんと採点することにしているから、結構大変。何日掛るでしょうか？ちょっと憂鬱。
昨日から相撲が始まっていた。昨日はすっかり忘れていて、夜のニュースで思い出したしだい。今日はゼミが早く終わったから、中入り後の相撲を全て見ることが出来た。観客は5000人程度と大分寂しいが、まあ客が入っただけよかった。久々に堪能した。明日は相撲から即野球ということで、忙しい。採点なんかしてる暇無いぞ。
GoToキャンペーンだが、東京を締め出したのはご存知の通り。でキャンセル料は保証しないと言っていたはずなのに、今日になって保証すると言い出した。相変わらず何のこっちゃと言う感じ。お友達を儲けさせるのを前提に政治を動かすのはもうやめて欲しい。
上に書いた通り今日は大学院科目のレポートの締め切りの日。メールで提出するよう指示を出し、締め切りを今日の23時59分としているので、昨日あたりから五月雨式にメールが来る。大抵 pdf に変換しているのだが、jpeg ファイル数枚と提出という学生も少々。jpeg を Acrobat で開いて pdf に変換し、その後一つのファイルに合体、ということを数回やった。これで今まで届いた分は1人1ファイルの pdf に変換出来た。今まで15人提出してきているが、その分の採点は済んだ。院生なんて指導の先生とゼミが出来ればいいのさ、というのが小生の考え方なので、あまり小うるさいことは言わず、ざっくり採点。1人非常に沢山の問題を解いてきている学生がいて、彼を A+ にして、それよりも大きく劣るものは A 以下にした。これで終了、と行きたい所だが、23時59分締め切りと言ってしまった以上、待つ。今晩中に採点を終わらせる予定。明後日になるとさらに2科目分のレポートが降ってきて、それらは100人近くあるだろうし、3回生以下はきちんと採点することにしているから、結構大変。何日掛るでしょうか？ちょっと憂鬱。
昨日から相撲が始まっていた。昨日はすっかり忘れていて、夜のニュースで思い出したしだい。今日はゼミが早く終わったから、中入り後の相撲を全て見ることが出来た。観客は5000人程度と大分寂しいが、まあ客が入っただけよかった。久々に堪能した。明日は相撲から即野球ということで、忙しい。
GoToキャンペーンだが、東京を締め出したのはご存知の通り。でキャンセル料は保証しないと言っていたはずなのに、今日になって保証すると言い出した。相変わらず何のこっちゃと言う感じ。お友達を儲けさせるのを前提に政治を動かすのはもうやめて欲しい。
2020年7月19日日曜日
9回裏最低限の足掻きで溜飲が下がる
もう昨日だが、面倒なので今日と書く。
今日は宅配便に起こされた。時計を見たら12時半。十分寝たし、起きた。その後職場へ車を走らせて、本を2冊持ってきた。生協は案の定閉店。食堂も売店も全部閉店。と言うことで、昼飯は帰り道の途中で食べてきた。
帰宅して1時間ほど録画してあったバラエティーショーを見た。で6時から野球。今永が先発なので、勝ちを期待。が、3回にエラーなどで3点先制された。その後もう1失点。Baystars の打線がとんと打つ気配を見せず、9回裏。ここまでソトの四球と乙坂のヒット1本だけ。このままサンチェスにあっけなく完封負けか、と思ったらちょっと粘った。4連打で2点。サンチェスを引っ込めた。満塁まで攻めたが、最後は桑原が三振でゲームセット。まあ負けたけど、ちょっとだけ溜飲が下がる負け方だった。明日は期待出来る。今日の負けで借金1。Tigers が借金1まで盛り返してきて、勝率差で辛うじて Baystars が3位。明日は勝たないと。
その後呑んできた。いつもの通りビール数杯呑んで、そこでまたいつものジジイが入ってきた。相変わらず昔の話を聞かされて、うんざり。日本酒を呑みたい気分ではないので、酎ハイを数杯呑んで退散。明日は店長早起きの予定だそうなので、いつもよりだいぶ早かった。
帰宅後、明日の「半沢直樹」を録画予約した。でそのために J:COM のチューナーの電源を入れたんだが、何やら「十津川警部シリーズ」らしきものがやっている。十津川警部といえば三橋達也、渡瀬恒彦、高橋英樹、と言うところだが、今回のは若林豪。このシリーズは知らなかった。若林豪は結構好きで、年格好から言っても十津川警部をやるにはちょうどいい。高橋英樹は歳をとりすぎている。もうとっくに定年退職してる歳だ。60歳前後で十津川警部演れる俳優いないだろうか？
今日は宅配便に起こされた。時計を見たら12時半。十分寝たし、起きた。その後職場へ車を走らせて、本を2冊持ってきた。生協は案の定閉店。食堂も売店も全部閉店。と言うことで、昼飯は帰り道の途中で食べてきた。
帰宅して1時間ほど録画してあったバラエティーショーを見た。で6時から野球。今永が先発なので、勝ちを期待。が、3回にエラーなどで3点先制された。その後もう1失点。Baystars の打線がとんと打つ気配を見せず、9回裏。ここまでソトの四球と乙坂のヒット1本だけ。このままサンチェスにあっけなく完封負けか、と思ったらちょっと粘った。4連打で2点。サンチェスを引っ込めた。満塁まで攻めたが、最後は桑原が三振でゲームセット。まあ負けたけど、ちょっとだけ溜飲が下がる負け方だった。明日は期待出来る。今日の負けで借金1。Tigers が借金1まで盛り返してきて、勝率差で辛うじて Baystars が3位。明日は勝たないと。
その後呑んできた。いつもの通りビール数杯呑んで、そこでまたいつものジジイが入ってきた。相変わらず昔の話を聞かされて、うんざり。日本酒を呑みたい気分ではないので、酎ハイを数杯呑んで退散。明日は店長早起きの予定だそうなので、いつもよりだいぶ早かった。
帰宅後、明日の「半沢直樹」を録画予約した。でそのために J:COM のチューナーの電源を入れたんだが、何やら「十津川警部シリーズ」らしきものがやっている。十津川警部といえば三橋達也、渡瀬恒彦、高橋英樹、と言うところだが、今回のは若林豪。このシリーズは知らなかった。若林豪は結構好きで、年格好から言っても十津川警部をやるにはちょうどいい。高橋英樹は歳をとりすぎている。もうとっくに定年退職してる歳だ。60歳前後で十津川警部演れる俳優いないだろうか？
2020年7月17日金曜日
またしても降雨コールド負け
今日は早起きして職場、と予定していたが、目が覚めて時計を見た時点で諦めた。その後さらに寝続けて、結構遅く起きた。
6時から野球。今日から vs. Giants。3連勝しないと、と応援。Giants が1回、2回と拙攻。初回はノーアウト1、2塁を0点、2回はノーアウト満塁を1点。これだけ点がいらないと言ってるんだ。今日は勝てる、という感じ。で2回裏に1点取り返して同点。よしよし、と思って見ていたら、3回表に丸がソロホームラン。うむ。その後チャンスを作っては潰しを繰り返し、雨が強くなってきて中断。50分近く待って、結論はコールドゲーム。この前は Tigers にコールド負け、今回は Giants にコールド負け。うーむ。まあしゃあないね。3連敗で貯金が無くなった。また0から出直しですな。
明日はちょっと職場へ行こうと思っている。2冊ばかり本を持ってくる積もり。後期も講義はオンラインで、ということになってしまったので、住処で勉強せざるを得なくなっている。ゼミのテキストも講義のため使うテキストも、住処へ持ってきておかないと。確か土曜日は生協は休みのはず。普通なら2時までやっているんだが、コロナの影響で土曜は営業をやめていると思う。数セミを買うには来週もう1回行く必要があるがしゃあない。水曜日のゼミはもう夏休みモードで無くなったので、水曜日も1日空いているし、火曜か水曜か金曜のいずれか、絶対行く。
6時から野球。今日から vs. Giants。3連勝しないと、と応援。Giants が1回、2回と拙攻。初回はノーアウト1、2塁を0点、2回はノーアウト満塁を1点。これだけ点がいらないと言ってるんだ。今日は勝てる、という感じ。で2回裏に1点取り返して同点。よしよし、と思って見ていたら、3回表に丸がソロホームラン。うむ。その後チャンスを作っては潰しを繰り返し、雨が強くなってきて中断。50分近く待って、結論はコールドゲーム。この前は Tigers にコールド負け、今回は Giants にコールド負け。うーむ。まあしゃあないね。3連敗で貯金が無くなった。また0から出直しですな。
明日はちょっと職場へ行こうと思っている。2冊ばかり本を持ってくる積もり。後期も講義はオンラインで、ということになってしまったので、住処で勉強せざるを得なくなっている。ゼミのテキストも講義のため使うテキストも、住処へ持ってきておかないと。確か土曜日は生協は休みのはず。普通なら2時までやっているんだが、コロナの影響で土曜は営業をやめていると思う。数セミを買うには来週もう1回行く必要があるがしゃあない。水曜日のゼミはもう夏休みモードで無くなったので、水曜日も1日空いているし、火曜か水曜か金曜のいずれか、絶対行く。
2020年7月16日木曜日
「ぬけぬけ」ようやく止まる
久々に楕円曲線のゼミ。今日も基礎理論で、退屈な議論が続く。来週には楕円曲線の加法がようやくできるでしょう。先週まで教員採用試験を受けていたようで、それで忙しかった模様。予習の量は少なく、3時半頃終了。
その後2時間ほど仮眠。眠いんでね。6時から野球。昨日書いたように、勝ち負け交互を繰り返していて、今日は勝つ番。2点取られても負ける気がしなかったのだが、今日は駄目だった。7回に3点、8回に3点取られて、0－8と一方的な試合だった。「ぬけぬけ」ようやく止まった。今日は Dragons の阿部が3安打4打点と大暴れ。1人にこんなに打たれちゃしょうがない。明日からハマスタで vs. Giants。ここは3タテといきたいところ。明日も引き続き応援。
今日は先発の中川を1回で引っ込めて、2番手は平田。プロ入って100試合以上登板してるのに、勝ちも負けもセーブもホールドも無い。今日は1点負けてる場面での登場だったので、ひっくり返して勝ち投手に成るか、追い付いてホールドを記録するチャンスだったのだが、味方が点を取ってくれない。結局今日も勝ち、負け、セーブ、ホールドいずれも付かなかった。めげるな、平田。今日の内容（3イニング1失点）ならいつかは勝てる。
例の「GoToキャンペーン」とかいう変な名前の奴だが、東京を対象外にすることでスケジュールどおり行うとか。うーん、中途半端な感は否めないな。まあいいや、小生は出掛けいないから。
その後2時間ほど仮眠。眠いんでね。6時から野球。昨日書いたように、勝ち負け交互を繰り返していて、今日は勝つ番。2点取られても負ける気がしなかったのだが、今日は駄目だった。7回に3点、8回に3点取られて、0－8と一方的な試合だった。「ぬけぬけ」ようやく止まった。今日は Dragons の阿部が3安打4打点と大暴れ。1人にこんなに打たれちゃしょうがない。明日からハマスタで vs. Giants。ここは3タテといきたいところ。明日も引き続き応援。
今日は先発の中川を1回で引っ込めて、2番手は平田。プロ入って100試合以上登板してるのに、勝ちも負けもセーブもホールドも無い。今日は1点負けてる場面での登場だったので、ひっくり返して勝ち投手に成るか、追い付いてホールドを記録するチャンスだったのだが、味方が点を取ってくれない。結局今日も勝ち、負け、セーブ、ホールドいずれも付かなかった。めげるな、平田。今日の内容（3イニング1失点）ならいつかは勝てる。
例の「GoToキャンペーン」とかいう変な名前の奴だが、東京を対象外にすることでスケジュールどおり行うとか。うーん、中途半端な感は否めないな。まあいいや、小生は出掛けいないから。
2020年7月15日水曜日
勝ちと負けを交互に繰り返して16試合
水曜日は「数論序説」のゼミ。前期は今日で最終回。寝坊できないぞ、と気合を入れて寝た。で今朝は宅配便が来て、10時半頃起こされた。もう眠くないので、そのまま起きていた。で定時の1時にゼミ開始。章が改まって、代数体という言葉が定義できた。節のタイトルが「拡大体」だったから、あっさり終わるかと思ったらさにあらず。k⊂L⊂K なら [K:k]＝[K:L][L:k] とかそういうのまで証明する。うーん、「代数学IIでやった」でいいんだが。まあやるとなったら徹底的にやりましょ、という感じで、代数体 K から代数的数全体の体 \overline{Q}（以下面倒なので Ω と書く）への埋め込みが Ω の Q 自己同型に延長されるなど、がっつり。Ω が代数的閉体であることなども必要で、1人で3時間。ご苦労様でした。これで前期は終了。夏休み明けはガロア理論から。うーん、「代数学IIでやった」とやってくれないだろうか。まあ無理だろうな。ということでコホモロジーと正多角形の作図は飛ばそう。前者は本の後半までまったく出てこないし、後者は本筋と関係ない話しだし。
6時から野球。何でも Baystars はここ15試合勝ちと負けを交互に繰り返していて、連勝も連敗もないそうだ。過去14試合という例は3例あったそう。昨日は勝ったから今日は負ける番。いや、そうはいくか。全力で勝ちにいくんだ！と応援。が、3回に Dragons に2点先制される。6回にソトのホームランで1点差とし、「よし、今日は何が何でも勝つ！」とさらに熱を入れる。8回。2アウト満塁のチャンス。バッターは宮崎。3塁へ火の出るような当たり。が、これがファインプレーにあって無得点でチェンジ。うむ、今日も負けか、というところで9回。2アウトから桑原がヒットで出塁。バッターは梶谷。打てよー、と思って力を入れてみるも、最後は梶谷が三振でゲームセット。うむ、やはり今日は負ける番だったか。まあいい。明日明日。明日は勝つ番だ。待てよ、金曜日から Giants 戦だな。このままいくと1勝2敗で負け越すパターンだが。いや、そんなことあるか。明日勝って、そのままの勢いで Giants を sweep して4連勝、奪首といきましょう。
東京が警戒レベルを最高に引き上げるとか。仕方ないね。しかしこの状況でまだ「GoToキャンペーン」をやめないらしい。本当にいいんだろうか？
6時から野球。何でも Baystars はここ15試合勝ちと負けを交互に繰り返していて、連勝も連敗もないそうだ。過去14試合という例は3例あったそう。昨日は勝ったから今日は負ける番。いや、そうはいくか。全力で勝ちにいくんだ！と応援。が、3回に Dragons に2点先制される。6回にソトのホームランで1点差とし、「よし、今日は何が何でも勝つ！」とさらに熱を入れる。8回。2アウト満塁のチャンス。バッターは宮崎。3塁へ火の出るような当たり。が、これがファインプレーにあって無得点でチェンジ。うむ、今日も負けか、というところで9回。2アウトから桑原がヒットで出塁。バッターは梶谷。打てよー、と思って力を入れてみるも、最後は梶谷が三振でゲームセット。うむ、やはり今日は負ける番だったか。まあいい。明日明日。明日は勝つ番だ。待てよ、金曜日から Giants 戦だな。このままいくと1勝2敗で負け越すパターンだが。いや、そんなことあるか。明日勝って、そのままの勢いで Giants を sweep して4連勝、奪首といきましょう。
東京が警戒レベルを最高に引き上げるとか。仕方ないね。しかしこの状況でまだ「GoToキャンペーン」をやめないらしい。本当にいいんだろうか？
2020年7月14日火曜日
Uber Eats が配達失敗
昨日書いた通り、2時40分から会議。で「明日は遅いからちょっと夜更かししても」と思って遅くまで起きていたんだが、そのせいで目が覚めたのは2時30分くらい。危ない。何も発言しない積もりでいたので、多少の遅れは構わないや、と思ってはいなかったが、やっぱり遅れるのはやばい。間に合ってよかったわい。会議は粛々と進むが、何を言っているのかほとんど耳に入ってこない。集中力0のまま終了。小生は不真面目だが、物理の先生は真面目だ。3回も発言していた。教授会でも物理の先生は沢山発言しているし、偉いな。
会議終了が近付いた頃、Uber Eats に出前を頼んだ。今日の会議はいつものと違って終了時間が確定しているので、食べながら会議とはならない。会議終了後10分くらいで届くはずだったのだが、到着予定時間がどんどん遅くなっていく。最後はついに向こうからキャンセルされてしまった。専門の配達員を持っていないところが Uber Eats の弱いところやね。で近所の店から出前を取ろうと思ってキャンセルされたのに、懲りずに近所の別の店から出前を取ろうと画策。冷静に考えれば再度のキャンセルもあり得たのだが、何も考えずに頼んだ。で今回は無事届けてくれた。流石に熱々。手も口の中も軽く火傷した感じ。時間があるんだからがっつくことは無い。というわけでゆっくり食べる。美味かった。
野球開始まで30分強という所で眠くなってきた。軽く寝よう、ということで寝て、40分くらいで目が覚めた。いつものように何時間も寝るということは無かった。野球は始まっていたが。今日から vs. Dragons。ナゴヤドームで開催なので、雨中断、中止が無い。ということで落ち着いて見ていられる。今日の先発はこの前1回ノックアウトの大貫が中3日で登板。今日はナイスピッチングで、エラーの間の1点とソロホームランの1点だけで、8回2失点。この前の汚名は返上した。最後は康晃が1点取られたが、無事5－3で勝利。まだまだ付いていきしょう。
GoToキャンペーンという謎な奴があるが、どうしても強行したいらしい。感染拡大につながるぞ、と色々な所で言われているが、いいんだろうか？小生も旅行したい。勤続20年表彰でもらった旅行券5万円分を早く使いたいんだが、出掛ける勇気が無くて、未だに使っていない。期限は来年の3月31日まで。GoToキャンペーン関係無く旅行に行きたいのだが。兎に角、今はウィルスをばら撒いたり貰ってきたりしないよう旅行は避けるべきだと思うが、違うか？
会議終了が近付いた頃、Uber Eats に出前を頼んだ。今日の会議はいつものと違って終了時間が確定しているので、食べながら会議とはならない。会議終了後10分くらいで届くはずだったのだが、到着予定時間がどんどん遅くなっていく。最後はついに向こうからキャンセルされてしまった。専門の配達員を持っていないところが Uber Eats の弱いところやね。で近所の店から出前を取ろうと思ってキャンセルされたのに、懲りずに近所の別の店から出前を取ろうと画策。冷静に考えれば再度のキャンセルもあり得たのだが、何も考えずに頼んだ。で今回は無事届けてくれた。流石に熱々。手も口の中も軽く火傷した感じ。時間があるんだからがっつくことは無い。というわけでゆっくり食べる。美味かった。
野球開始まで30分強という所で眠くなってきた。軽く寝よう、ということで寝て、40分くらいで目が覚めた。いつものように何時間も寝るということは無かった。野球は始まっていたが。今日から vs. Dragons。ナゴヤドームで開催なので、雨中断、中止が無い。ということで落ち着いて見ていられる。今日の先発はこの前1回ノックアウトの大貫が中3日で登板。今日はナイスピッチングで、エラーの間の1点とソロホームランの1点だけで、8回2失点。この前の汚名は返上した。最後は康晃が1点取られたが、無事5－3で勝利。まだまだ付いていきしょう。
GoToキャンペーンという謎な奴があるが、どうしても強行したいらしい。感染拡大につながるぞ、と色々な所で言われているが、いいんだろうか？小生も旅行したい。勤続20年表彰でもらった旅行券5万円分を早く使いたいんだが、出掛ける勇気が無くて、未だに使っていない。期限は来年の3月31日まで。GoToキャンペーン関係無く旅行に行きたいのだが。兎に角、今はウィルスをばら撒いたり貰ってきたりしないよう旅行は避けるべきだと思うが、違うか？
2020年7月13日月曜日
早くも2冊目のテキストが終わってしまう！
今日は1時からM1ゼミ。で11時、12時半とアラームを鳴らしているんだが、スルーして1時半過ぎまで寝続ける。やば！ということで慌てて起きる。まあ遅刻は去年散々やらかしているので慣れているでしょう。いや、そういう問題ではない。申し訳ない。ということで1時40分頃スタート。今日は有限体上の楕円曲線の話がメイン。Deuring の定理など。難しかったらしく、彼にしては「ここよくわかんなかったんですけど」が多かった。まあいいでしょう。4時前に終了。もうテキストは大体終わっていて、次は何を勉強させよう？としばし雑談しながら考える。足立・三宅「類体論講義」（日本評論社）を読ませようかと思っていたんだが、もう1人で読んでいて、結構進んでいるらしい。それは一からゼミをするのは申し訳ない。そうかと言って修論のことを今から考えさせるのはちょっと早い気がする。ということでしばし考えさせてもらうことにして、今日は終了。
明日は何も予定が無いので、職場に行って生協で数セミを、と思っていたんだが、2時40分からいつものとは別口の会議が入っているのを思い出した。終了は4時10分で、野球まで2時間無い。明日は天気が荒れるようなことを言っていたので、明後日以降行くか。と思ったら明後日も明々後日も4時くらいまでゼミなので、行くとしたら金曜日だな。金曜日はちょっと早起きしよう。まあ今日くらいに起きてもいいんだが。数セミを買って、書棚を漁りながらM1の学生に勉強させることを決めよう。野球は調子の落ちてきている Giants 相手なので、6時に帰ってきて一生懸命応援しよう。
明日は何も予定が無いので、職場に行って生協で数セミを、と思っていたんだが、2時40分からいつものとは別口の会議が入っているのを思い出した。終了は4時10分で、野球まで2時間無い。明日は天気が荒れるようなことを言っていたので、明後日以降行くか。と思ったら明後日も明々後日も4時くらいまでゼミなので、行くとしたら金曜日だな。金曜日はちょっと早起きしよう。まあ今日くらいに起きてもいいんだが。数セミを買って、書棚を漁りながらM1の学生に勉強させることを決めよう。野球は調子の落ちてきている Giants 相手なので、6時に帰ってきて一生懸命応援しよう。
2020年7月12日日曜日
iphoneを新機種にしてきた
今日、ではない、もう昨日。昼にトヨタへ。え、先週新車を買ったばっかりで、早くも、と言う人もいるだろうが、今日は車の件にあらず。トヨタは au と提携しているようで、時々 au の出店が出る。先週行った時に、スマホの更新を勧められたので、今日行った。小生の住処のすぐそばに au ショップがあるのだが、そこで手続きをしようものなら、待ち時間だけで数時間、その後手続きに数時間、となるから、トヨタで待ち時間無しで済むならそっちの方がいいさ、と言うわけで、今日（昨日ね）行った次第。待ち時間は0。が、その後の手続きで2時間くらい。小生のスマホはiphoneなのだが、今まで使っていたやつがなまじOSを最新のものにしていたため、新しい機種のOSをアップデートする必要があり数十分。その後諸々あって、2時間程。全て従前通りにアップデートされた。うーん、ありがたいね。1人で全部やれ、と言われたら全く出来ない。それを待ち時間無しで出来たんだから、本当にありがたい。前回交換してから50ヶ月使っていたそうだから、そろそろ替え時だった。よかった。
で、トヨタには車で行ったわけだが、1週間で200km程しか走ってないので、トヨタを後にした後ドライブに出掛ける。初めて車に乗った頃、とりあえず道の駅を目指して運転していて、今回も初心に帰って、「あいの土山」を目指す。当時は新名神が通っていなかったので、栗東から水口と抜けて土山へ行ったのだったが、今回は新名神があるので、「甲賀土山」インターまで高速道路で。例によってヤリスの自動運転機能で行った。途中からアクセルには一回も足を置かずに走った。ハンドルも握らなくて大丈夫なはずなんだが、そこは流石に怖い。ハンドルには手を軽く添えて運転。無事「甲賀土山」インターで降りて、「あいの土山」へ。お茶を一杯飲んで、「あいの土山」を後にする。
国道1号をずーっと通って行けば山科へ出ることは自明なことなのだが、途中3股に分かれるところで、「大津、京都」を目指さずに「名神」方面を選んだ。野球が始まるまで間に合いそうないんでね。で「栗東湖南」インターから名神へ。何事もなく5時50分くらいに住処着。が、雨のため開始が遅れているとのこと。急ぐ必要なかったな。まあいいんだけど。6時40分過ぎに試合開始。
今日も vs. Tigers。西と今永の開幕投手対決。今永がボーアに2ランホームランを打たれて、劣勢でスタート。Tigers は調子を上げてきているので、このまま負けモードか、と思ったが、投手陣が踏ん張って追加点を許さず。8回に1点取り返し、さあ9回。ランナーをためて、途中から出ている桑原の打順。センターへ抜けた、よし！、しかし、と言う場面でセンターの植田がまさかのファンブル。梶谷が2塁から一気にホームへ駆け抜けて同点。うー、藤川球児かわいそうだ、と思ったそばからソトが2ランホームラン。よっしゃ！裏は康晃がランナーを出しながらも抑えて勝利。8回最後のアウトを取った石田が勝ち投手で、負けは藤川。うーん、かわいそうや。まあそうは言っても Baystars が勝ったんで、文句なし。明日も勝って、カード勝ち越しといきましょう。
その後呑みに出た。今日もいつもの「ふなごや」へ。店長は Tigers ファンなので、ひとくさり話した。その後色々話して、楽しかった。最近講義もゼミも会議もオンラインなので、人と面と向かって話す機会が少なくなっている。1週間に1回以上呑みにでも出ないと、呆け老人になってしまう。と言うわけで、金曜日か土曜日は呑みに出ている。まあいいでしょう。
で、トヨタには車で行ったわけだが、1週間で200km程しか走ってないので、トヨタを後にした後ドライブに出掛ける。初めて車に乗った頃、とりあえず道の駅を目指して運転していて、今回も初心に帰って、「あいの土山」を目指す。当時は新名神が通っていなかったので、栗東から水口と抜けて土山へ行ったのだったが、今回は新名神があるので、「甲賀土山」インターまで高速道路で。例によってヤリスの自動運転機能で行った。途中からアクセルには一回も足を置かずに走った。ハンドルも握らなくて大丈夫なはずなんだが、そこは流石に怖い。ハンドルには手を軽く添えて運転。無事「甲賀土山」インターで降りて、「あいの土山」へ。お茶を一杯飲んで、「あいの土山」を後にする。
国道1号をずーっと通って行けば山科へ出ることは自明なことなのだが、途中3股に分かれるところで、「大津、京都」を目指さずに「名神」方面を選んだ。野球が始まるまで間に合いそうないんでね。で「栗東湖南」インターから名神へ。何事もなく5時50分くらいに住処着。が、雨のため開始が遅れているとのこと。急ぐ必要なかったな。まあいいんだけど。6時40分過ぎに試合開始。
今日も vs. Tigers。西と今永の開幕投手対決。今永がボーアに2ランホームランを打たれて、劣勢でスタート。Tigers は調子を上げてきているので、このまま負けモードか、と思ったが、投手陣が踏ん張って追加点を許さず。8回に1点取り返し、さあ9回。ランナーをためて、途中から出ている桑原の打順。センターへ抜けた、よし！、しかし、と言う場面でセンターの植田がまさかのファンブル。梶谷が2塁から一気にホームへ駆け抜けて同点。うー、藤川球児かわいそうだ、と思ったそばからソトが2ランホームラン。よっしゃ！裏は康晃がランナーを出しながらも抑えて勝利。8回最後のアウトを取った石田が勝ち投手で、負けは藤川。うーん、かわいそうや。まあそうは言っても Baystars が勝ったんで、文句なし。明日も勝って、カード勝ち越しといきましょう。
その後呑みに出た。今日もいつもの「ふなごや」へ。店長は Tigers ファンなので、ひとくさり話した。その後色々話して、楽しかった。最近講義もゼミも会議もオンラインなので、人と面と向かって話す機会が少なくなっている。1週間に1回以上呑みにでも出ないと、呆け老人になってしまう。と言うわけで、金曜日か土曜日は呑みに出ている。まあいいでしょう。
2020年7月10日金曜日
観客の入った球場はやっぱりいい
今日から野球場に客を入れていいことになった。5000人だが。やっぱり歓声がある試合はいい。いつフルに客が入れるようになるかわからないが、楽しみである。「康晃ジャンプ」や「Rising」がハマスタに帰るまで、粘って首位についていきましょう。
さて、今日は甲子園で vs. Tigers。いきなり梶谷の先頭打者ホームランで先制するも、裏に近本が先頭打者ホームランで追い付かれる。その後も先発大貫がピリッとせず、さらに2点取られた。で雨が降り出してきて、雨は強くなるとの予報。Tigers がどんどん打ってきて、試合成立を急いでいる。中々追加点が取れなかったが、5回の表に梶谷のタイムリーで1点差。バッターはソト。いやが上にも盛り上がる。が、ソトは三振。ガッカリ。雨が強くなってきて、試合は中断。でうだうだとやっているうちにコールドゲームになってしまった。5回の表までしかやっていないが、後攻のチームが勝ち越しているので、試合成立。というわけで負けた。うー、何か中途半端。今日は Giants vs. Swallows が中止になっていたので、勝って半ゲーム差に詰めておきたいところだったのだが。今日負けて貯金2で3位転落。Swallows が変わって2位浮上。うむ、Giants には負けて欲しいところだが、Swallows が勝つのもいけないのか。明日はどうしたらいいんだろう？いや、目先の順位は関係ない。上に付いていくのが今の至上命題。明日は勝て。
今日はサヨナラホームランが三発出たようだ。Buffaloes は昨日まで12試合連続ホームランだったのだが、今日はホームランが出ないで9回裏へ。が2点ビハインドの9回裏、ロドリゲスがサヨナラ3ランホームラン！見事連続試合ホームランの記録を伸ばし、5位 Fighters に1ゲーム差。Tigers は5位 Carp に 0.5 ゲーム差と、最下位独走かと思われてた両チームが上がってきた。混戦大いに結構。面白いじゃないの。明日以降も熱く応援しよう。
さて、今日は甲子園で vs. Tigers。いきなり梶谷の先頭打者ホームランで先制するも、裏に近本が先頭打者ホームランで追い付かれる。その後も先発大貫がピリッとせず、さらに2点取られた。で雨が降り出してきて、雨は強くなるとの予報。Tigers がどんどん打ってきて、試合成立を急いでいる。中々追加点が取れなかったが、5回の表に梶谷のタイムリーで1点差。バッターはソト。いやが上にも盛り上がる。が、ソトは三振。ガッカリ。雨が強くなってきて、試合は中断。でうだうだとやっているうちにコールドゲームになってしまった。5回の表までしかやっていないが、後攻のチームが勝ち越しているので、試合成立。というわけで負けた。うー、何か中途半端。今日は Giants vs. Swallows が中止になっていたので、勝って半ゲーム差に詰めておきたいところだったのだが。今日負けて貯金2で3位転落。Swallows が変わって2位浮上。うむ、Giants には負けて欲しいところだが、Swallows が勝つのもいけないのか。明日はどうしたらいいんだろう？いや、目先の順位は関係ない。上に付いていくのが今の至上命題。明日は勝て。
今日はサヨナラホームランが三発出たようだ。Buffaloes は昨日まで12試合連続ホームランだったのだが、今日はホームランが出ないで9回裏へ。が2点ビハインドの9回裏、ロドリゲスがサヨナラ3ランホームラン！見事連続試合ホームランの記録を伸ばし、5位 Fighters に1ゲーム差。Tigers は5位 Carp に 0.5 ゲーム差と、最下位独走かと思われてた両チームが上がってきた。混戦大いに結構。面白いじゃないの。明日以降も熱く応援しよう。
2020年7月9日木曜日
−×−は何故＋か？公理から導け
今日も vs. Carp。初回にロペス、宮崎の連続タイムリーで2点先行。4回に1点返されるも、先発の井納がナイスピッチングで6回1失点。追加点が取れず、嫌な感じだっただけにデカかった。8回にソトのタイムリーとオースティンの2ランで3点取って突き放した。Giants が負けただけに大きな1勝だった。これで1ゲーム差。食らいついていきましょう。明日から Tigers 戦。今日の Tigers は Giants に勝っているし、ボーアが2ランを打ったそうだから、明日からの Tigers 戦は気を抜けない。とりあえず勝ち越しを目指しましょう。
野球終了後、ニュースを流しながら Twitter を見ていたら、どこかの中学1年のテストで、(−1)×(−1)＝1 を公理から証明せよ、という問題が出た、という話題があった。うむ、悪問この上ないな、というのが第1の印象。これしばしば3回生の代数学 I のテストに出す問題。出来はよくない。そんなもの中学生に出して、ましてや先生が教えてないのにテストに出したとしたら、それはもう最悪。「家でじっくり考えてごらん。」という程度ならいいが、それをテストに出すなんて。まあ何か屁理屈で納得させようとして失敗して、それでわけわからなくなっている子供を納得させる一つの方法ではあるが。テストに出すのはやめた方がいい。大学生にやらせるのは構わない。環論のテストとしては良問だと思う。ただ、(−a)×(−b)＝ab を証明させるのはやめた方がいい。これは (−a)×(−b)＝ab×(−1)×(−1)＝ab という珍回答が続出する。そう言えばその前の問題で、「a の加法逆元 −a の定義を書け」という問題を出したが、それも「−a＝(−1)×a」という解答が続出した。これは定義でなく定理や、と納得させるのが結構大変。中学生の理解できることではない。というわけで、中学生のテスト問題としては悪問。出した先生は反省した方がいい。
この前書いた 277 が合同数である、という話題について。y2＝x3−2772x の有理点を求めるのに、SageMath は成功しなかった。で例によってヨコエモン氏に質問したのだが、Magma では1秒もかからず成功する、というのを聞いてひっくり返った。Magma すごい。Magma には120秒以内で計算できるものなら無料でできる Magma Calculator というのがある。それでやってみたら確かに1秒掛からず成功した。うーん、Magma 欲しい気がしてきた。高いからねー。それに今年はうっかり学内補助金に申請するのを忘れてしまったので、お金が無い。まあ出張する用事が全然無くなっているので、年度末には個研費が大量に余るだろうから、その場合は考えよう。計算するものが無いまま買うのは単なる無駄遣いだから、計算させるネタを作ろう。
野球終了後、ニュースを流しながら Twitter を見ていたら、どこかの中学1年のテストで、(−1)×(−1)＝1 を公理から証明せよ、という問題が出た、という話題があった。うむ、悪問この上ないな、というのが第1の印象。これしばしば3回生の代数学 I のテストに出す問題。出来はよくない。そんなもの中学生に出して、ましてや先生が教えてないのにテストに出したとしたら、それはもう最悪。「家でじっくり考えてごらん。」という程度ならいいが、それをテストに出すなんて。まあ何か屁理屈で納得させようとして失敗して、それでわけわからなくなっている子供を納得させる一つの方法ではあるが。テストに出すのはやめた方がいい。大学生にやらせるのは構わない。環論のテストとしては良問だと思う。ただ、(−a)×(−b)＝ab を証明させるのはやめた方がいい。これは (−a)×(−b)＝ab×(−1)×(−1)＝ab という珍回答が続出する。そう言えばその前の問題で、「a の加法逆元 −a の定義を書け」という問題を出したが、それも「−a＝(−1)×a」という解答が続出した。これは定義でなく定理や、と納得させるのが結構大変。中学生の理解できることではない。というわけで、中学生のテスト問題としては悪問。出した先生は反省した方がいい。
この前書いた 277 が合同数である、という話題について。y2＝x3−2772x の有理点を求めるのに、SageMath は成功しなかった。で例によってヨコエモン氏に質問したのだが、Magma では1秒もかからず成功する、というのを聞いてひっくり返った。Magma すごい。Magma には120秒以内で計算できるものなら無料でできる Magma Calculator というのがある。それでやってみたら確かに1秒掛からず成功した。うーん、Magma 欲しい気がしてきた。高いからねー。それに今年はうっかり学内補助金に申請するのを忘れてしまったので、お金が無い。まあ出張する用事が全然無くなっているので、年度末には個研費が大量に余るだろうから、その場合は考えよう。計算するものが無いまま買うのは単なる無駄遣いだから、計算させるネタを作ろう。
2020年7月8日水曜日
平方剰余の相互法則の証明が前期中に出来た
昨晩は割合早く寝た。珍しく眠かったので。が、今朝起きて気付いた。使用済みの缶・瓶・ペットボトルを袋につめていたのだが、ゴミ捨て場に持って行くのを忘れて寝てしまった。うむ、1週間部屋に置いておかないといけない。鬱陶しいが仕方ない。来週は出し忘れないようにしよう。
11時半前に起床。1時から「数論序説」のゼミ。まずはアーベル群の指標から。指標の全体が群になることの証明が全然出来ていないので、一々止めて細かいところを詰めさせる。指摘すればきちんと出来るあたりは優秀。こういう学生を低学年のうちに救っておく手段としては、何が問題に成っているか逐一指摘するしかないと思うんだが、いかがだろうか。ギャップの無い講義をやるのが最善の方法、と思って毎年やっている。今年は出来ないのが辛い所。その後ルジャンドル記号を (Z/pZ)× の位数2の指標として定義。その後それが平方剰余かどうかの判定に使えることを証明と、ひどく難しい。が、こなしてしまうところは偉いところ。第1補充法則と第2補充法則を証明して選手交代。2人目は2次のガウス和を定義して、それの2乗を計算し、平方剰余の相互法則の証明に使う、という内容。この証明は割りと好きで、大学院向きの講義で毎年講義している。平方剰余に関するガウスの補題を用いた証明はあまり好きでなく、そのために長方形内の格子点の勘定による証明は未だによくわからない。三角関数を用いた証明も苦手。ガウスの和を使った証明は予備知識が少なく、かつするっと証明できるので好きなのだ。2次体や円分体の相互法則を使った証明はあまりにも予備知識が必要で、大学院の講義でも無理。4時くらいに終了。
4時半から会議。コロナ禍の下で秋学期の講義をどうするか、という話。難しい話なので、6時過ぎまでやっていた。6時半からは学生の博士論文の話。こちらはまあ形式的な議論が多いので、30分も掛らず終了。無事学位取得という方向に進むようでよかった。
UberEats に出前を頼んでから野球観戦開始。1点を争う痺れる展開だった。1－1で迎えた6回裏。Carp が1点勝ち越す。が、直後の7回表に2点取って逆転。Baystars に復帰した高城がヒーローに成るという理想的な展開だった。が、8回裏にパットンが堂林にまさかまさかの逆転満塁ホームランを打たれた。うーむ。まあ仕方ない。Tomorrow is another day、ということで明日また頑張りましょう。勝ち投手は塹江で、6年目の初勝利。セーブは菊池保則に付いてプロ初セーブ。プロ野球の選手に成ったら、やはり何某か記録が残したいでしょう。ということで塹江、菊池はおめでとう。次は Baystars の平田の番だ。未だに勝ちも負けもホールドもセーブも無いそうだから、どれか一つ付けましょう。もちろん勝ちが理想。ということで明日以降頑張ってください。
11時半前に起床。1時から「数論序説」のゼミ。まずはアーベル群の指標から。指標の全体が群になることの証明が全然出来ていないので、一々止めて細かいところを詰めさせる。指摘すればきちんと出来るあたりは優秀。こういう学生を低学年のうちに救っておく手段としては、何が問題に成っているか逐一指摘するしかないと思うんだが、いかがだろうか。ギャップの無い講義をやるのが最善の方法、と思って毎年やっている。今年は出来ないのが辛い所。その後ルジャンドル記号を (Z/pZ)× の位数2の指標として定義。その後それが平方剰余かどうかの判定に使えることを証明と、ひどく難しい。が、こなしてしまうところは偉いところ。第1補充法則と第2補充法則を証明して選手交代。2人目は2次のガウス和を定義して、それの2乗を計算し、平方剰余の相互法則の証明に使う、という内容。この証明は割りと好きで、大学院向きの講義で毎年講義している。平方剰余に関するガウスの補題を用いた証明はあまり好きでなく、そのために長方形内の格子点の勘定による証明は未だによくわからない。三角関数を用いた証明も苦手。ガウスの和を使った証明は予備知識が少なく、かつするっと証明できるので好きなのだ。2次体や円分体の相互法則を使った証明はあまりにも予備知識が必要で、大学院の講義でも無理。4時くらいに終了。
4時半から会議。コロナ禍の下で秋学期の講義をどうするか、という話。難しい話なので、6時過ぎまでやっていた。6時半からは学生の博士論文の話。こちらはまあ形式的な議論が多いので、30分も掛らず終了。無事学位取得という方向に進むようでよかった。
UberEats に出前を頼んでから野球観戦開始。1点を争う痺れる展開だった。1－1で迎えた6回裏。Carp が1点勝ち越す。が、直後の7回表に2点取って逆転。Baystars に復帰した高城がヒーローに成るという理想的な展開だった。が、8回裏にパットンが堂林にまさかまさかの逆転満塁ホームランを打たれた。うーむ。まあ仕方ない。Tomorrow is another day、ということで明日また頑張りましょう。勝ち投手は塹江で、6年目の初勝利。セーブは菊池保則に付いてプロ初セーブ。プロ野球の選手に成ったら、やはり何某か記録が残したいでしょう。ということで塹江、菊池はおめでとう。次は Baystars の平田の番だ。未だに勝ちも負けもホールドもセーブも無いそうだから、どれか一つ付けましょう。もちろん勝ちが理想。ということで明日以降頑張ってください。
2020年7月7日火曜日
昨晩から合同数と戯れる
昨日の晩からずっと合同数と戯れていた。面積37の有理直角三角形はすぐ出来た。3辺は450660/777923, 777923/6090, 605170417321/4737551070 と結構ゴツイ。素朴に3辺を探すプログラムを書いたんだが、それで見付からない理由は分かった。面白かった。その後157と戯れる。Zagier による有理直角三角形の3辺は至る所に出ているんだが、y2＝x3－1572x の有理点が出ている文献や web ページは皆無。そこで仕方ないので、3辺から逆に有理点を作った。それはある点の2倍になっていることがわかっているので、duplication formula などを使って、そのある点を求めてみた。出来た。ゴツイが、こんなもんか、という感じでもある。SageMath でこの点が求まらないわけないぞ、と Mordell－Weil 群を求める命令をいくつか試して、パラメータも適当に調整して、とやったんだが、求まらなかった。こういう時はヨコエンモン氏に聞くに限る、というわけでメールを書いて、そこで切り上げて寝た。
起きた後も引き続き。ヨコエモン氏からメールが来ていた。求まったそうだ。うむ、さすが。小生の選んだパラメータは意味なくでかかったようで、もっとマイルドな大きさの値でよかったようだ。ありがたい。その後 277 と戯れる。これは 157 よりもっとゴツイ三角形の面積で、直角を挟む2辺が色々な所に出ていた。そこから y2＝x3－2772x の有理点を求めてみた。そうとうごつい。分数にしてディスプレイ math モードで書いても overfull するくらい。multline＊ 環境で2行に分けてようやく画面に収まった。こういう例はなんかの時に役立つので、どんどん TeX 化している。楽しかった。
さて、今日の Carp vs. Baystars は雨で中止。明日も中止になりそうだが、どうだろうか？Tigers vs. Giants も中止。ということで今晩はいらいらしないで済みそうだ。明日は1時からゼミだし、程々の時間に寝る予定。
起きた後も引き続き。ヨコエモン氏からメールが来ていた。求まったそうだ。うむ、さすが。小生の選んだパラメータは意味なくでかかったようで、もっとマイルドな大きさの値でよかったようだ。ありがたい。その後 277 と戯れる。これは 157 よりもっとゴツイ三角形の面積で、直角を挟む2辺が色々な所に出ていた。そこから y2＝x3－2772x の有理点を求めてみた。そうとうごつい。分数にしてディスプレイ math モードで書いても overfull するくらい。multline＊ 環境で2行に分けてようやく画面に収まった。こういう例はなんかの時に役立つので、どんどん TeX 化している。楽しかった。
さて、今日の Carp vs. Baystars は雨で中止。明日も中止になりそうだが、どうだろうか？Tigers vs. Giants も中止。ということで今晩はいらいらしないで済みそうだ。明日は1時からゼミだし、程々の時間に寝る予定。
2020年7月6日月曜日
ヤリスの自動運転機能を確かめてみた
月曜日は1時からM1ゼミ。起きたら12時45分。うーん、リモートでよかった。今日は C 上の楕円曲線の話や、有限体上の楕円曲線の話。割合知った話しだったので、適宜突っ込みを入れる。何でもレポートを沢山提出しないといけないそうで、昨日はあまり予習が出来なかったとか。ということで3時半前に終了。まあいいでしょう。来週は reduction とか素数判定の話をやるようだ。もうすぐ本が終わってしまう。どないしよ？順調すぎて恐いくらいだ。
その後ちょっと職場へ。別に行かなくてもいいんだが、新車に付いている高速道路を一定の速度で走らす機能を確かめたくて。京都東から名神に乗って、速度が80km/hに成ったところで設定ボタンを押す。でアクセルから足を離したら、ちゃんと80km/hに保って運転してくれた。凄い。ハンドルは力を入れずに握っていたので、車線をはずれそうになった時の自動車線維持機能でハンドルがちょっと回るのが分かった。これまた凄い。トヨタの人に寄れば、「理論上はアクセルもハンドルも触らないで運転できるはずです」とのこと。うーん、確かめたいが、ちょっと恐いな。まあ機能は確かめた。後は慣れるだけ。姫路までノーアクセルで行けるでしょうか？天気が良くなったら行ってみる。
職場に行ったが特にすることがあるわけではない。何も無しで帰るのはばかばかしいので、コブリッツ（上田、浜畑訳）「楕円曲線と保型形式」を住処に持って帰ることにした。面積37の有理直角三角形を作るのはどうやればいいのかと思って。そうか、点を2倍すればよかったんだな、と分かったので、これから作ってみる。Mordell－Weil 群は SageMath に計算させる。どんなになるでしょうか？楽しみ。
そうそう、SageMath と言えば。先日 SageMath では Jordan 標準形が求められないようなことを書いたが、SageMath でも求められるという指摘がヨコエモン氏からあった。うむ、流石 SageMath やね。何でも出来る。線形代数の講義の助けとして、使う機会が増えそうだ。
九州の大雨は凄いことに成っているようだ。京滋地方も結構降っているが、九州に比べたら全然大したこと無い。ここ数年雨の害が凄い。やはり異常気象なんだろうか？これ以上ひどいことに成らないのを願うしかない。神様、お願いします。これ以上九州に被害を及ぼさないで下さい。
その後ちょっと職場へ。別に行かなくてもいいんだが、新車に付いている高速道路を一定の速度で走らす機能を確かめたくて。京都東から名神に乗って、速度が80km/hに成ったところで設定ボタンを押す。でアクセルから足を離したら、ちゃんと80km/hに保って運転してくれた。凄い。ハンドルは力を入れずに握っていたので、車線をはずれそうになった時の自動車線維持機能でハンドルがちょっと回るのが分かった。これまた凄い。トヨタの人に寄れば、「理論上はアクセルもハンドルも触らないで運転できるはずです」とのこと。うーん、確かめたいが、ちょっと恐いな。まあ機能は確かめた。後は慣れるだけ。姫路までノーアクセルで行けるでしょうか？天気が良くなったら行ってみる。
職場に行ったが特にすることがあるわけではない。何も無しで帰るのはばかばかしいので、コブリッツ（上田、浜畑訳）「楕円曲線と保型形式」を住処に持って帰ることにした。面積37の有理直角三角形を作るのはどうやればいいのかと思って。そうか、点を2倍すればよかったんだな、と分かったので、これから作ってみる。Mordell－Weil 群は SageMath に計算させる。どんなになるでしょうか？楽しみ。
そうそう、SageMath と言えば。先日 SageMath では Jordan 標準形が求められないようなことを書いたが、SageMath でも求められるという指摘がヨコエモン氏からあった。うむ、流石 SageMath やね。何でも出来る。線形代数の講義の助けとして、使う機会が増えそうだ。
九州の大雨は凄いことに成っているようだ。京滋地方も結構降っているが、九州に比べたら全然大したこと無い。ここ数年雨の害が凄い。やはり異常気象なんだろうか？これ以上ひどいことに成らないのを願うしかない。神様、お願いします。これ以上九州に被害を及ぼさないで下さい。
2020年7月5日日曜日
案の定小池百合子が圧勝
案の定今日は二日酔いと下痢。ということで運転は無し。座席の調整とミラーの調整をしてきた。大分前の車の感じに近くなった。ということで、快適に運転が出来るでしょう。
都知事選があったわけだが、結果は案の定小池百合子が当選確実。山本、宇都宮、小野の3候補者の票数を足しても小池百合子の票数には届かない。圧勝やね。まあ予想通り。4人を除いた得票は見るも無残。本当に当選できると思って出馬した人はどれくらいいるんだろう？税金の無駄遣いだから、泡沫候補の出馬はご遠慮願いたい。
起きたら野球が始まっていた。見始めた時点では0－0だったのだが、直後にソトの満塁ホームランが出た。よっしゃー、ということで一気に目が覚めた。先発平良がナイスピッチングで、7回無失点。打っては2安打ということで、2勝目。気分のいい試合だった。Giants が負けたので、1.5ゲーム差。まだまだ付いて行きましょう。
都知事選があったわけだが、結果は案の定小池百合子が当選確実。山本、宇都宮、小野の3候補者の票数を足しても小池百合子の票数には届かない。圧勝やね。まあ予想通り。4人を除いた得票は見るも無残。本当に当選できると思って出馬した人はどれくらいいるんだろう？税金の無駄遣いだから、泡沫候補の出馬はご遠慮願いたい。
起きたら野球が始まっていた。見始めた時点では0－0だったのだが、直後にソトの満塁ホームランが出た。よっしゃー、ということで一気に目が覚めた。先発平良がナイスピッチングで、7回無失点。打っては2安打ということで、2勝目。気分のいい試合だった。Giants が負けたので、1.5ゲーム差。まだまだ付いて行きましょう。
2020年7月4日土曜日
YARIS ＆ GO!
午前中は市内某所で野暮用。久々に電車に乗った。マスクをしないで行くのが憚られたので、マスクをしていく。もちろんアベノマスクではない。アベノマスクの処遇をどうしようか検討中。自民党に送り返すか、はたまたリカーマウンテンでノンアルコールビールと交換するか。まあもうちょっと考えよう。
その後トヨタへ。ついに新車が入庫したとのことで取りに行く。YARIS ＆ GO! である。17年間ヴィッツに乗り続けてきたが、今回からヴィッツがヤリスと名前を変えたのでヤリスにした次第。高速道路走行中は一定速度で走れたり、車間を自動的に適切に保ってくれるなど、安心設計。さらに衝突を回避してくれる機能も付いていて、小生のような粗忽者にはありがたい。が、トヨタの人に一回聞いただけでは流石に飲み込めず、一生懸命マニュアルを読んだ。なるほど、そういうことだったか、という感じ。明後日以降高速道路運転で実地訓練を積む。明日？今日はこれから呑むからね。明日は二日酔い＋下痢になるのが目に見えているのでパス。その前に座席やミラーの微調整をしないと。その方法もさっきマニュアルを読んで勉強した。座席とミラーの調整くらいなら二日酔いでも出来る。明日中にやってしまおう。
上に書いた通り、色々衝突回避対策が練られている車なのだが、いかにせんうるさい。小生のマンションは立体駐車場なのだが、枠の中に車を止めなくてはいけない。その際に後部がまず枠に近づき警告音、その後前部が枠に近づき警告音、その後後部が壁に近づくのでまた警告音。音が鳴らないようにする方法はあるようだが、もしもの時に困るので、うるさいのは我慢することにする。他にも色々注文を付けたいところはあるが、まあ文句を言っても仕方ないので、慣れることにする。とにかくもう少し走らないと。来週も天気が悪いようだし、職場に行く用も無いので、目的無く高速道路を走ったり、一般道を走ることにしよう。今日カーナビに自宅と職場を登録したので、カーナビの実験もしたい。うまく登録出来ているか試すために1回職場に行くか。
さて、呑みに行くか。先日大将がハーレーの1200ccを手に入れて、色々自慢されたので、自慢し返すことにしよう。
その後トヨタへ。ついに新車が入庫したとのことで取りに行く。YARIS ＆ GO! である。17年間ヴィッツに乗り続けてきたが、今回からヴィッツがヤリスと名前を変えたのでヤリスにした次第。高速道路走行中は一定速度で走れたり、車間を自動的に適切に保ってくれるなど、安心設計。さらに衝突を回避してくれる機能も付いていて、小生のような粗忽者にはありがたい。が、トヨタの人に一回聞いただけでは流石に飲み込めず、一生懸命マニュアルを読んだ。なるほど、そういうことだったか、という感じ。明後日以降高速道路運転で実地訓練を積む。明日？今日はこれから呑むからね。明日は二日酔い＋下痢になるのが目に見えているのでパス。その前に座席やミラーの微調整をしないと。その方法もさっきマニュアルを読んで勉強した。座席とミラーの調整くらいなら二日酔いでも出来る。明日中にやってしまおう。
上に書いた通り、色々衝突回避対策が練られている車なのだが、いかにせんうるさい。小生のマンションは立体駐車場なのだが、枠の中に車を止めなくてはいけない。その際に後部がまず枠に近づき警告音、その後前部が枠に近づき警告音、その後後部が壁に近づくのでまた警告音。音が鳴らないようにする方法はあるようだが、もしもの時に困るので、うるさいのは我慢することにする。他にも色々注文を付けたいところはあるが、まあ文句を言っても仕方ないので、慣れることにする。とにかくもう少し走らないと。来週も天気が悪いようだし、職場に行く用も無いので、目的無く高速道路を走ったり、一般道を走ることにしよう。今日カーナビに自宅と職場を登録したので、カーナビの実験もしたい。うまく登録出来ているか試すために1回職場に行くか。
さて、呑みに行くか。先日大将がハーレーの1200ccを手に入れて、色々自慢されたので、自慢し返すことにしよう。
2020年7月3日金曜日
はま寿司で大トロを食べて、ついでにドライブ
今日は10時のアラームで目が覚めるも、その後再び撃沈。10時半のアラームは全く気付かず、最終的に起きたのは11時半。11時半過ぎに用事があったので、急いで飛び起きて出掛ける。幸い大過なく終了。一旦住処へ戻る。
住処へ戻ってから、車で「はま寿司」を目指す。大トロキャンペーン中につき。土曜日だと100円になってしまうが、平日は90円。ということで明日に回さず出掛ける。が、はま寿司の看板を発見できず、通り過ぎてしまう。すぐにでも引き返そうかと思ったんだが、まだ時間的には早いし、ドライブを兼ねて大回り。六地蔵まで行ってしまった。で1週してきた後は無事はま寿司を見付け、大トロを食べてきた。まあ回転寿司だ、多くを期待してはいけない。90円であれだけの味なら満足。
はま寿司を出たら直帰しようか、と思っていたんだが、右折で出ないといけないし、後ろに車がついていたので、左折で出る。今度もさっきと同じ理由でドライブに出掛ける。「北川顔」を確認しておきたかったので、外環を観月橋方面へ。その後大山崎方面を目指し、「北川顔」を見付けたので、淀方面を目指し、その後外環を六地蔵方面。35kmほど走って時間は1時間強。結構渋滞してたからね。雨の日はどうしても渋滞する。明日も雨だそうだが、また渋滞するんだろうか。明日は諸事情で車を出さないといけないので、渋滞はほどほどにして欲しい。
5時前に帰宅。昨日の「夜の巷を徘徊する」を見てからシャワー。今朝慌ててて、シャワーを浴びる時間が無かったので。すっきりして野球観戦。今日は1回にいきなり2点取られ、その後取ったり取られたりを繰り返し、5−4 で勝利。先発の今永が4点取られるも勝ち投手。佐野のタイムリーが決勝打。三嶋と康晃が好リリーフを見せる。点差の割には楽勝といった感じだった。今日負けると Swallows と入れ替わって3位に後退するところだったが、持ち堪えた。開幕2連敗の後は連敗無しと、大崩れしないのが今年のいいところ。明日、明後日も勝って、また大型連勝といきましょう。
ちょっと思うところあって、うちの図書館にファン・デル・ヴェルデンの「現代代数学」があるか調べてみた。結果を見ると、1巻と2巻はあるが、3巻が無い、とのこと。うむけしからん。じゃあ、と冗談で滋賀県立図書館の蔵書検索で調べてみたら、何とある。うーん、すごい。以前一松信「角の3等分」がうちの図書館になく、滋賀県立図書館を調べたらあったということがあった。その時に滋賀県立図書館の貸し出しカードを作ったのだが。いい図書館だ。もうちょっと貸し出し期間が長いといいんだが。まあ公立の図書館に贅沢を言ってはいけない。
明後日は都知事選だ。現知事は選挙運動をせず、公務に集中している模様。凶と出るか吉と出るか、見もの。今回は立候補者が多いようだが、一定数票を集めないと供託金が返ってこないはず。金持ちが多いのだろうか？恐らく上位数名を除けば惨めなくらい票が集まらないと思う。そこまでして選挙出たいかね？選挙と言えば、ロシアの大統領は死ぬまで大統領を出来ることになるよう憲法を改正するとか。そのための国民投票は賛成派の圧勝だったそうである。これがどうにも怪しいらしい、というのが専門家の主張。まあ怪しいんでしょうね。権力を握るというのはそんなに気分のいいことなんだろうか？小生は責任は背負いたく無い方なので、気持ちがわからん。日本の首相も今の地位に連綿としている感じ。早く辞めて楽になりなさい。
住処へ戻ってから、車で「はま寿司」を目指す。大トロキャンペーン中につき。土曜日だと100円になってしまうが、平日は90円。ということで明日に回さず出掛ける。が、はま寿司の看板を発見できず、通り過ぎてしまう。すぐにでも引き返そうかと思ったんだが、まだ時間的には早いし、ドライブを兼ねて大回り。六地蔵まで行ってしまった。で1週してきた後は無事はま寿司を見付け、大トロを食べてきた。まあ回転寿司だ、多くを期待してはいけない。90円であれだけの味なら満足。
はま寿司を出たら直帰しようか、と思っていたんだが、右折で出ないといけないし、後ろに車がついていたので、左折で出る。今度もさっきと同じ理由でドライブに出掛ける。「北川顔」を確認しておきたかったので、外環を観月橋方面へ。その後大山崎方面を目指し、「北川顔」を見付けたので、淀方面を目指し、その後外環を六地蔵方面。35kmほど走って時間は1時間強。結構渋滞してたからね。雨の日はどうしても渋滞する。明日も雨だそうだが、また渋滞するんだろうか。明日は諸事情で車を出さないといけないので、渋滞はほどほどにして欲しい。
5時前に帰宅。昨日の「夜の巷を徘徊する」を見てからシャワー。今朝慌ててて、シャワーを浴びる時間が無かったので。すっきりして野球観戦。今日は1回にいきなり2点取られ、その後取ったり取られたりを繰り返し、5−4 で勝利。先発の今永が4点取られるも勝ち投手。佐野のタイムリーが決勝打。三嶋と康晃が好リリーフを見せる。点差の割には楽勝といった感じだった。今日負けると Swallows と入れ替わって3位に後退するところだったが、持ち堪えた。開幕2連敗の後は連敗無しと、大崩れしないのが今年のいいところ。明日、明後日も勝って、また大型連勝といきましょう。
ちょっと思うところあって、うちの図書館にファン・デル・ヴェルデンの「現代代数学」があるか調べてみた。結果を見ると、1巻と2巻はあるが、3巻が無い、とのこと。うむけしからん。じゃあ、と冗談で滋賀県立図書館の蔵書検索で調べてみたら、何とある。うーん、すごい。以前一松信「角の3等分」がうちの図書館になく、滋賀県立図書館を調べたらあったということがあった。その時に滋賀県立図書館の貸し出しカードを作ったのだが。いい図書館だ。もうちょっと貸し出し期間が長いといいんだが。まあ公立の図書館に贅沢を言ってはいけない。
明後日は都知事選だ。現知事は選挙運動をせず、公務に集中している模様。凶と出るか吉と出るか、見もの。今回は立候補者が多いようだが、一定数票を集めないと供託金が返ってこないはず。金持ちが多いのだろうか？恐らく上位数名を除けば惨めなくらい票が集まらないと思う。そこまでして選挙出たいかね？選挙と言えば、ロシアの大統領は死ぬまで大統領を出来ることになるよう憲法を改正するとか。そのための国民投票は賛成派の圧勝だったそうである。これがどうにも怪しいらしい、というのが専門家の主張。まあ怪しいんでしょうね。権力を握るというのはそんなに気分のいいことなんだろうか？小生は責任は背負いたく無い方なので、気持ちがわからん。日本の首相も今の地位に連綿としている感じ。早く辞めて楽になりなさい。
2020年7月2日木曜日
Giants桜井の前に2安打1得点のみ
今日は10時半頃電話で起こされた。大事な用件なので、メモを取る。それを受けて2時過ぎに職場へ向けて出発。ちょっと電話で聞いた件を書いて提出する書類があるので。ついでに、学生用に買ったペンタブレットの領収書にハンコを押す用事も済ませてきた。さらについでに、生協との支払いで意味不明な件があったのだが、それも解決してきた。これでまたしばらく行かないで済む。ということで1時間半くらい職場にいて、4時半過ぎに職場を離れた。
5時過ぎに住処へ戻ってきた。その後昨日の「タモリ倶楽部」を見てから、野球観戦開始。今日も vs. Giants。4回に2点先制された。その後宮崎のソロホームランで1点取り返し、膠着状態のまま8回へ。昨日完璧な投球を見せたパットンが登板。パットンは割合勝ち運を持ってる感じで、リリーフで出て既に2勝している。これは今日も、と期待したら、何と3点取られてしまった。まあ外野がもう少し前に守っていれば取れた当たりばかりなので、パットンが全て悪いわけではない。こんな日もあるさ。と諦め半分で見ていたんだが、9回表に2点取った。それだけに8回の失点が余分。先発の桜井から2安打しか打てなかった打線にも問題がある。明日から Swallows 戦だそうだ。まだまだ頑張って、首位について行きましょう。そうすればチャンスはいつか来る。
さて、Tigers はまた負けたそうである。これで借金8で、借金があるのは Tigers のみとなった。このまま行くと100敗ペースだそうだ。うむ、下柳がセ・リーグの優勝は Tigers と予想したが、とんだ大外しだ。Tigers が弱いと関西はしゅんとしてしまうので、少しは頑張って欲しい。Baystars 戦だけ大人しくしてくれればいい。頑張れ Tigers。
5時過ぎに住処へ戻ってきた。その後昨日の「タモリ倶楽部」を見てから、野球観戦開始。今日も vs. Giants。4回に2点先制された。その後宮崎のソロホームランで1点取り返し、膠着状態のまま8回へ。昨日完璧な投球を見せたパットンが登板。パットンは割合勝ち運を持ってる感じで、リリーフで出て既に2勝している。これは今日も、と期待したら、何と3点取られてしまった。まあ外野がもう少し前に守っていれば取れた当たりばかりなので、パットンが全て悪いわけではない。こんな日もあるさ。と諦め半分で見ていたんだが、9回表に2点取った。それだけに8回の失点が余分。先発の桜井から2安打しか打てなかった打線にも問題がある。明日から Swallows 戦だそうだ。まだまだ頑張って、首位について行きましょう。そうすればチャンスはいつか来る。
さて、Tigers はまた負けたそうである。これで借金8で、借金があるのは Tigers のみとなった。このまま行くと100敗ペースだそうだ。うむ、下柳がセ・リーグの優勝は Tigers と予想したが、とんだ大外しだ。Tigers が弱いと関西はしゅんとしてしまうので、少しは頑張って欲しい。Baystars 戦だけ大人しくしてくれればいい。頑張れ Tigers。
2020年7月1日水曜日
ようやく「代数的数」と「代数的整数」の定義が出来た
水曜日は「数論序説」ゼミ。原始根を使って合同式を解く例と、「n冪剰余」という言葉を定義。当然「平方剰余」も。まだルジャンドル記号は出てこない。が、今日ようやく「代数的数」と「代数的整数」という言葉を定義できた。で代数的整数の全体が環を成すこと、代数的数の全体が体を成すことを証明。後者の証明が面白かった。今日はホワイトボード（今日から Limnu に切り換え）には1回だけ馬鹿にされただけで済み、ゼミは3時半前に終了。来週は有限群の指標の定義をして、「平方剰余の相互法則」と「第一、第二補充法則」を証明できる予定。これが終わればようやく「代数体」という言葉が定義できる。春学期中にここまで行くのだから、まあ上出来かな。1ヶ月遅く始まってるしね。年度中に2章が終わればいいかな。
4時半から会議。形式的に済む議論が多かったが、ちょっと真剣に議論しなければいけない内容もあって、6時半前に終了。案外疲れた。
で会議終了後は即野球。4回終了時点で 0－3。嫌な感じである。そうこうしているうちに出前が届く。今日は Uber Eats でなく出前館で。王将の餃子とキムチ炒飯、ちょっと贅沢してそれに加えて麻婆豆腐。もそもそと食べていると大和にホームランが出た。これは珍しい。多分プロ入って5本目くらいじゃないだろうか？そこからは投手陣が粘り、無失点に抑える。7回に宮崎のボテボテの内野ゴロをピッチャーが取り損ない、内野安打となり1点。8回には満塁からオースティンのタイムリー3ベースで一気に3点を取り逆転！7回2アウトから8回はパットンが4者連続三振を奪って、9回は康晃。ランナー1人を出すも、点は許さずで、5－3 で終了。さあ明日も勝って、勝ち越しと行きましょう。ついでに去年一度も出来なかった奪首を。まあこの時期にあまり1位だ2位だと騒いでも意味は無いが、まあ勝ち癖を付けようという意味でも首位に立つのはいいこと。頑張りましょう。
Giants のパーラの打席の時に掛る音楽だが、アメリカでは有名な歌らしい。が、一部の日本人に取っては、その曲が流れると平成生まれの馬鹿者（の一部）の顔が思い浮かんでしまうだろう。もしくはハマちゃんの「考えたことな～いチェック」という顔が思い浮かぶか。いずれにせよあの曲はやめた方がいい。そのうち打てなくなって、馬鹿にされて退場するのがオチ。まあ Giants の助っ人が散々な成績を残すのは見てて気分がいいので、当分使い続けてもいいが。
4時半から会議。形式的に済む議論が多かったが、ちょっと真剣に議論しなければいけない内容もあって、6時半前に終了。案外疲れた。
で会議終了後は即野球。4回終了時点で 0－3。嫌な感じである。そうこうしているうちに出前が届く。今日は Uber Eats でなく出前館で。王将の餃子とキムチ炒飯、ちょっと贅沢してそれに加えて麻婆豆腐。もそもそと食べていると大和にホームランが出た。これは珍しい。多分プロ入って5本目くらいじゃないだろうか？そこからは投手陣が粘り、無失点に抑える。7回に宮崎のボテボテの内野ゴロをピッチャーが取り損ない、内野安打となり1点。8回には満塁からオースティンのタイムリー3ベースで一気に3点を取り逆転！7回2アウトから8回はパットンが4者連続三振を奪って、9回は康晃。ランナー1人を出すも、点は許さずで、5－3 で終了。さあ明日も勝って、勝ち越しと行きましょう。ついでに去年一度も出来なかった奪首を。まあこの時期にあまり1位だ2位だと騒いでも意味は無いが、まあ勝ち癖を付けようという意味でも首位に立つのはいいこと。頑張りましょう。
Giants のパーラの打席の時に掛る音楽だが、アメリカでは有名な歌らしい。が、一部の日本人に取っては、その曲が流れると平成生まれの馬鹿者（の一部）の顔が思い浮かんでしまうだろう。もしくはハマちゃんの「考えたことな～いチェック」という顔が思い浮かぶか。いずれにせよあの曲はやめた方がいい。そのうち打てなくなって、馬鹿にされて退場するのがオチ。まあ Giants の助っ人が散々な成績を残すのは見てて気分がいいので、当分使い続けてもいいが。
登録:
投稿 (Atom)