http://www.nii.ac.jp/asian2006/という国際学会（今年は東京）へ行っていました。日本では初めてだったとか。意外です。日仏コンピュータセキュリティシンポジウムもそうでしたが、（自分にとっては）発表そのものより、発表者や参加者との議論＆雑談のほう…

あまり抽象的な与太話ばかりしていてもしようがないので、ちょっとだけ（素朴な）テクニカルな質問を。ETのホームページによると、等価変換は意味（semanticsないしdenotationと理解します）を保存するとありますが、一般に「コンパイラ」（高水準言語から低…