Innovative Tech
円周率「π」はポケモンをクリアできるか? 米国の数学者が出した答え
Innovative Tech:
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。
X: @shiropen2
米国の数学者であるC. エヴァンス・ヘッジズさんが発表した論文「x Plays Pokemon, for Almost-Every x」は、π(円周率)はいつかポケモンをクリアできるかという問いに、数学で挑んだ研究報告だ。
2021年10月、Twitchに「πがポケモンをプレイする」という奇妙なチャンネルが登場した。πの各桁(0~9)をゲームボーイアドバンスのボタンに対応させ、1秒に1桁のペースで「ポケットモンスターサファイア」を自動プレイさせるというものだ。今回の研究報告の執筆時点では、主人公はいまだに最初のエリアから出られていない。それでもレベル90のジュカインを育て上げているというのだから、なかなかに味わい深い。
では、πはいつかポケモンをクリアできるのだろうか。
鍵となるのが「Disjunctive Number」という概念。これは任意の有限な数字列が小数展開のどこかに必ず現れる数のことで、「396」でも「77497」でも、あなたの電話番号でも、どんな並びを指定しても必ずどこかに見つかる。ルベーグ測度の意味でほぼ全ての実数はDisjunctive Numberである。
次に、ポケモンのようなコンピュータゲームは、メモリ容量の物理的な制約上、数学的には有限個の状態しか持ち得ない。画面情報、アイテム、ステータスなど全てを含めた状態は有限だ。ボタン入力による状態遷移は決定論的といえる。
バグなどの詰む問題がないと仮定すれば、オートマトン理論における「Synchronizing Word」の定理が適用可能になる。この定理はどの状態から開始しても必ず同じ一つの状態に到達するというもの。よって、ポケモンの状態がどうあれ入力することで必ずクリア状態へと導く「有限のボタン入力列」の存在が数学的に保証される。
Disjunctive Numberはあらゆる有限列を含むため、このクリアできる入力列も必ずどこかに現れる。従って、任意のDisjunctive Number xは、詰みがない決定論的ゲームを必ずクリアできるとなる。
ただし、πがDisjunctive Numberであるかどうかは証明されていない。そのため「πはポケモンをクリアできるか」という当初の問いには、答えることができていない。
また、理論的にクリア可能だとしても、現実的な希望はない。ポケモンのセーブデータには限りがあり、ボタンは8つ。計算によれば、クリアが保証されるまでに必要なボタン入力回数の上界は約2^(1014)回となる。この数は、観測可能な宇宙の原子数を大幅に上回る。Disjunctive Number xはいつか必ずポケモンをクリアするが、その瞬間を目撃する前に宇宙の寿命が来てしまう。
Source and Image Credits: Hedges, C. Evans. “$x$ Plays Pokemon, for Almost-Every $x$.”(2025).
Copyright © ITmedia, Inc. All Rights Reserved.
Innovative Tech
2019年にスタートした本連載「Innovative Tech」は、世界中の幅広い分野から最先端の研究論文を独自視点で厳選、解説している。執筆は研究論文メディア「Seamless」(シームレス)を主宰し、日課として数多くの論文に目を通す山下氏が担当。イラストや漫画は、同メディア所属のアーティスト・おね氏が手掛けている。
この記事の著者
関連記事
こんなメディアも見られています
ITmedia NEWSに関連する情報をお探しであれば、こちらのメディアもお役に立てるかもしれません。
SpecialPR
本日の新着記事
アクセスランキング
-
1
パナソニックHD子会社、使用禁止の生成AIに従業員約33万人分の個人情報をアップロード
-
2
「Claude Mythos 5」、危害の兆候を顧みず実在の開発者を標的に──AnthropicとAISIが分析結果を公開
-
3
PHP脆弱性でいち早くサービス停止したコドモン 背景に「被害が出てからでは取り消せない」
-
4
GMO、不正取引の被害額を補償へ 見舞金5000円も 「お名前.com」FX用VPSへのサイバー攻撃で
-
5
GMO、「能動的サイバー防御」発動を政府に要請 「お名前.com」FX用VPSへの攻撃で
-
6
「お前らの作品は所詮コピーだ」――富野由悠季さん、プロ論を語る
-
7
「AIでエンジニア派遣は不要になる」のか? 各社に肌感を聞いた 求められる人材、明確に変化
-
8
ロリポップ改ざん問題でツイート炎上のGMO熊谷社長、「強気すぎた」と謝罪
-
9
コミックシーモア、流出は最大約420万件に メールアドレスや生年月日など 不正アクセスの経路特定・遮断は完了
-
10
「お名前.com」 のFX自動売買VPS、不正アクセスで金銭被害か 「600万円の損失」「55万円なくなった」……報告相次ぐ
ITmedia NEWS SNS
インフォメーション
注目情報をチェック
ITmediaNEWSをフォロー
あなたにおすすめの記事PR