そういえば、前にWindows98なんていう不安定なOSを使っていた時にUPECSを使ってたなー、と思い出して、廃棄手続きをする前にバックアップを取った外付けHDを穿り返してみた。すると、UPECSあった！よーし、UBASICをインストールして、使ってやろう！と張り切ってはみたのだが…。今職場で使っているパソコンは64bitのため、UBASICを走らすことができない。がっくし。64bitの機械でUBASICを走らす方法はあるのだが、どれも面倒くさい。まあ幸い住処のノートパソコンではUBASICが動くので、住処でいじればいいや、ということで妥協。
ということで住処へ帰って、早速いじってみる。そうそうこんな感じだったな、と思い出しながら色々。で「157は合同数である」ということを確かめるために、E：y2=x3-1572xのanalytic rankを計算させてみる。結果はすぐ出た。UPECSでは本来のrankは計算できないので、ちょっとheightの小さい点を探してみるか、と思ったが、出てこない。もちろんこれは予想できたこと。何たって面積157を持つ直角三角形の3辺がすごいえぐいからね。ではmwrankで、と思ったら、こっちは何かパラメーターを入れてやらないと、ある程度以上のheightを持つ点が出てこない。「よし、こんな時はGoogleだ！」というわけで「157 合同数」でググってみると、さすが皆一度はやってみるようで、すぐヒット。http://www.kaynet.or.jp/~kay/misc/congr.htmlに出ていたものを無断引用。こういうのはどっかにメモっておくと何かの時に使えるからね。Eの生成元は[-8831247480342855244749962265791220 : -167661624456834335404812111469782006 : 150201095200135518108761470235125]こんならしい。heightは54.600889294017036…。やっぱりえぐいね。対応する三角形は、この点を2倍しないと出てこないから、そら恐ろしいことになるわ。久々に楽しかった。ということで昨日はよく寝た。
名神集中工事はまだ続行中。今日は10時40分からゼミだから、早く寝て早めに住処を出よう、と思ったのだが、楽しかったし、ビールを500㏄で2缶くらいは呑んでもいいよね、ということで呑んだ。目が覚めたら9時30分。うむ、これからシャワー浴びて10時前に住処を離れるとなると、10時40分は結構微妙かな？と思ったんだが、名神は思いのほか混んでなかった。でやはり瀬田西で降りて職場着10時30分。おお、間に合った。ということで10時40分から14時過ぎまで楽しくゼミ。これからちょっと気の滅入ることがあるので、今晩もまた呑んでしまうかもしれないな。まあ明日はまた用事があるし、ちょっとだけね。
