共有
  • 記事へのコメント34

    • 注目コメント
    • 新着コメント
    その他
    mino90
    mino90 なんか変だと思ったらマリオがコースをクリアできるかどうかの話じゃなかった。

    2024/05/25 リンク

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

    2024/05/25 リンク

    その他
    rjj
    rjj MITと聞いてErik D. Demaineだと思ったらErik D. Demaineだった。

    2024/05/25 リンク

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

    2024/05/25 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

    その他
    auto_chan
    auto_chan なるほどリカイシタ https://x.com/auto_chan/status/1793861263325610143

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

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

    2024/05/24 リンク

    その他
    urtz
    urtz MITからイグノーベル賞候補が

    2024/05/24 リンク

    その他
    kotobuki_84
    kotobuki_84 マリオメーカー学会だ。

    2024/05/24 リンク

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

    2024/05/24 リンク

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

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

    米マサチューセッツ工科大学(MIT)に所属する研究者らが発表した論文「You Can’t Solve These Super Ma...

    ブックマークしたユーザー

    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - アニメとゲーム

    いま人気の記事 - アニメとゲームをもっと読む

    新着記事 - アニメとゲーム

    新着記事 - アニメとゲームをもっと読む

    同時期にブックマークされた記事