netail.net

自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．

2003-12-05 古い日記からの変換データ [長年日記] ▲

博士前期課程の人の発表を聞く．事前/事後条件をベースにした検証を開発環境に取り込みましょう，という話が一番興味深かった．再帰などの扱いのときにはやはり不変条件を使うらしい．「不変条件は実行中だったら守らなくていいんじゃないの？」と聞いたら困ってた．やはりみんなあまり深く考えてないらしい．

借り物の某メーカーの GPS を PDA に付けてみる．建物や高架の影では使えないが，それ以外だと３秒くらいで反応が返ってきて面白い．アンテナ部分が大きすぎてペン（スタイラス）挿すところを覆ってしまうので使いようはないけど．

しかも，地図データが大きいはずなので，無線ネットワークで必要な部分だけダウンロードするとかしてくれないと今の PDA には厳しいかも．