jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ セキュリティ 数学 シャノンの完全秘匿性による暗号理論を勉強して、定義の形式化およびそれに基づく定理の形式証明をやってきました。それらの記事は、 から始まる一連の記事でした。せっかくなのでこれらの成果を一つのレポジトリにまとめ直して少しでもわかりやすいものにしてみました。githubのレポジトリとしては以下になります。 レポジトリのフォルダ構造はこんな感じです。 ├── lake-manifest.json ├── lakefile.toml ├── lean-toolchain ├── PerfectSecrecy2 │ ├── Defs.lean │ ├── Equivalences │ │ ├── IndP… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2025%2F12%2F27%2F002031" title="完全秘匿性の証明のレポジトリを整理して新しく作り直した！ - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20251205/20251205144440.jpg Hatena Blog https://hatena.blog 2025-12-27 00:20:31 rich https://maxima.hatenablog.jp/entry/2025/12/27/002031 1.0 100%