結局相当な時間まで起きていた。予想を検証するべくコンピューターに数値を打ち込んで、結論を待ってる間に生産性の無いことを色々してたり。SageMath では埒が明きそうにない様子なので、Magma Caluculator を頼ったが、そっちでも埒が明かない。嫌に成って変な時間に寝た。
そういうロクでもないことをやってると罰は当たるもので、変な夢を見た。職場に行ったら、個研室のドアが開いてて、中に他の人がいるという、謎な事態。何と勝手に研究室を移動させられてしまったのだ。あんな散らかった部屋いかようにして？とか相当リアルな夢で、7階の事務室に聞きに行ったりとかそういうのが全部本当の施設が出てくる。移動された場所はキャンパスの端。事務の人に、近くに車停める所あります？とか質問している光景まであった。唯一現実と遠かったのが、移動先が「3号館B棟」とかいう、うちのキャンパスに無さそうな建物だったことか。うちは「ウェストウィング」とか「イーストウィング」とか「フォレストハウス」とか「コラーニングハウス」とか変な名前の建物ばっかりだからね。目が覚めた時は本当にほっとした。それからカップ焼きそばを食べたが、その後脱力してこんな時間まで寝床でウダウダやっていた。また今日も変な時間まで起きてるコースだな。
どうせ起きてるなら、SageMath で予想を検証しようかという気に成っている。Magma Caluculator は使用時間に制限があるのでうまくいかなかった。SageMath ならパラメーターを上手に与えれば何とかなるのでは？という気がしないでもない。コンピューターに全部任せるのではなく、途中まで手動でやって、最後の詰めだけコンピューターにやらせるのでもいいかもな。まあもしくはすぐ寝ちゃうかだが。ま、もうちょっと考えますわ。
