3SAT問題を多項式時間で解くアルゴリズムが発表される。
P=NP証明に？
hylomによる 2011年01月24日 22時32分の掲載
Vladimir Romanov氏が、3SAT問題を解く多項式時間アルゴリズムなるものをリリースしたそうだ（該当のブログエントリ)3SAT問題はNP完全なので、この主張が正しければ、P=NPであることになる。ソースコードはGitHubにて公開されている 。
2011年1月25日火曜日
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 標準技術で作られたエクステンション機能がある。エクステンションをダウンロードできるカタログページも用意した。、よく使うブラウジング機能を素早く実行できる“ビジュアル マウスジェスチャ”機能、サイトのアドレス情報を表示するセキュリティを強化したアドレスバーなどがある。
2010年12月15日水曜日
プログラムを書き込めるバクテリア
カルフォルニア大学サンフランシスコ校で、まるでコンピューターのようにプログラムを書き込めるバクテリアを作り出すことに成功したとのこと。
遺伝子から「logic gates」と呼ばれる回路のブロックを作り、大腸菌株に埋め込んだところ、「logic gates」は細胞間の計算的コミュニケーションの基盤を形成し、デジタル処理のような働きを見せた。
生物学上できることがすべて、プログラミングで制御できるようになることを意味する」とし、「バクテリア用のプログラミング言語を作りたい」そうだ。
また、生きている細胞が読み込める複雑なコンピューターコードを作り出すことが最終的な目標なのだそうだ。同研究は、農業及び医薬品の分野に貢献することが期待されているという。
遺伝子から「logic gates」と呼ばれる回路のブロックを作り、大腸菌株に埋め込んだところ、「logic gates」は細胞間の計算的コミュニケーションの基盤を形成し、デジタル処理のような働きを見せた。
生物学上できることがすべて、プログラミングで制御できるようになることを意味する」とし、「バクテリア用のプログラミング言語を作りたい」そうだ。
また、生きている細胞が読み込める複雑なコンピューターコードを作り出すことが最終的な目標なのだそうだ。同研究は、農業及び医薬品の分野に貢献することが期待されているという。
2010年12月5日日曜日
Viber
（米国時間12/2）リリースされた新しい無料のiPhoneアプリViber（iTunes リンク）の機能は 基本的にはSkypeのモバイルアプリと同様だが、いろいろな面でずっと優れている。
iPhoneユーザーにとってほとんど理想のアプリといえそうだ。
iPhone向けViberは3GまたはWiFiネットワークを通じて他のViberユーザーと100%無料通話ができる。
バックグラウンドで作動し、待機中はバッテリーを消費しない（完全に停止していても通話が受けられる。Bluetoothも利用でき、しかも通話の接続は速く、音質も非常に良い。
どこがそんなにすごいのか？
現在App Storeの無料VoIPアプリ分野で優勢なのはSkypeだが、Viberがユーザーに知られ始めればその地位も脅かされるかもしれない（多少時間がかかるだろうが）。
しばらく Skypeよくない点を評価するために、使ってみようと思う．特にバッテリ消費はありがたい
iPhoneユーザーにとってほとんど理想のアプリといえそうだ。
iPhone向けViberは3GまたはWiFiネットワークを通じて他のViberユーザーと100%無料通話ができる。
バックグラウンドで作動し、待機中はバッテリーを消費しない（完全に停止していても通話が受けられる。Bluetoothも利用でき、しかも通話の接続は速く、音質も非常に良い。
どこがそんなにすごいのか？
現在App Storeの無料VoIPアプリ分野で優勢なのはSkypeだが、Viberがユーザーに知られ始めればその地位も脅かされるかもしれない（多少時間がかかるだろうが）。
しばらく Skypeよくない点を評価するために、使ってみようと思う．特にバッテリ消費はありがたい
2010年10月12日火曜日
あから2010
あから2010。女流王将に勝ったすごいやつ。体育の日に東京大学で行われた、清水市代女流王将と情報処理学会の刺客「あから2010」合議制システムの一戦は、六時間を超える戦いの末に86手で清水女流王将が投了、コンピュータ「あから2010」の勝利という結果になりました。
序盤から慌しく駒が行き交いする中、時折あらわれるコンピュータならではの差し手に清水女流王将が長考、持ち時間を失う頃合から「あから2010」に攻めきられるという展開でした。
細かい分析はこれから行われるはずですが、綺麗な囲いが残っていることからも分かるとおり「あから2010」からしてみればほぼ攻め込まれる機会のない、危なげない勝利。
将棋プログラムはすでにアマチュアトップレベルにあると言われていましたが、今回の戦いでさらにその能力を証明して見せたことになります。
詳細な分析が楽しみだ
序盤から慌しく駒が行き交いする中、時折あらわれるコンピュータならではの差し手に清水女流王将が長考、持ち時間を失う頃合から「あから2010」に攻めきられるという展開でした。
細かい分析はこれから行われるはずですが、綺麗な囲いが残っていることからも分かるとおり「あから2010」からしてみればほぼ攻め込まれる機会のない、危なげない勝利。
将棋プログラムはすでにアマチュアトップレベルにあると言われていましたが、今回の戦いでさらにその能力を証明して見せたことになります。
詳細な分析が楽しみだ
登録:
投稿 (Atom)
