裏アカシック・レコード

出典: 謎の百科事典もどき『エンペディア(Enpedia)』
ナビゲーションに移動 検索に移動

裏アカシック・レコード柞刈湯葉SF作品。論文の体裁を取っているため、本稿では以降「先行研究」と呼ぶ[注 1]

本稿はself-containedではなく、読者はすでに先行研究を通読していることを前提とする[注 2]

先行研究に対する疑問点[編集]

まず気になったのは、裏アカシック・レコードのごく一部にアクセスすることしかできておらず、全貌の解明にはほど遠いのに「すべての嘘が収録されており(完全性)、真実はひとかけらも含まれていない(健全性)」ことをどうやって確認したのかという点である。これまで反例が見つかっていないだけにすぎないのにエネルギー保存則が信じられているのと同様なのかもしれないが、物理学ならそれで十分でもP≠NPの証拠とするには心もとないと言わざるを得ない。しかしこれを疑っていたら話が進まないので、ひとまずシッダールタ・ラーマンかアンゲラ・ヘンリッヒあたりの画期的な研究によりこの前提は完璧に証明されているとでもしておこう。

嘘つき文のパラドックス[編集]

そうすると「この文は裏アカシック・レコードに収録されている」という文は裏アカシック・レコードに収録されているのかどうかという疑問が直ちに浮かぶ。収録されていれば裏アカシック・レコードの健全性に反するし、収録されていなければ裏アカシック・レコードの完全性に反する。

不完全性[編集]

解決策の1つとして、裏アカシック・レコードには嘘であるにもかかわらず収録されていない文が実は存在するという仮説が考えられる(レコード不完全性仮説)。ある嘘が収録されていなくても有限時間の検索でそれを証明することはできないから問題は発生しない。裏アカシック・レコードに真実であるにもかかわらず収録されている文が存在するならば、先行研究中で述べているようなヒトラーの死亡確認やP≠NPの確認は意味をなさないことになるので、裏アカシック・レコードの健全性は成り立つものとする。

不確定性[編集]

前節では純粋数学的な解決を探ったが、裏アカシック・レコードの検索には物理現象を用いることに着目した物理学的アプローチも考えられる。たとえば、論理原子から構成される文はアカーシャ界において収録と非収録の重ね合わせ状態にあり、検索で発見されたときに収録状態が確定するという量子力学的な解釈である。非収録の文は発見されることがないから非収録状態が確定することはなく、パラドックスを回避できる。

検索時間の再現性と未来の予言[編集]

次に気になったのは「同じ文を検索したとき収録が確認されるまでの時間には厳密な再現性がある」ことと「『明日ビットコインが下落する』という文を検索して見つかった瞬間にビットコインを買えば確実に儲かる」ことは明らかに両立しない点である。そもそも「明日」の起点はどこなのだろうか。先行研究でも少し触れられているとおり、曖昧さ排除のために実際には具体的な日時を指定して検索しているのかとも考えたが、それでは「見つかった瞬間に」と矛盾する。本稿ではこの問題についてはこれ以上掘り下げず、問題提起に留める。

検索時間の短縮[編集]

先行研究では少しでも早く検索できる文の構築が求められているもその実現については成果が上がっていないとしている。本節ではそれを解決する手法を具体的に示す。文Pが真であるかどうか5秒以内に調べたいなら、以下の文Qを検索すればいい。

Q:「Pならば、この文を裏アカシック・レコードで検索すると5秒以上かけて見つかる」

(定理1)
裏アカシック・レコードが完全ならば、Qを検索したときPが真ならば5秒以内に収録確認のシグナルが発生し、偽ならば発生しない。
(証明)
Pが偽の場合、Qは後半(「ならば」以降)の内容に関わらず真になるので、裏アカシック・レコードの健全性によりQは収録されていない。よってQを5秒検索しても見つかることはない。
Pが真でQが収録されていない場合、「見つかる」は嘘なので、Qは偽であるにも関わらず裏アカシック・レコードに収録されていないことになり、裏アカシック・レコードの完全性に反する。よってPが真ならばQは収録されていなければならない。
Pが真でQが裏アカシック・レコードで検索したとき見つかるまで5秒以上かかる位置に収録されている場合、Qは真であるにもかかわらず裏アカシック・レコードに収録されていることになり裏アカシック・レコードの健全性に反する。よってPが真ならばQは検索して5秒以内に見つからなければならない。
Pが真でQが5秒以内に見つかる場合、「5秒以上かけて」が嘘であるから、単に偽の文が裏アカシック・レコードに収録されているだけであり、問題は生じない。■

次に念のため、レコード不完全性仮説について考察する。定理1の証明で、裏アカシック・レコードの完全性はPが真でQが収録されていない場合にしか使っていないことに注意されたい。

(定理2)
裏アカシック・レコードが完全でなくとも、いかなる文を検索しても、それがQの形をした文でPの部分が真であり裏アカシック・レコードに収録されていない文となることはない。
(証明)
Qが裏アカシック・レコードに収録されていないがPは真である文だと仮定する。ただしわれわれにはPが偽である場合とは区別がつかない。ここでQ':「Pでないならば、この文を裏アカシック・レコードで検索すると5秒以上かけて見つかる」を検索すると、「Pでない」は偽だからQもQ'も5秒以内に見つからない。したがってQとQ'のどちらかは偽であるにもかかわらず裏アカシック・レコードに収録されていない文であることがわかる。そのような文の存在が有限時間で証明されてしまうことになり、「裏アカシック・レコードに収録されていない偽の文が存在しても有限時間の検索でそれを証明することはできない」という前提と矛盾する。よっていかなる文を検索してもそれがQの具体例となることはない。■

定理2は、無矛盾だがω矛盾した理論の性質をどこか思わせるかもしれない。

(定理3)
Qを検索したときPが真ならば5秒以内に収録確認のシグナルが発生し、偽ならば発生しない。
(証明)
定理1と定理2より直ちに従う。■

以上により、裏アカシック・レコードを使って任意の質問の答えが5秒以内に得られる。先行研究では否定文は収録が遅い傾向にあり複文はほとんど見つかったことがないとしているが、あくまでも傾向に過ぎず(Pが真ならば)見つからなければ矛盾するのだから、早く見つかることには何の問題もない。

言うまでもないが、文Qの「5秒」の部分はいくらでも小さい数値にできるので、検索時間は任意に短縮できる。

レコード収録密度問題[編集]

Qの形をした文のうちPの部分が真であるものは無数に存在し、そのすべてが5秒以内に検索できなければならないので、レコード収録密度問題の答えは「有限ではない」になる。1秒間に無数の文を検索できるのに見つかるまで1秒以上かかる文があるのは奇妙に思われるかもしれないが、たとえば数直線上を秒速1cmで移動する点は1秒間に無数の有理点を通過するにもかかわらず、数直線上には到達するまで1秒以上かかる有理点が存在することを考えればおかしなことではない(ここで有理点に限定したのはアカーシャ連続体説を採用しなくともよいことを示すためだが、もちろん有理点に限る必要はない)。

まとめ[編集]

本稿では先行研究の疑問点を掲げ、先行研究で未解決だった高速に検索できる文の構築手法とレコード収録密度問題の答えを示した。本稿が裏アカシック・レコードを検索するレーザー装置の消費電力の節約、ひいては地球温暖化の防止に資すれば幸いである。

脚注[編集]

注釈[編集]

  1. CiNiiにも論文として登録されている[1]。CiNii的にはSFマガジンは論文誌らしい。
  2. 普通の言い方をするとネタバレがあるわけだが、先行研究の著者本人も言っている通り[2]論文にネタバレの概念はない。

出典[編集]

  1. CiNii. “裏アカシック・レコード | CiNii Research”. 2022年12月24日確認。
  2. 柞刈湯葉 (2022年5月17日). “星雲賞候補作「裏アカシック・レコード」への自己言及]”. 2022年12月24日確認。

参考文献[編集]

  • 柞刈湯葉「裏アカシック・レコード」、『SFマガジン』第62巻第3号、早川書房、2021年6月NAID 40022569337
  • 柞刈湯葉 「裏アカシック・レコード」『異常論文』 樋口恭介、ハヤカワ文庫JA、2021年10月。ISBN 978-4150315009
エンペディア 節目の記念記事
1-10,000 1 アンチリテラルの数秘術師 2012.12.26 (2ndからインポート) - 500 ちはやふる 2013.6.23 - 1,000 天元突破グレンラガン‎ 2014.2.2 - 1,500 ヤンレズ 2014.6.23 - 2,000 あらいぐまラスカル 2014.9.7 - 3,000 福原綾香 2014.11.13 - 4,000 アフリカ 2015.1.18 - 5,000 川崎フロンターレ-2005 2015.5.1 - 6,000 玄新哲 2015.5.14 - 7,000 ミルコ・フルゴビッチ 2015.5.26 - 8,000 日高拓磨 2015.6.4 - 9,000 ジオゴ・コヘア・デ・オリベイラ 2015.6.16 - 10,000 ブンデスリーガ-2010/11‎ 2015.6.24
11,000-
20,000
11,000 ??? YYYY.MM.DD - 12,000 ??? YYYY.MM.DD - 13,000 ??? YYYY.MM.DD - 14,000 ??? YYYY.MM.DD - 15,000 ??? YYYY.MM.DD - 16,000 ??? YYYY.MM.DD - 17,000 岡山市東山公園 2016.11.8 - 18,000 メッサーシュミット Bf109が登場する作品の一覧 2017.2.14 - 19,000 ヤズデギルド1世 2017.6.11 - 20,000 里克 2017.9.28
21,000-
30,000
21,000 アカハタ 2018.1.13 - 22,000 橋爪脩祐 2018.3.15 - 23,000 谷津鷹明 2018.5.4 - 24,000 処方箋 2018.7.10 - 25,000 三原やっさ号 2018.9.18 - 26,000 神沼月子 2018.11.15 - 27,000 鄭京和 2018.12.27 - 28,000 1904年 2019.2.16 - 29,000 實行寺 (函館市) 2019.3.30 - 30,000 1757年 2019.4.30
31,000-
40,000
31,000 妙林尼 2019.6.8 - 32,000 淵鑑類函 2019.7.24 - 33,000 ??? YYYY.MM.DD - 34,000 首里城鎖之間 2019.10.31 - 35,000 興信所 2019.12.24 - 36,000 教證寺本堂 2020.2.11 - 37,000 ??? YYYY.MM.DD - 38,000 一般意思 2020.4.14 - 39,000 琉球貿易 2020.5.13 - 40,000 けものフレンズぱびりおん 2020.6.16
41,000-
50,000
41,000 植松晴史‎ 2020.8.9 - 42,000 ポコ・ア・ポコ (天才てれびくんのコーナー)‎ 2020.9.28 - 43,000 マジック・キャット・アカデミー 2020.10.30 - 44,000 向ヶ丘遊園正門駅 2020.11.22 - 45,000 高岡駅 2020.12.13 - 46,000 ヤーノシュ 2020.12.30 - 47,000 鳥越一平 2021.1.20 - 48,000 酒々井町 2021.2.11 - 49,000 龍野区検察庁 2021.3.8 - 50,000 ココア (ぽけでび) 2021.4.15
51,000-
60,000
51,000 メロンボール 2021.5.26 - 52,000 七日市藩 2021.7.18 - 53,000 古市橋駅 2021.8.25 - 54,000 飯山城 2021.9.27 - 55,000 ブリオベッカ浦安 2021.10.14 - 56,000 八幡神社末社亀齢社本殿 2021.11.8 - 57,000 JR芸備線 2021.12.4 - 58,000 東急バス等12系統 2021.12.27 - 59,000 JR宇都宮線高校生暴行事件 2022.1.26 - 60,000 お江戸-O・EDO- 2022.2.21
61,000-
70,000
61,000 大橋祐紀 2022.2.26 - 62,000 連邦に反省を促すダンス 2022.2.27 - 63,000 国鉄181系電車 2022.3.17 - 64,000 源行明 2022.4.11 - 65,000 十勝総合振興局 2022.5.8 - 66,000 通商破壊 2022.5.29 - 67,000 気動車 2022.6.4 - 68,000 アルベド (みかん) 2022.6.12 - 69,000 真珠湾攻撃 2022.6.26 - 70,000 魔物やモンスターがはびこる世界で冒険者の道を歩もうとするアルヴィン(主人公/甲冑の戦士)は熊の怪物と戦いピンチのところに運良くダークエルフのヒーラーの女の子カーラ(ヒロイン/ダークエルフ)が通りかかったがカーラの性格があまりにもあまりなので言い合いになり熊の怪物も困惑しさらにそのあと熊の自宅に連れていかれるという原作コミックスにない展開があるので原作ファンの中には『あれ?』と思うかたもいらっしゃるでしょうけれどこれは雑誌連載以前にネットで発表されていた『これ、何の話ですか?』という同じ世界観の漫画を元にしているのでご了承くださいというスタッフと原作サイドの意向をこの場を借りてご説明させていただきつつなおこの長いサブタイトルには縦読みや斜め読みのような仕掛けはないのでそのこともおことわりしておきたいそんな第一話 2022.7.22
71,000-
80,000
71,000 貨物列車 2022.7.24 - 72,000 郵便車 (鉄道車両) 2022.8.9 - 73,000 池内正直 2022.8.24 - 74,000 2D OR NOT 2D 2022.9.5 - 75,000 菅野泰蔵 2022.9.28 - 76,000 悪魔将軍 2022.11.5 - 77,000 THE IDOLM@STER.KR 2022.12.3 - 78,000 裏アカシック・レコード 2022.12.25 - 79,000 坂上田村麻呂 2023.1.22
Enpedia:最近の出来事 - Enpedia:過去の出来事