「ウルフラム氏のチューリングマシン」を20歳の学生が証明 | WIRED VISION
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 2007年10月26日 サイエンス・テクノロジー コメント： トラックバック (0) Brandon Keim 2007年10月26日 複雑系理論の権威であるStephen Wolfram氏が、あるチューリングマシンを提案し、これが考えられるありとあらゆる計算問題を解く能力を持つ、考え得る限りで最も単純なコンピューターであることを証明するよう呼びかけた。 それからわずか47日後、イギリスのバーミンガム大学コンピューター科学部の学生Alex Smithさん(20歳)が、見事にこれを証明して見せた。 チューリングマシンは、コンピューターの世界に偉大な貢献をした数学者、アラン・チューリングが1936年に提案したものだ。 今ではハードウェアをソフトウェアと切り離すことは当たり前になっているが、チューリングはこれを理論として考え出した最初の1
GIGAZINE - ハードディスク診断ソフト「Data Advisor」の使い方
ハードディスクがぶっ壊れているかどうかを診断できるフリーソフトです。パソコンが起動しなくなったが、何が原因か分からないという場合などにお役立ちです。独自のOSを起動して動作するという仕組み。 というわけで、事の経緯とソフトの使い方。 まず昨晩のこと。いつもリモートで使っているノートパソコンを使おうとリモートデスクトップを試みたものの、突如として通信不能状態に。どうしたのだろう？とノートパソコンの前まで移動して画面を見るとこんな事になってました。 いやな予感がして検索してみるとこんなページが。 C0000218エラー（UNKNOWN HARD ERROR）を考える記事 http://park12.wakwak.com/~iktryc/diary/2004/c0000218.html Windows最凶クラスのエラーだそうで。これは絶望的です。そういえば先月頃からSMARTの値がものすごいこと
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
