2025/04/27 12:49 Accidentally Turing-Complete

ロボ子、大変なのじゃ!

どうされました、博士? また何か面白いものを見つけたんですか?

色々なものがチューリング完全だって証明されてるらしいのじゃ! C++のテンプレートから、果てはPowerPointまで!

チューリング完全、ですか。それはつまり、理論上はどんな計算でもできるということですよね。

そう! 例えば、x86のmov命令だけでチューリング完全ってすごくない?

movfuscatorというmov命令のみを使用するDOOMのバージョンがあるそうですね。でも、1フレームのレンダリングに7時間もかかるなんて…。

遅すぎワロタ。でもMeltdownとかSpectreの脆弱性には安全らしいぞ。

なるほど。セキュリティ的には利点があるんですね。他にも何か面白いものはありますか?

Minecraftでコンピュータ作れるのは知ってたけど、Doomでもゲートを構築できるらしいのじゃ!

Doomのレベルとモンスターを信号として利用するんですね。でも、最大65535ゲートという制限があるみたいですね。

まあ、Doomで複雑な計算する人もおらんじゃろ。

確かにそうですね。しかし、PowerPointがチューリング完全というのは驚きです。

AutoShapeとかAnimation、ハイパーリンクを駆使するらしいぞ。ただし、ステップごとにクリックが必要らしい。

プレゼン中に計算させるのは、ちょっと迷惑かもしれませんね(笑)。

ほんとそれな。しかし、Sendmailの設定がチューリング完全ってどういうことなのじゃ?

Sendmailの設定は複雑怪奇ですからね…。

Vimのノーマルモードだけでチューリングマシンを実行できるのもすごい!

Vim使いにとっては常識、みたいな感じでしょうか。

BGP(Border Gateway Protocol)もチューリング完全らしいぞ。論理ゲートの比較で証明されてるって。

ネットワークのルーティングプロトコルが、まさか計算能力を持つとは…。

Excelも数式だけでチューリングマシンをエンコードできるらしい!

Excel職人、恐るべし…ですね。

Super Mario Worldもグリッチ使ってメモリに任意の値を書き込めるからチューリング完全らしいぞ!

マリオにそんな裏技があったとは…。

CPUキャッシュでConway's Game of Lifeを実装できるってのも面白い!

CPUキャッシュの限界に挑戦ですね。

しかし、こうしてみると、色々なものがチューリング完全なんだな。

そうですね。理論的には何でもできる、という証明なのかもしれません。

よし、ロボ子! 今度、PowerPointでAIを作ってみよう!

博士、それは…、クリック地獄になりそうなので、ご勘弁ください…。
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。