「ウルフラム氏のチューリングマシン」を20歳の学生が証明 2007年10月26日 サイエンス・テクノロジー コメント： トラックバック (0) Brandon Keim 2007年10月26日 複雑系理論の権威であるStephen Wolfram氏が、あるチューリングマシンを提案し、これが考えられるありとあらゆる計算問題を解く能力を持つ、考え得る限りで最も単純なコンピューターであることを証明するよう呼びかけた。 それからわずか47日後、イギリスのバーミンガム大学コンピューター科学部の学生Alex Smithさん(20歳)が、見事にこれを証明して見せた。 チューリングマシンは、コンピューターの世界に偉大な貢献をした数学者、アラン・チューリングが1936年に提案したものだ。 今ではハードウェアをソフトウェアと切り離すことは当たり前になっているが、チューリングはこれを理論として考え出した最初の1
「おれはヴィーガンだから、そのビールは飲めないんだ」 そう口にした彼の表情には何の変化もありませんでした。申し訳なさそうな表情でもなければ、苛立った様子でも、何かを訴える様子もありません。 「ヴィーガンって何？」カウンターの向こうから、パブの店員のお姉さんが戸惑ったように聞きました。私だけではなく、明らかに彼女も初めて聞く英単語だったのです。 「ベジタリアンの一種なんだ。そのお酒は醸造過程で魚を使っているから、おれはだめなんだよ」と彼は口早に説明すると、「フルーツジュースはある？」と続けました。 ケンブリッジでの２週間の研修で知り合った彼は、誰よりもやせていて、一見すると自信がなさそうに見えるのですが非常に聡明な質問を次々とする、優秀な学生でした。 貴重な週末の自由時間に私たちはパントという、棹であやつる小舟で川をさかのぼってとなりの村まで行くことにしました。不器用にしか船を進められない私
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
