コラム
» 2019年07月12日 12時30分 公開

これが現代の科学力……! 「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか(1/2 ページ)

「今のコンピュータで計算可能なものは、“理想的なマリオメーカー”なら何でも計算できる」。

[ねとらぼ]


 「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。

 話がぶっ飛んでいて何が何だか分からないかもしれませんが、きっとそれだけ研究が進んでいるということでしょう。今回は、5分間で数学を語るイベント「日曜数学会」から、同学会のハイレベルさが伝わる発表「スーパーマリオメーカーはチューリング完全」を書き起こしました。

スーパーマリオメーカーはチューリング完全

発売から約2週間で、計算機になったスーパーマリオメーカー



 「スーパーマリオメーカー“上で動く計算機”」というものをご存じない方もいらっしゃるかと思います。今日はまずマリオメーカーで計算するとはどういうことなのか、という話をしたいと思います。

 初期に開発された計算機から順に説明していきます。スーパーマリオメーカー発売(2015年9月10日)の約半月後、同作で論理演算を行う動画がニコニコ動画で公開されました。

 そこから抜粋してきた画像なんですけど、ここ(直線に並んだブロックの途中)に2つブロックがあります。マリオは壊すことも壊さないこともできるんですけど、この2つのブロックが両方残っている場合に限って、ブロックの直線上を甲羅が通過していきます。

 これがAND回路の仕組みです。同様にOR回路、NOT回路も作れます。







 で、論理回路素子ができるということは、2ビットの2進数を計算する加算器を作ることができます。コースがデカくて、マリオは豆粒みたいに見えますね。





 この後、いろいろな人たちが「スーパーマリオメーカー“上で動く計算機”」を作っていって、「加算器の桁数レース」が起こります。計算できる桁数が2ビットから16ビット、32ビット、64ビットと増えていきました。





 34ビットまで行ったところで計算機が一気に小さくなるんですけど、「【34bit】マリオメーカー計算機で171億(略)+171億(略)の結果を表示してみた」という動画で、回路の再利用が可能になる技術が広まったんですね。

 ここまでの流れが、1カ月足らずで起こりました。すごいですね。すごいんですけど、ちょっと課題もありまして。

       1|2 次のページへ

Copyright © ITmedia, Inc. All Rights Reserved.

昨日の総合アクセスTOP10

  1. /nl/articles/2106/14/news065.jpg 「産んでくれた親に失礼」「ちょっと我慢できません」 上原浩治、容姿批判のコラム記事に不快感あらわ
  2. /nl/articles/2106/14/news048.jpg 大好きなお父さんが帰宅すると、猫が駆け寄って…… 寄り添って甘える猫ちゃんのお出迎えがうらやましい
  3. /nl/articles/2106/14/news051.jpg 日本マクドナルド50周年で歴代人気バーガー3種が復活! 「ジューシーチキン 赤とうがらし」「テキサスバーガー2021」「トリチ」
  4. /nl/articles/2106/15/news015.jpg 留守番中の愛犬を、ペットカメラで見てみたら…… ヨガをしながらこちらをチラッと見るワンコに飼い主驚き
  5. /nl/articles/2106/14/news129.jpg 【そんなことある?】最強の研究会で飛び出した「素人質問で恐縮ですが〜」を上回る恐怖のパワーワード 「その理論をつくったのは私なのですが〜」
  6. /nl/articles/2106/14/news117.jpg 上原浩治の容姿に言及したコラム記事 批判受け掲載元が一部削除、謝罪へ
  7. /nl/articles/2106/13/news025.jpg アントニオ猪木、腸の病気で再入院も“闘魂”消えず 「本当に強い人」「復活劇の始まり」と不屈の姿に反響
  8. /nl/articles/2106/15/news035.jpg イスラム教のお宅で作法を知らずにお祈りを…… 「宗教より気持ち」と受け入れてくれた漫画に心が温かくなる
  9. /nl/articles/2106/14/news020.jpg ニワトリ「コケェー!!」子猫「ギャーッ!!」 強気で追いかけまわすニワトリと子猫の関係性が面白い
  10. /nl/articles/2106/15/news089.jpg 「綿棒でエヴァンゲリオン初号機を作りました」 衝撃の完成度に「すごすぎる」「綿棒ってなに?」の声

先週の総合アクセスTOP10

先月の総合アクセスTOP10