Результаты поиска

チューリングマシン (英: Turing machine) は、アラン・チューリングが「計算可能性」に関する議論のために提示した抽象機械である。 チューリングの「計算可能数について──決定問題への応用」（1936年）において提示された。同様なものを同年にエミール・ポスト (Emil Post)...

1954年6月7日）は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において姓 Turing はテューリングとも表記される。 電子計算機の黎明期の研究に従事し、計算機械チューリングマシンとして計算を定式化して、その知性や思考に繋がりうる能力と限界の問題を議論するなど情報処理の基礎的・原理的分...

チューリングマシンで実行できるプログラムのクラス、ラムダ記法で定義できる関数のクラスとも一致する。よって簡単にはテーゼは、計算が可能な関数とは、その計算を実行できるような有限のアルゴリズムが存在するような関数、よっておおよそコンピュータで実行できる関数と同じだと主張する。...

halting problem）または停止問題は、「どんなチューリングマシン、あるいは同様な計算機構についても、それが有限時間で停止するかを判定できるアルゴリズム」は可能か、という問題。 アラン・チューリングは1936年、停止性問題を解くアルゴリズムは存在しないことをある種の対角線論法のようにして証明した。...

theory）とは、チューリングマシンなどの計算模型でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、計算理論や数学の一分野である。 理論計算機科学の中心的課題の1つとして、コンピュータを使って解ける問題の範囲を理解することでコンピュー...

チューリング完全（チューリングかんぜん、英語: Turing-complete）とは、計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全あるいは計算完備であるという。 チャーチ＝チューリング...

立した。しかし1982年11月13日以降の数年にわたって一連のリング禍事件が発生したことを受けて、世界戦をはじめ主要なビッグマッチにおいても最大12ラウンドまでに短縮される動きが広まり、現在に至っている。 ボクシングの試合・スパーリングを挑んだり、実際に対戦しても「スポーツや格闘技である以上」は、...

554人）、ブロックトン（105,643人）、クインシー（101,636人）、リン（101,253人）、ニューベッドフォード（101,079人）の各市がある。プリマス町が面積最大の自治体である。 マサチューセッツ州はニューイングランドの他の5州とともにニューイングランド・タウンと呼ばれる地方政府形態を採っている。この形...

計算を厳密に研究するため、計算機科学では計算模型と呼ばれるコンピュータの数学的抽象化を行う。その手法はいくつかあるが、最も有名なものはチューリングマシンである。チューリングマシンは、言ってみれば無限のメモリを持つコンピュータであるが、一度にアクセスできるメモリ範囲は非常に限られている。チューリングマシン...

）も含む。 チューリングマシンの言語は単なる文字列なので、数学的構造(他のチューリングマシンを含む)を扱うには符号化(エンコード)し、その数値を解釈するプログラムを埋め込む必要がある。 チューリング完全機械は十分強力なので、この手法であらゆる列挙可能な構造を扱うことができる。チューリングマシン...

ヴァジラーニらは、量子チューリングマシンと古典チューリングマシンの計算可能性が等価であることを示した。したがって、計算可能性の点では既存のあらゆるコンピュータと量子チューリングマシンは変わらない。つまり、量子チューリングマシンで「計算可能」な問題は古典チューリングマシンでも「計算可能」であるし、古典チューリングマシン...

非決定性チューリング機械（ひけっていせいチューリングきかい、英: Non-deterministic Turing machine, NTM）は、理論計算機科学において、非決定性有限オートマトンのように働く制御機構を持つチューリング機械である。 通常の（決定性）チューリング...

坂村健によってTRONが提唱される。 1985年 デイヴィッド・ドイッチュが量子コンピュータの原モデルである量子チューリングマシンを定義した。 Apple ComputerがLaserWriterを発売。ページ記述言語としてPostScriptを採用したレーザープリンターで、ページレイアウトソフト「PageMaker」とともにDTPの時代を切り開く。...

生け垣オートマトン (Hedge Automata) 広義のオートマトン チューリングマシン (Turing Machine) 決定的チューリングマシン (Deterministic Turing Machine, DTM) 非決定的チューリングマシン (Nondeterministic Turing Machine...

チューリングマシンに神託（oracle）と呼ばれるブラックボックスが付加されたものであり、そのブラックボックスは特定の決定問題を1ステップで決定可能である。チューリングマシンの停止問題のような決定不能な問題にも神託機械を想定することができる。 神託機械はオラクル付きのチューリングマシン...

チューリングマシン、帰納的関数、ラムダ計算など）。後にこれらの定義はすべて同等であることがわかり、それらにより同値な概念を「計算可能」とすることが提案された（チャーチ＝チューリングのテーゼ、提案者はスティーヴン・コール・クリーネ。なお、チューリング...

ゆるノイマン型（ないしはプログラム内蔵方式）のコンピュータの実現によってである。理論的にはチューリングマシン等が関係するが、そのような理論的な側からの観点はここでは省略する。また歴史的に見ると、19世紀にバベッジとラブレスが解析機関用にコンピュータプログラムをつくったと言えるが、それも略す。直感的...

を使って解く事が出来る問題の集合（nは入力長） 例えば、クラスNPは非決定性チューリングマシンで多項式時間で解く事が出来る決定問題の集合である。また、クラスPSPACEはチューリングマシンで多項式領域で解く事が出来る決定問題の集合である。ここで、領域とは、実世界ではメモリ空間、チューリングマシン...

evaluator は、ある意味で、チューリングマシンにおける万能チューリングマシンに相当する。（当初LISPプログラムの表現法としていた）「M式」を、LISP自身が扱うデータ構造に変換した「S式」は、万能チューリングマシンの入力（テープの初期状態）として与えられるチューリングマシン...

computation）は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれるうちで、チューリングマシンなどのような、現実の機械に似せた架空のものを抽象機械といい、そうでないものとしてはラムダ計算などがある。ラムダ計算は数学の関数式の組み合わせ...

ングマシン」、バンバドロは「ロッククライム」、カイリキーは「かいりき」、ラプラスは「なみのり+つりざお」、サメハダーは「なみのり(高速)+いわくだき」、リザードンは「そらをとぶ」と同等の特技を発揮する。 ^ 『Let's Go!ピカチュウ・Let's Go!イーブイ』での呼称。相棒のピカチュ...