No Such Blog or Diary

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

Axis2 で ServiceClass として指定したクラスのオーバライドせずに引き継いだメソッドを公開しようとしたら java2wsdl がうまく動いてくれなかった．メッセージの中身がすべて空になってこけまくる．何かやり方があるのか仕様なのか．よく分からんことで時間を無駄にした．

エラー時に例外投げずにいきなり終了する（System.exit）するライブラリの実装って使いたくないんだけど…　これが遠隔地のサーバ上で起きるからデバッグが非常にめんどくさい．System.exit 実行時の挙動を適当に変える方法は無いものか？

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

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

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

データの読み込みまで出来るハード＆ソフトが完成．バスパワーでもセルフパワーでも動く．整流用でないショットキーバリアダイオードを電源の逆流防止に入れてて挙動がおかしかったりもしたが，整流用のにしたらちゃんと動くようになった．やはり電流量に応じた物を使わないといけません．あとは，機器の方から能動的にデータを送れるようになると良いのだが…　PCからポーリングしまくるとその処理のせいでマイコンの動作が重くなるのでよろしくないので．でもどうやればいいかまだ良くわからない．ついでに，PWMでモータをコントロールする部分もつけたので後はテープ送りの工作をすれば完璧．さすがにバスパワーだとやばいかもしれないけど…