カルドセプト サーガメディア: Video Game クリック: 11回この商品を含むブログ (101件) を見る 修論のめどが着くまで1日2時間までとしたい. g:culdceptでカードリストを作成中. 全コンプしたら各カードごとのキーワードも考えるか.AIを利用した木偶回しは …

準同型性を持つ1ビット暗号があるとする (例:Goldwasser-Micali暗号). k個繋げたもの全体を1つの暗号方式と捉えると, 平文空間は{Z_2}^kに拡張されている. k個繋げても, ({Z_2}^k, +) (+はビット毎の足し算) の上で準同型性が成り立つ. さて, (Z_{2^k},+)と(…

質問から2つ. エクセルで擬似正規乱数を、RAND()+RAND()+RAND()+RAND()+RAND()+RAND()+RAND()+RAND()+RAND()+RAND()+RAND()+RAND()-6 で計算したところ、異常に頻発してマイナス値がでてこまっています。この式は各所で簡易で最適な擬似正規乱数を出力する手…

g:hatenadiary:keyword:引用元サイトを自動的に表示する（cite、title属性） ><blockquote cite="#" title="タイトル">< テスト -リスト1 -+リスト1-1 -+リスト1-2 テスト ></blockquote><は便利なのに紹介されてないのか. 一々pを入れている.

ファック文芸部の前にpuhipuhiさんとこのレム追悼号を読んでる. 「発狂した仕立屋」で最後の方に数学を完全にベースとする世界が出てくるんだけど, イーガンとかはその方向性なんだろうか. ソラリスやら天の声やら完全な真空やらを考えるに, レムは人間の知…

濃い はてなの中の人だけで盛り上がっているような感じ。検索から記事に飛んでも、その記事だけでは理解できない内容のものが多い。 いわば「一見さんお断り」のような空気を感じる。 融通が利かない 記事を書いた後に文字に勝手に張られるリンク、あれが鬱…

普通のゼロ知識証明は出来ないんだけど, ちょっと定義をいじるとゼロ知識証明になるプロトコルがある. 定義をいじって弱いゼロ知識性を作ろうと思うんだけれども, 証拠識別不可能性 (WI) を示せって言われそうでやだなぁ. WI場ってインスタンスと証拠が一対…

普通のTuring Machineだと移動先はL, Rの二つ. Lを左リセットに変えるとどうなるかって問題があるので, Lを左リセットでエミュレートしてみた. 終わって画像を見ると結構無駄が多い. 直すか. プログラムも大事だけどチューリングマシンもね (大体の人は授業…

Tomo’s HotLine:[P2P][DHT]ゼロ知識証明によるP2P認証方法の提案 前提や設定が書かれていないので詳しいことは言えないがコメント欄に書こうとしたら長くなったので, こっちで. 設定次第では何とかやりようはあると思う (本当に?)記法が分かりづらい(ユーザ…

今日は色々と話をしていた. その中で人の疑問と自分の疑問が解消されたのでメモっておく. POK (Proof of Knowledge) とZK (Zero Knowledge) は微妙に違う. ZKPOKの場合, ZKかつPOKであることを示さないといけない. ということはZKの方で定義から健全性を示す…

某大学から. |・σ・）ノ [lab:keyword:現代格子史], D. Aharonov and O. Regev. "Lattice Problems in NP intersect coNP" (Journal of the ACM 52(5), pp. 749-765, 2005. Preliminary version in Proc. of FOCS 2004). ガウス分布とフーリエ解析を駆使する…

名前長い. 大体のブラウザで読めるので問題は無いんですけど. <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <div align="center" style="width: 480px; margin: auto;"> <h1>HatenaTagCrowds<br></h1> <style type="text/css"> #htmltagcloud { } span.tagcloud0 { font-size: 12px;} span.tagcloud0 a {text-decoration: non…</div></meta>