昨日からプログラムをやめて、暗号の基礎である確率論の初歩、記号論理学、計算量理論の３つを踏まえて、暗号理論の勉強を始めるための勉強計画を立てた。理論的なことを勉強するのは１０年ぶりだ。ぜひとも気力が充実している間に終わらせておきたい。最終目標は新型暗号に安全性証明をつけることだ。