2007-06-01から1ヶ月間の記事一覧

メトロノーム

人語を書いてないと言われるので人語を書く欄. 最近買ったCD. 21世紀型宗教音楽らしい. 聞いているとナゴムっぽい何かを感じる. ナゴム知らんけど. こんだけピコピコしているのに, 世間的にはヴィジュアル系らしい. 1メトロノームアーティスト: メトロノーム…

計算量に関して - <a href="http://itpro.nikkeibp.co.jp/article/COLUMN/20070618/275029/">矢沢久雄の情報工学“再”入門</a>を祝す

CS

2007/07/01 改稿. NP問題の定義を追加. 家で勉強してた. 符号のリスト復号に詳しくなった. 矢沢久雄の情報工学“再”入門 第1回 アルゴリズムと計算量---「計算量理論」を理解し,アルゴリズムを評価するという記事を見て, 後半がダメダメなので突っ込み. なん…

大文字小文字

http://b.hatena.ne.jp/entry/http://d.hatena.ne.jp/Rir6/ このエントリーを含む日記にhttp://d.hatena.ne.jp/./LEOat/20050715/1121410375があるが, こちらのリンク先はhttp://d.hatena.ne.jp/rir6/になっている. という訳でこのエントリーを含む日記が大…

最近読んだもの

T. Holenstein, U. Maurer, J. Sjödin "Complete Classificaiton of Bilinear Hard-Core Functions" (CRYPTO 2004) が双線形であるとする. 任意の一方向性関数から一方向性関数をとして構成する. がのhard-core functionになるのはどういうときか? というの…

手芸の時間 - はてな手拭い作った

はてなアイデア - はてな新ロゴデザインが「青海波」に似ていて実は和風なので「はてなてぬぐい」を作るといいと思います。「しなもん」柄などのバリエーションもあったらきっとかわいい! 聴く耳を持たない(片方しか) 2007/06/06 はてなてぬぐい欲しい! ri…

数学ネタ

http://www.hyuki.com/d/200706.html#i20070613102030 http://blog.livedoor.jp/dankogai/archives/50851536.html 思い出した. http://q.hatena.ne.jp/1109562418 に出ている回答が全て収束性を示していないので総ツッコミを受けたんだった.

メモ: Closure of SZK

SZKがORについて閉じているのは A. De Santis, G. Di Crescenzo, G. Perisiano, M. Yung "On Monotone Formula Closure of SZK" (FOCS 1994) で示されていると思っていた. 読み直したら, RSRがある問題のSZKだけだった. 騙された. RSRがある問題のSZKだと検…

<a href="http://www.jipdec.jp/camp/">セキュリティキャンプ</a>から辿って, または繰り返し

2004-2006のレポートを流し読んだ. 暗号の授業がねーなーと思ったのでディレクトリ削ると財団法人 日本情報処理開発協会 電子署名・認証センターがあった. 平成16年度 電子署名・認証普及啓発セミナー 電子署名・認証の概要及びその活用 (pdf)を見るにOWTPを…

メモ

グループ署名とかリング署名とか電子現金とかMix netとかでこんがらがるよね. Traceability 行為から人が特定出来ること 制限回数以上おこなった場合にのみ特定可能な場合もある あとTrator Tracingとかはこれか? Linkability 行為1と行為2を同じ人が行った…

Learningネタ

メモ代わりに.R. Nojima, H. Imai, K. Kobara, K. Morozov "Semantic Secureity for the McEliece Cryptosystem without Random Oracles" (WCC 2007) *1を読んでいるとLPN *2 仮定の元としてJ. Katz and J. S. Shin "Parallel and Concurrent Security of th…