2005-08-29 最近 study V. Shoupの"Sequences of Games: A Tool for Taming Complexity in Security Proofs"を地味に日本語訳していたり、格子+暗号周りの論文を読んでいたり。Regevの2004の論文読んでて量子版の帰着のところだけ流したり。 ECCCのサーベイ訳して公開しておくと便利なんじゃないかなー、と思っている。