猫=チューリングマシン? 4つのテストにより、「猫コンピューター」が任意の計算を実行できることが証明された

猫=チューリングマシン? 4つのテストにより、「猫コンピューター」が任意の計算を実行できることが証明された

柔らかくてかわいい猫は、いつも私たちに「猫を撫でたい」「猫を抱きしめたい」という衝動を掻き立てます。

猫と一緒にいると本当に癒されます。

さらに、フランスの開発者 Chloé Lourseyre 氏によると、猫はコンピューターとしても使用できるそうです。

最近、彼女の個人ブログで非常に重要なトピックが議論されました。「猫は「チューリング完全」か?」それはチューリングマシンですか?

[[439518]]

被験者はこの猫のペルーチェです

ペルーシュはクロエ・ルセールさんの家に住むふわふわの子猫です。本日のテスト対象です。

チューリング完全とは何ですか?

チューリング完全性の考え方は、デバイスがチューリング マシンをエミュレートできる場合、あらゆる種類の計算を実行できるというものです。

つまり、次の 4 つのテストに合格できるマシンはすべてコンピューターです (したがって、あらゆる種類の計算を実行できます)。 4 つのテストは次のとおりです。

  • . および , — 値を入力し、出力します。
  • + と - -- 現在のメモリ セルに含まれる値を増加または減少します。 (チューリング マシンには、「ストレージ セル」が配置された「ストレージ テープ」があります。マシンは常に 1 つのストレージ セル (前述の「現在の」ストレージ セル) を指します。)
  • > と < - 現在のメモリ位置を左または右に移動します。
  • [ および ] -- ループを実行します。

したがって、Peluche がこれら 4 つのテストに合格できれば、「チューリング完全」であるとみなすことができます。

[[439519]]

チューリング完全性の証明

入出力

まず、フィードバックが得られるかを確認するために、クロエ・ルセールはペルーシュを手で突っついた。

それはクロエ・ルセールを一目見てから、背を向けた。

[[439521]]

それで、これがそれです: Chloé Lourseyre がそれを突っついて、反応を得ました。結論は明らかです。Peluche は入力を処理して出力することができます。

入力と出力を確認しました!

メモリ値を増減する

数日前、クロエ・ルセールさんは仕事から帰宅すると、キッチンがこんな風になっているのに気づきました。

どこにでも猫の餌が…

しかし、クロエ・ルセールはよく観察してみると、キャットフードが撒かれた床には、場所ごとに番号を付けることができることを発見しました。

クロエ・ルセールにとって、これはまさに記憶のテープのように見えます。 Peluche はタイルの上にキャットフードをまき、それをタイルの上で直接食べることができるため、特定のメモリ セルに含まれる値を増減できます。

メモリ値の増加または減少、確認済み!

現在のメモリセルを左または右に移動する

別の時、クロエ・ルセールは食器を洗っているときに誤ってペルーシュの上に水をこぼしてしまいました。それはキッチン中を走り回り、散らかし始めました。

しかし、よく見ると(赤い矢印の先端)、ペルーチェが走り回りながら餌入れを動かしていることが簡単にわかります。

つまり、ペルーチェは食べ物を別のタイルにこぼしてしまいます。これは、ポインタを現在のメモリに移動し、別のメモリ位置を編集するのと同じです。

モバイルメモリユニット、確認しました!

実行ループ

ペルーシュがキッチンを散らかした後、クロエ・ルセールが掃除をしなくてはならないのは明らかだった。

それから5分も経たないうちに、クロエ・ルセールがキッチンに戻ってきて、またこんな光景が目に浮かびました。

つまり、ペルーチェは間違いなくループを実行できるということです...

ループ確定!

これまでのところ、Chloé Lourseyre は Peluche が確かに「チューリング完全」であることを証明しました。では次の質問は、Peluche を使用して高性能コンピューティング タスクを実行するにはどうすればよいかということです。

どうやって実行するの?まず、コードが必要です。Chloé Lourseyre は次のような簡単なコードを書きました: (このコード例は「braincat」と呼ばれる新しいおしゃれな言語です)

結果: Peluche は何もしません!

結局、クロエ・ルセールは、猫は「チューリング完全」ではあるが、コードを実行するようには設計されていないのではないか、と思わずにはいられなかった。

キャットコンピュータについて

上記の「猫のコンピューター」は、もちろん単なる冗談です。クロエ・ルセールによれば、言語の新しい特徴を発見すると、人はそれをあらゆる場所で使い始めるそうです。

猫のコンピューターは初心者のミスのように見えるかもしれませんが、最も経験豊富な開発者でも初心者のミスを犯すことがあります。それを認めることは恥ずかしいことではありません。

実際、プログラミング言語の完全に新しいバージョンの新機能を体験する最良の方法は、将来の誤用を避けるために、各機能を一度誤って使用してみることです。

機能を使用する前に、それが本当に必要かどうかを常に自問してください。そうしないと、猫のコンピューターのような間違いを犯す可能性があります。

また、猫のコンピューターは非常に時間がかかるので、使用しないでください。

(この記事を書いている間に猫が傷つけられたことはありませんが、1匹の猫が数回軽く突かれたことがあります。)

<<:  AIと機械学習をサイバーセキュリティに組み込む方法

>>:  モデル入力は目に頼りません!中国人著者:強化学習は人間と同じ知覚能力を持つ

ブログ    
ブログ    
ブログ    

推薦する

ディープラーニング プロジェクトの例: オートエンコーダを使用したぼやけた画像の復元

より鮮明な写真を撮るには、カメラ レンズの優先フォーカスを使用して同じ写真を再度撮影するか、ディープ...

マスク氏:ロボットが雇用を奪い、ユニバーサル・ベーシック・インカムが必須に

億万長者のイーロン・マスク氏は最近、一連のツイートで、ロボットが人間の仕事を奪うなら、政府による普遍...

...

機械に記憶を与える: DeepMind の主要研究は柔軟な重み統合アルゴリズムを提案

世界で最も注目されている人工知能研究機関のひとつである Google DeepMind は、常に私た...

...

クロスモーダルトランスフォーマー: 高速かつ堅牢な 3D オブジェクト検出に向けて

この記事は、Heart of Autonomous Driving の公開アカウントから許可を得て転...

「大学受験5年間・シミュレーション3年間」の大型模型版が登場! 6141 の数学の問題、マルチモーダルの問題

「大学入試5年間・シミュレーション3年間」の数学の問題集が大幅パワーアップして登場! Microso...

Meituan はどのようにしてディープラーニングに基づくインテリジェントな画像レビューを実現するのでしょうか?

はじめに:AI(人工知能)技術は、Meituan AppからDianping App、フードデリバリ...

認知AIの台頭:2025年にAIは質的に飛躍する

[[441939]] AIの概念が初めて提唱されたのは1956年なので、60年以上の歴史があります。...

3Dを理解する言語モデルが登場! UCLA、上海交通大学、MITなどが共同で3D-LLMを提案:パフォーマンスが9%向上

大規模言語モデル (LLM) と視覚言語モデル (VLM) は、画像からの発話や常識的な推論の実行な...

企業は人工知能の可能性に目がくらんでいるのでしょうか?

多くの企業が AI イニシアチブの導入に意欲的に取り組んでいる一方で、AI が自社のビジネスにどのよ...

...

...

タオ氏の新しい論文:有名な素数予想を部分的に証明、新しい方法は彼の古いモデルを使用する

この記事はAI新メディアQuantum Bit(公開アカウントID:QbitAI)より許可を得て転載...

...