あー勘違い

相変わらずよく眠れない日々が続く。で昨日も中々寝付けず、眠れたはいいが夜中に目が覚めて、その後また眠れない。うだうだと色々考えていたら目覚まし（1回目）が鳴る。「まだ時間があるし、もうちょっと寝てよう」ということで寝ていたら、あっと言う間に目覚まし2回目。「まあまだ余裕がある」ということで横になり続けていたら、眠れたらしく、結構やばい時間。慌てて身支度をして、高速をすっ飛ばして行って、13時5分頃フォレスト304に到着。が、別の先生が既に講義をしている。おかしい、と思って事務に電話したら「代数学IIは14時40分からです」とのこと。もうがっかり。何慌ててたんだか。まあ今日は保健センターに行くことになっていたから、空いている時間に行けたからいいんだが。

で14時40分から代数学II。体の拡大とガロア理論をやるのだが、ベクトル空間がわからないと始まらないので、まずベクトル空間の復習をざっとやり、それから体の拡大と拡大次数の定義。まだ単純代数拡大の構造定理をやっていないので、例としては複素数体が実数体上2次とか、そんな簡単な例しか出せない。もう少し経たないと面白いことは出来ないので、しばし我慢。

その後17時から難しい会議。無関心ではいられないので、出席してみた。将来は明るくないなー、というのが感想。明日も難しい会議があるので、今週はさぞ疲れるだろう。まあそもそも久々の講義でヘトヘトに疲れているんだが。講義の途中で腕が上がらなくなった。今は筋肉痛である。とにかく明日のため、今日はもう寝よう。もちろん呑まずに。

授業スタート

授業日は金曜日からなのだが、小生は金曜日の担当科目が無いので、今日からスタート。まず線形代数演習。どんなベクトルも0倍したら零ベクトルになるとか、(－1)a＝－aを証明せよとか、そんな抽象的な問題ばかり。まあやむを得ない。正直何を示したらいいかわからない学生がほとんどだったと思う。ただこういう議論は一度やっておかないといけない。群論や環論で同じようなことをやるが、その時はすいすいわかるように成って欲しいものだ。

その後は卒研。整数環がUFDの時の素数の素元分解と、フェルマーの最終定理の指数3と4の場合など。指数3の場合はオイラーのギャップがあったと思われたが実は正しかったという証明、指数4の場合はZ[ｉ]がUFDであることを用いた証明。脳みそに優しいゼミだった。

お話変わって。昨日インターネットで「今シーズンを詰まらなくしたのは Baystars のせいだと思いますが」みたいな意見を書いている人がいた。けしからん、と思ったら、「今年の場合は Giants に大きく負け越している Dragons のせいでしょう」とか、「一度も上にいけなかった Tigers のせいだ」など、的確な意見を寄せている人がいて、「よしよし」と機嫌を直した。そもそも今年の Baystars は Giants の完全優勝（セ・リーグの5球団に全て勝ち越して優勝）を防いだのだ。むしろほめてもらわないといけない。CSこそ行けなかったものの、今年 Baystars が強く感じたのは Giants 戦の結果がでかい。来年も楽しみだ。

マジックナンバー点いたり消えたり

さすがは白鵬、逸ノ城を寄せ付けず完勝。鶴竜との差を見せ付けたな。これで白鵬にマジックナンバー1が点灯したわけだ。明日（今日ね）は多分相撲中継を見られないが、まあいいや。楽しめた。

また今日（昨日ね）Tigersが勝ったため、ぼんちゃんに一杯おごってあげることが決定してしまった。まあこちらも今年は大いに楽しめたし、よかった。ただまだ5位に落ちてしまう可能性があるので、残り試合は全勝するくらいの意気込みは必要でしょう。パ・リーグはBuffaloesのマジックナンバーが消滅。残り1試合の直接対決次第で風向きが大分変わるでしょう。一度京セラドームに応援に行くかな。

午前中にニュースを見ていたら、ドカベン香川氏の死去が伝えられた。52歳。うーん悲しい。今日はこれを話題にして書こうかと思っていたんだが、御嶽山の噴火でそれどころでは無くなってしまった。火山は恐いな。富士山の爆発なんていう恐ろしいことが起きなければいいが。温泉地は戦々恐々ではないでしょうか。近いうちに別府に遊びに行って「地獄めぐり」をしようと思っていたんだが、恐くなってきた。APUは大丈夫でしょうか？

賜杯の行方は？

今日（昨日ね）の相撲は凄かった。まさか白鵬があんなにがっぷり組んで負けるとは。しかも相手は今場所絶不調の豪栄道。これで逸ノ城が鶴竜に勝ったら面白いな、と思ってたら、立会い逸ノ城がさっと変わって鶴竜ばったり。げげ！しかも明日（今日ね）は白鵬 vs. 逸ノ城の1敗同士の直接対決と来た。さあ賜杯の行方は？白鵬が横綱の意地を見せるか、それとも逸ノ城の100年ぶり新入幕優勝と行くか？目が離せない。

で今日はテレビの一般ニュースで速報として相撲の結果がやったのに、Giantsの優勝はスポーツニュースのコーナーでしか取り上げない始末。プロ野球の人気、いやさGiantsの人気は間違いなく下がってるね。いいことです。

2ページの論文

休日だし学会は行かないしということで、昨日（一昨日ね）の会議終了後に一旦横浜に戻ってきた。で昼は大分自堕落に過ごしたこともあって、反省のため2ページばかりの短い論文を読んだ。小生の昔の研究に関係ない内容ではないので。で読んでみた感想としては、やっぱり残されている問題は難しいんだな、ということ。予想解決への道は遠い。まあ論文2ページ読んで予想が解決するような生易しいものでは数学はない、ということだ。

さて、今日（昨日ね）の Baystars vs. Tigers は凄い結末だった。1－0からブランコのサヨナラ2ランホームランでの勝利。無事 Dragons が負けてくれたこともあって、再び4位浮上。もう CS とかそういう贅沢は言わないので、4位フィニッシュで来年へ弾みを付けて欲しいところだ。監督人事もまだどうなるかわからんし、シーズンオフも目は離せない。

目先の敵は Carp か Tigers か？

先日 Mac の OS のバージョンアップを行ったんだが、まあ時間のかかること。それに Wifi でのインターネット接続が出来なくなって困っていたんだが、さっきやったらあっさりつながった。でこうして書いている、というわけ。バージョンアップ中は、チビチビとビールでも呑みながら待っていよう、と思ったんだが、予想以上に時間が掛かったため、結構な量を呑んでしまった。いかんですね。それで木曜日の晩から金曜日の明るくなるまで起きていて、昨日はその反動で早寝。早寝はいいんだが、2時間おきくらいに目が覚めてしまって困った。別に用足しをしたいわけでもないのに、ただとにかく目が覚めてしまうのだ。そのためこんな時間だが、もうふらふらで眠い。が、野球が2時からだから、寝ないで我慢することにする。野球が終わったら相撲を見なあかん。線形代数演習の件で担当の先生に連絡することもせなあかんが、その先生は今別件で猛烈に忙しくなっていると思うので、問い合わせはしばらくたってからにする。

さて Baystars だが、CS がどうしたこうしたよりも、5位に落ちてしまった。まあ1日で4位に再浮上したし、まだ試合数が沢山残っているから、Dragons より有利なのは間違いない。ただ目先の相手は Tigers だと思っていたら、Carp がどんどん落ちてきて、両チームとも意識せなあかんようになってきた。昨日から Carp と3連戦だが、もう Carp も Tigers も応援しないと決めたし、Giants が優勝しても構わないから、是非 Baystars に CSをお譲りください、Carp 様、Tigers 様。

昔の君は偉かった

学位論文に、あまり本質的でない誤りが1カ所あるのは承知していたんだが、直さないで放っておいた。そうしたら、もう1カ所本質的な間違い（不等号の向きが逆）というのを指摘され、焦った。で今日ようやく直した。で TeX を通して、pdf に変換して、とやったら、「知らないフォントがある」と Adobe reader が言ってきやがった。前もこんなことがあったが、Mac の preview で見たら、前の時はちゃんと表示されたので、今日も MaC で表示させてみた。すると普通に読める。そうか、やっぱり free で配布されている Adobe reader には限界があるんだな、という感じ。まだ Acrobat を買って見ていないので、何とも言えないが。とにかく懸案の事項が一つ片付いたのはめでたい事です。

実は学位論文には、一つ見落としているケースがあるんだが、それは本論を読む分には関係ないし、まじめに読んだ人（ヨコエモン氏等）は気付いているので、放っておく事にする。

ブランコ様様

3−1から国吉−林−三上のリレーで何とか久保に13勝目をプレゼント出来ると思ったんだが、国吉と三上が1失点ずつで、9回表に同点に追いつかれ、久保の13勝目もおじゃん。9回裏。代打ブランコ。やってくれました、見事なサヨナラホームラン。4−3で勝利。残念ながらTigersも勝ってしまったので、ゲーム差は縮まらず。まだまだCSはあきらめませんでー。

CarpはGiantsに見事勝利。3タテしかない、と解説者が口を揃えていっているが、その通りだろう。とりあえず頭は取った。さあ残り2試合頑張れーCarp。

グリエル様様

Swallows3連戦の3戦目からGiants3連戦の2試合目まで、まさかの3連敗。しかもGiants相手には2試合連続完封負けと、いかにもけたくそ悪しな試合だった。で今日vs. Giants3戦目。今日も8回まで0点。幸いGiantsも0点だったので、接戦。で9回にグリエルがホームラン。その後も2点取って、今日は3－0とようやく勝利。G相手に3連敗でも食らおうものなら、CSが遠くなってしまうが、何とか踏みとどまった。良かった。が、残念なのは、昨日Carp相手に無様な負け方をしたTigersが勝ってしまったこと。これでは1位2位の差も3位4位のの差も縮まらない。今日もTigersには負けて欲しかったんだが。残念。

今シーズンの初めに、友人ぼんちゃんと、TigersとBaystarsどっちが上に行く？という勝負をしたんだが、お互いファンなので、当然ぼんちゃんはTigers、小生はBaystarsと選択。このまま逆転したらぼんちゃんからおごってもらえるので、そのためにもBaystarsには逆転CSを掴んで欲しい。しかも12球団で唯一CSに出場したこと無い、という汚名も晴らせるというもの。いくぞ、Baystars！

山口も完封

テンポよく試合は展開。で山口が完封勝利で、前日の久保に続いて2日連続の完封勝ち。が、打線の方は、4点、2点とやや沈み勝ち。今日はナイスピッチングで打線も打つ、という最高の形でSwallows戦3連勝といきましょう。

試合終了後は、Jay君にちょっと用があったので吞みへ。今週初の外飲み。なんだかんだと遅くまでいてしまった。今日は速達が届く可能性がある日だから、早く帰ると言ったんだがなー。まあしゃあない。来るまで待とうホトトギス。これが終われば、16日の教授会意外は夏休みの用は当面無くなる。まあ臨時で学科会議をやることもありましょうが、まあそれはしゃーないということで。

昨日CSの「TBSチャンネル2」を見ていたら、「カミさんの悪口2」というドラマがやっていた。これが面白いのなんの。つい5話くらい見てしまった。今日続きをやるそうなので、じゃまが入ってもいいように録画予約しておいた。後でゆっくり見る。

野球が８時20分に終わってしまった

Baystars vs. Swallows。一時は最下位争いで凌ぎを削っていたが、今やBaystarsの圧倒的優位。今は上を目指す我々Baystarsにとっては、上のTigersとどれくらい差を縮められるかが目下の課題。さて試合開始。1回表、Swallowsは三者凡退。1回裏、恒例「勝利の輝き」の合唱が始まる。が、梶谷が初球ホームラン。「勝利の輝き」より歓声だ！ということで歌はそこでストップ。ブランコのタイムリーでもう1点取って1回は終了。その後淡々と試合は続く。Baystars久保、Swallowsナーブソンの好投は続く。でバルディリスに一発が出て3−0。もう今日の久保の出来なら問題なし。あっさり4安打無四球完封。ちなみにBaystarsもわずか5安打。Swallowsがナーブソンに代打を出した意外の交代選手がいなかったくらい淡々とした試合で、8時20分ゲームセット。まあ今日は豪打爆発とはいかなかったが、山崎、ブランコ、筒香の好プレーがあって、見所もあった。Tigersが負けたので、これで4.5差。よーし、上が見えてきたぞー。しかしTigersが負ける、というのはGiantsが勝つ、ということなので痛し痒しなんだが。まあいい、優勝はGIantsに譲ろう。その代わりCSに出たら、Giantsなんぞけっちょんけちょんにしてやるからな。そして日本シリーズへ出て、16年ぶりの日本一をこの手に！

さて野球が早く終わったので、しばらくSAGEで数値実験。マニュアルも読めるようになったし、怖いもの無しだ。色々実験してみて、やはり予想は正しそうだな、という感じがしてきた。でどっかで「こんな予想があります」と言って誰かに取られるのも癪だし、かと言って後世のためには誰が証明してもいいことだし。悩むところだね。小生の所に大学院生がいたら修士論文、博士論文のネタとして考えさせてもいいが、よその大学の院生がやってしまうのは何か癪な気がする。まあ今度の談話会までに自分で証明してしまえばいいんだが。そううまくはいかないから数学は面白いんだが。

SAGEのマニュアル

談話会と研究のため、最近SAGEを使い始めた。一部は九大の横山俊一さんの話で使い方がわかったんだが、あまりにもわからないことが多すぎる。でマニュアルを読みたくなったんだが、どうしたらよいかわからない。で横山さんにメイルを書いて聞こうか、と思ったんだが、考えてみれば「SAGE マニュアル」ぐらいでググったらどうにかなるんじゃないか、と思ってやってみた。どうにかなった。が、マニュアルが巨大すぎて、必要な関数や命令を見つけられない。やっぱり横山さんに聞いた方が早いかな、と思いながら、一晩奮闘。まあまだ時間はあるし、しばらくゆっくりやろう。おっと、コンピューターいじりもいいが、肝心の数学の方をどうにかしないとね。

考えてみれば、うちでは「実験数学」という講義、実験科目があって、SAGEを使っているのだった。だったらマニュアルのありかくらい彼らに聞けば早かったな。まあいいや、もう見つけてしまったし。それに学部1、2回生に教えるのに楕円曲線や円分体のことは必要ないから、担当の先生方に聞いても関係のコマンドは知らないはず。だったら横山さんに聞くのが、…、いやいや、あまり人を頼らずに、一人でやってみよう。

大谷翔平の大記録

大谷（Fighters）が10号ホームランを打った。投手としては10勝4敗。ホームランと勝ち星が同時に二桁に成ったのは、日本プロ野球史上初の快挙とか。凄い。アメリカでもベーブルースがやって以来誰もやってないらしい。栗山監督が大谷を口説く時に「うちは投手大谷と打者大谷の二人をドラフト1位で取った」みたいなことを言っていたが、その時は「うんなうまくいくかい」と思ったんだが、どうしてどうして、本当にその通りになっている。二刀流は当分続くね。いや続けて欲しいね。今後も楽しみ。

今日は昼にDragonsが勝ったため、Baystarsは負けると5位転落だったそうだ。で

   1 2 3
C 1 0 3
B 0 0

と成った時は5位転落を覚悟した。何しろ一昨日8－0、昨日1－0で負けているので、点が入る予感がしなかった。が最終結果は

   1 2 3 4 5 6 7 8 9  計
C 1 0 3 0 0 0 0 0 0  3
B 0 0 1 0 1 1 5 3 × 11

というものすごい試合に。正直7回、8回は見ていて楽しかったね。マシンガン打線を思い出させる。まだ自力でCS出場のチャンスは残っているそうなので、猛打豪打で上位チームをガツガツと食ってやりましょう。

山本昌最年長記録たくさん更新

昨日は、やはり旅疲れのせいか、Baystars vs. Carpを見ている最中に寝入ってしまい、8−0で負けた以上の結果は何も知らなかった。で起きてYahoo！の速報を見たら、何とDragonsの山本昌が5回無失点で勝ち投手に成った、との情報。もう何がなんだかわからないが、たくさんの最年長記録を一気に塗り替えたらしい。当然24年連続勝利投手という、三浦番長も舌を巻くような大記録が達成されている。恐るべし山本昌。昭和の大昔に立てられた大記録が、この平成の世に一気に更新されるのは奇跡と言ってもよい。頑張れ山本昌、三浦番長。二人でどんどん記録を塗り替えてくれ。

さて、Giantsのマジックナンバーが一夜で消滅したそうである。昨日Baystarsは負けているし、マジック対象チームが変わった、ということだな。まあ最悪Giantsさえ優勝しなければ何でもいいので、5チームで頑張りましょう。

別府では大分大学の大先生の講演を聞いてきたわけだが、氏とは一応共著論文を書いている。その論文の定理に関し、予想を立てたんだが、まだ全く証明に手がついていない。何かから始めないといけないので、とりあえず数値実験。どうも予想が正しいらしい、という傍証がまた増えたので、証明出来るようちょっと頑張って見る事にする。いつまでも学位論文のネタ＋αだけで食っていく訳にはいかんのでね。

もう一人の先輩と共著論文を書いているんだが、それは証明の無駄を発見したあげく、本質を見抜いて一気に拡張、ということをやってのけた。小生凄かったんだね。だから大分の大先生との論文も拡張しなくてはならんぞ。頑張れ、小生。

京都に戻ってきた。

昨日別府から帰ってきた。総じていい出張でした。ただ別府に山ほどある温泉を全く楽しめなかったのは残念。今度一回私費で旅行しようかという気になった。

さて最終日であるが、例によって夜中に一回目が覚めてしまったせいで、午前中の話を聞けないような時間まで寝てしまった。まあ一番聞きたかった、大分大学の大先生の講演を聴けたから良かったが。で、午後の座長を頼まれたんだが、ちょっと尻込みしてしまって、「いや私最後までいないんで」と言い訳をして逃げてきた。まあ京都にあんまり遅くに着きたくなかったのも理由の一つだが。どうどうと座長をやれるような、立派な研究をやらないといけないですな。で、別府駅前まで戻ってきて、YAMADA電機でパソコンのACアダプターを買おうと思ったんだが、取り寄せないと無いとのことなので、帰りの新幹線は読書と携帯電話いじりで時間をつぶす羽目になった。実に無駄な3時間半だった。次回からはACアダプターを忘れないようにしよう。

さて折角京都に早く帰ってきたんだが、Jay君が「呑みに来て」というもんだから、野球が終わった後呑みに行った。客は韓国籍の女性、京都に仕事で来ているドイツ人。でJay君がカナダ人。何だか色々な国の文化を聞かせてもらった。日本は平和だ。ドイツ人とJay君は英語で話していたんだが、案外聞けたし会話に参加できた。小生listeningはからっきし駄目だ、と思っていたんだが、話の最初から参加すれば案外聞けるし、話せる。まあ酔っ払ってドイツ人の話がペースダウンしたのも理由の一つではあるが。ドイツ人はengineerだったので、意外と数学の話が通じたのも理由の一つかな。まあ楽しい晩でした。

野球であるが、CarpがGiantsに3連敗してしまった。でBaystarsはTigersに負けた。これでGiantsにマジックナンバー点灯、ということになるらしいが、なんとマジック対象チームはBaystars。確かにGiants戦はたくさん残っているし、Giants相手に勝ち越しているかららしい。うむ、これは逆転CSどころか逆転優勝の可能性も残っている。まあマジックナンバーが点灯してしまったので、自力では無理なわけであるが。よーし、ここから97年の8月の再来、月間10の勝ち越しを今月やってもらって、優勝は無理までも2位を目指そう。そうすれば2015年の優勝が見えてくる。明日からもうCarpもTigersも応援しない。Baystarsを全力で応援する。

APU

ＡＣアダプターを忘れたので、パソコンはあと20分くらいしか使えない。ということで手短に。

APU、結構とんでもない場所にある。BKCが不便とか贅沢の極み。

別府市中心部のバーへ。APUの恩恵はあまり、というかほとんど無い、とのこと。BKCが出来て南草津が発展したのとは大きな違い。（そもそも市内中心部からの距離が違う。）

「草津温泉」は滋賀県草津市には無い。行きたい人は北関東に行っとくれ。別府は温泉多数。駅前に泊まって利便性を選ぶか、「鉄輪（かんなわ）」辺りに泊まって温泉三昧するかは、来る人の自由。小生は別府駅前に泊まって、温泉を楽しめずにいる。そもそも研究集会に参加する、という名目の出張で、集会に参加せず温泉三昧するのは間違い。

別府なう

明日から立命館APUで開催される数論の研究集会に出席すべく、1日早く別府入り。小倉まで新幹線で、後は特急ソニックに乗ってしまえばよいので楽なもの。APUに転勤しようか？はもちろん嘘だけどね。小倉で新幹線からソニックに乗り換える時にHOGE氏に出会った。小豆島で行われていた整数論サマースクールが終わって直で来たらしい。お疲れ様。HOGE氏とは駅で別れてそれぞれの宿へ。「明日また会いましょう」と挨拶をしたのはいいが、宿が見付からない。昨日ホテルの在り処を調べたら、駅東口の目の前のようなことが書いてあったんだが。交番があったので聞いてみると「すぐそこですよ」と案内してくれた。確かに駅の目の前。ホテル名が英語表記だとは思わなかったので、見付からなかったのだ。小生は「シーウェーブ」で探したんだが、「SEA WAVE」を探さないといけなかったのだ。やれやれ。その後部屋でパソコンをインターネット接続しようとしたらうまくいかず、ホテルの人を呼んだらさくっとやってくれた。で今こうして書けているわけだ。

さてこれからどうしましょう？明日の研究集会は13時30分から開始。別段早起きの必要も無い。呑むか？そして、部屋は11時から掃除に入るとのことだが、掃除不要、ということにして部屋に居座ろうかな。それとも早寝早起きして早目に行ってAPUを探索するかな。まあ明日の天気次第やね。