ブラウザよりも高速アクセス！
23 関係: 停止性問題、可逆チューリングマシン、可逆計算、ミナミコメツキガニ、チューリング完全、ボイド (人工生命)、トマソ・トフォリ、トフォリゲート、ビリヤードボール、ニュー・サイエンティスト、エドワード・フレドキン、カニ、コンピュータ、シミュレーション、スーパーマリオメーカー、セル・オートマトン、神戸大学、衝突、西表島、論理回路、Minecraft、WIRED (雑誌)、決定可能性。
停止性問題
計算可能性理論において停止(性)問題（ていしせいもんだい・ていしもんだい、halting problem）は、あるチューリング機械（≒コンピュータプログラム・アルゴリズム）が、そのテープのある初期状態（≒入力）に対し、有限時間で停止するか、という問題。アラン・チューリングが1936年、停止性問題を解くチューリング機械が存在しない事をある種の対角線論法のようにして証明した。すなわち、そのようなチューリング機械の存在を仮定すると「自身が停止すると判定したならば無限ループを行い、停止しないと判定したならば停止する」ような別のチューリング機械が構成でき、矛盾となる。.
新しい！!: ビリヤードボール・コンピュータと停止性問題 · 続きを見る »
可逆チューリングマシン
可逆チューリングマシン（Reversible Turing machine） は、その可能な動作の全てが可逆な動作であるチューリングマシンである。結果としてそれが行う計算は、可逆な計算となる。 構成法について説明する。通常の場合の多くの議論で対象とされているチューリングマシンは決定的である。すなわち（チューリングマシン#決定的と非決定的を参照）状態 q と、テープ上のヘッドの位置にある記号（以下、単に「記号」とする） s の組 (q, s) に対して、その時にすべき動作が唯一である。この時、動作した直後の状態と記号だけを見て、どのような動作をした直後かが決定できるなら、そのチューリングマシンは逆に動くことができるわけである。つまり「逆方向にも決定的」であるのが、可逆チューリングマシンである。 もう少し形式的には（チューリングマシンの形式的な記述には、普通は5ツ組を使うが、ここでは便宜上4ツ組に修正したものを使う）、.
新しい！!: ビリヤードボール・コンピュータと可逆チューリングマシン · 続きを見る »
可逆計算
可逆計算（かぎゃくけいさん、Reversible computing）とは、可逆な、すなわち計算過程において常に直前と直後の状態が一意に定まる計算。可逆計算は、計算過程において情報が消失しないため非破壊的計算（Non-destructive computing）としても知られている。.
新しい！!: ビリヤードボール・コンピュータと可逆計算 · 続きを見る »
ミナミコメツキガニ
ミナミコメツキガニ（南米搗蟹、Mictyris brevidactylus）は、エビ目（十脚目）・ミナミコメツキガニ科に分類されるカニの一種。東南アジア熱帯域の干潟に生息する小型のカニである。外見や生態はコメツキガニに似ているが、科のレベルで分類が異なる（コメツキガニはスナガニ科である）。.
新しい！!: ビリヤードボール・コンピュータとミナミコメツキガニ · 続きを見る »
チューリング完全
計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全（チューリングかんぜん、Turing-complete）あるいは計算完備であるという。 チャーチ＝チューリングのテーゼによれば「計算可能関数」は、それを計算しようとする計算モデルがチューリング完全であれば計算できる。 一般的なプログラミング言語の背景にある計算モデルの多くはチューリング完全である。一見単純な機能しか持たない言語がチューリング完全な例としては、Lazy K、Brainfuckなどがある。究極的に単純な計算モデルとしては「がチューリング完全であると証明されている。 チューリング完全かどうかという事は、計算可能性理論の問題である。計算複雑性の分野の問題である時間や記憶容量の消費量については考えない。表計算における数式の処理などで、繰り返し処理を「どうやっても実現できなければ」それはチューリング完全ではない。 コンピュータ言語のうち、少なくともチューリング完全でなければプログラミング言語とは呼ばれない。逆にチューリング完全であるにも関わらず慣例的にプログラミング言語とは呼ばれないものもある。.
新しい！!: ビリヤードボール・コンピュータとチューリング完全 · 続きを見る »
ボイド (人工生命)
ボイド(Boids)は、アメリカのアニメーション・プログラマ、クレイグ・レイノルズが考案・作製した人工生命シミュレーションプログラムである。名称は「鳥もどき(bird-oid)」から取られている。.
新しい！!: ビリヤードボール・コンピュータとボイド (人工生命) · 続きを見る »
トマソ・トフォリ
トマソ・トフォリ（、1943年 - ）は、ボストン大学の電気情報工学学部の特任教授。.
新しい！!: ビリヤードボール・コンピュータとトマソ・トフォリ · 続きを見る »
トフォリゲート
トフォリゲート (Toffoli gate) は、トマソ・トフォリの提案した可逆論理ゲートである。トフォリゲートはfunctional complete（:en:Functional completeness）である。すなわち、任意の論理演算がトフォリゲートの組み合わせにより実現できる。別名のCCNOTゲートは、その動作を表す "controlled-controlled-not" (制御・制御・NOTゲート) の略称である。.
新しい！!: ビリヤードボール・コンピュータとトフォリゲート · 続きを見る »
ビリヤードボール
ビリヤードボール（billiard balls）は、キャロム・ビリヤードやポケット・ビリヤード、スヌーカー等、キュー・スポーツ一般で使うボール。球、玉とも呼ぶ。 ゲームの種類により、ボールの数や類型、直径、色、模様が異なる。 硬さや摩耗率、弾力性などボールの様々な特性は、ビリヤードを行う上で非常に重要なポイントである。.
新しい！!: ビリヤードボール・コンピュータとビリヤードボール · 続きを見る »
ニュー・サイエンティスト
ニュー・サイエンティスト（New Scientist）は、イギリスの週刊の科学雑誌。1956年創刊。リード・ビジネス・インフォメーションにより出版されている。 査読がないため、しばしばアマチュアの科学者による永久機関のような記事が連載され、たびたび議論が起きる。.
新しい！!: ビリヤードボール・コンピュータとニュー・サイエンティスト · 続きを見る »
エドワード・フレドキン
ドワード・フレドキン（Edward Fredkin、1934年 - ）は、計算機科学者、物理学者である。理論計算機科学の分野、特に可逆計算とセル・オートマトンでの業績が知られている。デジタル物理学の先駆者の1人でもあるが、近年のworkでは「デジタル哲学」という語を使っている。フレドキンの考案した可逆計算ゲートであるフレドキンゲートは、コンラート・ツーゼが可逆計算の重要性を示唆した著書 Calculating Space（1969年）において、可逆計算を実装する基盤として引用されている。.
新しい！!: ビリヤードボール・コンピュータとエドワード・フレドキン · 続きを見る »
カニ
ニ（蟹）は、十脚目短尾下目（たんびかもく、Brachyura、別名:カニ下目）に属する甲殻類の総称。タラバガニやヤシガニなどは十脚目異尾下目（ヤドカリ下目）に属するが、これらも漁業・流通等の産業上、「カニ」として扱うことがある内海冨士夫・西村三郎・鈴木克美『エコロン自然シリーズ 海岸動物』ISBN 4586321059 1971年発行・1996年改訂版 保育社三宅貞祥『原色日本大型甲殻類図鑑 II』ISBN 4586300639 1983年 保育社。また分類学において、本分類以外の水産節足動物で「カニ」の名を与えられているものも多い。.
新しい！!: ビリヤードボール・コンピュータとカニ · 続きを見る »
コンピュータ
ンピュータ（Computer）とは、自動計算機、とくに計算開始後は人手を介さずに計算終了まで動作する電子式汎用計算機。実際の対象は文字の置き換えなど数値計算に限らず、情報処理やコンピューティングと呼ばれる幅広い分野で応用される。現代ではプログラム内蔵方式のディジタルコンピュータを指す場合が多く、特にパーソナルコンピュータやメインフレーム、スーパーコンピュータなどを含めた汎用的なシステムを指すことが多いが、ディジタルコンピュータは特定の機能を実現するために機械や装置等に組み込まれる組み込みシステムとしても広く用いられる。電卓・機械式計算機・アナログ計算機については各項を参照。.
新しい！!: ビリヤードボール・コンピュータとコンピュータ · 続きを見る »
シミュレーション
ミュレーション（）は、何らかのシステムの挙動を、それとほぼ同じ法則に支配される他のシステムやコンピュータなどによって模擬すること広辞苑第6版。simulationには「模擬実験」や「模擬訓練」という意味もある。なお「シミュレイション」と表記することもまれにある。.
新しい！!: ビリヤードボール・コンピュータとシミュレーション · 続きを見る »
スーパーマリオメーカー
『スーパーマリオメーカー』（）は、任天堂より2015年9月10日に発売されたWii U用ゲームソフト。2016年12月1日にニンテンドー3DS版『スーパーマリオメーカー for ニンテンドー3DS』も発売された。.
新しい！!: ビリヤードボール・コンピュータとスーパーマリオメーカー · 続きを見る »
セル・オートマトン
Daniel Dennett (1995), ''Darwin's Dangerous Idea'', Penguin Books, London, ISBN 978-0-14-016734-4, ISBN 0-14-016734-X セル・オートマトン（cellular automaton、略称：CA）とは、格子状のセルと単純な規則による、離散的計算モデルである。計算可能性理論、数学、物理学、複雑適応系、数理生物学、微小構造モデリングなどの研究で利用される。非常に単純化されたモデルであるが、生命現象、結晶の成長、乱流といった複雑な自然現象を模した、驚くほどに豊かな結果を与えてくれる。 正確な発音に近いセルラ・オートマトンとも呼ばれることがある。セルは「細胞」「小部屋」、セルラは「細胞状の」、オートマトンは「からくり」「自動機械」を意味する。他に「セル空間」「埋め尽くしオートマトン」「homogeneous structure」「tessellation structure」「iterative array」といった呼称もある。 有限種類の（多くは2から数十種類の）状態を持つセル（細胞のような単位）によってセル・オートマトンは構成され、離散的な時間で個々のセルの状態が変化する。その変化は、ある時刻 t においてのセルの状態、および近傍のセルの内部状態によって、次の時刻t+1 、すなわち新たな「ジェネレーション」（世代）での各セルの状態が決定される。初期状態（時刻 t.
新しい！!: ビリヤードボール・コンピュータとセル・オートマトン · 続きを見る »
神戸大学
戸高等商業学校（1910年頃） 出光佐三記念六甲台講堂（国登録有形文化財） 神戸大学社会科学系図書館（国登録有形文化財）.
新しい！!: ビリヤードボール・コンピュータと神戸大学 · 続きを見る »
衝突
衝突（しょうとつ、Stoß、collision）とは、運動している2つの物体が接触し、ごく短時間に撃力を相互に及ぼし合う物理的な現象。そこから派生して、相反する立場・利害などがぶつかって争いとなることも衝突と呼ぶ。.
新しい！!: ビリヤードボール・コンピュータと衝突 · 続きを見る »
西表島
西表島（いりおもてじま）は、沖縄県八重山郡竹富町に属する八重山列島の島である。同列島で最大の面積を持つ。人口は2,366人（2017年3月末）である。.
新しい！!: ビリヤードボール・コンピュータと西表島 · 続きを見る »
論理回路
論理回路（ろんりかいろ、logic circuit）は、論理演算を行う電気回路及び電子回路である。真理値の「真」と「偽」、あるいは二進法の「0」と「1」を、電圧の正負や高低、電流の方向や多少、位相の差異、パルスなどの時間の長短、などで表現し、論理素子などで論理演算を実装する。電圧の高低で表現する場合それぞれを「」「」等という。基本的な演算を実装する論理ゲートがあり、それらを組み合わせて複雑な動作をする回路を構成する。状態を持たない組み合わせ回路と状態を持つ順序回路に分けられる。論理演算の結果には、「真」、「偽」の他に「不定」がある。ラッチ回路のdon't care, フリップフロップ回路の禁止が相当する。 ここでの論理は離散(digital)であるためディジタル回路を用いる。論理演算を行うアナログ回路、「アナログ論理」を扱う回路（どちらも「アナログ論理回路」）もある。 多値論理回路も量子コンピュータで注目されている。 電気（電子）的でないもの（たとえば流体素子や光コンピューティングを参照）もある。 以下では離散なデジタル回路を扱う。.
新しい！!: ビリヤードボール・コンピュータと論理回路 · 続きを見る »
Minecraft
『Minecraft』（マインクラフト）は、Notch（マルクス・ペルソン）と彼が設立した会社・Mojang ABの社員が開発したサンドボックスゲームである。サバイバル生活を楽しんだり、自由にブロックを配置し建築等を楽しむことができるコンピュータゲームである。日本では一般的に「マイクラ」と略される。 2018年初頭の時点で、全てのプラットフォームでの販売が累計1億4400万本を突破した。.
新しい！!: ビリヤードボール・コンピュータとMinecraft · 続きを見る »
WIRED (雑誌)
WIRED（ワイアード）は、アメリカ合衆国で1993年に創刊された雑誌である。 ジャンルはビジネス、インターネット、ジャーナリズム、カルチャーなど。本国以外では、イギリス、イタリア、ドイツ、日本の4カ国でそれぞれ発行・発売されている。また、台湾では中国語版ウェブサイトが開設されている。 雑誌に限らず、ウェブサイトや電子書籍など、様々な形でグローバルにコンテンツを展開している。.
新しい！!: ビリヤードボール・コンピュータとWIRED (雑誌) · 続きを見る »
決定可能性
決定可能（けっていかのう、decidable）は、論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定可能性（けっていかのうせい、decidability）は、そのような属性を指す。命題論理のような形式体系は、論理的に妥当な論理式（または定理）の集合のメンバーシップを実効的に決定できるなら、決定可能である。ある決まった論理体系における理論（論理的帰結で閉じている論理式の集合）は、任意の論理式がその理論に含まれるか否かを決定する実効的方法があれば、決定可能である。.
新しい！!: ビリヤードボール・コンピュータと決定可能性 · 続きを見る »
