Canetti, Goldreich, and Halevi "Random Oracle Methodology, Revisited"
STOC '98のじゃなくって, J. of ACMに載ったFull Paperの方.
ゼミで3時間半かけてやった. 3時間半なので, 細かい証明は抜いて直観に訴えるようにしたのだけれども, 学部生は大丈夫だったのだろうか. 後で聞いてみよう.
反省点
- 当日になってFoilsでプレゼン用の資料を作るのはやめましょう.
- 高橋メソッドじゃ定理や定義が書けない(;´Д`)
- Foilsってamsthmと相性悪いっぽい. amsmathで数式環境中に\text{}使って怒られるし.
- ゼミまでに分からないところは潰しましょう.
- 方針を最初に話しましょう.
- ゼミ中に分かったところも纏めて後でどうにかしましょう.