空気味

  • 某院の数学の過去問を貰う。
  • 一回流し読みしてその後触っていなかったO.ゴールドライヒ『現代暗号・確率的証明・擬似乱数*1の二章確率的証明をもう一度流し読み。対話証明・ゼロ知識証明は面白いな。ランダム性が関わってくる辺りとか。
    • IP = PSPACEの証明はCNF論理式を有限体上に移動してやるのね。Goldreich推薦のA.Shamir「IP = PSPACE」を読もう。
    • 付録C.2がハードコア属性の話だった。ちゃんと読んでみよう。