UBASIC起動！

職場でパソコンのセットアップ。割合最近買ったデスクトップのパソコンがあるのだが、それのOSはWindows7、64bit。これだとUBASICが動かない。でUBASICを走らせるため、わざわざWindows7、 32bitの入ったノートパソコンを購入。10万円を超えていると、大学での手続きが色々面倒なのだが、幸いにも99800円。しかも薄くて軽いときている。今度の金沢出張に持っていくには丁度いい。
でまずとりあえずTeXをインストール。その後CtrlキーとCaps Lockキーを入れ替えて、xyzzyをインストール。キーバインドを若干変更して、最後にUBASICをインストール。これで無事使えるようになった。やれやれ。おっと、まだ辞書を移してないな。専門用語や固有名詞を大量に登録してあるので、登録してないと不便だ。明日やろう。（今はもう住処なのでね。）

帰りはココ壱でカレー。待っている間スポーツ新聞を読む。バレンティンがやはりMVPだった。良かった。これで阿部にでもなろうものなら許すまじ、と思っていたのだが、やはり60本ホームランの大記録に記者は投票したようだ。めでたしめでたし。新人王もライアン小川が取り、最下位のチームからMVP、新人王。史上初だそうだ。今年は田中マー君の24連勝とか、色々記録ずくめの年だった。さて来年はどうなるやら。オフの間は研究に励める、…、かな？

エレガントな証明は読めない

水曜日は線型代数の講義があるので、暇に任せて読んでいたが、どうもさっぱりわからない。で別の線型代数の本を見たら、テキストで一言で証明してあるところを何行にもわたって証明していた。見たら納得。そうだよな、これくらいの説明は必要だよな。ということで明日の講義は、三宅敏恒「入門線形代数」培風館、から適当に補いながらやることに決定。もう遅いので寝るので、明日はアドリブでやる。

時代劇専門チャンネルで「独眼竜正宗」が放送されているが、沢口靖子が若い。昼に「科捜研の女」の昔のが放送しているが、やはり沢口靖子が若い。タッチもコメディタッチで、軽くて面白い。最近の「科捜研の女」は、捜査シーンに重点が置かれていて、重い。同じシリーズを10年以上やると、男優はともかく女優は老け方が目立つ。「相棒」を見ていても水谷豊がそんなに老けたとは思えないし。若く見せ続けようとするのは大変だ。男に生まれてよかった。

誤植に騙される

ゼミにて。m≡5(mod 8)なら2はQ(√m）で惰性する、という証明。「よって矛盾」と学生が言ったが、「いや、何も矛盾出てないぞ」と小生が指摘。30分くらい皆でうんうん唸って、冷静な学生が一言。「ここの＋は－の誤植です。その後の2つの式もそうです」と。う、しまった、幼稚なミスプリに騙されてしまった。やっぱり初版第１刷は危険だな。結構売れそうな本だから、著者に指摘して、次の時は直してもらおう。

最後は、クロネッカー記号が判別式の絶対値を法として定まることがしれっと書いたあったが、そんなに簡単なことでは無かったはずだぞ、と言ったら、学生は真剣に考え始めた。が、時間内に結論は出ず。うん、確かに自明ではない。「平方剰余の相互法則を使えば」とは書いてあったが、そこそこ面倒なことだった気がする。まあこんなのが簡単なら類体論はもっと簡単なんだろうけど。とにかく来週までに調べておこう。

今日は夕方まですごい雨だったが、ゼミ終了後にはもう雲の切れ間から星が見えていた。今日はwalking dietやるんだろうか？面倒臭いから今日も無しにしてもらえないかな。

日馬富士優勝！

同僚に「ブログの更新はしないんですか？」と聞かれて、「実は前のブログを触れなくなったので、新しいブログを作って、鋭意更新中です」と答えてから一週間以上更新しなかった。ちょっとここのところ低調だったので。低調の理由は半分以上明らかなので、別に自分では何の心配もしていないんだが、心配されていた方もあるかもしれません。明日からは元気にやっていると思うので、ご安心を。

さて、低調だったため、相撲のやっていることを忘れていた。11日目くらいからようやく見始めた次第。両横綱が好調で、全勝で優勝争いを引っ張っている展開。うん、これはいいぞ、と思ったら、そこから2敗の稀勢の里が大暴れ。両横綱を連日撃破。千秋楽の今日も勝って、13勝2敗。優勝こそならなかったものの、北の湖理事長が、「優勝に準ずる成績とみなせる」と言っていたので、来場所は何度目かの綱取りの場所。楽しみである。

優勝は日馬富士。1敗同士の千秋楽横綱決戦、勝った方が優勝、という最高に力の入る一番を期待したんだが、結果は案外あっけなかった。まあ日馬富士がこれで元気な姿を毎場所見せるようになってくれたら、来年も楽しく相撲を見られそうである。

また部屋が散らかってきた。講義の準備やら定期テストの問題作成（まだ事務からは作成依頼はないが）、12月末の金沢の準備、ハードディスクレコーダーが一杯に成りつつあるので、それの回避のためのBlu-rayディスクが散らかっているなど、ひどいことに成り始めた。とりあえず年明けになれば一気に色々な問題が片付くので、それまではちょびちょびと片付けることにする。

新天地での活躍を願う

昨晩は確率論のメンバーを主とする飲み会に参加。今年の4月に着任された先生の一人が、早くもパーマネントな職を見付けうちを去るため、そのお祝いということで。1件目は木屋町三条の「こま井亭」で。美味しい肉を食べつつ、当該の先生と色々話す。2件目は、「小生のことを山科駅まで知らん人はおらんで」とうっかり口走ってしまったため、小生が常連になっている山科のバーで。当該の先生と色々生臭い話をしたりと、有意義に過ごす。彼に幸多からんことを願う。

草津方面の終電が行ってしまったため、タクシーに分乗して皆は帰っていかれた。その後小生は、その店でウィスキーを少々飲んで、「さて帰るか」というところでYuusukeに捕まって、「Jayの店は盛り上がっているで」というこでJayの店へ。彼に「さっき電話に出ないもんだから、客13人逃がしたで、残念やなー」と伝えておく。とにかく早く店の電話を復旧させなさい。でダーツやビリヤードを「見学」して6時くらいまで。いやー、楽しい晩だった。いつもは一人で鬱々と飲んでいることが多いんだが、こうやってみんなで飲んで騒いでをたまにやらないと、どんどん精神が病む。次はいつだろう？今日幹事やってくれた先生の栄転かな。まあ皆頑張りましょう。

現代数学への招待 －多様体とは何か－

うちの学生は幾何が嫌いらしい。水曜日に小生が1回生の線形代数の講義をしているが、隣の部屋の多様体の講義（後編）は、数えるほどしか学生がいないようだ。担当の先生（今年度定年退職）も「うちの学生は幾何が嫌いらしくてなー。どうにかしてほしいんやわ」と、数年前に赴任したＦ先生にお願いしていた。「多様体ってそんなに難しいかな？ほとんど講義に出ずにいい成績をもらった気がするが」と小生は思っていたんだが、そう、2年生の時に、幾何をやっている院生に

志賀浩二「現代数学への招待 －多様体とは何か－」岩波科学ライブラリー

という本が再版されたのを知って、読んで雰囲気だけ理解したのだった。この差は大きい。それを読んで、「うん、面白そうや」と思って、しかも運がいいことに

松本幸夫「多様体の基礎」東大出版会

が出版され、教科書に指定されたことが大きい。講義にはほとんど出席せず、上記2冊で多様体の何たるかを何となくわかっていたことが大きい。うちの若い先生（うちの卒業生）が、「多様体はＦ評価でした」とか、有限体上の曲線のゼータ関数を勉強している学生が「多様体は登録しませんでした」などと言っていたのをみると、志賀先生の功績は大きいな、と感じる。30講シリーズなど、志賀先生の本はよい副読本になるので、もっと薦めてみてもいいんではないんだろうか。最近ちくま学芸文庫から再版されたのを知ったので、Ｆ評価をもらった若い先生と、「特殊講義（専門）」のＴＡをやっている学生に渡しておいた。彼女らが多様体を好きになればいいが。

ちくま学芸文庫は意欲作が多い。志賀先生の本の帯に

リヒャルト・デデキント（渕野昌訳・解説）「数とは何かそして何であるべきか」

があったので、早速購入。昔岩波文庫から出たのはは河野伊三郎氏が訳したものだったような気がするので、こちらも購入。見ると「待望の新訳」だそうだ。「切断による実数の導入」はいつか完璧にわかりたい気がしているので、これも購入。コーシー列の全体の成す環を、0に収束する数列全体の成すイデアルで割る完備化はもう十分理解した（つもり）なので、いつかデデキント切断を心底理解したい。それには今は余りに忙しすぎる。やはり65歳で定年した後は、特任教授などやらずに、自分の好きな勉強を…、20年先の話はやめよう。何が笑うんだろう？

他にパソコンを2台ほど購入。1台は持ち運び用の軽いパソコン。もう一台は、ついにWindowsを見捨ててMacを購入。結局TeXが使えればパソコンは何でもいいので、もうWindows8とかいうわけのわからないものには触れないようにしたい。ただ UBASIC は走らせたいから、一台は Windows7、32bit にしたが（64bit だとUBASICを動かすのに相当な工夫が必要なのでね）。

微分方程式を解いた

線形代数のテキストに、線形写像の例として微分作用素が出ていた。で基底を決めて行列表現してある。で自明な命題により、その微分方程式を解くことと、連立方程式を解くことは同値。ということで微分方程式を解くと称して、行列の掃出しをしただけ。が、大体掃出しはコンピューターにやらせているので、手計算でやるのは存外時間を食った。答えが合っているはずだが、肝心の微分方程式の解に成っていない。困って何度もやり返したら、多項式の計算が出来ないというだけのことだった。手計算をしないと能力が落ちるね。固有値、固有ベクトルの計算は手計算の能力が大事だから（いや、コンピューターで出来るんだけど、講義の時はね）、手計算をたくさんやって能力を上げておかないとまた1回生の前で恥をかく。計算しよう。

フィボナッチ数列の一般項を√5を使って与える公式（ビネットの公式というらしい）は、結果さえわかっていれば数学的帰納法で簡単に証明できるが、結果を知らないと線型代数の問題に成る。固有値、固有ベクトルをやる時にそれを例に挙げてみようか。