2018年4月30日月曜日

今日はガウスの誕生日

今日は昨日の振り替え休日だが、うちの大学は平日月曜日。整数論を専門にしている学生がいない中で代数的整数論の基本を教えるという、空しい講義。が、今日はガウスの誕生日であるということを知って、気分が入れ代わった。ガウスの誕生日に整数論をやれる幸せ。いつも通り出席している院生達の前で元気に講義。今日は代数体の判別式の計算をいくつか。あと U.F.D. の復習をやる。次回はガウスの整数環 Z[√-1] が U.F.D. であることを証明して、y2=x3-1 の整数解が x=1, y=0 のみであることを証明。その後いよいよ素イデアル分解の一意性に入る予定。さあ山場だ。

で今日はちょっと張り切ったためか、疲れたし、ハイテンションになった。でそんな状況で、たまり場の方へタバコに火を点けながら向かっている学生がいたので、早速止めさせる。で学生が向かっていた方へ行ってみると、何人もの学生がタバコを吸っていた。こちとら超ハイテンション。大声を出し、一人一人止めさせる。小生が後を向くまで知らん振りの学生がいたが、そういう奴は余計餌食になる。そいつが止めるまでじーっと見る。さすがに止めた。が、小生が立ち去った後はまたタバコを吸い始めるんだろうけど。

でまあタバコチェックはそこそこにして、住処へ戻って野球観戦。今日は Dragons の先発が松坂なので、楽しみにしていた。3安打しか打たれなかったが、8個も四球を出したらしい。で Baystars は何点取ったかというと、わずか1点。満塁から押し出し四球で1点取っただけ。松坂に12年ぶりの日本での勝利を献上してしまった。しかも Giants に抜かれて3位転落。うむ、明日頑張ってくれないといかんね。明日からは Tigers と3連戦。3位とはいえ、貯金は2しかない。もっと勝って欲しいね。

野球終了後は、近所の担担麺屋で「肉入り担担麺」の並を食べてくる。小生大食いだと思われているかもしれないが、案外小食である。牛丼屋でも並しか食べない。まあそんなことはともかく。今日はガウスの誕生日であるので、整数論をやろう、ということで、講義ノートの revise をやる。結構真剣にやった。職場でやるより住処でやったほうが捗る。独り身のいいところやね。過去に作ったノートなので、今後の予定を思い出しておく。Minkowski の「数の幾何」には立ち入らないで、それでいてイデアル類群の有限性の証明をする。いい bound は得られないが、証明は短い。一応 Minkowski の方法で得られる結果を紹介することも忘れずにやる。実際にイデアル類群の計算もする。類数が2以上の虚二次体を無限個与えることもやる。ガウス予想「類数1の実二次体は無限個存在する?」も忘れずに紹介。楽しいなー。整数論専門の学生がいなくてもいいや。楽しくやろう。

2018年4月29日日曜日

延長戦を制す

今日は暑くて目が覚めた。もう羽毛布団のシーズンじゃないな。そろそろ夏がけを出すか。

で14時から野球。先発ウィーランドは今日もナイスピッチング。が1点を先制される。打順が回ってきても代打出されないから、続投だろう、と思ったら、その裏からピッチャーは三上。やっぱりウィーランドは打撃がいいんで、代打を出しづらかったんだな。で三上がホームランを打たれ 2-0。うむ、ちょっとやばいんでは、と思ったら、すぐロペスの2点タイムリー2ベースで追い付く。その後宮崎の当たりでロペスは一気にホームインか、と思ったらアウトの判定。きわどいタイミングだったので、当然リクエスト。協議の末判定はアウト、とのこと。うむ、まあしゃーない。その後エスコバーがノーアウト満塁のピンチを作るも、2三振で2アウト。そこで三嶋に交替して、三嶋がぴしゃり。9回も三嶋がピシャリ抑えて、延長へ。出ました、筒香の決勝2ラン。最後は康晃が締めて、4-2の 勝利。いやー、Giants がくっ付いてきただけに、今日の1勝はでかい。連敗も4でストップ。勝ち投手は三嶋。当然。ヒーローインタビューは筒香。これも当然。まあウィーランドに勝たせてあげたかったが、今日のようなピッチングを続けていればいつかは勝ちは舞い込んでくるでしょう。

その後多少ごそごそしてから「熟豚」へ電話。40分くらい掛る、とのことなので、住処でごそごそしながら待つ。で電話が掛ってきたので出動。今日は1250円と安く上げてきたが、値段が安いからと言って味が落ちるわけではない。今日のトンカツもジューシーで最高。もう他のトンカツは食えんね。来週も行こうか?

明日は平日月曜日なので、昼から講義。ということでもう寝ることにする。じゃ!

2018年4月28日土曜日

鮮やかな勝ち越し

呑んできた翌日は、デーゲームは大抵途中からなのだが、今日は珍しく最初から見た。石田、小笠原、両先発左腕同士の息詰まる投げ合い。石田が先に引っ込んで、1-1 という状況だったので、勝ち星は付かず。最近は先発ピッチャーを見殺しにすることが多い。で8回に一気5点で、小笠原を打ち崩す。満塁から筒香の走者一掃のタイムリーヒット、次打者ロペスが2ランホームラン。鮮やかな攻撃であった。神里が出塁して、盗塁したのが効いたね。ただの長打攻勢に見えるが、どうしてどうして、中々のスモールベースボールだった。

明日トンカツを食べたいので、今日は呑まずに体調を整えておくことにする。腹の調子が悪いと食べることに集中できないんでね。月曜日は振り替え休日なのだが、月曜の講義を普通にすることになっているんで、明日も呑まない。ゴールデンウィークは何の予定も無い。とりあえず数回呑みに行こう。

Journey of a Songwriter

今日(昨日ね)は、企業の就職担当の人が面談に見えるというので、職場に行く;これでも就職委員なんで。最初から「数理科学科には関係ない職」というのはわかっていたんだが、それを理由に断るのも何なので、一応話は聞く。聞いた感想:やっぱり関係なかった。今日の用事はそれだけ。速攻で職場を後にし、回転寿司で1400円弱食べて、住処へ戻る。

住処着。宅配便の荷物が届いてるらしい。で受取に行ったら、一昨日発売された、浜田省吾のライブ Blu-ray。来たか、ということで早速聞こう、というところでトラブル。テレビにつながっている Blu-ray レコーダーで聞けば何の問題も無いんだが、スピーカーがしょぼい。ということで、画面はパソコンで、音声はヘッドフォンで楽しむことにする。が、再生されない。ネット検索の結果、「Blu-ray を再生できる free software はありません」とのこと。がーん。で外付けの Blu-ray ドライブの説明書を見ると、「本製品は再生ソフトウェアを付属しておりません」とのこと。がーん。「Blu-ray 再生」とかで検索してみて、仕方ないので購入することに。で色々あって、ようやく Blu-ray を再生できる状態になった。その後2時間30分弱、浜省のライブを楽しむ。いやー、いつ見ても浜省はかっこいい。J Boy の時に昔の画像が流れるんだが、やっぱり浜省も年老いたね。もう次のライブは望めんのだろうか?

で終わってちょっとくらいに、電話。1時間近く話す。うむ、やっぱりファンだな。もう3回くらい見ているらしい。小生は見なきゃいけないものがありすぎるので、次に見るのはいつになることか。

で電話を切ったところで時間を見ると、まだ寝るにはちと早い時間。呑みに出るか、ということで一軒だけ。「ふなごや」で。「テンパブ」は今日は行かない。キャッシュオンなので、いくら払ったか分からない。結構払っているかもしれない。今日は財布が軽いので、「テンパブ」はやめておく。明日(今日ね)はデイゲームだ。そろそろ寝て、明日(今日ね)の野球に備えることにする。

ということで寝ます。じゃ!

2018年4月26日木曜日

ルーキー東、毎回奪三振も勝ち星付かず

今日の野球はフラストレーションのたまる試合だった。1回表にいきなり Carp が3点。その裏、今日スタメンのルーキー宮本秀明(しゅうめい)の2試合連続ホームランなどで2点取り返し、2回裏に梶谷のタイムリーで同点。先発の東(あずま)は立ち直り、8回まで投げ切った。毎回奪三振はお見事。こんな試合は東に勝ち星を付けたいところだが、結局東には勝ち星は付かず。で9回表に康晃がエルドレッドに勝ち越しソロホームランを打たれ、それでジ・エンド。チャンスは潰しまくるし、康晃が敗戦投手と、非常にやな感じだった。これで4連敗。しかも Carp に3タテを食らった。痛い、痛すぎる。去年 Carp に唯一勝ち越したのが Baystars だったから、今年も苦しめたろ、と張り切っていたんだが。今年はかもられるかもわからんね。

野球を見た以外は本当に何もしていないんで、書くこと無し。明日企業の採用担当の人と会うことになってるんで、もう寝る。じゃ!

昨日から今日にかけて

昨日は11時に起きるよう目覚ましを仕掛けておいたんだが、9時半頃に宅配便が来て起きる。何だと思ったら富士通から。箱を開けてみると、手紙が1通。「症状は起こりませんでした」とのこと。うむ、それなら、と思って電源を入れたら、症状出まくり。仕方ない、仲良くやっていくしかないのか。まあタッチパッドは FN+F4 で無効に出来ることはわかっていたので、最低限の作業をしたら FN+F4 を実行することにする。エディターを開いて、コマンドプロンプトを開いて、dvi を開いて最大化する、後はキーボードで何とかなるので、問題無し。辞書も移し替えたし、後は何とかなる。

というところで卒研ゼミへ。月、火と寝不足気味で、水曜日は遅刻する、というのが2週間続いたんだが、今日は間に合う時間に職場に着く。が、駐車場からウェストに向かう間に腹が痛くなり、数分ロス。朝は食べたけど軽かったので、生協にサンドイッチを買いに行く。これも時間のロスで、今日こそは13時に間に合うようゼミ室へ行くはずだったのだが、ウェストの1階に着いたところで13時のチャイム。6階の個研室でサンドイッチを無理やり口に放り込んで、5分遅れでゼミ開始。

でゼミはというと、皆よく準備してきている。「a が整数で」とかそのまま黒板に書かずに、ちゃんと「a∈Z」と書くし、ギャップのあるところはきちんと埋めてきて、字も綺麗、という感じ。満足いくゼミだった。

ゼミ終了後は学科会議。ちょっと重めの話題が多くて疲れた。5月に就職ガイダンスとOBによる講演会があるそうで、そのビラを配るよう言われる。まあそれくらいはするぞね。で会議終了後は、野球に間に合わすべく速攻で住処へ向かう。

野球を見始めたら、「ロペスの2ランホームランで Baystars 逆転」との情報。で2回表から見始めたんだが、そこから草野球。内野ゴロを平気で後にそらし、外野フライは照明に重なって取れず。3ボールから3ボール2ストライクまでいくも、結局押し出しの四球。その後も地味に点は取るんだが、取った以上に取られて、11対5の大敗。が、上には上がいて、Giants vs. Dragons は 20-4 とか。Giants が前に20点取ったときは川上哲治が4番だったとか。Giants ファンに「川上さん」と言ったら「誰?」と聞き返された。大丈夫、Giants は今日は勝てない。試合が無いからね。

で野球の裏番組で TeX を返ってきたコンピューターにインストールしていた。が、野球が終わってもまだ終わっていない。まあさっき書いた通り草野球だったので、インストールの最後の方はコンピューターに貼り付いていた。で TeX が22時15分過ぎにようやくインストールされたので、動作確認。うむ、無事に行ったようだ。で時計を見たら、もう22時40分。いつもの「ふなごや」に行こうかと思ったんだが、オフィシャルには23時閉店なので、昨日オープンした「テンパブ」に行く。物珍しさで沢山客が来ていたが、終電の時間やら何やらでどんどん抜けていき、最後は同窓会状態。うむ、山科賑やかに成るな。ユースケちゃんも新しい店をオープン予定らしいので、楽しみは尽きない。どっぷり感慨に浸っていたら、帰るタイミングを失う。結構な時間までビールをひたすら呑んでいた。

で「テンパブ」をかろうじて抜け出してきて、「なか卯」でトイレを借りて、独「小うどん」でも、と思ったら、「らくざ」の店長と常連客が2人でいた。トイレは借りたんだが、独、というのではなくなった。豪ちゃんによれば、中々「テンパブ」の未来は厳しそうだ。ちょくちょく行こうと思うんだが、次はいつだろうか?

ということで昨日から今日にかけての顛末でした。これを皆さんが読んでいる頃はすやすやと寝ているでしょう。まあそういうことで。

2018年4月24日火曜日

衣笠祥雄さん急死

今日は8時におきるつもりで、ちゃんと8時に起きたんだが、夜中に一回目が覚めたこと、隣の敷地で工事が朝早くからやってることにより、目覚めは不快。工事って8時なんていう時間にやっていいんだろうか?まあいいんだけどさ。

10時40分から「代数学I」。今日は「体は整域」から始めて、準同型写像、イデアルと進む。核がイデアルになることを示して時間切れ。次回は剰余環についてやる予定。難しいところだ、付いてきてくださいよ。と思いつつ黒板を消していると、1人の学生が質問に来る。「環の定義に a(b+c)=ab+ac があるんですけど、(a+b)c=ac+bc はいらないんですか?」と。う、焦って書き忘れっぽいな。まだ学生はほぼ全員いたので、訂正を入れる。まずったな。前は1の定義を「1・x=x、∀x」としてしまったが、これは「1・x=x・1=x、∀x」がもちろん正解。ベクトル空間の公理と混同したようだ。が、その時は誰も質問に来なかった。証明中にしょっちゅう x・1=x は使っていたんだがなぁ。まあいいや。今日は暑くはなかったが、雨のせいで蒸し蒸しするので、結構汗をかいた。が、板書と板書の間に適宜 pause を入れてゆっくりやったためか、そんなに疲労感は無かった。

で13時からゼミなので、飯は学内で。一昨日トンカツ屋に行かなかったので、どうしてもトンカツが食いたかった。というわけで「ヒレカツセット」を注文。うん、やっぱり2回行った「熟豚」の方が美味かったな。で12時50分くらいに部屋に戻って、メイルを見たら「今日も休ませてください」だと。うむ、学内で急いで食うこと無かった。で教授会までがっつり時間が空いてしまった。仕方ないので部屋掃除など。今日も紙ごみが大量に出た。まだまだこんなもんじゃないぞ。心して掛ろう。

教授会は17時30分頃終了。今日はいつもと会場が違って少し遠かったので、駐車場まで必死に歩く。住処着18時20分くらい。で野球を見ると 2-0 で負けている。その後會澤のホームランで3点差、鈴木の犠牲フライで4点差、2アウトからのセンター神里の草野球プレーで満塁のランナーが全員帰ってきて一挙に3点取られる。今日登録された今永は負け投手。梶谷もノーヒット。まあ満塁2回、1、3塁1回という、点を取ってくださいというモードで1点しか取れないようでは勝てっこない。首位陥落とか。まあまだいいでしょう。

で教授会の最中に携帯電話をいじっていたら、「衣笠祥雄急死」とのニュース。びっくり。ほんの数日前に解説をしていたのだが。まあその時の喋り方は確かに辛そうだった。だからその日は衣笠さんだけでなくダブル解説だったのだろうか?何せ話すのが苦しそうだった。うーむ、ご冥福を祈る。今日は Carp が衣笠さんの墓前に勝ち星をささげたということにしておこう。

2018年4月23日月曜日

バッテリーあがる

今日は7時くらいに起きた。で9時半まで色々やる。で10時半に目覚ましが鳴るようになってるから、眠いしもう一寝入り、と思ったら11時まで寝てしまった。10時半に目覚ましを仕掛けておくと、もう1回寝てしまうので、11時に仕掛けなおしたんだった。風呂に入って、さあ出勤、と思ったら、車のドアが開かない。メカニカルキーで開けたが、秘密の方法でエンジンを掛けようにも掛らない。ということはこれは車のバッテリーあがりか?ルームライトのスイッチがオンになっていた。やっちまったなぁ!JAF を呼ぶと13時を超えてしまいそうなので、仕方ないから久々に電車で行く。南草津駅の近くに東横インが出来ていた。びっくり。駅から大学まではバスだが、50円安いシャトルバスは混むので、意図的に普通のバスに乗る。空いててよかった。

で今日は暑いので、講義中汗だく。昼飯もまだなので、終わったらふらふら。しばし部屋で調子が戻るのを待って、バスが混みそうもない時間に帰る。2両編成のシャトルバスだったし、混まない時間なのでガラガラ。前から乗りたかったのでよかった。あんな長いものを何のことなく運転するんだから、バスの運転手は凄い。電車は普通で。途中「滋賀県教習所」のある所を見ていたら、何と草ぼうぼうに成っているではないか。いつもガラガラだったから、採算が合わずに閉めたんだろうか?まあ母校「月輪教習所」は流行っているようだからいいんだけど。

で住処に着いたら即 JAF に電話。50分ほど掛る、とのことなので、録画しておいた「プロ野球ニュース」を見て時間を潰す。で JAF 到着。JAF の人は、小生の愛車のタイプのヴィッツは初めてらしく、しかもハイブリッド車なんて見たことも無かったらしい。でもそこは流石で、すぐにエンジンを掛けてくれた。「1時間ほどエンジンを掛けたままにしておいて下さい」とのことなので、ドライブするか、ということで、滋賀方面へドライブ。高速道路でだったら結構遠くまで行けそうだが、まあ渋滞する国道1号を通って立命館に行き、駐車場で折り返して、高速道路を走ってくれば軽く1時間くらいは掛るだろう、ということでその路線で。大学の近くで2両編成のシャトルバスとすれ違ったが、今度は結構混んでいた。そのすぐ後に普通のバスが走っていたが、ガラガラだった。で山科まで戻ってきて1時間ちょっとだったが、小野の「ココ壱」でカレーを食べて帰ってこよう、ということで「外環三条」を左折。カレーを食べて帰宅して、19時半くらい。いやー、時間を無駄に使ったな。まあ普通に帰ってきても時間を無駄遣いするからいいんだけど。

明日は10時40分から講義で8時半起きなので、早いうちに寝る。明日は今日ほど暑くないらしいが、やっぱりそこそこは暑いようなので、覚悟しよう。講義終了後ゼミと教授会。体力を温存しておかないといけない。明日はゆっくり講義しよう。

2018年4月22日日曜日

ウィーランド1発に泣く

昨日から今日にかけて、結構呑んだ関係で、今日は変な時間に寝た。しかも寝る前に朝食の前倒しをした。こういうのは太る原因だから良くない。でもまあしゃあない。

で夕方は4時ちょっと前に起きた。しばし電話。その後18時から野球。今日は由規に、7回途中まで1安打ピッチングをされた。Baystars の先発は今シーズン初登板のウィーランド。よく投げていたんだが、バレンティンの2ランホームランに泣いた。で1点取り返し、さあ1点差だ、面白くなるぞーというところで須田がぶち壊してくれた。山田に2ラン、西浦に2点タイムリー2ベースで4失点(まあ須田の失点は3だが)。9回にロペスがホームランを打っていただけに、4点が余計だった。無ければロペスの1発で同点だったんだが。まあ今日はしゃあない。諦めよう。火曜日からは Dragons 相手らしいので、しっかい叩いておきましょう。

明日は講義だ。起きて何時間も経っていないけど、もう寝ることにする。じゃ!

大杉

昨日から今日にかけて、書きたいこと大杉。

まず一つ目から。昨日書いたが、よく眠れた。が、朝食後にまた眠くなり、一寝入り。そうこうしているうちに、パソコンを引き取りにきてくれたんで、応対。

その後 y2=x3+1 の整数点を求めてみる。え、昨日(一昨日ね)有理点を求めたじゃないかって?いや、その通りなんだが、今日は y2-1 を (y-1)(y+1) と因数分解する方法でやってみたのだよ。そうすると、x3+dy3=1 の非自明な整数解は高々一つ、という難しい結果を使わないといけないことがわかった。Z[√-2] がUFDという結果を使わないといけないが、y2=x3-2 の方がはるかに易しく解けるのは意外。勉強に成った。

今日(昨日ね)は野球はナイトゲーム。じゃあ見るか、とはいかない。何故なら、この前書いた通り、今日(昨日ね)は友人と呑む約束があったので。24日に店をオープンする、と言っていたが、一緒に来た別の友人によると、とてもそんな芸当は出来ないくらい、準備が遅れているらしい。でも店長は「まあ大丈夫でしょう」と言っていた。うむ、小生の引越しの時に彼は手伝ってくれたのが、「全然準備出来てないやん!」と言ったのが嘘のような話。まあいいんだけど。

その後1軒梯子をして、2件目に「バーらくざ」へ。10周年らしく、結構混んでいた。最近とんとご無沙汰なんで、詫びと祝杯で「一杯どうぞ」をしておく。で店長に対し、らくざのマスター(豪ちゃん)が色々説教。うん、為になる。そういうことね、という感じ。で大分酔っ払ったので、適当に引き上げてくる。10周年記念にいい酒をいただいてくる。う、今日は無理。また後日、ということで冷蔵庫に入れておく。

らくざにいる時に電話が掛ってきたんだが、友人と一緒だったこともあり、電話には出なかった。申し訳ない。明日(今日ね)また電話ください。

で呑んでいる時に野球の速報を見たら、また Baystars は勝ったらしい。今日は呑みに行く前に先制点を取られるところまで見て、その後のピンチはどうなったんやろー、と気にしていたんだが、まさか勝つとは。うむ、本当に今年は優勝…、いやまだまだ期待してはいかん。横浜大洋ホエールズの昔、2年続けて4月は首位、終わってみたら2年連続最下位、ということがあった。(因みに2年とも月間 MVP は清水義之。)Eagles も去年は4月終了時にぶっちぎりの首位だったが、最終的には3位。ということでまだまだ何があるかわからん。何度も書くが、去年は4月終了時に借金があった。今後まだ何があるかわからん。心穏やかに応援しまひょ。

2018年4月20日金曜日

y^2=x^3+1 の Mordell-Weil 群を求めてみる

今日は昼前に用事だったのだが、遅れないよう緊張したためか、馬鹿に早く起きてしまった。寝不足なのは明らかだが、寝坊するよりは寝不足の方がましなので、起きていることにする。で先日見せてもらった Catalan 予想の本に、y2=x3+1 の整数点が求められることも Catalan 予想の一つの系だ、と書いてあった。なるほどその通り。というわけで有理点を全部求めてみようと。まあやる前から階数は 0 で、有限位数の点の成す群は Z/6Z と同型であることは知っていたので、気楽に構える。で階数の計算はどうやるんだっけか?と思って Silverman-Tate の本の和訳(足立、小松、木田、田谷訳)を見るも、よくわからない。昔後輩が「Silverman-Tate は易しく書いてありますけど、どこまでが主張でどこからが証明なのかよくわからない書き方をしているから嫌い」と言っていたのを思い出した。なるほどその通りかも知れない。でこういう時は、自分が昔学生に楕円曲線のことを講義したときのノートが一番分かりやすいだろう、と思って、ノートをひっくり返す。いいじゃないですか。ちゃんと定理と主張が分けて書いてあり、非常に読みやすい。やっぱりノートにきちんと整理して書いておくのが大事やね。で無事2時間ほどで計算できた。何が大変かというと、-M4+6M2e2+3e4=N2 が Me≠0 なる有理整数解 M,e,N を持たないことを示すのがちょっと難しい。これに時間を食った。まあ兎に角示せたということでよし。ついでに有限位数の有理点を求めることにするが、この時も苦労した。y2=f(x) (f(x) は重根を持たない有理整係数のモニック3次式)とした時、y 座標の2乗が f(x) の判別式を割っている、というステートメントだった。小生 y 座標の2乗が楕円曲線の判別式を割っている、と勘違いしていた。この場合だと f(x) の判別式の16倍が楕円曲線の判別式になるので、大違い。まあいずれにせよ有限位数の有理点も全て求めて、無事解決。今後使うことがあるかもしれないので、TeX でまとめておく。いやー勉強に成った。

ということで長ーく書いてしまったので、画面が黒いことでしょう。もう手短に。野暮用終了後は寝不足解消のため、ちょっと昼寝、と思ったのだが、夜まで寝てしまった。今晩寝られるんでしょうか?明日は12時から15時のどこかで宅配便の人がパソコンを引き取りに来るので、ちょっとは早起きしないと。まだ夕飯を食べていないので、食べてすぐ寝る努力をしよう。

2018年4月19日木曜日

コンピューターは結局メーカー送り

今日は昼前に起きた。野暮用で出掛ける。野暮用は1時間も掛らず終了。山科まで戻ってきて、喫茶店でドライカレーを食す。美味かった。

で14時にはもう住処に戻ってきていた。で、またコンピューターに馬鹿にされようかと思ったのだが、今の時間ならまだ電話で問い合わせが出来る時間だと気付き、富士通に電話してみる。何回かたらい回しにされて、どうも埒が明かない。出た結論は「初期化してください」だそうで、しぶしぶ従ってみる。この前長い時間掛けてインストールした TeX や、苦労して Ctrl と CapsLock を入れ替えたのも水の泡。でどうだったかというと、症状は全く変わらず。再度の電話で得られた答えは「一旦こっちに送ってください」とのこと。まあつまりは修理ということらしい。「データーは全て消える可能性がありますが、大丈夫ですか?」と問われる。幸いデーターはまだ一つも無いので、大丈夫。で明後日の12時から15時の間のどこかで引き取りに来るらしい。まあいいや、野球見てればいいんだし、と思ったら、明後日はナイトゲームのようだ。うむ、友人と夜会う約束をしてしまった。明後日の野球は仕方ないので諦める。

で野球の話。今日は1回裏2アウトから3点取った。筒香四球、ロペスヒット、宮崎、嶺井、桑原と3連続タイムリーヒット。鮮やかな速攻。が、その後点が取れないという、悪い病気が出た。まあ先発の東が8回途中まで無失点と好投したからよかった。残したピンチはパットンがぴしゃりと抑える。すると8回裏に嶺井の2点タイムリーヒット。ようやく追加点が取れた。最後は点差があるので、康晃ではなく井納。ぴしゃり3人で斬ってとって、連敗は避けた。首位の Carp はというと、たった今同点に追い付いて、延長戦へなだれ込むらしい。今日 Carp が負ければまた Baystars が首位なのだが。まあ何度も言っている通り、この時期の首位はあまり意味のあることではないので、騒がないことにする。とりあえずメイルに返事を出して、宿題(謎)をやったらとっとと寝よう。明日も午前中に用事があるのでね。

2018年4月18日水曜日

今日から卒研ゼミ

水曜日は卒研ゼミ。先週はテキストを配っただけで終了だったので、実質今日から。1人目は∀や∃を上手に使った、お手本のような発表だった。2人目、3人目はそれは1人目に比べるとちょっと劣ったが、よく予習しているようで、ちょっと突っ込みを入れるとすぐ答えてくれた。来週以降もかくあって欲しいものだ。

ゼミ終了後はまたコンピューターに馬鹿にされ続ける。とりあえず会議室で無線 LAN がさくさくつながることが分かったので、来週の会議に参加してもらおう。それまではいじらないかもしれない。

18時過ぎに帰宅。しばらく講義の資料をいじっていた。職場では講義の準備はあまりしない。仕事を持ち帰るのはよろしくないのだが、まあそこは独り者の気楽なところ。今日は Baystars は試合が無いので、しばしコンピューターと睨めっこ。その後 Lions vs. Fighters を見ながら、しばしコンピューターいじくり。途中から野球がすごいことに成った。7回4点、8回3点取って、8回表終了時点で 8-0 で Fighters がリード。が、8回裏に Lions が一気に7点取って1点差。9回裏に Lions が2点取ってサヨナラ勝ち。2イニングで8点差をひっくり返した。やっぱり Lions は自力がある。今年は Lions が優勝だろうか?

2018年4月17日火曜日

よく物を失くす1日

今日は8時半頃起きる積もりにしていたんだが、目が覚めたのは6時半。もう眠くないので起きていることにする。時間までは昨日やっていた「帰れま10」と前にやっていた「DOCTARS」を見て時間を潰す。で10時前に住処を出る。10時半前に職場着。ちょっと講義まで時間の余裕があったので、生協で数セミを買う。

10時40分から「代数学I」。0a=0とか (-a)(-b)=ab などを示し、零因子、整域、体を定義。体は整域であることを示そうとしたところで時間切れ。その後単位僅少者面接。先週はぶっちされたのだが、今週は学生が来てくれた。3回生なのにまだ27単位。うーむ。どうも勉強の仕方がよくわかっていないようだ。「とりあえずノートでも本でも書き写すつもりで勉強してみよう、それだけで大分違う。」などとアドバイスしておく。

13時からノイキルヒのゼミだが、面接をやっていた関係で昼飯をゆっくり食べる時間が無いので、生協でサンドイッチを買って、さくっと昼食。でメイルを見ていたら「火曜日の用は全部金曜日に移したんですが、今日だけはどうしても無理なので、来週からお願いします」とのこと。うむ、慌てて昼食取る必要無かったな。まあいいや。空いた時間で新しいパソコンに GP をインストール。昨日無線 LAN に接続したので、さくっと終了、とはいかず。すぐに接続が切れる。もう1回一から無線 LAN に設定をしようと思ったが、同じ名前で別の接続といくわけはなく、RAINBOW に電話。電話では埒が明かないようなので、アクロスウィングに出向く。すぐ対処してくれて、無線 LAN は無事繋がった。で GP をインストールしようとしたが、どうも重たい。無線 LAN はウェストウィングの6階には確かに来ているが、どうも電波が弱いようだ。仕方ないのでデスクトップのパソコン(有線でインターネット接続している)でダウンロードして、USB メモリーにコピーしてノートパソコンにコピーという原始的なインストール。まあバイナリファイル一つだけだから簡単でいいんだけど。

その後保健センターへ行って、処方箋をもらってくる。で部屋掃除をちょっと、と思って始めたら、久々の大雪崩。やれやれ、と思って掃除を続ける。紙ごみが大分出た。で帰ろうか、と思ったら鍵が無い。職場の部屋は最悪開けたまま帰ればいいのだが、住処の鍵が無くてはマンションに入れない。どうもさっきの雪崩に巻き込まれたに違いない、ということで必死に掃除。が、見付からない。「こんな所にあったりして」とパソコンの脇を覗き込んだら落ちていた。やれやれ、これで帰れる。

で帰りにドラッグストアに寄って薬をもらってくる。T ポイントカードが使えるので、会計の時に出して胸ポケットにしまう。で車に戻ったら、カード入れが無い。うむ、T ポイントカードはさっき胸ポケットにしまったからあるんだが、他のカードを紛失。今日はよく物を失くす日だ。でドラッグストアのカウンターに戻ったら、そこに落ちていた。やれやれ。今日はボケとる。

帰宅すると野球が始まったところ。今日は負けた。にっくき山口俊に14個の三振を奪われ完投負け。連勝は8でストップ。明日は試合が無いそうなので、明後日からまた仕切り直しだ。横浜に戻って Giants と。勝ってくれるといいな。

2018年4月16日月曜日

学内無線 LAN につないで、Chrome をインストール

月曜日は院生に講義。13時からなので、余裕を持って10時に起きることにしたんだが、今日起きたのは12時。まあまだ間に合うからいいんだけど。ただ昼飯抜きだったのが辛かった。

講義後はコンピューターのセットアップ。学内無線 LAN への接続は、手間取ったしどっかおかしいのだが、繋がるからまあいいや、ということで次は Chrome。昨日インストール出来なかったものだが、今日も時間が大分掛った。職場の無線 LAN は住処で使ってる Wifi より早いものだと信じていたので、本当にさっくと終わってしまうものだと期待していた。が、案外時間が掛った。インストールに成功してしまえばこっちのもので、Gmail も使えるようにすぐに成った。目出度い。で講義中に気になったことを直そうと思ったのだが、辞書に単語を登録していないので、専門用語が全く出ない。これでは役に立たんぞ、と思ったのだが、どうせ会議中に使うのが主で、その他の場合は住処のノートパソコンか職場のデスクトップパソコンをメインで使うので、そっちの辞書が賢いので問題は無し。

今日は野球が無いので、随分ノンビリ過ごせた。明日は新潟で試合で、水曜日は試合が無くて、木曜日は横浜スタジアムで試合らしい。水曜日は呑まない予定なので、少しこの前勉強した微積分の勉強の続きでもやるかな。

2018年4月15日日曜日

Baystars 8連勝!

昨日呑まないで寝たためか、今日は朝7時半頃にすっきり目覚める。ご飯を食べてノンビリした後、TeX のインストール。昨日からインターネットがやたら重いので、本に付いてきた DVD を使ってインストール。その前に問題として、外付け DVD を認識してくれるかだが、何の問題も無く認識してくれた。ということでインストールスタート。1時間半くらい掛るらしい。ということで昨日のプロ野球ニュースを見ながらバックグラウンドで頑張ってもらう。でプロ野球ニュースが終わったら、予定通り3分の2くらい済んでいた。後はひたすら画面を眺めていた。で外付け DVD をはずし、USB メモリーを差し込んだら、何の問題も無く認識された。うーん、昨日は何だったんだろう?まあいいや、ということで TeX の動作確認。何の問題もなく dvi が出来上がり、dvipdfmx で何の問題も無く pdf が出来上がった。めでたい。一気呵成に Chrome をインストールしようと思ったが、これがうまくいかない。最初の3分の1くらいはあっさり終わるのだが、そこで終了までの時間が止まったまま、棒グラフが一切伸びなくなる。頭に来てもう一度やり直しても同じ。野球が始まるまでには終わるだろう、と思ったが、一向に終わる様子が無い。まあいいや、やり直そう、と思ってやり直して、さ、野球。

今日も vs. Dragons。初回にいきなり2点取るという、快調な出足。先発の京山もさくさくと抑えて、試合はどんどん進んでいく。そろそろ中押しが欲しいなー、と思ったら大和が犠牲フライを打ってくれた。で先発京山が今日打たれた3本目のヒット(3本ともアルモンテ)がソロホームランで、3-1。そこではたと気付く。今日はトヨタに車の点検に行く日だった。3時に予約しておいたようなので、取り急ぎ出発。

トヨタでは、小生の担当の人が他のお客様と世間話をしていて、相手にしてくれる人がいないから、スマホをいじっていた。今日は NHK でも野球が放送しているから、見たいんだが、そのお客様の子供と、他数人がテレビの前を陣取っている。テレビを見ている様子が無い。「あのー、競馬じゃなくて野球見ていいすか?」とやろうかと思ったが、そこはシャイな小生のこと。言い出せなかった。お前がシャイだと、笑わせるねー、という突っ込みは却下。その後スマホで野球速報のページを見ていたら、更に3点取って6-1。今日も勝つな。

で住処に辿り着いたら、野球がほぼ終わる頃。今日は点差が開いていたので、康晃でなく須田が放っていた。須田が抑えてさくっと終了。今日も勝って8連勝。ゲーム差はどれだけあっても構わない。中畑監督の時に交流戦2勝12敗だか何かそんな負けで一気に貯金を吐き出したことがあったからね。もうちょっとでウィーランドが帰ってくるそうだから、彼が放る場がないくらい若手に頑張ってもらいましょう。ちなみに今日先発の京山は、デビューから3試合で3勝という、高木勇人(当時 Giants、今 Lions)以来の快挙を成し遂げたそうだ。高木はその後今一伸び悩んだので、京山にはそうならないよう頑張ってもらおう。

さて Chrome のインストールだが、全く終わる様子がない。というか棒グラフが全く伸びなくなっている。仕方ないので明日職場に持って行って、職場の無線 LAN につないでインストールしよう。月曜日は院生に一コマ講義をやって後が空いているし、野球が無いので少し遅くまで職場にいられる。有効に使いましょう。まあ内職の道具をセットアップするのに有効もあったもんじゃないが。

その後夕食へ。今日も先週行ったトンカツ屋に。先週は18時頃行って1時間待たされたから、今日は19時ちょいに行ってみた。が今日も1時間待たされた。やっぱり電話を入れておいた方がいいようだ。今日食べたものもすんごい美味しい。超特上ロースかつ、というだけのことはあった。2200円(税別)だから結構な値段だ。でもそれを補って余りある美味さだった。今度は何を食べよう?また来週の日曜日かな。

2018年4月14日土曜日

Baystars 7連勝で喜ぶも、その後コンピューターに馬鹿にされ続け不機嫌

今日はデーゲーム。初回に筒香のソロホームランで1点、4回にロペスのソロでもう1点と、得点はわずかに2。しかし今日は投手が完璧。2-0で勝った。ここに来てパットンが復調してきた。でかいね。ということで上機嫌。

その後コンピューターの設定。まず xyzzy をインストール。何やら意味不明なメッセージが出ていたが、動くようなのでとりあえずOK。その後 Ctrl キーと Caps Lock キーの交換を試みるも、これがうまくいかない。「これを空のテキストにコピーし、その後拡張子を .reg に変えて、ダブルクリックすればOK」と書いてあったので、その通りやったんだが、交換された様子は皆目無い。仕方ないので別の方法を試みる。Microsoft のページに「Ctrl2Caps」なるソフトを発見。これでもうまくいかない。「管理者権限で実行しないと駄目だ」というメッセージ。おかしい。ユーザーは1人しかいないから、絶対管理者に成ってるはずなんだが。その後 web 上を探索して色々試みるもうまくいかず。でここでふと気付いた。さっきコピーして云々のテキストに引用符があったんだが、何やら全角になっていたような気が…。開いてみるとそうだった。で引用符を半角に直して実行したらうまくいった。うーむ、ここまで何時間も掛っていたのは何だったんだ!ということで一気に不機嫌に成る。USB メモリを認識してくれないのも困り者。どうにか成らんだろうか?USB メモリを認識しないということは、外付けの DVD ドライブも認識してくれない可能性が高い。それは困る。色々インストールしたいソフトがあるのに。まあ今日はこれ以上馬鹿にされたくないから、ここで終わり。

明日はトヨタに車の点検に行くことになっているので、呑まない。明日も呑まない。月曜日も火曜日も呑まない。木、金と用事があるので、水曜日も木曜日も呑まない。うーん、健康的。

Baystars 6連勝で単独首位

17時頃、注文してあったパソコンが届く。まず充電。その後しばらくは野球観戦。何か嫌な感じで2-5になったので、しばし新しいパソコンをいじる。いつものことだが、Windows updateに死ぬほど時間がかかる。野球はその後逆転し、石田が5失点ながら勝ち投手、井納がプロ初セーブで6連勝。単独首位らしい。まあまだ12試合くらいしか終わってないんで、単独首位とかそういうことに一喜一憂してはいけない。今日は康晃を休めたことでよしとしましょう。

で Windows update は野球が終わっても終わる様子無し。仕方ないので呑みに出る。今日はいつもより酒は少なめで、2時前に帰ってくる。でパソコンの様子を見ていたんだが、相変わらず update を繰り返している。携帯電話でゲームをしながら、ゆっくり待っていた。でようやく update が終了したし、blog を書こう、と思ったが、思うに任せないこと多数で、結局諦めた。で今は前に買ったパソコンで書いている。こんなに使いにくかったけな?と疑問なんだが。そもそも世間の人はこんなに使いにくい状態で使っているのか?と疑問を抱いた。まあ今回来たパソコンは、教授会の資料や学科会議の資料を見るために買ったので、とりあえずブラウザーが動けば問題ないのだが。ただやっぱり TeX とテキストエディターは動かせるようにしたい。週末はこれで時間が無くなるな。講義の準備が完璧でよかった。ということでしばらくお守りをする。使えるようになったらまた書きます。

2018年4月12日木曜日

Baystars 5連勝!

水曜日は大体呑み過ぎになるので、木曜日は無駄になることが多い。今日もそうだった。ほぼ何もしていない。来週からもそうでしょう。いかんね。

まあ気を取り直して野球観戦。1回表に5点取ったときは「今日は楽勝だな」と思ったら、1回裏に3点取り返される。うむ。しかしその後、ルーキーの東(あずま)は立ち直って、6回途中まで初回の3失点のみで見事勝ち投手に。これで Baystars は1勝5敗からの5連勝で、貯金1。素晴らしい。しかも Giants を3タテ。気分は最高。よーし、今日も呑みに、とはいかない。何故なら今凄く気持ち悪いんでね。小生呑めるが、復調に時間がかかるのがよくないところ。いや反面よいところでもある。休肝日がきちんと取れている。ということで今晩は呑まない。多分明日の晩呑むことになるでしょう。今日は早いとこ寝るかな。寝てばっかりという突っ込みは却下。

水曜日は卒研ゼミ

水曜日は卒研の日。が今日(昨日ね)は卒研で使うテキストを配って、どう進めるかをガイダンスするだけなんで、10分ほどで終了。来週から本番。

ガイダンスの後は、学科会議(16時半開始)まで結構時間がある。でそこをどう使うべき迷う。まあ今日は銀行に振込みをしなくてはいけない件があるので、車を飛ばして銀行へ向かう。諸事情で2回に分けて振込み。その後職場へ、龍谷大の前を全速力で飛ばして向かう。

学科会議は程々の時間で終了。帰宅して例に寄って野球観戦。平田がナイスピッチング。プロ入り初勝利の権利を持ったまま交替。その後パットン、三嶋が逆転されて、平田の勝利権利は水泡に帰す。 が、Giants に取っては魔の8回。昨日(一昨日ね)は上原、今日(昨日ね)は沢村が打ち込まれて、連日の逆転劇。いいねぇ。前も書いたような気がするが、G 党はよく「強い Giants を負かせるからいいんでしょ?」と言うが、そんなことはない、Giants が負ければ負けるほど飯がうまい。今日(昨日ね)で Giants は単独最下位。楽しいですね。どんどん沈んでもらいましょ。

で晩は呑んできた。1週間無難に(でもないんだけど…)やってきたご褒美ということで。酔ってる。もう寝ますわ。じゃ!

2018年4月10日火曜日

火曜日は「代数学I」

今日から火曜日は「代数学I」。10時40分開始なので、8時半頃起きて、1回目から遅刻しないよう余裕を持って住処を発車。まず3次方程式の解法を教える。で「これで文句は無いんだけど」と徐に昨日買った関数電卓を取り出して、3次方程式を一つ解いてみせる(関数電卓には3次、4次の方程式を解く機能が付いている)。解の一つが4で、もう一つは見た瞬間 -2-√3。ところが教えた解法だと虚数が出てくる。うぉー、という感じで適当に流して、その後本論。今日は環と可換環の定義、及び例を幾つか挙げただけで終了。来週は-×-が何故+かを証明して見せると約束しておく。講義終了後1人質問に来た学生がいた。顔を見た瞬間、「あ、彼の学年か。まあ彼だけは大丈夫だからな」と思って、次週への思いを新たにする。

で今日からノイキルヒの本のゼミだったはずが、今日に成って学生から「金曜日がいいんですけど」と言ってきた。金曜日は嫌だから、「月曜でもいいぞね」と返事を書いておく。その後教授会まで色々時間潰し。佐藤篤、田谷久雄「理工基礎 代数系」(サイエンス社)が送られてきていたので、眺めてみる。どうやら初等整数論、群論、環論と成っていて、体の拡大とガロア理論は扱っていないようだ。早速著者の1人に質問する。明日はもうちょっと良く眺めてみよう。

で教授会があったんだが、新任教員の紹介、新執行部の紹介、今年度の予定など、至極軽い話題ばかりで、5時には開放された。野球に間に合わせるべく、速攻で帰る。

帰宅後は即野球。今日は vs. Giants。山口俊、飯塚の行き詰る投げ合い。1点先制するも、長野の代打2ランホームランで逆転される。でピッチャーは上原に交代。上原は失点を許していないどころか、1本のヒットも打たれていないそうだ。ところがその上原から大和がヒット。筒香凡退の後はつるべ打ち。一気に3点取って逆転。その後1点取られるも、砂田、康晃と抑え切って勝利。3連勝。康晃が100セーブ。NPB最速らしい。素晴らしい。見終わった今は、非常に疲弊している。そんだけ息詰まる接戦だったわけ。ということでもう寝よう。明日は午後1時からゼミだ。

2018年4月9日月曜日

講義開始

今日は7時半くらいに目が覚めてしまった。昨日のプロ野球ニュースと、昨日の Swallows vs. Giants の再放送を見る。Giants が大逆転の後に奈落の底に落とされる、というのが分かっていたので、再放送はそこだけ見終えたら出勤。途中郵便局に寄って郵便物をもらってからちょっと支払い。

で今日から講義。講義日は金曜からだが、小生は金曜日は講義が無い。ということで今日スタート。大学院生に代数的整数論を教えるという、空しい作業。本当は1人小生の学生がいるはずなのだが、今日はいなかった。それに、3回生後期に登録していない学生が1人以上いるのを確認したので、空しいことに拍車が掛る。それでもめげずに「代数的数が代数的整数 ⇔ 最小多項式が有理整係数に取れる」ということを示すために一生懸命やる。初回だけあってエネルギー配分がわからない。汗はかくしチョークはバキバキ折るし。3回生の講義の前にウォーミングアップが出来てよかった。講義終了後は生協に寄って、関数電卓を買って帰宅。

帰宅してまず関数電卓いじりから。素因数分解だけでなく、最大公約数、最小公倍数が求められることに感心。iphone に「素数チェッカ」というアプリを入れてあるんだが、素因数分解はもっぱらそっちでやっている。が、iphone では最大公約数は求められないので、いい物を手に入れた、と満悦。その後1年以上前にやっていた「Doctors」の4話目を見て、夕食。明日は午前中の講義なので、早いとこ寝ることにする。じゃ!

2018年4月8日日曜日

Baystars連勝!

今日は7時に起きた。先週の日曜日(4月1日)が9時職場に集合だったので、それに合わせて日曜日の7時に目覚ましが鳴るように仕掛けてあった。後で解除しておこう。で起きたらまず昨日のプロ野球ニュース。昨日は勝っていたので、気持ちよく見ることが出来た。が、終了後眠くなる。でもう一寝入り。12時近くまで。

で昼飯を食らってから野球観戦。中々点が入らなかったが、筒香の2ラン、3ランと、2打席連続ホームランで5-0とリード。その後リリーフ陣がとっ散らかって3点取られたけど、最後は康晃が抑えて完勝。これで2連勝で3勝目。3勝中2勝が京山、康晃が3セーブ。今日で筒香は目覚めたかな?と思ったら、9回ノーアウト満塁の場面でホームゲッツーではまだまだかな。その後ロペスも凡退して、9回は0点。1点取っていれば康晃が大分楽に放れたのではなかろうか、思うが。まあいいや。素直に勝ちを喜びましょう。

夕食は近所のトンカツ屋へ。少し前にオープンして、いつも行列が出来ているのは知っていたが、18時に店に入ったら、既に何組か待っている。お店の人によると、「只今5組待っていて、予約が2組、席についている方々は丁度食事が始まったばかり」とのこと。1時間弱かかるそうなので、仕方ないので待つ。待っている間は携帯電話をいじっていた。富士フィルムが白黒フィルムと白黒印画紙の製造を中止する、というニュースが気になった。小生カメラ小僧であった。白黒フィルムで写真を撮って、白黒印画紙に焼き付ける、ということを中学の時部活でやっていた。うーむ、時代は変わるな。何しろ中学に入学したのは38年前(1980年)だ。歳を取るわけだな。こうして時代が変わるにつれ歳を感じる。閑話休題(閑話ばっかり、という突っ込みは却下)。トンカツはというと、大変美味しかった。ひれを頼んだのだが、ひれって言うとパサパサな感じがしていたんだが、大変ジューシーに揚がっている。行列が出来るのもむべなるかな。1450円(税別)と値段はまあまあする。2000円超えているメニューもあった。電話番号を控えてきたので、今度は予約してから行こう。

2018年4月7日土曜日

Baystars 2勝目

昨日はちょっと呑み過ぎた。で今日は気持ち悪い中起きる。野球は途中から。一番おいしいところを見損ねた。最初から見なかったお陰か、今日はようやく4点取って、2勝目。まだ借金は3。去年は4月終了時に借金があったそうだ(何回も書いてるな)。だからまだまだ慌てる必要は無い。筒香、ロペス、宮崎に当たりが戻ってくれば。ピッチャーは総じていいんでね。負けた試合でも3失点以内の試合が多い。まだまだ。

最近ジャパネットのチャンネル(CSにはそんなチャンネルがあるんですよ)をよく見るが、非常によく勉強して話されているのを素晴らしいと思って見ている。しかも商品を紹介する人たちの気がよくあっている。事前練習をよくやっているのだろう。素晴らしいと思う。講義の準備もきっちりやってリハーサルも、と行きたいところだが、我々は講義以外にもやることが一杯ある。リハーサルする余裕など無いのだ。

今ジャパネットのチャンネルを見ているが、仰天した。ノートパソコンと Wifi のルーターを付けて、値段が何と100円!よくこんなに割引して会社が持つもんだ。まあ流石にそれは買う気は無いので、あまり関係ないんだが。

2018年4月6日金曜日

荒井正治「理工系微分積分学」

今日は8時前に起きた。朝食後は荒井正治「理工系微分積分学」(学術図書出版社)で微分積分の勉強。これは理系の数理科学科以外の学科の教科書で、色々な先生がこの本と格闘している。ということで、少しは苦労を分かち合おうと思って読んだ次第。読んだ他の理由としては、小生ロピタルの定理の証明を知らない。習ったことも無い。だから、手近な本で理解しようというわけで。で読んでたら基礎が不安になってきて、最初から読み始めた。ε 論法を使っていない本なので、結構進む。ロルの定理が「閉区間上連続な関数は最大値、最小値を持つ」という、閉区間のコンパクト性を使っていることがわかってよかった。ロルの定理は主張が自明に見えるので、最初に勉強したときは何となくスルーしていたんだが、勉強に成った。で午前中一杯と夕方までを使って、極限と1変数の微分を読み終えてしまった。で某先生が言っていた通り「教える側が勉強に成ることが沢山あるんですけど、1回目読む学生には辛いみたいです」であることがよーく分かった。途中に2、3偽証明が書いてあり、何が問題かを直後で指摘してくれる。うん、勉強に成った。次は ε 論法をフルに使った本を勉強しよう。が、春休みの「朝のお勉強」は今日で終わり。また夏休みにでもやろうかな。

で野球までちょっと時間があったので、他変数もちょっと読んだ。キリのいいところまで読んで、いざ野球。1回表に苦労して1点取ったんだが、裏にあっさり3点取られて逆転される。その後もやりたいようにやられて、7-3で負け。今日も3点か。何かランナー出ても、ヒットでつないでくれる気がしない。ノーアウト1塁の場面で、「うむ、ここでゲッツーを食らうな」と思ったら案の定。とにかく4点以上取りなさい。5点、6点でもいいぞね。まあ去年は4月終了時に借金があったそうだから、まだまだいける、と信じて見るしかない。明日明日。

というところで呑みに行こうか。明日はデーゲームだし、見られないかな。


2018年4月5日木曜日

大谷ホームラン、松坂が先発

今日は9時前に起きた。で食事の後、今日は体論のお勉強。時間の都合で講義で割愛している内容「L/M, M/K が分離拡大 ⇒ L/K が分離拡大」を勉強。案外証明が短いようなので、講義に足そうかと思ったんだが、やっぱり難しい。純非分離拡大をいじらないといけない。分離指数や非分離指数を持ち出す必要は無いようだ。まあだけど学生には大変かなと。「標数 0 ⇒ 代数拡大は分離的」も分かってもらえないようだから、非分離拡大なんていうイメージの沸かないものをいじっても、それは無駄というもの。ということでやっぱり講義には入れられない。まあ勉強に成ったからいいや。ついでに円分多項式の Q 上の既約性の、今まで読んだことの無い証明など。この証明は正直どれを読んでもすっきりした気がしない。もっと勉強するとしよう。

昼ご飯後は、午前中に仕入れた補題をいくつか講義ノートに追加するなどして、講義ノートをバージョンアップ。今まで何か苦しかったのは、この補題を言っていない所にあったか、と実感。お陰で後の説明がすっきりいく。うむ、働いたな。

でその後携帯電話をいじっているうちに設定を変えてしまい、その復元に時間を取られる。何度かメイルを送ったり、メッセージが届いたりしてと、IT 弱者にはきつい時間だった。18時から気分を入れ直して野球。試合開始から立命館卒・ドラフト1位の東(あずま)が快投。7回9奪三振、113球1失点。文句無し。が、打線が1点も取れず、2-0の負け。メッセンジャーが完封勝ちしなかったのがせめてもの救い(9回はマテオの前に3者凡退)。何か全然打てる気がしないんですけど。3点、3点、3点、2点、0点。これじゃ勝てというのが難しい。明日からに期待。

大谷が今日もホームランを打ったらしい。Dragons の先発が松坂だったりと、今日は楽しい話題があった。が、やっぱり Baystars が勝ってくれないと…。

2018年4月4日水曜日

大谷3ランホームラン!

昨日は、案の定2時くらいまで呑んでいた。で住処に戻ってからは、それ以上呑まなかったが、朝の7時くらいまで起きていた。昨日は6時におきてるから、25時間ほど起きていたことになる。その後爆睡。目が覚めたら相当遅い時間(何時まで寝ていたかは秘密)。

さて今日は野球観戦がメイン。早々点を取られて、2-1で負け。これで開幕から連続3得点は3で終わった。今日3点取っていたら、逆転サヨナラ勝利なんで、3点目を待ちわびたが、結局今日は1点止まり。筒香とロペスが当たっていないのが気がかり。明日は勝ってくれ。

大谷がホームランを打ったらしい。3ラン。凄いね。シーズン前はあれだけ叩かれたが、投げるほうでも結果を残し、一気に雑音をシャットアウトしてしまった。さすが。もっとどかどか打ってくれ。

今日は早寝して、明日早起きする予定。何時間起きていたんだい?という質問は却下。眠いので寝るだけ。本能の赴くままです、はい。

2018年4月3日火曜日

連結

昨日の晩は11時前に寝た。で今朝は6時に起きた。こんな日は勉強に限る、ということで、位相空間の勉強をした。『「集合と位相」をなぜ学ぶか』を読む時に、細かい証明は飛ばして読んだので、そこを補っておこうと。で勉強していたんだが、連結の定義が微妙に違っていることに気付いた。それで松坂和夫「集合・位相入門」に乗り換える。連結の定義が、「開かつ閉である集合は空集合と自分だけ」と成っていて、ぎょっとする。少し下に、連結らしい定義に書き換えられていた。納得。でちょっと違う定義と、ぎょっとした定義が同値であることなどを確かめた。その後連結空間の連続像がまた連結とか、弧状連結なら連結など、色々勉強し終わったところで、丁度お昼。うん、勉強になった。こういう抽象的なものの扱いが比較的スムーズに出来るところが学生との差やね。群とか位相空間とか、何か抽象的でとらえずらいが、環となると最初から知っている具体例が多いので、抽象感は薄い。ということで「集合と位相II」を2回生で習わされている学生に取って「代数学I」は易しいはずなんだが。

午後はテレビを見たりゲームをしたりして無為に過ごす。2、3メールを書いたのが仕事と言えば仕事だが。明日は何をしよう?体論は苦手だ(とか言っていいのか?)ので、少し藤崎先生の本や雪江先生の本でも読むか。こっちは講義に直結してるんで、やりがいがある。まあ早起きは無理そう(何故でしょう?)なので、野球までに勉強するかどうかは怪しい。まあいいや。そん時はそん時で。

早起きが無理そうな理由。これから呑んできます。ということで日が変わるくらいまでは呑んでるでしょうから、明日起きられないわけ。

2018年4月2日月曜日

大谷翔平初勝利!

来週から月曜日は講義がある。ということでそろそろ生活のリズムを戻さないと。と言いつつ、毎週1回か2回は、遅くまで呑んで遅く起きる。火曜日は午前中講義があるので、月曜日は早寝をする。ということで、今日もそろそろ寝る。

さて、今日は大谷翔平が先発登板する日だった。で結果はどうかと言うと、6回3失点で初勝利。お見事。3失点とは言っても、失点は3ランホームラン1発によるものだったようで、好投の部類に属するでしょう。お見事でした。さあこの後何勝するでしょうか?楽しみである。次はホームランを打って欲しいね。

ということで寝ます。じゃ!

2018年4月1日日曜日

新年度

今日から4月。新年度である。今日は9時から「新入生歓迎企画」と称して、学部長のビデオ挨拶、学科教員の自己紹介、オリターの紹介、4回生2名による体験談などをやった。で10時前に開放される。うーん、朝から背広で行ったのに、1時間で開放かよ。まあいいんだけど。で個研室に戻って、学内便を二つ出して帰宅。

途中吉野家に寄って、牛丼を食べてくる。13時ちょい前に帰宅。13時からは Baystars vs. Swallows。二日続けて3得点で負けている。打線が今一活発でないのが気になる。で今日の試合はやっぱり3点。が、今日は勝った。今シーズン初勝利。先発の京山(プロ入り初登板)が初勝利。5回1失点。今日はリリーフが無失点に抑えて、康晃がセーブ。お見事。ということでこれから祝杯。買い置きが無いので、これから買ってくる。恐らくビール数本でしょう。

明日野球が無いのは月曜日だから当然として、何故か明後日も無い。相手は Tigers で、場所は横浜スタジアム。火曜日に試合が無い理由が皆目分からん。まあいいや。1日平和に暮らせる。ちょっと勉強でもするかな。