サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
災害への備え
186.hatenablog.com
Chaos Computer Club (CCC) により開催されたハッカー・カンファレンス 27C3 において、Bushing 氏、Marcan 氏、Sven 氏の3名により PS3 の新たな exploit が公開されました。 PS3 では ECDSA と呼ばれる電子署名アルゴリズムが用いられているそうですが、そこで private key を生成する際に用いられる本来はランダムに生成される数値が、実は固定されていることを彼らは発見したそうです。それにより容易に praivate key を見つけることができるようになったそうです。(もう見つけてる?) カスタムなPSPBLOG: PS3の新たなHackの始まり – fail0verflow Prominent hackers Bushing, Marcan, and Sven took the stage at this year’s
この時間帯に書き直しました。 グラフ理論を知っている人用の書き方をすると 直径2かつk-正則グラフの頂点数nの最大値 直径2かつk-正則平面グラフの頂点数nの最大値 を求めたいという問題です。定義から平面グラフか一般のグラフか分からなかったので両方用意しました。 用語説明しておくと、 直径 任意の2頂点間の最短パスの長さの最大値 k-正則 頂点の次数が全てk (各頂点から辺がk本出ているということ) 平面グラフ 頂点を適当に置き換えて辺を伸ばせば、辺が交差することなく平面に書けるということ (K_{3,3}またはK_5を含むとそれはもう平面グラフでは無い) 関連研究, 自明な上限, 具体例 Moore's boundにより, 直径2で最大次数Δのグラフの頂点数の最大値はΔ^2+1が上界であることが知られています。直径をD, 最大次数をΔとしたときの頂点数最大のグラフを構成する問題は、“de
抽象的なことしか書きません. 詳しいことはACMに$10払うかフルヴァージョンを待つかしましょう. Gentryの論文は格子の説明が無く初学者に厳しいので, その部分を補うためのノートに使ってください. ただし線形代数と多項式環の知識は仮定します. (といっても学部で習う基本しか使いません.) 暗号方式が3つ出てきますが, 最初の1つだけ気持ちを伝えます. fを整数係数モニックなn次多項式として環R=Z[x]/f(x)を考えてください. 和と積はZ[x]上で計算してf(x)で剰余を取れば良いです. 更にこの環のイデアルIを1つ持ってきます. 面倒だったらI=(2)とか考えといてください. RとIが共通パラメータです. 公開鍵はIと互素なイデアルJの歪んだ基底Hです. 秘密鍵はこのJの綺麗な基底Bです. 暗号文はコセット m + I の要素 m + i を考えて, c = m + i mod
4/24発売だそうです。 確率と計算 ―乱択アルゴリズムと確率的解析― 作者: Michael Mitzenmacher,Eli Upfal,小柴健史,河内亮周出版社/メーカー: 共立出版発売日: 2009/04/24メディア: 単行本購入: 2人 クリック: 32回この商品を含むブログ (11件) を見る 目次は共立出版にあります。 Probability and Computing: Randomized Algorithms and Probabilistic Analysis 作者: Michael Mitzenmacher,Eli Upfal出版社/メーカー: Cambridge University Press発売日: 2005/01/31メディア: ハードカバー購入: 3人 クリック: 58回この商品を含むブログ (10件) を見る の訳本だそうで、CS系の人にお勧めとかなん
コンピュータ代数ハンドブック 作者: J.フォンツァガテン,J.ゲルハルト,山本慎,三好重明,原正雄,谷聖一,衛藤和文出版社/メーカー: 朝倉書店発売日: 2006/06メディア: 単行本 クリック: 28回この商品を含むブログ (2件) を見る Modern Computer Algebra 作者: Joachim von zur Gathen,Juergen Gerhard出版社/メーカー: Cambridge University Press発売日: 2003/09/01メディア: ハードカバー クリック: 2回この商品を含むブログ (1件) を見る 上を買った後調べたら, 日本語訳は原著の約4倍であった. 英語版にしといても良かったなぁ. ちょくちょく調べ物するときに使うので役立ってはいるんだが. これ読んで実装してくと数論ライブラリが出来るようになっているらしい.
404 Blog Not Found:学者というばか国民、ばか国家に憧れる はてなブックマーク - 404 Blog Not Found:学者というばか国民、ばか国家に憧れる ノーベル賞まで話を大きくしなくても、現代の中国がいかにサイエンティストとエンジニアにとって砂漠なのかは、サイエンティストではないがエンジニアの私にもよくわかる。 さてはて. それはさておき, ブックマークの方で共産主義と科学という例ではソ連が科学的に成功していた例が出ている. 中国の話をしてみよう. 中国が (サイエンス) 不毛の地ということの傍証はノーベル賞受賞者0という点だけなので, 逆の例を挙げてみたい. 例えばチューリング賞を受賞したA.C.C. Yaoは精華大学に移籍している. Wang Xiaoyunは当然中国出身で現在も活発に活動している. 最近は会議も論文数も多い. 論文数についてはアメリカについて2
前置き CiNii - ぷよぷよはNP完全 はてなブックマーク - CiNii - ぷよぷよはNP完全 全て頭に一般化が付きます. 色々結果はありますが, 問題の定式化によって当然難しさが変わりますのでご注意を. 定義は元論文を見て確認してください. 2人ゲーム オセロ PSPACE完全 (岩田, 笠井 1994) 将棋 EXPTIME完全 (安達, 亀川, 岩田 1987) 囲碁 EXPTIME完全 チェッカー EXPTIME完全 (Robson 1984) チェス EXPTIME完全 一般化しりとり PSPACE完全 マスターマインド NP完全 (de Bondt 2004, Stuckman and Zhang 2005) 一般化アマゾン PSPACE完全 (清見, 宇野 2005) シャノンのスイッチングゲーム PSPACE完全 1人ゲーム 一般化詰め将棋 EXPTIME完全 (横
B1-2向け. DFA用のポンピング補題は割と簡単に証明が出来ます. 状態数以上の文字列をDFAに入力として与えたときには, 鳩ノ巣原理より, 必ずどこかの状態を2回通っているということが直観です. 反復補題とも言われる様子 (→正規言語の反復補題 - Wikipedia) ポンピング補題だけ見てもあまり有り難味は感じられませんが, ある言語が正規でないことを証明するときには強力な武器になります. 例として, が正規でないことを示してみましょう. 証明 背理法で証明する. Lが正規言語であると仮定する. ポンピング補題よりある定数pが存在して以下が成立する: 任意のs∈Lについて, |s|≧pならばs=xyzと書け, 任意のi≧0について |y|>0 |xy|≦p が成立. 今, sとしてを取る. これはLに含まれている. 条件3よりxyの長さはp以下である. また, 条件2よりyの長さは
追記: 2008/04/15 0:03 “解読不能”の新暗号の記事について、いつくかのお詫び − @IT 続報出た. 大方の予想通り, ストリーム暗号の疑似乱数生成部をブロック暗号が担っているタイプのようだ. 煽りっぽいのは大矢教授/入矢助教への不満だと思ってください. あと@ITの記者 (西村賢氏) はもっと纏まった記事を書いてください. ref:「解読不能は数学的に証明済み」、RSAを超える新暗号方式とは − @IT ref:新暗号方式はたぶん胡散臭くないよ いやーそれはどうかなー. 「理論的」な胡散臭さ 大矢氏がハッタリをかます動機がない まず、大矢氏はその道では有力な研究者で、名前も売れてます。俺のような門外漢でも知ってるぐらいだから。だから、胡散臭いものに手を出すという動機がまずないんですよ。 いや, ハッタリをかます動機は無いにせよ, 誤解する可能性はありますよね? 暗号家見習
何で訂正しようとした方の説明が余計変なんだ... 適当に指摘します. あとで細かいところも見るかも. 暗号と署名の話に何故ElGamal暗号方式をひっくり返しただけではダメになるかを書いています. そちらもご覧ください. 暗号化と署名は対称じゃないよという話 - まちゅダイアリー (2008-03-02) 概要: ElGamal暗号は鍵を逆さにした途端にダメになります. 選択暗号文攻撃は関係ありません. 引用 公開鍵暗号についておさらい 厳密な定義は公開鍵暗号 - Wikipediaを参照してもらうとして、とりあえずこんな特徴を持つものと考えるよ。 鍵生成 … 暗号化用の鍵E(公開鍵)と復号用の鍵D(秘密鍵)を用意する 暗号化 … 暗号鍵Eを使うと、平文Mを暗号文Cに変換できる 復号 … 復号鍵Dを使うと、暗号文Cを平文Mに変換できる 図にするとこんな感じかな。ちなみに、 E は Encr
某身分の義務であるアウトリーチ活動の一環として, 教科書的RSA暗号/署名と教科書的ElGamal暗号/署名を比べてみます. 以下の図をご参照ください. 追記: 絵だけみてもわからないので, 書き直し. RSA暗号は知っているが, ElGamal暗号やElGamal署名については良く知らないという人向けです. 承前 高木浩光@自宅の日記 - 公開鍵暗号方式の誤り解説の氾濫をそろそろどげんかせんとで問題になっている点は以下です. 最もひどく蔓延っていてしばらく消えそうにない間違い解説の典型例は次だ。 「公開鍵で暗号化したものを秘密鍵で復号するのと同様に、秘密鍵で暗号化したものを公開鍵で復号できるようになっている。」 事例1: 日本ベリサイン株式会社による公開鍵暗号方式の解説 (略:186) 「公開鍵暗号方式による署名は、メッセージダイジェストを秘密鍵で暗号化することで実現する。」 事例2:
▼ 「計算的な深さと脳」 で書いた計算的深さの概念はシンプルかつ重要だと思う。 もしそうならこの程度の概念がすでに専門の学者によって発明されていないはずはない。そう思ったのだけど、相変わらず私のアンテナにはかかってこない。もしかしたらまだ存在しないのだろうか。 (中略) ここで、試論として、「2入力NANDゲートだけで最速な回路構成をした時の計算時間」と定義する。こうすれば大きさNのメモリによる解決はlog N時間かかる事になる。同じ問題を、テーブルで解いてもハードワイアードロジックで解いても同じ程度の時間になるだろう。 ご想像の通り, 既にあります. (並列計算量とか回路計算量の文脈で調べると良いんじゃないかと.) Complexity Zoo - Qwikiから引っ張ってくると, こんな感じ. ACi 多項式サイズ/unbounded fan-in/AND, OR, NOT/深さO(l
404 Blog Not Found:アルゴリズム百選 - フィボナッチ数列にO()を学ぶ はてなブックマーク - 404 Blog Not Found:アルゴリズム百選 - フィボナッチ数列にO()を学ぶ 皆dankogaiが大好きだね. O記法の定義 O(f(n))={g(n) | ある定数Nと定数cが存在してならば}. としてなのでナイーブな実装の関数呼び出し回数をO(2^n)と言うのは間違いではない. 漸近的にしか評価してないんだから. これは某コメントに向けて O記法を何を評価するために使っているか 関数の呼び出し回数. (向こうのコメント欄に全体の計算量と誤解している人が居る.) TM的な定義では足し算や掛け算にも時間が掛かるので計算時間のオーダーも増える. その他 を計算するのには繰り返し二乗法で掛け算を高々2log(n)回. ただ実数計算はしたくないのでとおいてa_n, b
セキュリティ自由研究:この夏、グミ指を作ってみないか − @IT はてなブックマーク - セキュリティ自由研究:この夏、グミ指を作ってみないか − @IT HiromitsuTakagi プロとしての礼儀作法, 上野宣, また上野宣か, ハカークオリティ, bad 参考文献くらい書けよ。大学院出てんだろ?修士課程で何を学んだんだ。 kmachu security 確かに参考文献は載せるべき。 参考文献は出して然るべきだなぁと思ったので辿ってみた. 横国の松本研の結果というのを覚えていたので, 一発. レシピ付きの論文は T. Matsumoto, H. Matsumoto, K. Yamada, and S. Hoshino. "Impact of artificial "gummy" fingers on fingerprint systems." SPIE 2002. 「週刊バイオ」第
そういえばドイツは新正書法を採用したので色々と大変だったようだ. 大学でドイツ語を学んだのが2000年以降なので既に新正書法だった. 教科書に新正書法対応と書いてあったのを覚えている. sssとsが三つ並ぶ単語を見て書くのが面倒くさいと思ったものだ. 書法を変えると色々と改善点やら改悪点やらが出てくる訳である. 日本の旧仮名遣いに従っている人は, ドイツの事情をどう思っているのだろうと気になった.
昨日日経新聞に出てた. J. Schaeffer, N. Burch, Y. Björnsson, A. Kishimoto, M. Müller, R. Lake, P. Lu, S. Sutphen. "Checkers Is Solved " -- Science 最善手を打ち続けると両者引き分け. 1989年から回し続けてたらしい. 概要を読むと引き分けと書いてあるが, これAIの論文じゃないか? 本当に引き分けなのだろうか. Science読むか (面倒臭い). Chinook - World Man-Machine Checkers Championに実装されている. Publicationsの項から2005年のを流し読みした. このときはある開始状態からの探索を全て行ったらしい. 2007年に全ての定石を調べた終わったということか. 一般化チェッカーと一般化オセロの複雑さにつ
2007/07/01 改稿. NP問題の定義を追加. 家で勉強してた. 符号のリスト復号に詳しくなった. 矢沢久雄の情報工学“再”入門 第1回 アルゴリズムと計算量---「計算量理論」を理解し,アルゴリズムを評価するという記事を見て, 後半がダメダメなので突っ込み. なんかこういうツッコミしか日記にしないのはどうかと思うが, ブックマークもちらほらされているので誤解を広めないためにもツッコミを入れておく. 概要 前半のページ1とページ2は分かりやすく導入としては良い教材であると思う. *1 矢沢氏の文章ではNP問題およびNP完全問題の定義が曖昧である. 用語が不正確な為, 奇妙なことを書いている. (矢沢氏が定義を間違って覚えている可能性もある.) 引用 解けない「巡回セールスマン問題」 アルゴリズムとは問題を解く手順である。これを裏返すと,アルゴリズムの計算量は,問題の複雑性を示す尺度だ
はてなアイデア - はてな新ロゴデザインが「青海波」に似ていて実は和風なので「はてなてぬぐい」を作るといいと思います。「しなもん」柄などのバリエーションもあったらきっとかわいい! 聴く耳を持たない(片方しか) 2007/06/06 はてなてぬぐい欲しい! rikuoさんの図案を作ってみようということで. 素人でも出来そうな に挑戦. クリエイティブ・コモンズの継承により, 画像は全て表示 - 非営利 - 継承 - Creative Commonsで. 携帯で撮ったので写真が汚い. 手拭いのサイズは35cm×90cmくらいらしい. 100cm幅や110cm幅の布を切って作ると端の処理が上手くいかないので, 元から36cm幅である9mのさらしを購入. 95cmくらい切り取って作ってみる. まずは樹脂で染め抜く部分を保護する作業. 菱形の型紙を作ると作業が楽. ただ, 型紙が大きすぎたのとレイア
ヒエラルキーなんて嫌だ。 とか言っていながら上100人分を前回の記録と比べてみた。 id2004/1/162003/10/13 id:hatenadiary482244 id:kowagari473252 id:HiromitsuTakagi440300 id:amiyoshida299134 id:munekata239179 id:kanryo19683 id:solar17794 id:makillon175118 id:hazuma173193 id:lovelovedog157125 id:sugio14281 id:yomoyomo14084 id:Ririka12656 id:spo0n12360 id:itokoichi12076 id:ikuko212014 id:magisystem11240 id:jouno10990 id:hentai10842 id:chepoo
呼んだ?→秘密室ボンの焚書 森博嗣の本心は ただし、僕自身はまったく気にならない。自分の本が中古で売られようが、図書館でただで読まれようが、まったく気にならない(図書館よりは、中古販売の方が少しましか)。たとえば、「もう森博嗣なんか金輪際読むものか!」と本を山積みにして燃やされたとしたら、そちらの方が、古本屋や図書館よりは、多少良い状態かな、とは正直思うけれど……。 と思われるので, なぜ皆して怒っているのか良く分からん. たとえば以降が無かったら良かったのかね? 関連 MORI LOG ACADEMY: 中古品の著作権 万来堂日記2nd - 森博嗣氏のよくあるタイプの新古書店批判。というか著作権があるからなんだというのか。 或いは むしろ燃やせ。 はてなブックマーク - 万来堂日記2nd - 森博嗣氏のよくあるタイプの新古書店批判。というか著作権があるからなんだというのか。 或いは むし
「メルアド」知られない 匿名通信手法、電通大が開発 - CNET Japan la_causette: 身代金要求ツール 後者で, 國廣先生が悪者扱いされていて笑った. 小倉弁護士はAnonymity Bibliographyを見てどう思うのか, 興味が湧いた. 補足資料 資料を調べてみるに, SCIS 2007で発表されていたらしい*1. Universal Re-Encryption*2を利用したOnion Routingの話があって*3, それだと返信が出来ないので返信できるようにしましたと. 調べた結果浮かんだ疑問. Chaumが提唱したmix netの実現方法として, verifiable shuffleやらonion routingがあるという理解は合っているのだろうか. プレゼント交換プロトコルってのもあったな, そういや. *1:鳥山, 國廣, 太田 "送信者IDを秘匿した
2008/03/03追記: 暗号と署名の話という詳しい解説記事を書きました. またe-wordsの公開鍵暗号, デジタル署名の記事は2008/03/03現在, 修正されています. 公開鍵暗号 【public key cryptosystem】 1999.6.27更新 対になる2つの鍵を使ってデータの暗号化・復号を行なう暗号方式。非対称暗号とも呼ばれる。 片方は他人に広く公開するため公開鍵と呼ばれ、もう片方は本人だけがわかるように厳重に管理されるため秘密鍵と呼ばれる。秘密鍵で暗号化されたデータは対応する公開鍵でしか復号できず、公開鍵で暗号化されたデータは対応する秘密鍵でしか復号できない。 暗号化と復号を同じ鍵で行なう秘密鍵暗号方式に比べ、鍵を安全な経路で輸送する必要がないため、鍵の管理が楽で安全性が高い。 当然e-words デジタル署名もひどい. デジタル署名 【digital signa
荒らしにいく前に、ヘルプみたらできたよ! 探すの3時間くらいかかったけど! ということではまちやちゃんはまちちゃんは3時間掛ったらしい. どんなもんだろうと試してみた. はてなダイアリーのヘルプ 上のヘルプ検索に「見出し」を入力 検索結果→はてなダイアリーのヘルプ - 「見出し」を含むキーワード はてなダイアリーのヘルプ - 好きなname属性の見出しをつける(name属性付き見出し記法) 30秒でした. 感想 name属性という名前は微妙. 見出しを含むキーワードは5個しかないから何とかなるか. 見出しで検索することを思い付けるかどうかにかかっている気がしてきた. はてなダイアリーのヘルプは、はてなスタッフと有志のユーザーによって執筆・編集されています。
Tomo’s HotLine:[P2P][DHT]ゼロ知識証明によるP2P認証方法の提案 前提や設定が書かれていないので詳しいことは言えないがコメント欄に書こうとしたら長くなったので, こっちで. 設定次第では何とかやりようはあると思う (本当に?) 記法が分かりづらい(ユーザーにAを使った上で, 数にもAを使っている)ので, 適当に書き直す. プロトコル ハッシュ関数が要るので書いておく. H:{0,1}^{2k+1}→{0,1}^{l(k)}, ただしl(k)は適当な整数値関数 (k辺りで良いか). 鍵生成 Pはp,q:k-bit safe primeを生成しn=pqとする. rを2k-bitの乱数とし, ID = H(n+r)とする. 認証 P,Vの共通入力をIDとする. Pへの補助入力を(n,r,p,q)とする. 追記: 共通入力は(ID,r), 補助入力は(n,r,p,q) Pは
laddertothemoonのズレップリを見て一瞬いじめかと思ったのは何故だ. 打撃理論家と所謂雑談所については猛省を促したい*1. 田尾が打撃理論家らしい. 天気用法図→図画工作室 2006年10月28日 wushi 室蘭市役所 2006年10月28日 mutronix 所持品検査 2006年10月28日 funaki_naoto 査察委員会 2006年10月28日 kubotaya 会員募集中 2006年10月28日 shimaken-op 中京競馬場 2006年10月28日 comnnocom 場外本塁打 2006年10月28日 setofuumi 打撃理論家 2006年10月28日 laddertothemoon 夜間飛行記 2006年10月28日 debedebe 家庭内暴力 2006年10月28日 ululun 力饂飩大盛 2006年10月28日 kanimaster 盛岡中
ちょっとした思いつき。 疑似乱数列を生成する計算方法の妥当性を調べるのにチューリングテスト的方法は使えるか。 放射線などを用いた真の乱数列と、調査したい計算方法の生成する疑似乱数列とが、二つのチャネルA, Bから流れ出てくる。でもどちらの数列がどちらのチャネルから流れてくるかは分からないとする。乱数を検定するアルゴリズムを別途用意しておき、二つのチャネルのどちらが真の乱数列であるか判定できるか。 ――という話題。 それができるなら、ランダムネスと知能との類似性という逆説的で面白い話題につながるね。 チューリングテストでは、本物の人間と適切な判定者によって、コンピュータのプログラムの知能性(?)を判定する(言い換えるとそれを知能の定義とする)。上に書いたテストでは、真の乱数列(本物の人間の代わり)と検定をするアルゴリズム(適切な判定者の代わり)によって、 疑似乱数列の計算方法の妥当性を判定す
適当に名付けて火種だけ置いておく. KENT掲示板の頃から謎に思ってます. 例: <font size="4" color="red"> <b>リンクリンク</b> </font> <center> <a href="#>ウチの会社のページ <font size="+3" color="blue">4surf.jp!!</font></a><br> <a href="#">各種分散コンピューティングの紹介</a><br> <a href="#">HPCS研究室</a>|| <a href="#">ddkの日記</a>|| <a href="#">tyouiifanの日記</a><br> <a href="#">Yoshikuniの日記</a>|| <a href="#">NIES-白線オール-</a><br> <a href="#">Ryoが開発した<font size="+3">TOFU
某授業で「水からの伝言」を真顔で語る教師が居たらしい(伝聞) 理系大学院の授業だってのに, どうなってんだ orz 名前で検索すると教授だ. 気功法の研究論文に名前出してる. 当時は, 止めさせる・辞めさせるといったことをしないのか, と思っていた. しかし, 昼飯を食べながら気づいた. 理系大学院に囲っておくことによって, 疑似科学の反面教師として利用しているのではなかろうか. また辞めさせた場合には, 他の大学授業を行って多大な悪影響を及ぼす虞がある. したがって, 逆に囲いこんで外に出さないことで, 色々なものを守っているのだな, さては.
id:naoya 『Invalid 属性の指摘はありがたいのですが、元々全体を W3C Valid な HTMLとして設計していないので、個別ですと件数が膨大になってしまいます。 ひとつのアイデアとして集約していただいてもよろしいですか?』 (2006-10-07 14:10:07) じゃぁ宜しくお願いします. とりあえず, embed, paramの閉じタグは格好悪いのでお早目に. 全般 head中のscriptにtype属性が無い img要素中のalign="absmiddle" (これはIE用で仕方無いという話) 修正しました。デザインの都合上、align=absmiddleはそのままとなっております。 修正しました。デザインの都合上、align=absmiddleはそのままとなっております。 div#ad, div#ad-line中のsrc属性中に&encode div#ad中のi
次のページ
このページを最初にブックマークしてみませんか?
『186(fold_bl)』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く