Canetti, Goldreich, and Halevi "Random Oracle Methodology, Revisited"

STOC '98のじゃなくって, J. of ACMに載ったFull Paperの方.
ゼミで3時間半かけてやった. 3時間半なので, 細かい証明は抜いて直観に訴えるようにしたのだけれども, 学部生は大丈夫だったのだろうか. 後で聞いてみよう.

当日になってFoilsでプレゼン用の資料を作るのはやめましょう.
- 高橋メソッドじゃ定理や定義が書けない(;´Д｀)
- Foilsってamsthmと相性悪いっぽい. amsmathで数式環境中に\text{}使って怒られるし.
ゼミまでに分からないところは潰しましょう.
方針を最初に話しましょう.
ゼミ中に分かったところも纏めて後でどうにかしましょう.