No Such Blog or Diary

やっと届いた．土曜の夜には配達店に届いていたというに．おそいんじゃぼけぇ！　ということで，適当に機能の確認を後でしよう．

今日は途中で抜けたのだが，内容はSPIN使ってモデルチェッキングしてみましょうと．とりあえず時相論理は頭がこんがらがることが良くわかった．

UMLでシステムをデザインしましょうねという半分講義半分演習．時間が無いので忙しい講義になってた気がする．道具としては無料で手に入る JUDE/Community を使用．今後のために今作ってるシステムもUMLで記述しといたほうがいいかもしれない．研究者が作る適当デモシステムっぽいのでどうでもいいといえばどうでもいいのだけど…　誰かがやっとけば今後の参考になるだろう．

他人に見せることが確定しているプログラムには javadoc ないし doxygen 用のコメントぐらい入れてほしいものだ．まともなドキュメントが無いのでソースを読まねばならずめんどくさい．ついでに，変数名に全く逆の意味の名前をつけないでほしい．コピーしてきて逆の意味のメソッド書いたからこうなったんだろうけど．ということで，自分くらいは少しはまともなコメントを書いておこう．

なんとなくいい機会なので電子辞書を買ってみた．買ったのはSIIのSR-E8500．他, SHARPのPW-V8900, CASIOのXD-GT9300 などの候補もあったが，英語に関する収録辞書が一番強力なこいつに決定．検索機能もちゃんとしているようだし．とりあえず暫くはこれで遊べそう．

とりあえず聞かれたので思い出してみた．■アニメの射手座の日の脚本家が、雪山を書くと の元ネタは「悩んでられない八方塞がり？」のpp.147--148 であると．どの話だったかを思い出すのに１０分以上はかかったと思われる．あほだ…