帰朝報告

この日記だけ見るとまだ帰っていないような感じですが，一週間ほど前に帰国しています． 溜まっていた仕事の処理などで風邪をこじらせてしまい，週末は布団で過ごしてしまいました． 発表の内容に関しては，こことかここを参照してもらうとします（え？）*1，

と，これではあんまりなので， こちらでも紹介してもらってる「Streaming XML transformations using term rewriting」についてフォロー． 紹介されている通り，ストリーム処理を追求していくと遅延評価でも正格評価でもない評価戦略にぶちあたります． このへんの戦略の一般化は現在進めている研究の一つですが， この評価戦略を実装しようとするとかなりエグイ実装になるのであまり答えとしてはスッキリしません． 具体的にはどこを簡約するかについて効率的に行うために逆参照や参照回数の保持などの工夫が必要で， このベンチマーク結果はそういった実装方法に依存しています．

閑話休題，PLDIに続きICFPまでdouble-blind を採用したようです．吉と出るか凶と出るか…． ついでに，「Morning deadline」が今年の特徴らしいのですが，ここでいう朝とは 「equivalent to late afternoon or early evening in many time zones of interest」 ということのようで…．日本では全然うれしくないんだけどなぁ．

*1:一応，メモはあるので紹介してもよいのですが，他で先に書かれているものをなぞるだけになりそうなので…