今年は URL: http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/ 開催日時: 2008年9月9日(火) 10:30-17:15 (懇親会 -18:30) 場所: 筑波大学 東京茗荷谷キャンパス 会場G501 主催: 日本ソフトウエア科学会・プログラミング論研究会 日本ソフトウエア科学会第25回大…

が決まりました。http://www.kb.ecei.tohoku.ac.jp/ml2008/皆様のご参加、よろしくお願いします。

過去の行いが元でパスポートが更新できなかった。…とか誤解を招く発言をしてみる。いや、書類が足りなかっただけです（前回から二回変更した途中の戸籍謄本も必要だった。海外にいた関係ですが、やはりむやみに変えないほうが良いですね…）。本当だってば。…

私の論文の一つ（CSFW 2001のlogical relations for encryption）がDBLPに表示されず焦った。オリジナルと思われるIEEEのデータベースでも見事に一つだけ消滅している（256〜269ページ）。http://www2.computer.org/portal/web/csdl/abs/proceedings/csfw/20…