「ウルフラム氏のチューリングマシン」を20歳の学生が証明 | WIRED VISION
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 2007年10月26日 サイエンス・テクノロジー コメント： トラックバック (0) Brandon Keim 2007年10月26日 複雑系理論の権威であるStephen Wolfram氏が、あるチューリングマシンを提案し、これが考えられるありとあらゆる計算問題を解く能力を持つ、考え得る限りで最も単純なコンピューターであることを証明するよう呼びかけた。 それからわずか47日後、イギリスのバーミンガム大学コンピューター科学部の学生Alex Smithさん(20歳)が、見事にこれを証明して見せた。 チューリングマシンは、コンピューターの世界に偉大な貢献をした数学者、アラン・チューリングが1936年に提案したものだ。 今ではハードウェアをソフトウェアと切り離すことは当たり前になっているが、チューリングはこれを理論として考え出した最初の1
Leopard解体新書--第1回：RubyCocoaでWebページ表示:スペシャル - ZDNet Japan
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます Leopard登場！その真価は如何に？ いよいよ待ちに待ったLeopardことMac OS X 10.5が発売される。Appleによれば、300を超える新機能を引っさげての登場となる。 インストールした直後は、新しくなったFinderやDockが目を引くだろう。Time Machineも強烈なインパクトがある。だが最初の驚きが過ぎると、「これだけ？」と感じる方もいるかもしれない。 しかし、決してそんなことはない。もともとOSのバージョンアップとは、内部のライブラリやフレームワークを整備して、多くのアプリケーションが活躍する土台を整える事にある。それらが充分に活用されるとき、その真価が発揮されるだろう。 とは言っても、せっかく手に入れたL
リチャード・ストールマン講演会 - 科学と非科学の迷宮
行ってきました。 開始前 会場は、スーツは少数、女性は皆無。 (後から一人ほど姿が見えたような気がします) 机なしでパイプイスのみ。ちょっとメモとりにくかったです。 正面の壁は黒い暗幕で覆われ、右手に大きくFSIJの看板が(旗？)。 ノートPC持参の人多数。 同時通訳なさそうな雰囲気で、これだけの人がちゃんと聞きとれるのでしょうか？ と不安に。 ストールマンは左端中央付近で、熱心にノートPCに書いていました。 講演 講演の流れは以下の通りです。 前半：フリーソフトウェアの話 中盤：GPLの話 後半：GPLv3の話 また、講演はビデオ録画してました。 後日FSIJから公開されるそうです。 講演はパワポもなく、講演というより演説？ 全部はメモとれてないし、書くと多いので断片的に。 当たり前ですが訳の正確さや内容の正確さは保証しません。 所詮は走り書きですので、その程度の認識でお願いします。 D
ホワット・ア・ワンダフル・ワールド メタマス！
字面だけ見ると 「ラブひな ！」 に響きが似てますが，超数学 (メタマセマティクス) のことです (ギャグがいちいち古い管理人) メタマス! - オメガをめぐる数学の冒険 (via 最上の日々 10月22日（月） ▼ チャイティンの「 メタマス 」（白洋社）を読んでいるところ。) ちなみに，現在わたしは風邪で寝込んでいて，寝床でちょっと読んでました．昨日も寝込んでたので，たまたま普段はみないテレビの NHK スペシャル，100年の難問はなぜ解けたのか〜天才数学者 失踪の謎〜 を見て，数学熱が再燃したというのもあります． よりによってこんな変な時間に目が覚めてしまい，眠れなくなってしまったので，非常にぽわーんとした頭でこれを書いてます．日本語がおかしいかもしれない． まだ本論 (本全体 300 ページ中，200 ページぐらい．残りは作者の論文が付録として 2 つ付いてる) の半分ぐらいしか読
2007-10-25 - ひがやすを blog
っていうか、Hibernateにも昔からcriteriaあるよね？ http://www.hibernate.org/hib_docs/v3/reference/en/html_single/#querycriteria List cats = sess.createCriteria(Cat.class) .add( Restrictions.like("name", "Fritz%") ) .add( Restrictions.between("weight", minWeight, maxWeight) ) .list(); 流れるようなインターフェースとメソッドチェーンは違うものだよヨシオリ。ぱっとみは似ているかもしれないけど。 流れるようなインターフェースでは、ソースコードを書いている人が、中断することなく流れるようにコーディングできなければいけない。 HibernateのCrit
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
