id:usurausura

投稿一覧(最新100件)

[セキュリティ][暗号][ポスト量子暗号][耐量子計算暗号][耐量子計算機暗号]
[暗号][セキュリティ][秘密計算][カードプロトコル]
[セキュリティ][暗号][共通鍵ブロック暗号][ストリーム暗号]
[数学][abc予想] 白木「ABC予想と最後の審判 − Inter-Universalな世界観 −」電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review Vol. 6 (2012) No. 3 p. 160-163. http://www.ieice.org/ess/ESS/FR/frlist.html#greeting
[物理学][数学][論文][研究] 著者のサイト http://kobayashi.hustle.ne.jp/ と最終講義録のページ http://kobayashi.hustle.ne.jp/index.php?%A3%B1%A1%A5%CE%CC%BB%D2%CF%C0%A4%C8%A4%CF%B2%BF%A4%AB
[数学][数学基礎論][構成主義][構成的数学] スコーレムの有限主義とPRA。構成主義のなかの有限主義。直観主義論理との違い