2011年4月4日月曜日
2011年1月25日火曜日
NP完全問題と3SAT問題 P=NP証明？
3SAT問題を多項式時間で解くアルゴリズムが発表される。
P=NP証明に？
hylomによる 2011年01月24日 22時32分の掲載
Vladimir Romanov氏が、3SAT問題を解く多項式時間アルゴリズムなるものをリリースしたそうだ（該当のブログエントリ)3SAT問題はNP完全なので、この主張が正しければ、P=NPであることになる。ソースコードはGitHubにて公開されている 。
P=NP証明に？
hylomによる 2011年01月24日 22時32分の掲載
Vladimir Romanov氏が、3SAT問題を解く多項式時間アルゴリズムなるものをリリースしたそうだ（該当のブログエントリ)3SAT問題はNP完全なので、この主張が正しければ、P=NPであることになる。ソースコードはGitHubにて公開されている 。
2011年1月22日土曜日
Selected Papers on Fun and Games
Selected Papers on Fun and Games (Center for the Study of Language and Information - Lecture Notes)
Knuth先生の論文集の８番目の本．さっそく買いに行かなくては？と思うのだけれど．
この本の紹介記事
This is the eighth in a series of eight volumes that contain archival forms of my published papers, together with new material. (The first book in the series was Literate Programming; the second was Selected Papers on Computer Science; the third was Digital Typography; the fourth was Selected Papers on Analysis of Algorithms; the fifth was Selected Papers on Computer Languages; the sixth was Selected Papers on Discrete Mathematics; the seventh was Selected Papers on Design of Algorithms.) The Fun and Games volume is characterized by the following remarks quoted from its preface.
パズルの本？
Knuth先生の論文集の８番目の本．さっそく買いに行かなくては？と思うのだけれど．
この本の紹介記事
This is the eighth in a series of eight volumes that contain archival forms of my published papers, together with new material. (The first book in the series was Literate Programming; the second was Selected Papers on Computer Science; the third was Digital Typography; the fourth was Selected Papers on Analysis of Algorithms; the fifth was Selected Papers on Computer Languages; the sixth was Selected Papers on Discrete Mathematics; the seventh was Selected Papers on Design of Algorithms.) The Fun and Games volume is characterized by the following remarks quoted from its preface.
パズルの本？
2011年1月7日金曜日
2010年12月17日金曜日
Opera 11
ノルウェーのブラウザメーカー、Opera Software は2010年12月16日、デスクトッププラウザ「Opera 11」の正式版を公開、配布を開始したした。
Windows、Mac、Linux 向けのものが同社サイトから無料でダウンロードできる。
Jon S. von Tetzchner 氏は、「今回はユーザーから高く支持されている機能を新しい視点で見直し、磨きをかけた。特に、これまで Opera を利用したことがないユーザーにとっては、ブラウザの概念を変えるブラウザになったと思う」と語っている。
Opera 11の新機能には、関連するページをグループにするタブスタッキング機能、ブラウザ自体に機能を追加してカスタマイズできる、HTML5 や JavaScript などの Web 標準技術で作られたエクステンション機能がある。エクステンションをダウンロードできるカタログページも用意した。、よく使うブラウジング機能を素早く実行できる“ビジュアル マウスジェスチャ”機能、サイトのアドレス情報を表示するセキュリティを強化したアドレスバーなどがある。
Windows、Mac、Linux 向けのものが同社サイトから無料でダウンロードできる。
Jon S. von Tetzchner 氏は、「今回はユーザーから高く支持されている機能を新しい視点で見直し、磨きをかけた。特に、これまで Opera を利用したことがないユーザーにとっては、ブラウザの概念を変えるブラウザになったと思う」と語っている。
Opera 11の新機能には、関連するページをグループにするタブスタッキング機能、ブラウザ自体に機能を追加してカスタマイズできる、HTML5 や JavaScript などの Web 標準技術で作られたエクステンション機能がある。エクステンションをダウンロードできるカタログページも用意した。、よく使うブラウジング機能を素早く実行できる“ビジュアル マウスジェスチャ”機能、サイトのアドレス情報を表示するセキュリティを強化したアドレスバーなどがある。
登録:
投稿 (Atom)
