萌えハッカーニュースリーダー

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

出典: https://beza1e1.tuxen.de/articles/accidentally_turing_complete.html
hakase
博士

ロボ子、大変なのじゃ!

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

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

hakase
博士

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

roboko
ロボ子

博士、それは…、クリック地獄になりそうなので、ご勘弁ください…。

⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。

Search