これが現代の科学力……! 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか(2/2 ページ)
そして、チューリング完全へ……
さっきの64ビット加算器の動画なのですが、入力はマリオがブロックを頭突して行っているんですね。一方、出力は2種類のオブジェクトで表現しているんですね(「ファイアフラワー」を0、「Pスイッチ」を1とする2進数)。
これだと加算の結果を使って次の計算をしようと思っても、マリオを操作して変換する必要があります。すごく面倒くさい。
ですから、入力も出力も「POWブロック」が0、「ブラックパックン」が1ということにして、フォーマットを統一しようと。
この2つのオブジェクトには、マリオの世界では物理的な性質に違いがあるんですね。POWブロックが跳ねるブロックに当たってもブラックパックンは跳ねないとか、両方跳ねるときも跳ね方が違うとか。この物理的な性質を生かすことで、コンパクトなギミックで2進数の計算ができる、と。
このやり方の一番良いのは、入力と出力のフォーマットが一致しているので、この計算結果をまた入力して、いろいろできることです。そういうことをやっていくと引き算、割り算、掛け算の回路が作れるようになって。
私は2017年2月5日に「マリオメーカーはチューリング完全だった【万能計算機】」をアップしました。今のコンピュータで計算可能なものは、“理想的なマリオメーカー”なら何でも計算できるんですよ」と数学的に証明するような動画です。
ここまで紹介してきた動画は全て、ニコニコ動画で「マリオメーカー学会」で検索できます。このタグが付けられた動画にはスコアアタック、最速クリアなどのジャンルもあって、めちゃくちゃ面白いです。
つい先日、続編の「スーパーマリオメーカー 2」が発売されて、物理法則が変わった部分もあって、参入障壁が下がっていますし、皆さんにもマリオメーカー学会で研究成果を発表していただけると、とてもうれしいです。
質疑応答
―― チューリングマシンはメモリが無限に扱えると思うのですが、スーパーマリオメーカーの計算機では?
そもそも、どこかに無限大は発生しなくてはいけなくて。チューリング完全を証明した動画では「理想的なマリオメーカー」としていますが、「縦方向は無限にコースが組めるとした場合」「無限にオブジェクトが設置できる場合」などを想定しています。
―― 「チューリング完全なマリオメーカー計算機」の計算速度を、実在するコンピュータと比較すると?
計算スピードは、ENIAC(エニアック)よりも遅いと思いますよ。
今のスピード感は、5ビット数同士の掛け算だったら、3〜4分あればできるくらい。スーパーマリオメーカー 2の登場で、多少高速化される可能性もあります。
※ENIAC:1946年、米国で開発された世界初の真空管式コンピュータ
―― いろいろ工夫したところはあると思いますが、お気に入りのアイデアは?
1つ挙げるなら、「マリオエンディアン方式」と呼ばれるものです。
以前はギミックを作動させるために、計算中にマリオを手動で動かし、カメラを移動させる必要があったんですけど……まあ、自動化したいじゃないですか。そこで、回路の中にマリオも入れ、ビットの後ろをついていくようにして操作不要にしたのがこの方式です。
※本記事の文章は読みやすさなどに配慮し、発表内容を一部補足・修正しています
※制作協力:日曜数学会
※2019年7月22日 追記:発表のもようを撮影された動画が公開されたため、記事冒頭に追加しました
関連記事
- “1000回遊べるRPG”を4000回遊んだ男 「SFCトルネコの大冒険」に挑み続けるプレイヤーが語る「不思議のダンジョンには、まだ不思議がある」
求道者のごとく追い求める「トルネコ」の理論的限界。 - 地雷を探して15年 マインスイーパ日本最速プレイヤーが挑む“思考のスピードを超越した戦い”
マインスイーパ「上級」世界第2位のよわぽんさんに取材しました。 - ドラクエやモンハンの世界をどう訳す? 「教会の十字架の形まで変える」ゲーム翻訳の奥深き世界
「最初の1カ月はまずゲームをしてくださいって言われました」 - 母はADHD、子は発達障害グレーゾーン 育児漫画「生きづらいと思ったら 親子で発達障害でした」インタビュー(1)
2019年2月に「入学準備編」が刊行された育児エッセイ漫画。著者に話を伺いました。 - 「訃報」「愛猫」「手風琴」って読める? 常用漢字表に掲載されている“難読漢字”
ニュースなどでよく見る表現も、意外と分からん……。
Copyright © ITmedia, Inc. All Rights Reserved.
-
イモト、突然「今日まさかの納車です」と“圧倒的人気車”を購入 こだわりのオプションも披露し光岡自動車からの乗り換えを明かす
-
「むりだろww」「笑いました」 ニトリでソファ購入 → 愛車の前でぼうぜん…… “まさかの悲劇”が1000万表示
-
「デコピンの写真ください」→ドジャースが無言の“神対応” 「真美子さんに抱っこされてる」「かわいすぎ」
-
「真美子さんさすが」 大谷翔平夫妻がバスケ挑戦→元選手妻の“華麗な腕前”が話題 「尊すぎて鼻血」
-
「何言ったんだ」 大谷翔平が妻から受けた“まさかの仕打ち”に「世界中で真美子さんだけ」「可愛すぎて草」
-
peco、息子の近影を公開「すごーくりゅうちぇるに見えます!」「パパに似てる〜」 息子のスクールランチも色とりどりでおいしそう
-
高嶋ちさ子、3000万円超の“超高級外車”ゲットにドヤ顔も! 笑い止まらずハンドル握り「Woohoo!!!」
-
50代主婦が5日間、ひたすら草抜き&庭木の剪定→たった一人でやり遂げたとは思えないビフォーアフターに称賛の嵐 「尊敬する」「本当に脱帽です」
-
「そうはならんやろ」クルマ修理会社の壁を見ると…… まさかの“シュールすぎるイラスト”に9万いいね 「よすぎる」「天才か」
-
2人組ガールズユニット、突然の脱退を発表 マネージャー「本人の意思ではない」 母親とする人物からの脱退理由と経緯説明が物議
- フォロワー20万人超の32歳インフルエンサー、逝去数日前に配信番組“急きょ終了” 共演者は「今何も話せないという状態」「苦しい」
- 「何言ったんだ」 大谷翔平が妻から受けた“まさかの仕打ち”に「世界中で真美子さんだけ」「可愛すぎて草」
- 結婚相手を連れてくる妹に「他の人に会わせられない」と言われた兄、プロがイメチェンしたら…… 「鈴木亮平さんに見えた」大変身に驚がく
- 「2007年に紅白出場」 38歳になった“グラビア界の黒船”が1年ぶりに近影公開→驚きの声続々
- 「クソビビったwww」 ハードオフに38万5000円で売っていた「衝撃的な商品」が90万表示 「売った人突き止めたい」
- 夫婦喧嘩した翌朝の弁当を夫が作ったら…… “森”すぎるビジュアルに「インパクトすごい」「最高に笑いました」の声
- 約9万円の「高級激レアガンプラ」を10時間かけて制作→完成品に「家宝だ」「めっちゃくちゃにかっこいい!!」
- 天皇皇后両陛下主催の園遊会、“お土産”に注目 ジョージア大使「大好物です」「娘たちからも大好評」
- 「庶民的すぎる」「明日買おう」 大谷翔平の妻・真美子さんが客席で食べていた? 「のど飴」が話題に
- 事故で重体の人気日本人TikToker、1カ月の意識不明と家族ケア経て逝去……“旅立ち直前に会った”親友は「励ましに来てくれてたのかな」
- 50年前に撮った祖母の写真を、孫の写真と並べてみたら…… 面影が重なる美ぼうが「やばい」と640万再生 大バズリした投稿者に話を聞いた
- 「食中毒出すつもりか」 人気ラーメン店の代表が“スシローコラボ”に激怒 “チャーシュー生焼け疑惑”で苦言 運営元に話を聞いた
- フォロワー20万人超の32歳インフルエンサー、逝去数日前に配信番組“急きょ終了” 共演者は「今何も話せないという状態」「苦しい」
- 「顔が違う??」 伊藤英明、見た目が激変した近影に「どうした眉毛」「誰かとおもた…眉毛って大事」とネット仰天
- 「ごめん母さん。塩20キロ届く」LINEで謝罪 → お母さんからの返信が「最高」「まじで好きw」と話題に
- 星型に切った冷えピタを水に漬けたら…… 思ったのと違う“なにこれな物体”に「最初っから最後まで思い通りにならない満足感」「全部グダグダ」
- 「泣いても泣いても涙が」 北斗晶、“家族の死”を報告 「別れの日がこんなに急に来るなんて」
- ジャングルと化した廃墟を、14日間ひたすら草刈りした結果…… 現した“本当の姿”に「すごすぎてビックリ」「素晴らしい」
- 母親は俳優で「朝ドラのヒロイン」 “24歳の息子”がアイドルとして活躍中 「強い遺伝子を受け継いだ……」と注目集める
- 「幻の個体」と言われ、1匹1万円で購入した観賞魚が半年後…… 笑っちゃうほどの変化に反響→現在どうなったか飼い主に聞いた