perl - behind the 2,3 turing machine : 404 Blog Not Found
2007年10月27日16:15 カテゴリMathLightweight Languages perl - behind the 2,3 turing machine 日本でもWiredが取り上げて知られるようになった2,3 Turing Machineですが、 Wolfram Blog: The Prize Is Won; The Simplest Universal Turing Machine Is Proved WIRED VISION / 「ウルフラム氏のチューリングマシン」を20歳の学生が証明 この証明に、Perlが使われていますというお話。 http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf - 証明のPDF I have written several Perl programs, to demonstrate t
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 | WIRED VISION
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 2007年10月26日 サイエンス・テクノロジー コメント： トラックバック (0) Brandon Keim 2007年10月26日 複雑系理論の権威であるStephen Wolfram氏が、あるチューリングマシンを提案し、これが考えられるありとあらゆる計算問題を解く能力を持つ、考え得る限りで最も単純なコンピューターであることを証明するよう呼びかけた。 それからわずか47日後、イギリスのバーミンガム大学コンピューター科学部の学生Alex Smithさん(20歳)が、見事にこれを証明して見せた。 チューリングマシンは、コンピューターの世界に偉大な貢献をした数学者、アラン・チューリングが1936年に提案したものだ。 今ではハードウェアをソフトウェアと切り離すことは当たり前になっているが、チューリングはこれを理論として考え出した最初の1
プログラマーのための0.999...の解釈 : 404 Blog Not Found
2007年02月06日12:00 カテゴリMath プログラマーのための0.999...の解釈 あれ、はまちちゃんが釣られてる。イワシが不漁で小魚が足りなかったのかな！ ぼくはまちちゃん！(Hatena) - 0.999... について考えた 「0.999... は 1 に等しい」っていうのが話題ですね！ これを見て、なんだか面白そうだったから、 算数のテストでいつも 10てんくらいだったぼくも、ぼくなりに必死で考えてみました！ これね、0.999....がdoubleとかNumとかだと考えるからぐるぐるまわっちゃうんだ。 クロージャーないしオブジェクトだと思えばいいんだよ。 var one_third = 1/3; じゃないんだ。 var one_third = function(q){ return q() * 1 / 3; } なんだよ、本当は。 意味は、定義(define)してある
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
