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 でインデクス付けるときに困る．