game-hopping 参考文献 『耐量子計算機暗号』読書メモ > 1 4 3 安全性証明の例 http://hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/ango/game.pdf