netail.net

_ XVCL ▲

サンプルを見た限りだと，コード（というかテキストか）の合成ツールのように見える．insert-before, after などを使ってコード片をつなぎあわせたりするのに使えそう．

逆に，コード生成ツールは，生成後のコードの変更をフィードバックする仕組みがないとデバッグしにくいのだが．

_ XVCL ▲

XML-based Variant Configuration Language らしい．http://fxvcl.sourceforge.net/

コード生成ツールだろうか．いまいち良く分かってないので，もうちょっと調べてみる．

_ ワイン ▲

http://www.rakuten.co.jp/winesenka/496017/497820/とかを見てるとたくさん入札されているので，やはり美味しい（と言われている）ワインのほうが古いワインよりは人気があるらしい．

まあ，金の使い方としてはそのほうが妥当な気はするのだが，あえて飲んでみたい古いワイン．どっかの古酒とかいうレベルじゃないからなぁ．

_ グリッド ▲

グリッドコンピューティングは分散した（まとめると膨大な）資源を仮想共有する，というのとOGSA (Open Grid Service Architecture) ベースなら異機種間統合できるというところで並列計算機より有利っぽい．（並列計算より大きい概念かも）

スケーラビリティは謎だが．並列計算でも 10**6 台あたりは狙ってた気はするがグリッドだとどこまで伸びるんだろう．

_ 論文 ▲

ソフトウェア工学研究会の Proceedings を読む．中島 震, 玉井 哲雄:"セキュリティポリシーに関するデザイン解析",情報処理学会 ソフトウェア工学研究会 2003-SE-143

セキュリティシステムが正しく動いてるかどうかを検証するという話らしい．システムの振る舞いを複数のジョイントアクションと考えて，それらのジョイントアクションが，特定の順番で起きるのが正しい振る舞い，とかAlloy を使って記述して，検証してやろうという話らしい．

Join Action とは Catalysis が提案したもので，誰が何をするか，という記述無しに，インタラクション全体として何が起きるかという単位．

これに対して，Localized action は pre-condition を満たしているとき，post-condition を満たさせるために呼び出して発生する interaction のこと．Joint action は何が起きるかを説明しているが，直接呼び出すというものではないらしくて，オブジェクトのグループの振る舞いを規定することができるそうな．

ちなみに，コラボレーション関連ではJackson System Development (JSD; ジャクソン開発法) というものがあるらしい．玉井先生のソフトウェア構成論の授業資料に載っていたのでURLだけ置いとく．http://www.graco.c.u-tokyo.ac.jp/~tamai/softwconst/softwconst3.pdf

_ AspectJ ▲

AspectJドキュメントのカウンタの周りが最近早くなってきた気がする．今まで10件/日くらいだったのが30件/日．気のせいかな？

_ 査読 ▲

論文査読終了．先生に「曖昧な論文ですが，書くとしたらこんな感じでしょうか」と，ちょっと論文査読的な（pros and cons を列挙した）コメントを送ったら，「僕が読んでもなんか曖昧で訳分りまへんでしたので」と返事が返ってきた．やはり印象は間違ってなかったらしい．

_ TV ▲

USB接続のTV/Video キャプチャキットを購入．これでノートPCからCATVが見られる．もっとも，ノイズが多いので（ケーブルモデムのスプリッタあたりが怪しいのだが未確認），ほとんどニュースを聞くためだけのものだが．