smoking186 https://blog.hatena.ne.jp/smoking186/ 186 @ hatenablog https://186.hatenablog.com/ crypt 日本応用数理学会 (JSIAM)「数理的技法による情報セキュリティ」研究部会 (FAIS) 第二回研究集会 12/22に東大で. 「第7回代数幾何・数論及び符号・暗号研究集会 (12/20-22)」と協賛らしいが元の集会が良く分からん. 20日は代数幾何・数論よりの話で, 21日が量子と符号の話ぽい. 11:10〜12:10 spi計算における暗号プロトコルの形式的検証について ◎住井英二郎(東北大学 大学院情報科学研究科) id:sumiiさん. 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2F186.hatenablog.com%2Fentry%2F20061217%2F1166361770" title=" 2ch経由 - 186 @ hatenablog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-12-17 22:22:50 rich https://186.hatenablog.com/entry/20061217/1166361770 1.0 100%