netail.net

_ 読書 ▲

森博嗣「魔剣天翔」読み終え．

_ 定年 ▲

親の定年＆再就職が決まったらしい．良かった良かった．重工業系な営業の人なので，それに相応しく(?)行き先は土木コンサルタント．そんな仕事もあるのね，とちょっと感心．

_ 論文 ▲

Thomas Reps, Susan Horwitz, and Mooly Sagiv:Precise Interprocedural Dataflow Analysis via Graph Reachability

データフロー解析を調べていて見つけた論文．どっかで見た図が載っていたので，輪講で以前紹介されたものかも．読む時間がないのでとりあえず置いておく．

_ goo mail ▲

mail.goo.ne.jp な人が，どうも返信で ML に投稿してるような気配があるのだが，References や In-Reply-To ヘッダが付いていない．スレッドがつながって欲しくない場面なので別にいいのだが，スレッドつなげておいてほしいときに切れてしまうと，後で MHonArc でインデクス付けるときに困る．

_ MSN MessengerのDNS参照がブロックされる？ ▲

MSN Messengerが「Windows Live Messenger」とかいう別名で Norton に認識されて，DNS参照がなぜかNorton Personal Firewall 2005にブロックされるようになった．

firewallをオフにすると普通に繋がる．

ログビューアを使っても，もう昨日のログが流れちゃったので，昨日までどうだったかの比較ができない．

MSN Messenger → Windows Live Messenger で更新したら直ったみたい．

しかし，Live Messenger 導入直後から physical memory error （青画面）が２回連続で発生して，ちょっとそれどころじゃなくなってます．