No Such Blog or Diary

«Prev || 1 | 2 | 3 |...| 716 | 717 | 718 |...| 761 | 762 | 763 || Next»

カメラ届く

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

集中講義二日目

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

集中講義一日目

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

ねむい…

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

電子辞書購入

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

えー

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

«Prev || 1 | 2 | 3 |...| 716 | 717 | 718 |...| 761 | 762 | 763 || Next»
Search
Feeds

Page Top