スーパーマリオシリーズで「クリア不可能なコース」が作成できることを数学的に証明 米MITの研究者ら【研究紹介】 レバテックラボ（レバテックLAB）

米マサチューセッツ工科大学（MIT）に所属する研究者らが発表した論文「You Can’t Solve These Super Mario Bros. Levels: Undecidable Mario Games」は、任天堂のスーパーマリオシリーズの一部のゲームにおいて、プレイヤーがクリアすることが理論上不可能なコースを数学的に証明した研究報告である。 keyboard_arrow_down 研究内容 keyboard_arrow_down 研究結果 対象となったゲームは、「New スーパーマリオブラザーズ」シリーズ（オリジナル版、Wii、U、2）と、「スーパーマリオメーカー」1および2の全ゲームスタイル（スーパーマリオブラザーズ1、3、ワールド、New スーパーマリオブラザーズU、3Dワールド）である。 研究チームは、これらのゲームにおいて、ステージがクリアできるかどうかの判定が決定不可

[t-tanaka]

スーパーマリオメーカーはチューリング完全だ，という先行研究があるんだから，面がクリア可能かの問題は決定不能なのは自明。システムが判断できないから，投稿には作成者のクリア記録が必須になっているわけで。

[morita_non]

タイトルおかしくね？ クリアが可能か不可能かを決定することが不可能なコースでしょ。不完全性定理と同じように。

[n-styles]

訳が変。「クリア不可能なコース」は、高い壁を作るだけで作成可能だから証明するまでもなく自明で、論じられてるのは原文のタイトルにもあるように「決定不可能(undecidable)なコース」ね。

[aminisi]

クリア不能コースは作成可能、クリアできないと投稿不可能だから要約がおかしい気がする。浅い理解だとランダムでクリアできる、ってこと？自分も元学会員だけどまだ国内にも頑張られてる方がいる https://x.com/nary31991528

[Magicant]

クリア可能性が判定できない面が存在することとクリア不可能な面が存在することは異なるが、どうしてこんな記事名に……

[tokuniimihanai]

「クリア不可能なコースが作れる」のは余りに自明すぎる。クリア可能か決定不能なコースを具体的に構成したという論文では？

[welchman]

理解できなかったのでGPT-4oに聞いてみた。/“ジャンプしても届かないような物理的な意味ではなく、ステージの構造や条件が複雑すぎて、計算上クリアすることが不可能であることを指しています”/非決定可能だって。

[Falky]

論文名前半「You Can't Solve These Super Mario Bros. Levels:」だけだと「クリア不可能」と思っちゃうね。続く「Undecidable Mario Games」で、なるほど！can't solveって決定不能か〜！となる。わざとそういう題にしてそう。オシャレやね。

[mino90]

なんか変だと思ったらマリオがコースをクリアできるかどうかの話じゃなかった。

[omega314]

論文が分からないのは仕方ないにせよ、自分で書いてる文の意味くらいはもう少し分かっていてほしい。

[rjj]

MITと聞いてErik D. Demaineだと思ったらErik D. Demaineだった。

[subAccount]

簡単のためにメーカーに絞ったとして「メーカーで作成可能な任意のコースに対してクリア可能か否かを判定するアルゴリズム」は実現不可能（チューリングマシン停止性問題の亜種）という話？

[ite]

こうした論文を紹介するなら、「決定不能」と「クリア不可能」が違う概念であることくらいは把握した上で書いて欲しい。

[smoking186]

既存のスーパーマリオメーカーのチューリング完全性の動画を見たところ計算結果を面上に出しているようなので、面がクリア可能かどうかではなかった。

[ranobe]

斜めに差したテニスのカセットといれかえればあるいは

[behuckleberry02]

なるほどわからんと思ってブコメ開いたらわかった。ありがとうはてなブックマーク。永遠に。

[kyopeco]

このSeamless、業界で話題になってる論文の日本語記事作ってくれたりして、非常にありがたいけど、こういう決定的なミスが結構あって、惜しいと思うことが多い。書いてくれるだけ本当にありがたいんだけどね。

[zkq]

決定不可能(undecidable)をクリア不可能と勘違いしてしまったか。

[tattyu]

決定不可能とクリア不可能がごっちゃになってない？。

[kura-2]

最初から全部穴みたいな明らかなものではなくてギリギリクリアできないものってどう証明すんだろう。

[napsucks]

ようわからんがそんなもん自明じゃないの？つまりP≠NP ΩΩΩ

[hayashikousun]

自分が停止する場合はプログラム自身が停止しないように処理を変える事が可能なので停止可能かどうか判定するプログラムは作れない。マリオもクリア可能な場合はクリア不可能になれるのでクリア判定が停止問（文字数

[delta-ja]

このアホタイトル、論文内容のキャッチーさに釣られてアホ記者が記事にするとこうなるんだなあ

[Helfard]

エディタが高度すぎて理論上クリア可能か不可能かプログラムにも分からないようなステージが作れちゃうと。なるほどなー。

[poponponpon]

最初っから最後まで何言ってるのか分からない。翻訳あってるのか？

[auto_chan]

なるほどﾘｶｲｼﾀ　https://x.com/auto_chan/status/1793861263325610143

[otchy210]

タイトルおかしくね？本文にはっきりと「クリアできるかどうかの判定が決定不可能であるとの証明」と書かれてるのに何でこういうタイトルになるかな？

[deep_one]

なんか詐欺みたいな証明方法である…

[timetrain]

壁抜けとかバグワープとかも含めるともうわけわからんし

[hecaton55]

停止問題かな？／(追記)停止問題だった。というか単一画面でも決定不可能という事が解ったとのこと。確かにタイトルの意味違うなぁ「スーパーマリオメーカーでクリア出来るかプログラムで判定できない」が正しい？

[urtz]

MITからイグノーベル賞候補が

[kotobuki_84]

マリオメーカー学会だ。