«前の日(09-16) 最新 次の日(09-18)» 追記

netail.net

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

最近のお知らせ (古いものはこちら)


2002-09-17 古い日記からの変換データ

_ Java

キーが弱参照になる WeakHashMap の存在を初めて知った.これを使えば,アスペクトが持つ Hash の中身が捨てられなくてどんどんメモリを消費していく問題が解決できそう.WeakReference の存在は知っていたのに,JDK 1.2 から存在したこのクラスの存在を知らなかったのは,ショックが大きい.

_ 論文

日本語論文のほうも消化.

一杉 裕志, 田中 哲, 渡部 卓雄:``安全に結合可能なアスペクトを提供するためのルール''アスペクト(あるいはmix-in)が,ある特定のルールに従っているときはアスペクトの安全な結合が可能である,という話.そのルールだけど,これだけ制限すれば行けそうだなというのが正直な感じで,わりと妥当な印象.ただ,任意のアスペクトを相手にしてる人にとっては意味がない議論かも.

鵜林 尚靖, 玉井 哲雄:``アスペクト指向プログラミングへのモデル検査手法の適用''タイトル通り.アスペクトを展開したコードに対してモデル検査するだけでなく,検査用アスペクトの作成と織り込み(weave)についても話をしている.

_ 論文

キューにたまってた論文を三つほど消化.

Gregor Snelting and Frank Tip:``Semantics-Based Composition of Class Hierarchies''複数のクラス定義の階層を合成するときの,クラス階層ツリーのマージ方法とかを形式的に記述した論文.意味レベルの扱いはやっぱり難しいらしい.

Cirtos Clifton and Gary T. Leavens:``Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning''JML という制約記述言語を関数の先頭にドキュメントコメントみたいな形式で記述し,それを用いてアスペクトの結合後の制約チェックを行う.そんな詳細な制約書けるなら苦労しないよーと思うのは私だけかな….むしろ制約からコードを生成するか,コードから適当でいいので制約のリストを算出できたらいいなぁ.プログラムの中から不変条件を見つけるのは誰かがやってた気がするけど….

Uwe Assmann:``AOP with design patterns as meta-programming operators''アスペクトの結合をメタプログラミングの演算で実現する.このとき,データフロー解析を用いて,アスペクトによって改変されたコードが本来の振る舞いを破壊しないことを確認する.コードが振る舞いを破壊しない条件がいまいちよく分からなかったけど,自分の研究の目的には合致しなさそうということだけは確認.

_ ミーティングとか

授業の TA (Teaching Assistant) 顔合わせ会があったので早起き.雨の日に午前中から大学にいるのは久しぶりかも.

_ 読書

森博嗣「朽ちる散る落ちる」を読破.着々と消化が進んできた.


2003-09-17 古い日記からの変換データ

_ AOSD

ようやく AOSD2004 の Call for Contribution が更新された.Full Paper は 10 ページらしい.おかげで,日本語論文ではかなりカットした原稿までフルに載せられそう(載せないといけない,という意味でもあるが).

_ Java

JScrollPane に載せたテキストコンポーネントにファイルをロードしてもスクロールバーが有効にならない,のはスクロールバーを revalidate すればいける,と教えてもらった.

_ 読書

研究室で,金出 武雄「素人のように考え,玄人のように実行する」を読む.先生のお勧めらしい.

研究に対する考え方やプレゼン,英語や教育の話までわりと幅広く扱っていて面白い.ちょっと,自慢話も多いが.

_ 読書

エリザベス・ヘイドン「デスティニィ -大空の子-(上)」読了.だいぶ<予言>が消化されてきた感じがするが,クライマックスに向けての伏線張りもまだ続いている.

_ JST

科学技術振興事業団 (Japan Science and Technology Corporation)→科学技術振興機構 (Japan Science and Technology Agency)と変わるよー,という通達が届いた.英語の略称は変わらないらしい.日本語の略称はどうなるんだろう.


2005-09-17

_ [work] APSEC 2005 Author Kit

Notification of Acceptance 来ないなーと放っておいたら accepted papers 用の author kit だけが到着.あれ?と思ったので E-mail Chair に notification 来てないよーと連絡.

(追記)Accepted の通知が届いた.well-structured with good readability とほめられたものの,何か特に意見がもらえたわけではなし.みんな査読で忙しかったからコメントが簡潔になっている?

_ [hyCalendar] 1.3.0 リリース

ようやくドキュメント書き直す時間が取れたので,ちゃちゃっと書いてリリース.早いもので,前バージョンの1.2.1からは約2ヶ月ぶりの更新になる.

他の予定からN日前・後の指定ができるようになって,実は初めて「月末からN日前」というタイプの予定が書けるようになった.発生しうる予定の集合を,これでだいぶカバーした,かな?


2006-09-17

_ [近況] 一時帰国

帰ってきました.やっぱり移動が長いのは疲れます.

国際線のチェックイン後から搭乗までの時間にコードを書くと,意外と作業が捗る気がします.ネットワーク環境がなくて,他に気が散ることがないからかもしれませんが.

(18日追記) 泊まっているヴィラ・フォンテーヌ九段下は,ネットワーク環境がけっこう良い気がします.使用しているIIJmioのメールサーバのping応答が5ms程度で,カナダからの接続が遠いのと比べると,非常に快適に感じられます.


2007-09-17

_ [近況] 論文の照会後判定への回答が完了

明日が締め切りだったものの明日からは研修が入ってるので,3連休を返上して作った原稿を何とか送付しました.

論文本体が16→18ページ,参考文献数が24→34,回答書が平文テキストで12ページと,自分の中での論文の長さと文献引用数の記録を更新しました.査読者の方々には,長くてごめんなさい,という状態になってます.

実験データの一部取り直しとかの実際の作業時間を除いて,今回の校正作業には,合計で30時間ぐらいかかりました.長い論文は自分で論文の内容をチェックするのにも時間がかかって,どうも生産性が悪いようです.

どうしても短く収まりそうになかったからページ数制限のない論文誌に出したという話はあるんですが,やっぱり論文の書き方が悪いんかなと反省ぎみです.