これが現代の科学力……! 「スーパーマリオメーカーはチューリング完全」はなぜたった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.
-
誰も教えてくれなかった“裁縫の裏ワザ”が目からウロコ 200万再生のライフハックに「画期的」と称賛【海外】
-
「玄関にでっかい亀梨居る」 亀梨和也がまさかの誤字に「なんかごめん」と謝罪 突然の本人登場に「これ笑ったw」「そりゃビックリする」
-
実家を探索中に発見した30年前のカーディガン、娘が着てみると…… 意外な結果に「昭和世代の服はガチモン」「おかあさん尊敬」
-
小1娘、ペンギンの卵を楽しみに育ててみたら…… 期待を裏切る生き物の爆誕に「声出して笑ってしまったw」「反応がめちゃくちゃ可愛い」
-
沖縄の「廃墟ホテル」をリノベ中、ミステリアスな事態発生→壁を壊してみると……「ヒェッ」 めげない投稿者に「ポジティブですごい」と称賛
-
【今日の計算】「6×11÷3−2」を計算せよ
-
「北朝鮮のアニメーターが関与疑い」報じられたアニメ制作元がコメント 「事実関係を調査中」
-
「虎に翼」出演俳優、桜井ユキの結婚相手は誰? 2022年にドラマ共演者と結婚発表
-
【今日の計算】「2+13×2−6」を計算せよ
-
東京メトロ、東西線の一部期間終日運休を“まさかの方法”で告知 「これで知らなかったとは言えない」
- 小1娘、ペンギンの卵を楽しみに育ててみたら…… 期待を裏切る生き物の爆誕に「声出して笑ってしまったw」「反応がめちゃくちゃ可愛い」
- 富山県警のX投稿に登場の女性白バイ隊員に過去一注目集まる「可愛い過ぎて、取締り情報が入ってこない」
- 2カ月赤ちゃん、おばあちゃんに少々強引な寝かしつけをされると…… コントのようなオチに「爆笑!」「可愛すぎて無事昇天」
- 異世界転生したローソン出現 ラスボスに挑む前のショップみたいで「合成かと思った」「日本にあるんだ」
- 【今日の計算】「8+9÷3−5」を計算せよ
- 21歳の無名アイドル、ビジュアル拡散で「あの頃の橋本環奈すぎる」とSNS騒然 「実物の方が可愛い」「見つかっちゃったなー」の声も
- 1歳赤ちゃん、寝る時間に現れないと思ったら…… 思わぬお仲間連れとご紹介が「めっちゃくちゃ可愛い」と220万再生
- 業務スーパーで買ったアサリに豆乳を与えて育てたら…… 数日後の摩訶不思議な変化に「面白い」「ちゃんと豆乳を食べてた?」
- 祖母から継いだ築80年の古家で「謎の箱」を発見→開けてみると…… 驚きの中身に「うわー!スゴッ」「かなり高価だと思いますよ!」
- 「妹が入学式に着るワンピース作ってみた!」 こだわり満載のクラシカルな一着に「すごすぎて意味わからない」「涙が出ました」
- フワちゃん、弟の結婚式で卑劣な行為に「席次見て名前覚えたからな」 めでたい場でのひんしゅく行為に「プライベート守ろうよ!」の声
- 親が「絶対たぬき」「賭けてもいい」と言い張る動物を、保護して育ててみた結果…… 驚愕の正体が230万表示「こんなん噴くわ!」
- 水道検針員から直筆の手紙、驚き確認すると…… メーターボックスで起きた珍事が300万再生「これはびっくり」「生命の逞しさ」
- フワちゃん、収録中に見えてはいけない“部位”が映る まさかの露出に「拡大しちゃったじゃん」「またか」の声
- スーパーで売れ残っていた半額のカニを水槽に入れてみたら…… 220万再生された涙の結末に「切なくなった」「凄く感動」
- 桐朋高等学校、78期卒業生の答辞に賛辞やまず 「只者ではない」「感動のあまり泣いて10回読み直した」
- 「これは悲劇」 ヤマザキ“春のパンまつり”シールを集めていたはずなのに…… 途中で気づいたまさかの現実
- 「ふざけんな」 宿泊施設に「キャンセル料金を払わなくする方法」が物議 宿泊施設「大目に見てきたが厳格化する」
- がん闘病中の見栄晴、20回以上の放射線治療を受け変化が…… 「痛がゆくなって来ました」
- 食べ終わったパイナップルの葉を土に植えたら…… 3年半後、目を疑う結果に「もう、ただただ感動です」「ちょっと泣きそう」