netail.net

_ ANGEL ▲

ANGEL の4枚目CD「Happy」購入．一曲目の「I wish your happiness」がとてもよい．ついでに，本屋で Interface 1月号を購入．「オリジナルアーキテクチャのパソコンを作ろう」という特集に惹かれた．最近，ハードウェアの世界に触れなくなってきた気がしてるので，たまにはこういうのを読んでおくのもよさそう．

_ 読書 ▲

ひかわ玲子「少女の王国」読了．ファンタジー作品ばかりかと思ってたら大違い．この人もこんな話書くんだ，という新鮮な印象を受けた．

_ AspectJ ▲

AspectJ 1.1 beta 1 がとうとうリリース．バイトコードへのアスペクト結合は果たして役立つのかどうか，そして，どこまで使っていいものか，楽しいことが色々できそうだが……そろそろ，ちゃんと使ってみようか．

_ ワイン ▲

ロマネ・コンティ2001のオークションがあるらしいと店の発行する宣伝メールを見てオークションページを覗いてみたら，その宣伝メールの送信時刻から１時間経たずして落札確定価格(約36万円)の入札で終わってた．さすがというか何というか．http://www.rakuten.co.jp/yuhara/460416/595262/

_ SIGSE出張 ▲

ようやく大阪に到着．

アスペクトの単体テストの話をしてた人がTesting AOP のワークショップに出るのか？という話をしたら古宮先生がかなり乗り気になっていたので，去年の人に続いてB4で海外発表となるのだろうか．# 今回ので先生に顔を覚えられた，かな？

_ ちょうどテスト・仕様検証という話の関連で，アスペクトの仕様とは何か（何をテストするのか）という話が少しあって，議論の余地はたくさんあるみたいだということだけは分かった． ▲

野田さん，岸先生によるアスペクト指向設計の考えもだいぶ分かった気がするので，収穫としてはそこそこ．

_ [論文] アスペクトの単体テスト ▲

Cristina Videira Lopes and Trung Chi Ngo: Unit-Testing Aspectual Behavior.

ISSRE 2005 Workshop on Testing Aspect-Oriented Programs.

アドバイスのテストについての Position Paper．題材には Jaml という，アドバイスの中身をクラスとして書いて，結合には XML を使うという言語を使っている．

テスト方法としては，MockJoinPoint という Join Point の中身を作成し，それをアドバイスに渡して実行するだけ．利点は，JUnit に親しい開発者なら簡単に導入できることと，おおげさな仕組みが必要ないこと．

これに対する問題点は，与える MockJoinPoint が本当にそのアドバイスを実行するのに適切でないといけないこと，コンテキストとして適切なオブジェクト（this や target）を設定すること．どういう join point をテストケースとして用意すると嬉しいかは実験が必要だろうし，依存関係解析などでコンテキストをある程度自動的に作るとかいった方法があるだろう，と述べている．

また，AspectJ では，アスペクトの振る舞いを独立した実行コードとして実現できない（あちこちに weave されるという形でしかコードが現れない）のでアスペクトの振る舞いをテストしにくい，ということも指摘している．

_ [近況] 停電してました ▲

積雪のため休校，かつ未明から午後３時頃まで大学ほぼ全体で停電してました．部屋の暖房が止まったのは元々の断熱性の高さで何とかなってましたが，CSのサーバ群などは室温上昇のため，告知用のwebサーバと外部への経路を残して停止してたようです．

今回は水・食料を買い置きしておくことの重要性をちょっと認識しました（そこまで考えずに買い置きしてあったんですが）．

_ Python Challenge の Level 19 で ▲

どうしても言葉が聞き取れなくて詰まっていたんですが，同じものがたまたまflashで使われていたことから解けました．

この Challenge のために Python を少しかじって以来，結局使ってないです……．20以降はまたそのうちやってみることにします．