今日のまとめ。今興味のある分野が不思議と繋がった。暗号、論理学、計算量理論、オートマトン、半分配体。もしかすると論理学は暗号学と部分的には同じ学問なのかもしれない。今日は証明の理解を曖昧にしてこれからの学習の道筋を見つけた。