特集「最近のSAT技術の発展」
人工知能学会誌 第25巻 第1号 (2010年1月) 特集「最近のSAT技術の発展」 特集「最近のSAT技術の発展」にあたって 井上 克巳 (国立情報学研究所) 田村 直之 (神戸大学) 命題論理の充足可能性判定問題(SAT)は，与えられた命題論理式の充足可能性を 判定する問題であり，最初にNP完全性が証明された問題でもある． SATは人工知能および計算機工学における最も基本的な問題として， 論理合成，システム検証，プランニング問題，スケジューリング問題， 制約充足問題，制約最適化問題，定理証明など，さまざまな分野に応用されている． 近年，106--107 個の変数をもつ大規模なSATインスタンス(SAT問題)を， 非常に高速に解くことが可能なSATソルバーが実現され，これらの分野への実用 的応用が急速に拡大している． このように，与えられた問題を論理式で表現しSATソルバーを用いて解くこ
Get Your Hands Off My Laptop
Paper This work was presented in CHES 2014 and published in its proceedings. An extended version (PDF, 5.3MB) is available, archived as IACR ePrint 2014/626. Updates In February 2015 we published a follow-up paper, "Stealing Keys from PCs using a Radio: Cheap Electromagnetic Attacks on Windowed Exponentiation", which shows how to extract RSA and ElGamal keys from modern implementations (that use
自動微分 ≪フォワード・モード≫ - d.y.d.
23:21 11/12/22 今年読んだ面白コンピュータサイエンス論文紹介カレンダー 第 n (1<n) 週目モードです。 ☆ 「難しい問題」 ☆ 「名のない関数」 ☆ 「演算のせいしつ」 「難しい問題」 [5] R. Impagliazzo and L. A. Levin. "No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random." FOCS 1990. ランダム生成に興味があります。 パズルゲームを作りました。 さて、手強い難易度の面データを無限にランダム生成するにはどうすればいいだろう。 プログラミングコンテストの問題を作りました。 さて、自動チェック用のテストデータをランダム生成するにはどうすればいいだろう。 適当なランダム生成では、簡単なケースばっかり作られてしまい 嘘解法 に突
中心性：始まりから最近まで - Preferred Networks Research & Development
PFI に入社して二ヶ月ちょっとの伊藤です。 ソーシャルネットワークサービスが一般的になるにつれ中心性という概念が注目されてきました。情報科学を専攻されている場合、Google PageRank や HITS アルゴリズムで算出されるグラフの節点に付与される重要度と言うと分かりやすいとのではないか思います。呼び方こそ違いますが、この中心性と重要度は同一の概念、つまりグラフの節点に重み（点数）をつける尺度として知られています。以下、PageRank とHITS が提案された論文です。 Brin, S. and Page, L. The anatomy of a large-scale hypertextual (web) search engine. Computer Network and ISDN Systems.1998. Kleinberg, J. M. Authoritative
CryptDB
Online applications are vulnerable to theft of sensitive information because adversaries can exploit software bugs to gain access to private data, and because curious or malicious administrators may capture and leak data. CryptDB is a system that provides practical and provable confidentiality in the face of these attacks for applications backed by SQL databases. It works by executing SQL queries
過去10年間のComputer Science系論文で被引用数トップ10を作ってみた - 情報科学屋さんを目指す人のメモ（FC2ブログ版）
何かのやり方や、問題の解決方法をどんどんメモするブログ。そんな大学院生の活動「キャッシュ」に誰かがヒットしてくれることを祈って。 2000年以降の論文に限定して、 CS系論文の被引用数ランキングを作って分析してみた。 この作業を通じて予想以上に得るものがあった。 ランキングの作り方 CiteSeerXが公開している「Most Cited Computer Science Articles (2010/9/14)」を元データに採用した。 ここから2000年以降の文章に限定した後、ハンドブックや雑誌記事などを取り除いて論文だけのランキングを作成した。 被引用数は時間が経つほど増える一方なので、2000年・2001年あたりの論文が有利であることに注意する必要がある。 ただし、このことがかえって得るものを増やしてくれた。 アブストラクトをチェック 良い機会であるので、 各論文の概要や結論をチェック
Remote Timing Attacks are Still Practical
Paper 2011/232 Remote Timing Attacks are Still Practical Billy Bob Brumley and Nicola Tuveri Abstract For over two decades, timing attacks have been an active area of research within applied cryptography. These attacks exploit cryptosystem or protocol implementations that do not run in constant time. When implementing an elliptic curve cryptosystem with a goal to provide side-channel resistance, t
「利他的な人」は嫌われる：実験結果 | WIRED VISION
前の記事 ダイムラーが作った「史上初のバイク」、ギャラリー 「利他的な人」は嫌われる：実験結果 2010年8月31日 サイエンス・テクノロジー コメント： トラックバック (0) フィードサイエンス・テクノロジー Olivia Solon (Wired UK) 社会心理学の研究によると、グループ全体のために進んで自らを提供しようとする人は、同僚たちから嫌われるらしい。 「利己的でないメンバーをグループから放逐したいという願望」と題された論文(『Journal of Personality and Social Psychology』に掲載されたもので、4本のシリーズ論文のうち1つ)によると、「利己的でない人」はメンバー全体に求められる「基準」を引き上げてしまい、他の同僚たちを「悪く見える」ようにするため、同僚たちの恨みを買うことになるという。 「誰かの利己的でない振る舞いのおかげで、グルー
楕円曲線の位数計算アルゴリズムの研究
現在、公開鍵暗号で最も利用されているのは素因数分解の困難性を利用した RSA 暗号であるが、コンピュータの性能向上により従来の鍵サイズでは必ずしも安全ではなくなりつつある。 それに伴い、注目されているのが楕円曲線を用いた暗号理論である。有限体上の楕円曲線は無数に存在するが、任意の楕円曲線が必ずしも暗号化に適しているとは限らない。Pohlig-Hellman法による攻撃を回避するためには、曲線の位数を調べる必要がある。本研究では楕円曲線の位数計算について研究および実験を行った。
卒論の書き方 - 内田樹の研究室
四回生たちに卒論中間発表の「心得」をメールで送信した。 学生にむかって「卒論とは何か」ということを書くのも、これが最後の機会であるので、記念にそれを転載することにした。 うちのゼミ生に限らず、「卒論って、どうやって書けばいいんだろう・・・」と困っている学生諸君の一助になればと思う。 みなさまへ「卒論中間発表の心得」 暑いですね。ぼくも暑さと忙しさで死にそうです。 みなさんも就活やバイトやら旅行やらでたいそうお忙しい夏休みをお過ごしのことと思いますが、「卒論」というものがあることを忘れてはいけません。 卒論中間発表について、ご連絡いたしますので、熟読玩味してください。 （１）とき： （２）ところ： （３）用意するもの：草稿、ハンドアウト（１９枚） （４）草稿について：字数：６０００〜８０００字（音読して１５〜２０分） 必ず書かなければいけないことは 「タイトル」 「目次」 「序章」：ここでは
ISPおよび匿名掲示板管理者の法的責任とは（工藤）要約
ISPおよび匿名掲示板管理者の法的責任とは ―「プロバイダ責任制限法」の死角― ISP's and BBS Manager's Legal Liability 工 藤 浩* Hiroshi KUDO* 要約:インターネットが一般にも普及するにつれ，HPに公開された内容や掲示板に書き込まれた発言をめぐって，名誉毀損等による損害賠償請求等の民事訴訟が増えている。訴訟に際しての最大の問題は，被害者が加害者を特定できない場合があるので，加害者の代わりに，プロバイダや掲示板の管理者が訴えられるということである。そこで，被害者が加害者を特定して民事訴訟を起こすことを可能にするため，プロバイダ等の損害賠償責任に制限を加え，加害者たる発信者の個人情報を開示する手続きを定めた，通称「プロバイダ責任制限法」が施行された。しかし，この法律は，「通信の秘密」を規定した憲法に制限を加えるだけでなく，個人情報開示
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
[PDF] Contributions to Mental Poker
リード・ソロモン符号の半世紀 - J-Stage (pdf)
https://bitcoin.org/bitcoin.pdf
UT Repository: 自己同期符号について
UDSSS.pdf: Jamming-resistant Broadcast Communication without Shared Keys
pkcs.ps: Chosen Ciphertext Attacks against Protocols Based on RSA Encryption Standard PKCS #1
aesbc.pdf: Biclique Cryptanalysis of the Full AES
Rizzo.pdf - Practical Padding Oracle Attacks
椎橋章夫「異種統合型情報サービスシステムにおける自律分散アシュアランス技術の研究」