No Such Blog or Diary

lhs2tex がおかしかったのはファイルを全部生成しなおしたら治った．共通のファイルをインクルードするようにするのが肝なのね．

閑話休題．

定式化と表記法を総取替え（伸びる方向に）しつつ現状よりも大幅に量を減らすという荒行に……　まあ，無駄を承知で全部書き下しただけなので削るのはいいのだけど普通に削っただけでは目標に到達しないような予感．どうすべか．

終電少し前に千葉公園に行って朝まで論文書きつつ待機．周りが暗いのでディスプレイの輝度も下げられてバッテリーが長持ち．

んで，明るくなり始めてた４時頃のハス．まだ暗いけど電灯の灯りで．このころはまだ一人二人いるかどうか程度の込み具合．

そして論文書きに戻って５時半頃のハス．もう十分明るい．そして人もたくさんで４０人くらいは居たかね．

何となく人の入らない辺りを切り取った画．大分散った花があるけれど，やっぱ昨日来ておくのが正解だったかね．

うーん，こいつの吐く.texファイルが \usepackage を含んでいるせいでそのファイルを他のファイルから \input できない．諸々の定義だけ別ファイルに出すとかいうオプションとかあるのだろうか？　よく分からないのだけど共著者の lhs2tex と動作が違うのかなぁ……

暑いので窓を開ける　→　いい風が入るなぁ　→　近くの喫煙所から煙というかタバコ臭い空気が飛んで入ってくる　→　やる気がなくなる

窓を開けておけば涼しくてエアコンより快適＆節電なのだけど，近くの喫煙所が煙＆臭を吐きまくるので不快．煙が外部に漏れる喫煙所を完全に排除する方向に動いて欲しい．

なぜだろう？　怒られまくる．

とりあえず初期パスワードが分からずしばらくブルートフォースして怒られまくった．

次に，初期パスワードを思い出して入れてみたら「ログイン出来ない部署です」とかいうエラーメッセージをくらいまくった．ID登録してもらってあって，指定されたURLでID/PASSを入れたのに……　状況が全く分からない．

で，しばらく試行錯誤してブラウザのタブを開き直したらエラーが出なくなって初期画面に入れた．何が悪かったのか全く分からない．

ログインエラーしまくったのが原因だったのか？

とりあえず，大学にある一連の〇〇システムというヤツらは使い始めると意外と便利に出来ているのだけど使い始められるまでが長いという印象．

おまけに Firefox 4.X だとこけるから使うなとかログイン後の最初の画面に書いてあったり……

結合則，可換則，分配則は誰でも同じものを考える．

群と単位的半群も誰でも同じものを考えるっぽい．

でも半環になると人によって定義が違う．とくに乗算に可換則を入れてしまっているのがちらほら……　これでは行列が半環をなさなくなってしまう．

閑話休題．

加算の単位元が乗算の零元という要請はどこら辺で効いてくるんだろう？　半環から別の代数的構造を作るときには有用だけど，それを考えない限りは要らないよね……