«チューリング‐マシン»に関連する日本語の本
以下の図書目録から
チューリング‐マシンの使いかたを見つけましょう。
チューリング‐マシンに関する本と日本語文献で使われた文脈を提供するための簡単な抜粋文。
1
チューリングの計算理論入門: チューリング・マシンからコンピュータへ
チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。 ...
計算機誕生の背景・歴史と論理学・数学基礎理論を探り、情報化社会とIT、インターネットの現在と将来を考える!
3
独習 コンピュータ科学基礎III 計算構造 - 144 ページ
つまり D は、新しいシミュレーションを開始する前に、この順序の新しい文字列を生成しなければならない。;* 13.1.4 万能チューリングマシンこれまで見てきた例題では、特定の問題を解くには、それ専用のチューリングマシンを構成しなければならなかった。
人間が計算(アルゴリズム)というものについて理論的にきちんと考え始めたのは、1930年代のことである。1960年代に入り、形式言語・オートマトン理論・プログラム理論などコン ...
5
量子コンピューターが本当にすごい: Google、NASAで実用が始まった“夢の計算機”
さて、ここまでの説明で、チューリングの想像したコンピューター、チューリング・マシンをイメージできただろうか。ただし、今の例は「ミ( CC ) = UY 、 + 1 」専用のマシンだ。つまり、「幾つもの式をセットにした計算( =プログラム)」を行うからコンピューターだけど、機能 ...
6
新・思考のための道具: 知性を拡張するためのテクノロジー―その歴史と未来
物理的には、二つのマシンのあいだには何の違いもない。コ]ドで記述されたある特定の命令によって、万能チューリング・マシンは操作される。同じょうなコード化で、一二倍化の計算や平方根を求める計算、微分方程式の計算などの命令を記述できれば、 ...
7
詳説ビジネスプロセスモデリング: SOAベストプラクティス - 59 ページ
高貴な歴史:コンピュータ科学の起源とステー卜マシンステー卜マシンの初期における論述の 1 つはコンピュータ科学の父であるァランチューリングの研究によって行われました。チューリングは、ライプニッツ、ブール、フレーゲ、カン卜ール、ヒルベル卜、ゲーデルの ...
8
基礎からきっちり覚える 機械語入門: - 321 ページ
これはチューリングマシンの停止問題と言って、 20 世紀のコンピューターサイエンスだけでなく全科学分野においてももっとも優れた業績の 1 つです。チューリングマシンというのは、アラン・チューリングという数学者の考案したコンピューターの論理的なモデル ...
ただしこのような計算方法が効率が良いわけはなく,チューリングマシンはコンピュータとしては実用にされていないが計算可能な問題は状態遷移テーブルとテープの長さに制約が無ければチューリングマシンで解くことができることが証明されている。これは処理 ...
用語«チューリング‐マシン»を含むニュース項目
国内外の報道機関が語った内容や、次のニュース項目の文脈から
チューリング‐マシンという用語がどのように使われているかを調べてみましょう。
マイクロプロセッサの登場でベンチャー企業へ主導権が移ったコンピュータ …
次に、数学者によって計算機概念が創出され、数学的にモデル化された仮想的計算機が、1939年に発表されたチューリングマシン(無限に長いテープと、 テープに書かれている記号を読みとって内部の状態を変える状態遷移機械〔オートマトン〕から成る) ... «Kigyoka.com ベンチャー企業のためのメディア, 10月 15»
クラウドの台頭が導くコンシューマライゼーションの終焉
Alan Turing氏が、有名な論文で示したように、あらゆるチューリングマシンは、他のチューリングマシンをシミュレートすることができる。Intelが競争に参加して、性能を向上させ、コストを下げ始めると、ミニコンは死に追いやられた。なぜなら、生産数の少ない専用 ... «ZDNet Japan, 7月 15»
第4回 データ処理の方法
たとえば,SQLはチューリング完全(※2)ではありませんので,本質的には,記述できない処理があります。 ... ある計算のメカニズムが万能チューリングマシンと同じ計算能力を持つとき,その計算モデルはチューリング完全(Turing-complete)であるといいます。 «Gihyo Jp, 5月 15»
人工知能の最前線―人間の脳を真似るコンピューター
最近の研究では、人工知能にプログラムコードを与えるだけで「繰り返しなどの制御文」や「掛け算や足し算の意味」を自動で理解させることに成功している(論文PDF)。2014年には人工知能に人間の短期記憶をもたせるニューラルチューリングマシンと呼ばれる ... «TechCrunch, 3月 15»
Hacker in the Rye ハッカーの夢見た社会 第4回「アラン・チューリングが …
チューリングは1912年イギリスに生まれ、数学者、論理学者であり、暗号やコンピュータについてのスペシャリストでもあった。ケンブリッジ大学で学んだ後、現在のコンピュータを先取りした「チューリングマシン」の概念を提案するなど、早くからその才覚を示す。 «NetSecurity, 3月 15»
TimeWarp – 海外エンタメ専門サイト --毎日届く海外エンタメ情報サイト
ベネディクト・カンバーバッチが世界最強の暗号“エニグマ”に挑んだ実在の天才数学者アラン・チューリングを熱演、泣けるミステリー ... チューリングの開発した暗号解読マシンはドイツ軍との戦争の流れを大きく変え、さらにその後発明したチューリングマシン ... «TimeWarp, 3月 15»
NHK「ネクストワールド 第一回 未来はどこまで予測できるのか」の技術的 …
量子コンピュータというと、チューリングマシンをイメージする人も多いかと思いますが、それとは全く別物ではあるものの、非常に興味深い装置であることは間違いなく、また一部のAI系の課題は組合せ最適化問題に帰結できることもわかっていますので、そのため ... «BLOGOS, 1月 15»
カンバーバッチが実在の数学者チューリングに、『イミテーション・ゲーム …
イミテーション・ゲーム/エニグマと天才数学者の秘密』は、コンピューターの概念を創造し、人工知能の有無を判定するテスト「チューリングテスト」や仮想の計算機「チューリングマシン」などで知られるチューリングを主人公にした作品。第二次世界大戦時に解読 ... «CINRA.NET(シンラドットネット), 12月 14»
ノイマン・ゲーデル・チューリング 高橋昌一郎著
チューリングは命令集合をアルゴリズムと名付け、デジタル計算機の能力と限界を示す架空機械チューリングマシンを考案した。彼らの業績はいずれも密接な関係がある。そして3人とも底知れぬ知性の持ち主であり、他にも多彩な分野に本質的な部分で数々の ... «日本経済新聞, 11月 14»
実在の天才数学者A・チューリングの数奇な人生描く映画、主演はB …
コンピューターの概念を創造し、人工知能の有無を判定するテスト「チューリングテスト」や仮想の計算機「チューリングマシン」などで知られる実在の天才数学者アラン・チューリングを主人公にした同作。第二次世界大戦時に解読不能と言われたドイツ軍による15 ... «CINRA.NET(シンラドットネット), 9月 14»