野球が８時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を探索するかな。まあ明日の天気次第やね。