netail.net

_ 来客 ▲

一週間ぶりに家に来客．部屋が片付くのである意味助かる．神戸の，フーケというお店のケーキとマドレーヌをいただいた．

歓談していた途中，某宗教の勧誘が来て水を差されたが，夕方まで楽しい時間を過ごせた．

少しは仕事もしなくては，と夕方から投稿用論文のアブストラクトを修正．

_ [hyCalendar]Towards 1.0.1 ▲

ヒントウィンドウの多重ポップアップの実装途中で放り出していたのを久しぶりにつついてみる．何をどこまで実装したかがテストケースしか手がかりがなかったりするあたり厳しい．

_ [読書]いまどきのアセンブラプログラミング ▲

部室に本が転がっていたので読んでみた．ゲーム改造が主体の話で，おまけとしていくつかのシステムコールの使い方やIA-32命令セットの情報なんかが載っていたりという程度のよう．

ゲーム改造とかのリバースエンジニアリングがソフトウェア使用許諾に違反する可能性が高いという話は一切ないように見えるところが少し気になる．

_ [AspectJ] AspectJの歌 ▲

AOSD2005のbanquetで演奏されたらしいAspectJの歌の歌詞がaspectj-users MLに流れていた．

_ AOSD２日目 ▲

SPLAT参加．個々のアスペクトの動作記述から，全部が同時に動く場合はこうなる，という記述を自動合成する手法を提案している人がいて，そこで少し長話．

Gregor Kiczales の顔をちゃんと認識できてなかったので増原先生に紹介してもらった．次に会うときにはちゃんと認識できるといいんだけど．

_ [論文] ほぼコピーのコードでも変種が存在する ▲

Magiel Bruntink, Arie van Deursen, Maja D'Hondt, Tom Tourwe: Simple Crosscutting Concerns Are Not So Simple - Analysing Variability in Large-Scale Idioms-Based Implementations.

Proceedings of AOSD 2007, pp.199-211, Vancouver, BC, Canada, March 2007. [ACM site]

コードクローンの情報をアスペクトとしてくくりだそうとしていた人たちの研究です．

ロギング（いわゆる実行トレース）のコードが各メソッドの先頭に埋め込まれていたので，それを抽出して，どのくらい，どんな変種があるかを調査しています．

その結果，「いつ，どこでトレースを取るか」はちゃんと決まっていたにも関わらず，文字列型以外のパラメータを文字列に変換する部分に明確なガイドラインがないために変種が出現していた，と指摘しています．ポイントカットは分かっていても，アドバイスに相当する処理が違うので，単純にアスペクトに括り出すわけにはいかなかったようです．

変種を調べるにあたっては，変数名と関数名を使っての concept analysis を使っています．極端なペアの偏りがあった場合は，accidental な変種ではないかと判断していたようです（プレゼンを聞いてた限りでは）．

「広範囲に分散したコードほど共通コードでの括り出しが難しくなる」というのは，当たり前といえば当たり前なんですが，アスペクトマイニングおよびコードクローン系の研究では参考になると思います．