試験監督を2つ

生活を不規則にしているせいか、昨日は絶不調で、夕方に起きて、飯を食べて、7時から10時までの「帰れマンデー見っけ隊」と「Ｑさま！」の3時間スペシャルの時間丸々寝ていた。で10時に洗濯機を回すべく起きて、洗濯を開始してまた即ダウン。うーん。でその後しばし眠りについたが、3時頃に洗濯完了の音がして起こされる。日が出ていないうちの方が得意なのか、大分体調は戻っていた。が、眠いことには変わりないので、もう一度横になるも、今度は眠れず。仕方ないので4時過ぎに本格的に起床。Sage に計算させたいものがあったので、しばし格闘。Sage は K.=QuadraticField(5) として u=K.units()[0] とでもすれば、基本単数の一つを計算してくれるが、それがこちらの所望の1より大きい基本単数が得られるとは限らない。うーむ、どうしよう、と思って、シャレで u>1 とか 1/u>1 とかやってみたら、出来るじゃないか。基本単数の4つの可能性の大小関係比較が容易に出来るとわかったので、手動でやっていた計算を自動化できる。うん、これはいい。ということでその旨修正を加え、走らせて待つ。待っている間は昨日の「Ｑさま！」でも見ようかと思ったんだが、目覚ましのため風呂に入ることにした。大分頭が冴えてきた。ということで、自動化したが最後まで自動化できなかった部分を手作業で修正を加える。数十個あるのだが、大したことない。昔 Q(√2) 上定義された導手が√2 の冪である楕円曲線を決定したことがあったが、その時は400ある同型類を導手類に分割するのに1000回以上キーボードを叩いた。それに比べたら。ただ、やっぱり完全自動化はしたいので、また Sage の勉強をすることにしよう、というところで時間。

今日は11時から「代数学I」の試験。久々に問題を見たが、大分難しい。まあそうは言っても、定義が分かっていれば (2) は (1) から1行で出るとか、覚えていればいいだけ問題を出していたので、そんなに不合格を出さないで済みそうな感じ。まあ詳しくは答案を受け取ってからでないと何とも言えないので、1日2日待つ。

午後は3時から別の試験監督をすることになっているので、大分時間がある。ということで久々に駅前の「極楽湯」へ行った。湯船につかるということが普段無いので、久々に足を伸ばしてゆっくりしてきた。もっと時間を掛けてもよかったんだが、そこは肝が小さい。試験に間に合わなかったらどないしよー、今何時や？という感じで落ち着かなかった。まあいいのだ。「10割蕎麦」を食って「極楽湯」を後にする。

3時から「科学・技術と社会」という科目の試験監督。教授は担当科目以外にもう一コマ試験監督をさせられることになっている。でこの科目は非常勤の先生の科目で、しかも受講生450強ということで、2部屋に分けられている。非常勤の先生は来ない可能性があるので、専任で2教室監督をするというわけ。まあ担当の先生は来たんだけど。230人か、回収するの大変だな、と思ったんだが、こういう作文をしろ系の科目は途中退出者が多い。まあ考えても仕方の無い科目なので、むべなるかな。60分終了の時点で残っているのは30弱。答案の整理は大変だろうと思ったが、出したそばから数勘定をしていたので、楽に出来た。これで監督業務は終了。後は採点と成績付け。こちらも頭の痛いところ。まあ上に書いたように数日おかないと採点できないので、考えないことにする。今本当に頭が痛いが、採点は万全な体調でやって、頭が痛くならないようにしよう。

試験終了後即山科へ。トヨタの人が任意保険の件で来て欲しいというので行く。3年に一度の保険の更新。最近は事故を起こしていないので、等級が大分上がってきた。それでも大したことない。用事は短時間で終了し、5時40分くらいにトヨタを後にする。

で住処着は5時55分。普段だと丁度中継番組が始まる時間なんだが、今日から3日間「横浜 Star Night」と言う特別行事。選手はスペシャルユニフォームを着ていて、そして試合終了後にドローン100機による光のショー（何か名前ついていたが忘れた）がある。それのために試合開始が早くなっているのだ。そんなのはいいから勝ち試合を見せてくれ、と思って見ていたら、まああまりいい攻撃とは言えないが、6－2で勝利。よかった。光のショーは中々よかった。明日も明後日もやるそうだから、見てやろう。

今日は早かったし、頭が痛くなってきているので、もう寝よう。こんな状態で起きていようとはさすがに思わない。明日はM0の学生とゼミだ。また先週のように派手に遅れるわけにはいかない。ということで寝ます。じゃ！

中川虎大の初登板を見逃す

昨晩は呑まなかったが、何やかんやで遅くまで起きていた。まあ日曜日だしいいか、と思っていたんだが、ちゃんとしっぺ返しが来る。9時頃に火災報知機の点検の人が訪れてきた。まだ寝ていたいが、仕方なく起きる。用事は一瞬で終了。しばらく起きているが、眠くて仕方ないのでまた寝る。で起きたら3時を回っていて、野球は既に始まっていた。今日の先発は育成から支配下登録された中川虎大（こお、と読ませる）。が、起きた時には既に降板した後だった。どうやらショートスターターだったらしく、2回で降板したらしい。残念。早寝していれば見られたものを。まあいいや。で試合は久々の負け。首位 Giants と3位 Carp が勝ってしまい、首位と 4.5 差、3位とは 0.5 差という状況。明後日から Carp vs. Giants らしい。Giants が勝つのは気分が良くないし、追う方としては負けてくれた方がいいのだが、Carp に抜かれる可能性もあるので、Carp が勝つのも考えもの。まあ理想は Baystars と Carp が共に3連勝。うん、これを願おう。

もう眠くなってきた。寝てる時間としては十分なのだが、睡眠の質が悪い。明後日は試験監督で午前中起きなあかんし、今日から生活リズムを整えるかな。ということで、もう少し起きていますが、早めに寝ます。じゃ！

起きたら既に12－0

昨晩（もちろんもう今日だが）は安福さんの本が面白くて、4時過ぎまで読んでいた。で寝付けたのは5時くらい。…。まあいいんだけど。で3時くらいに起きたかな。もちろん昼の。で起きて即野球にチャンネルを合わせる。見ると、何と12－0でリードしている。思わず「わっ！」と言ってしまった。しかもまだ3回裏。何があったんだかわからないが、兎に角8連勝濃厚。筒香もソトもロペスも宮崎もどんどん引っ込んでいき、控え選手の虫干し状態。もはや野球としての興味は無くなった。結果だけわかればいい、ということで、野球を流しっぱなしにして、Python プログラミング。mod 4 で1と合同な素数を2つの平方数の和で表すプログラムを書いてみることにした。でヤコビ記号の計算が必要なので、既に作ったヤコビ記号計算プログラムを、ユーザー定義関数にする。ということで Python の本で書き方を学ぶ。すぐ出来た。でそれを使って、課題のプログラミング。流れ図は和田先生の本に書いてあるので、そのままプログラミング。あっさり動いた。で小さい数ばっかりじゃ面白くないので、少し大きめの数でやってみる。答が返ってこない。何故じゃ？と思ってよく考えると、大きな数の大きな数乗をそのままやってるから、Python が苦労しているのだ、ということだった。仕方ないので、繰り返し2乗法を使った modpow 関数を作ることにした。でこれも和田先生の本を見るとちゃんと流れ図が出ている。が、それは repeat－until 型の流れ図で、Python にはそれが無い。ということで while 型に書き直すのに少々時間を要して、modpow は出来る様になった。561 がカーマイケル数であることをちゃんと確かめてみる。出来ているようだ。でそこで一旦中断。後で続きをやることにして晩飯へ。

今日は土用の丑の日である。ということで何が何でも鰻を食べないといけない。で近所のなか卯に行き、特鰻重を食べてくる。特、と言っても1250円なので、相当安い。美味かった。満足して戻ってくる。でこんなものを書いている次第。

今日は激呑みにしようと最初は思っていたんだが、腹の具合がものすごく悪い。こんな状況で酒を呑んだらどうなるだろう？ということで只今思案中。

今日も Tigers は Giants に勝ってくれた。お陰で3.5差。10日で8ゲーム詰めた、とか言ってたな。うむ、本当に行きそうだぞこれ。期待しちゃおう。

その後プログラミングの続きをやり、完成。色々数字を突っ込んで実験。無事 6700417＝2566²＋409² が出来た。これべき乗をまともにやると答が返ってこないんだよね。よかった。また勉強に成った。次は何しよ？

安福悠「発見・予想を積み重ねる－それが整数論」（オーム社）を3冊も購入していた

昨日書いた通り、12時半から約束があった。で10時半に起きるつもりだったが、8時半に目が覚めてしまった。まあ昨日は早寝できたので、睡眠は十分。ということで起きていた。昨日のプロ野球ニュースを見たりして時間を潰す。11時半ぐらいに住処を発つ。

で大学に12時くらいには着いた。メディアライブラリー（遠い図書館）に本を返すためにちょっと寄り道。さらにメディアセンター（近い図書館）に寄って本を返す。それだけで10分以上歩いた。暑い。融けそうだ。まだまだ夏本番じゃないぞ。この程度でへこたれてどうする！と叱咤激励して個研室へ。速やかに冷房の電源を入れる。生き返った。というところで学生登場。用事は数分で終了。このまま帰るのは馬鹿馬鹿しいので、少し勉強でもしようかと。安福悠「発見・予想を積み重ねる－それが整数論」（オーム社）が職場にもあった。住処に2冊あるぞ。どういうわけか3冊も購入していたようだ。ということで折角だから読んだ。まだ初等整数論の域を出ていないところだが、十分面白い。で読んでいてふと思った。来年度の「代数学I」では、少し暗号の話でもしようかと。どうせ2週間余るし丁度いい。その過程で「ユークリッドの互除法」が何回で終わるか、とか、「フェルマーの小定理」を使った「非素数判定」、「カーマイケル数」の話など。こういうのは「暗号理論」でやっていたんだが、去年一杯で閉講にしたので、「代数学I」でやると帳尻が合う。そうだそうしよう。初等的な本でも、読んでいると発見がある。いいことです。これからもどんどん読む。

で5時過ぎまで職場にいた。野球に間に合うように職場を離れたが、今日も名神は渋滞。「瀬田東JCT－大津 6km」の案内。うーん、まあそれくらいなら名神で帰ったほうが早いな、ということで渋滞に身を任せる。渋滞が我慢できないのか、走行車線と追い越し車線の流れのいい方を選んで右から左、はたまた右と、せわしないドライバーが多い。小生を追い越した車にあっと言う間に追い付いてしまう。流れに身を任せ、いらいらせずに走るのが一番です。安全運転で行きましょう。

ということで野球の開始には間に合わなかった。1回表2アウトから観戦。まず筒香の2ランで先制。その後ビシエドにソロホームランを打たれ2－1。それ以外は一切点が入らないという、何とも痺れる展開。結局そのまま2－1で終了。うむ、よかった。形はどうあれ勝ちだ。Tigers が頑張って Giants に勝ってくれたので、これで首位と4.5ゲーム差。21年振りの V が強ち冗談でなくなってきた。期待しちゃうぞ。明日も勝て！

さて、アルゴリズミックな話を少し勉強しようというわけで、帰宅後和田秀男「コンピュータと素因子分解」（遊星社）を少し眺めてみる。面白そうなアルゴリズムがあれば、Python でプログラミングでもしてみようかと。例えば mod 4 で1と合同な素数を二つの平方数の和で書くプログラムでも書いてみてはどうか、と思ったんだが、ヤコビ記号が組み込み関数で無いとつらいことがわかった。いや、ヤコビ記号を計算するプログラムは作っただろう？と言われるとその通りだが。まあ時間がある時にでも。そういえば青木昇「素数と2次体の整数論」（共立出版）に mod 4 で1と合同な素数は、二つのヤコブスタール和の平方で表せる、というのがあった気がした。調べてみると、これもヤコビ記号の計算が必要で、あまり実効的とは思えなかった。まあせめてその証明を理解してお茶を濁そう、と思って読み始めたのだが、よくわからない。まあいいや、ということで、ヤコブスタール和が何者かをちょっと google で調べようとしたところ、上の証明の詳細を書いたものがあった。で読んでみると、なるほど明快。理解できた。小生が丁度引っかかっていたところに詳しい説明があった。まあ自分の研究なら理解できるまで食い下がるんだが、「お茶を濁す」のが目的なので、挫折した。許してください。

明日は台風が来るらしい。うちは恒例土曜日の定期試験日なのだが、どうなることやら。

佐々木朗希、県大会予選決勝戦で投げず

昨晩は電卓をいじり倒しているうちに、複素解析の演習問題を思い付いたので、解答を考えてみた。左辺から右辺を導くのに存外苦労したが、右辺から左辺を導くようにしたら簡単だった。でその辺にある本を見たら、面白そうなことが書いてあったので、それも併せて TeX 化する。うん、面白かった。が、4時過ぎまで起きていた。いかん。で今日は相当遅く起きた。いかんね。まあ用事は無いからいいんだけど。明日は学生とちょっと密談をするので、12時半に個研室に着いていないとまずいので、今日は早寝する。そんなに生活リズムが狂って、よく寝られるな、というご意見もございましょうが、どうにかなるもんです、はい。

いつもの通り6時から野球。今日の先発は今永。毎週金曜日に登板しているが、今日は珍しく木曜日の登板。今日は危なげの無い投球を見せ、完封勝ち。素晴らしい。打線は1点を取った後中々点を取れなかったが、6回に1点、9回に4点と得点を重ね完勝。これで貯金3で、今日負けた Giants との差が5.5。いいですね。明日からは現在不調の Dragons 相手。3タテを狙いましょう。かたや手負いの虎は明日から Giants 戦とか。うむ、明日からは Tigers も応援しないといけないな。

今「報道ステーション」を見ているが、トップニュースが「大船渡高校 佐々木朗希投手は県予選決勝戦に何故投げなかったか？」うーん、視聴者が興味あるのはわかるんだけど、もっと他の重要なニュースは無いんかい？という感じ。まあいいんだけど。小生は佐々木は放らなくてよかった、と思っている。昨日190球以上投げているらしいので、休むのは当然。このまま肩・肘をいわしてしまったらどないすんねん。この上甲子園大会まで行って、そこでも毎日のように放ったら確実に壊れる。金の卵だ、大事に育てよう。

て書いて思い出したんだけど、Giants が甲子園のスター・荒木大輔をドラフトではずし、はずれ1位で取ったのが斎藤雅樹。荒木はプロで40勝出来なかったが、斎藤は年20勝はあたりまえの大投手に成り、2年で荒木越えの40勝するほどの大活躍。高校野球で無理してプロで惨めな思いをするなら、高校野球で無理をしないほうがよいと思う。まあ色々な意見もありましょうから、「投げるべきだった」と思っている人はそう信じていてください。佐々木がプロで活躍した時議論しませう。

exp(複素数) は計算できるのに cos(複素数) を計算できないのは何でじゃ？

昨日の晩は部屋掃除もしたんだが、結局テレビに張り付いている時間の方が長かった。「ロンドンハーツ」は、ついに亮が謹慎後に収録したものに成ったらしく、草薙が亮の代わりにアシスタントをしていた。別段面白くなかったんだが、亮をどう扱うか興味深かったので見た次第。

で今日は午後起きた。今日も関数電卓いじり。log や exp の引数に複素数を使えることが分かった。ということは三角関数でも、とおもったが、cos(i) とやったらエラーが出た。しかしである。cos(z)＝(e^iz＋e^-iz)/2 だから、複素数の三角関数も計算できる。ということで、前に一度だけ複素解析を担当した時の試験問題「cos(z)＝2 となる z∈C を求めよ」の解答を確認できた。他にも複素数の平方根が計算できることも分かった。普段使ってる電卓は、複素数モードにしておくと √(－a) （a は正の実数）なら計算できるんだが、√(1＋i) とかはエラーに成ってしまう。うむ、いいものを買ったな。Python のプログラムだけでなく、色々使えそうだ。まあ計算できる道具を持っていても、何か新しいことをしてそれを計算しないと意味無いので、ネタ作りに励もう。

6時から野球。4回表にロペスの2ランで先制。が、5回裏に北條のホームランで1点取られる。その後恒例点の取れない打線。9回表に相手のミスで筒香が3塁打。ノーアウト3塁。が、ソト、ロペスが凡フライを打ち上げ、犠牲フライにすらならない。宮崎を申告敬遠で歩かされ、バッターは柴田。あ、また1点差で康晃か、と思って申し訳ない、柴田。タイムリーヒットを打ってくれた。3－1。9回裏は当然康晃。ノーアウト2塁のピンチを作るも、その後3者を打ち取ってゲームセット。これで引き分けをはさんで4連勝で、貯金2。首位 Giants が負けたので6.5ゲーム差。うむ、いい感じです。明日も勝って、さらに差を詰めましょう。

Carp がまた勝った。11連敗をしたが、これで5連勝。借金1。うむ、強いんだか弱いんだかわからんぞ。上を見るより下も見ておかないといけない。まあ Carp と協力して Giants を引き摺り下ろしましょう。

結局 python の本を買ってきた

昨日で講義は終わっているのだが、今日はM0の学生とゼミをする約束になっていた。1時開始なのだが、起きたら12時半を回っている。講義が終わって精神的にゆとりが出来たため、昨晩は遅くまで部屋のゴミ出しを気合を入れてやってしまい、寝たのが遅くなったのが原因。まあ言い訳はよしましょう。「遅れる」とメイルを書いて、ダッシュで飛び出す。

30分遅れでゼミは開始。今日は円分体の話。円周等分多項式の既約性を示した後、素数の分解、整数環の決定など。来週からまた難しいところに入るようだ。気合を入れて起きよう。遅刻は無しよ。

ゼミの途中に大雨が降り出した。ちょっと表に出るのは避けたいほどの降りだったので、5時くらいまで個研室で様子を見る。python の本探しなど。結局 python の本は見付からず、雨が弱くなってきたので生協に買いに行く。python の本って沢山あるね。勉強しておいて損は無い。

で野球に間に合うはずだったのだが、名神が渋滞していて、10分ほど余分に掛った。住処に着いてテレビを付けたら、もう始まっていた。今日は vs. Tigers。2点先制されるも、一気に5点取ってリード。が、三嶋が2失点、エスコバーが2失点で逆転を許す。9回表2アウトというところまで追い詰められたが、筒香の同点2塁打で延長へ。その後どちらもチャンスを作るも、決め手を欠き、引き分け。首位 Giants が勝ってしまっただけに痛かった。まあ追いついたんだ、贅沢は言うまい。

その後 python の本を繰りながら、電卓で python プログラミング。今日は素因数分解をするプログラムを作ってみた。別に何の工夫もせず、2で割った後3から2飛びで奇数を回して割り続けるというプログラム。そこでやめたら面白くないので、ちゃんと 2^3*5*11 のようなフォーマットで表示するよう一工夫。python の本を参照しつつ、リストを使ってみた。いい感じに出来た。普段使っている電卓に素因数分解をする命令はあるのだが、それは10^10未満の整数でないといけなくて、しかもあまり大きな素因数を持つ数は分解してくれない。あまり大きな、と言っても 6700417 くらいの数をの分解を諦めるので、はっきり言って使えない。折角書いたプログラムだ、有効に使おう。次は何しようかな。

さて、明日は早起きしなくていいから、これから部屋掃除をちょっとだけするかな。