2011年07月01日

Bag 用の括弧である \lbag と \rbag ってここで定義されてたのね．

\llbacket とかもあったのか……　知らんかった．

http://www.rpi.edu/dept/arc/training/latex/LaTeX_symbols.pdf とか便利．

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

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

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

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

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

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

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

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

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