2025-12-01から1ヶ月間の記事一覧

完全秘匿性の証明のレポジトリを整理して新しく作り直した！

シャノンの完全秘匿性による暗号理論を勉強して、定義の形式化およびそれに基づく定理の形式証明をやってきました。それらの記事は、から始まる一連の記事でした。せっかくなのでこれらの成果を一つのレポジトリにまとめ直して少しでもわかりやすいものにし…