種別[statuses] aboutme:102156 セクションJRF のひとこと 日時2009年06月01日 元URLhttp://jrf.cocolog-nifty.com/statuses/2009/06/aboutme102156.html 暗号通信の記号論理。(論理)システムの健全性や無矛盾性を示すために集合論的な解釈… 暗号通信の記号論理。(論理)システムの健全性や無矛盾性を示すために集合論的な解釈を考えるとすると、「理想的な公開鍵」ってどういうものにすればいいんだ？ JRF 2009年6月1日