netail.net

_ Windows Update ▲

久しぶりに Windows Update を実行．無線 LAN だと微妙に転送速度が遅い．実行開始してからちょっと後悔した．

_ bun45 ▲

どうやら，豪日交流基金の人には気に入ってもらえたらしい．これでまた現金収入 :-)

これでまた新しい仕事が出てくるかもしれない．どうなるやら．

_ TA ▲

久しぶりに実験が時間通りに終わった．状態機械の論理設計がメインなのでほとんど道具も使わないし，片付けが非常に楽．実は論理設計をほかの時間に済ませておけば実験自体もかなり早く終わるのだが，みんな気づいてるのだろうか？

_ 院ゼミ ▲

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

_ GPS ▲

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

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

_ クリスマスマーケット ▲

今年もどうやらやってるらしい．http://www.skybldg.co.jp/event/xmas2004/

時間があればまたグリューワイン飲みに行きたいところ．

_ [授業]レポートの採点 ▲

ごそごそと作業．

AspectJの課題については，コード自体は普通に書けているという印象．アスペクトのテスト方法を考える，という点については，アスペクトを接続した相手のクラスに他のアスペクトも貼りついていることに気づかず，はまった人が数名いた様子．

Eclipse 特有のトラブルとしては，あるメソッドを参照しているコードを検索するときに，AspectJ のコードが対象にならないことではまっていたらしい．このあたり，ツールが完全に揃ってない点が，授業教材としては難しいのかもしれない．

_ [hyCalendar] 全角文字入りのURLが認識できない問題 ▲

URLに含まれる valid な文字集合に全角文字を含めていなかったので，こけていた．全角文字自体は Delphi の場合，ByteType(str, index) で SingleByte ではない（LeadByte/TrailByteのいずれか）で判定するのが確実？で，valid な文字集合に入ってなくても全角文字の一部ならURLの一部として含めるということになるか．

ただ，URLの直後に全角文字が来ているケースを作られていると，今までに書いたデータでこける可能性があるので，何か明示的なエスケープを使っての導入にしないといけないかもしれない．

_ [ツール] インターネットディスクを使ってみることに． ▲

新しいノートPCにしてから，バックアップ用のUSBハードディスクが電力不足らしき症状のため動いてくれないので，ジャストシステムのインターネットディスクをバックアップ用に使うことにしました．

オンラインストレージの比較を見てたら他にも似たようなのはいくらかあるようなんですが，利用規約が読みやすい位置にあって，サービス中断が起きないように努力してる（24時間以上途切れたら料金割引の補償あり）のが分かりやすかったことから選んでみました．

提供されている同期ツールは，単純にPCの特定のディレクトリをサーバ上にミラーするだけのシンプルなもののようです．ただ，手動ツールでアップロードしたファイルについては同期が取れてない扱いに判定されたり，同期ツール側ではディレクトリ内のすべてのファイルの同期を取るかあるいは完全に操作をキャンセルする以外の選択肢はなかったり（特定のファイルだけを個別にダウンロード・アップロードして部分的に同期を取ることができない）と，もうちょっと同期ツールと手動ファイル操作ツールで連携をしてほしい感じはします．

同期できるのが１ディレクトリ以下に限定されるので，作業ディレクトリの配置をどうするかはちょっと見直す必要がありそうですが，更新が頻繁に発生するものを手軽にバックアップするという用途ではそれなりに快適に使えそうです（こちらのネットワークの都合で通信速度があまり出ないので，すごく快適とはさすがに言えません）．

_ 書店くじ ▲

書店くじの結果が出てたので確認してみたら，100円だけ当たってました．

年明け有効みたいなので，帰省するときに読み物を買うのに使おうかというところです．存在を忘れなければ……．

以前に比べて紅茶を飲む量が減って，当然買いに行かないので本屋にも寄らず，その結果くじの枚数も少ないという気がします．最近，夜は牛乳にメープルシロップを入れて温めたもの（＋ちょっとエスプレッソとか）が多いです．