x86のmov命令はチューリング完全
世の中には様々なチューリング完全なシステムがある。 本の虫: うっかりチューリング完全になっちゃったもの x86のMMUはチューリング完全である。 BGP(Border Gateway Protocol)はチューリング完全である。 http://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf さて、x86の命令セットは極めて複雑で冗長であることが知られている。なんと、mov命令はチューリング完全であるそうだ。 http://www.cl.cam.ac.uk/~sd601/papers/mov.pdf もちろん、mov命令でメモリ上に任意のコードを書いて実行させればチューリング完全になるが、論文ではそのようなコード生成や自己書き換えによるイカサマは行っていない。また、アドレスモードもたいていのRISCにあるようなものしか使っていないという。 x8
異本「計算する機械と知性について」
「計算する機械と知性について」 模倣ゲーム 「機械は考えることができるか？」 この問いを、みなさんと考えていくことにしましょう。 このような問題に取り組む場合、まず、「機械」とか「考える」という言葉の意味を厳密に定義することから始めるべきだという人がいます。確かに、議論する際に、各人が「機械」とか「考える」ということをどう考えているかが食い違っていたら、その議論は不毛なものになりますから、言葉の意味をはっきりさせておくというのは大切なことかもしれません。その場合、これらの言葉の普通の用いられ方にできるかぎり沿った、きっちりとした定義を行うということになるわけですが、こうした取り組み方には危険がひそんでいます。「機械」とか「考える」という言葉は普段の生活の中で普通に使う言葉ですよね。ですから、これらの言葉の意味をはっきりさせるには、多くの人がどんなふうに使っているかを調べるべきだということに
プログラミング言語に関する雑談が気になったのでまとめてみた
K. Sakaguchi @pi8027 ocaml-tsukuba 勉強会#1のスライド(自分が書いた物)によると、C と OCaml で素直に N-Queens Solver を書くと、OCaml で書いた物の実行時間が C で書いた物の二倍くらいらしい。 2011-07-12 03:29:19
Open Letter
Dear Fellow Researchers, Would you kindly pay attention to the article “Non-Orthodox Combinatorial Models Based on Discordant Structures” by the author V. F. Romanov published on arXiv.org: http://arxiv.org/abs/1011.3944 (download: PDF, initial format LaTeX, 12pt). The article presents a constructive proof of effective resolvability of 3-SAT problem, accompanied by description of a polynomial algo
Gauche Devlog - Exact sqrt
About On development of Gauche, and other topics related to Lisp/Scheme in general. More details. Author Shiro Kawai, shiro at acm dot org. Recent Entries Caching formatter procedurePipeworksReal numerical functionsPretty print indentationSegmented completionHints for unbound variable error:immutable slot optionSource info propagation with macro expansionUsing Gauche in GitHub ActionsRunning gosh
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Languages cool as they expand: Allometric scaling and the decreasing need for new words - Scientific Reports
Tennent’s Principle of Correspondence. A Techscursion.
世界初のヴァーチャル・バクテリア誕生！
DNA logic gates calculate square root using 130 different molecules
Proving Program Termination
Interconnect-free parallel logic circuits in a single mechanical resonator - Nature Communications
別解問題の計算論的複雑さと完全性およびパズルへの応用 @ val it: α → α = fun