netail.net

_ TA ▲

授業 TA としての顔見せにいく．けっこう知り合いが多いなぁ…．

_ IE6 ▲

研究室用マシンで，IE6 がなぜか落ちまくるようになってしまった．イベントビューアで調べてみると，msctf とかいうモジュールの特定アドレスで落ちていることが発覚．msctf には，Office XP のモジュールと干渉してJavaScript を使ったページ翻訳機能がうまく動かないという問題があるらしい．…関連性はあるかどうか分からないままOfficeXP をアンインストールしたところ，とりあえず動くようにはなった．OfficeXP って，アプリケーションのくせにシステムの DLL を置き換えてるのかな…．

_ 論文 ▲

論文読み．Neelam Gupta and Praveen Rao:``Program Execution Based Module Cohesion Measurement''

モジュールの凝集度を，モジュールの出力ごとの動的スライスに登場する Def-Use 関係の数から計算するというもの．出力が複数ある＝機能が複数あるとき，各出力の動的スライスのどちらかにしか登場しない Def-Use は凝集度を下げる，と考えるらしい．アイディア的には面白い．

_ 宅急便 ▲

通販で買ったコンサートチケットを，20分ほど買い物に出てたせいで受け取り損ねた．再配送の手続きだけど，ネット経由でできたので非常に楽に済んだ．便利になったもんだ．

_ 本 ▲

NEXTSTEP プログラミングをサークルのOBな人に譲渡．お金をもらう代わりに貸し一つ．

_ 論文 ▲

Hidehiko Masuhara and Kazunori Kawauchi:Dataflow Pointcut in Aspect-Oriented Programming,In Proceedings of The First Asian Symposium on Programming Languages and Systems (APLAS'03), November 2003, to appearを読む．dflow pointcut は，どの変数を経由してきたかを示すように変数に "タグ付け" して後でそのタグがあるかどうかをチェックする，という形で書かれていた．「C.foo の戻り値由来の値が D.bar に届いたとき」なんてのが書けるようになる．これは，cflow では表現できない世界なので今まで HashMap とかを使って自前で実装していた部分が不要になって便利そう．ただ，言語仕様としても，実装方法としても，利用方法にも，まだまだ研究の余地は多分にありそう．

ライブラリなど，外部でのデータやり取りを抽象化する declare propagate は便利だなーと思う．解析系の人々の作業も多少は楽になるし．（たとえば，ある関数の戻り値がある関数の引数に 依存していることを明示できる）ライブラリとかを書く人は手間が増えて大変だけど，データフロー解析して propagate の宣言を自動生成とかすれば解決できそう．ステートフルな外部オブジェクトの扱いが難しそうではある．

とりあえず refer する予定リストに追加．

_ tex2textを更新 ▲

tex2text.rb スクリプトを，自分の博士論文の原稿が通る程度には直してみました．

多段階の \input{filename} を通るようになったり，エスケープされた "$" をちゃんと識別するようになったり，"section*" のような番号なしのセクションを処理するようになったりしています．

"-s" オプションが有効なときは「行末がピリオドで終わってたら改行する，そうでないなら空白１個で文をつなげる」というように改行を調整するようにしたので，Microsoft Word のスペルチェッカを少しは適用しやすくなったんではないかなーと思います．

_ [近況] 他人が論文を発表するワークショップ ▲

今度の WCRE に併設で開かれる PCODA （Program Comprehension through Dynamic Analysis）ワークショップは，「著者ではない人が論文の要約を発表して，それに基づいて議論する」という方式で行われるらしいです．

本人が気づいてない視点からの意見が得られるかもしれないという意味では面白そうではあるんですが，こんな形式は初めてなので，果たしてどうなることか……．