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
Ankerのスピーカーでまた発火事故 過去にも5回の火災で回収・交換中 消費者庁「直ちに使用中止を」
-
2
縦読み漫画アプリ「comico」サービス終了へ 13年の歴史に幕 購入作品は「めちゃコミック」で引き継ぎ可能
-
3
「うんこミュージアム」公式サイト改ざん被害、個人情報4人分流出のおそれ
-
4
千葉水害、半数以上が“ハザードマップの浸水エリア外”で起きていた ウェザーニューズ調査より
-
5
LINE着せかえ“デザイン崩れ”問題、返金フォーム設置 ただ「返金できない場合も」
-
6
中国のCGアニメ映画「牛来」、“AI生成よりひどい”と話題で逆にヒット 興収は一気に350倍以上に
-
7
「さくらのレンタルサーバ」に不正アクセス 583アカウントが不正ログイン被害、個人データなど漏えいのおそれ
-
8
両毛システムズ、社内システムに不正アクセス被害
-
9
楽天、迎撃ドローンの独ヘルシングと提携へ 防衛省への納入支援 報道
-
10
LINE着せかえ「アイコンがデフォルトに戻る」問題、対応完了時期示さず クリエイターズは「審査に時間がかかっている」
ITmedia NEWS SNS
インフォメーション
注目情報をチェック
ITmediaNEWSをフォロー
あなたにおすすめの記事PR