  |
はてなキーワード: 次元とは
ノーフリーランチ定理的に言えば、少なくとも現実に存在するタスクの数だけ知能の種類は存在するんだけど、それぞれの個人は自分が特化しているタスクにおいて、他人よりも優れている側面が存在する
それを勘違いして、「他のタスクでも自分は優れている」と思ってしまうから「馬鹿」「天才」という圧縮次元で話そうとしてしまう
プログラミングとは、勉強も運動もスマブラも下手なクソ隠キャ中学生が「俺もパソコン1台で凄い技術者になって…！」とワクワクしながら始めるものの思ったより普通に難しいし学校の試験で出たような知識要求されるしで3日で放り投げ、10数年後にnoteで「お前らは絶望的にプログラミングに向いてないからやめろ」なんて記事を書くだけのザコに成り下がる、夢と希望に溢れた技術である。
近年ではパソコンのスペックの上昇にともないできることも増え、どこのご家庭にもあるRTX2080で簡単にディープラーニングもできるようになった。Unityで3Dゲームをバリバリ動かしてもブルースクリーンは出ない。やっぱ世界を広げるのは小賢しい知恵よりもスペックの暴力だぜ。
開発環境や言語も選択肢豊富で、エディタもかつては有料クラスでも手に入らなかったような贅沢な機能が満載のものが出回っている。Eclipseとか今考えるとよくあんなので開発できてたな。
いまや小学生からおばあちゃんまでアプリ作りに熱中し、高校生はIoTとかやり始め、大学生は商業レベルか？ってレベルのものをネットで発表し、私はウェブアプリのスマホでのレイアウト崩れひとつすら直せず静かにエディタを閉じてnoteで過激タイトル記事を書いている。
掛け算に順序があると思っているような知能の下級雑用係（自分のことを教育専門職だと思い込んでいる）ですら「小学生にプログラミングを教えるぞ！」と意気込んでいる。やめろ。お前らには無理だ。無理だからマジでやめろ。考え直せ。無理だって。掛け算に順序つけないと相手に教えられないレベルのやつがプログラミング教えるのマジで無理だって。算数とは次元が違うって。「ピーチ姫いつも簡単に誘拐できるし今度はベヨネッタも誘拐してみるか」ぐらいの無謀さだって。やめとけ。マジでやめろ。
まあそんなこんなで入り口はめちゃくちゃ広く、入門するのはマリオカートより簡単である。話逸れるけどSwitchのマリオカート、運転アシスト機能ついて初心者でもコース完走できるようになったから心折れちゃった人ももう一度チャレンジしてみてね。
それとは特に関係ないんだけど、大学行ってた時ティーチングアシスタント（TA）っていう授業のお手伝いさせられたのよね。ちゃんとお金出るやつ。
学部の3年か4年から始まって、院の1年か2年までやってて、途中で休学挟んだから、ええと、あー、うん、数年間TAやってたんよ。数学とプログラミングのコマ。CとOctaveとかいうやつ。Cのほうは情報学科で、Octaveは違う学科。JavaとかC++のコマはTA入れさせてもらえなかった。
プログラミングの実習は週2コマ（連続）あって、情報学科なら必修科目。なのでサポートは相当手厚く、先生とTAが絶え間なく机間巡視し、わからないことがあればセンパイがなんでも答えてくれるというわけだ。授業外でもサポートはしており、わからなければ先生や研究室にいる学生に好きなだけ聞きにいっても良いということになっていた。必修だから落とされたら困るしな。
2コマだから3時間 * 15回で、45時間。そして私の時は2年まででC/C++/Javaと必修だった（今はなんの言語かは知らない）ので、その3倍、135時間は最低やることになる。プログラミング実習以外にもプログラミング触る授業多いから実際はもっと多い。宿題やる時間もあるので実際はもっともっと長くプログラミングに触れることになる。卒論書く時期に入ると、テーマによっては書く人はさらに書くので、もっともっともっともっと長い。
これだけ時間をかければほとんどの人がプログラミングできるように……ならない。むしろできない人の方が多い。なんで。why。教えて。
会社になるとさすがにプログラミングできるできないは死活問題である。
「今日から入ったxxでーす。業界未経験ですがよろしくおねがしまーす。さっそくなんですけどPythonのここわかんないんですけどどうすれば……あっそうすればいいんですね。次はここなんですけど……なるほど！ありがとうございます。じゃあまた明日ー」
いやー社会人にもなると熱意が違うね。学生なんかわかんなくてもほとんど聞きに来ないのにな。こりゃガンガン伸びますわ。私も社会人1年生でPythonなんて3秒ぐらいしか触ったことないから適当答えてるけど。
「ちょっとお時間よろしいですか？」「いやちょっと今忙しいから後になっちゃいますわ。すんません……」
そんなこんなで1週間ぐらい放置してしまった。やべー絶対嫌われる。どこまで進んだかな……？えっまだそこ？進んでなくない？
もしかしてこれ全部教えないとダメなやつか。そりゃ大学4年間プログラミングやったやつでもプログラミングできないんだから、そうか。よく考えると当たり前だよな。
プログラミングをやめろ
大学4年間と大学院2年間プログラミングやったやつでもできないし、会社で毎日8時間を数週間プログラミングについやしてもできないやつはできないし、そもそも人類というのはプログラミングできない可能性がある。
少年少女たちに「プログラミングはいいぞ！自由にものが作れて達成感がある！頭が良くなった気分にもなれるし！」と吹聴してまわんのもいいけど、6年間情報科学について勉強したようなやつの大半がプログラミングできないんですよ。それもごくごく初歩的な部分。
野球とかサッカーなら、まあ友達との試合には参加できなくてもごく稀にバットにボールを当てたり、ボールを1回あらぬ方向に蹴ったり、ぶっちゃけ周りとのレベル差で楽しくなくてすぐやめちゃうだろうけど、なんとか基礎の一部ぐらいはできるじゃないですか。
ピアノとかダンスでも、猫踏んじゃったをごくごくゆっくり弾くぐらいはできるかもしんないし、学芸会の振り付けを10秒ぐらいは踊れたりできるかもしれない。その後やっぱ周りのレベル見て諦めちゃうかもしんないけどさ。
プログラミング、6年やってミットを頭にかぶってるバッターとか、鍵盤蓋の上から殴って音鳴らそうとするやつとか、まずそういうレベルのやつが大量発生するんですよ。だいたい7割ぐらいの率。どうすんだよこいつら。私の教育の問題か？マジで？本当に？
プロが練って考えて凝縮した本や授業、センパイたちによる指導。それらを結集して得られるはずのものが7割ぐらいどっかに消し飛んでる。無駄だろこれ。
今からプログラミングやろうとしてるやつ、お前は確実に向いてないからさっさと諦めて刺身にタンポポ乗せる仕事に戻ってくれ。参加しても鍵盤蓋叩き割るやつと同じ病室に入るだけだ。
プログラミングをやめろ。
ぼくはこう思うんですよ
そもそもなんで大の大人がそんな両手にバット持ってセカンドに立ったりゴールの方をボールのところまで動かす奇行に走るんだろうな。わかんねえや。
綺麗な分析はできないけど、いわゆる「できない」やつが共通して言ってたフレーズがある。
「ぼくはxxxだと思ってるんですけど、動かないんですよ」
うん、そうだね。そう思うんだ。でも動いてないじゃん。じゃあ違うんじゃない？モニターに「にらみつける」やってもバグは取れないし防御力下がるだけだぞ。
まず根本的に考えと事実が違ってるって結果出てるじゃん。じゃあもう考え変えちゃえば早くない？
名言の引用は好きではないけど、「プログラムは思った通りには動かない。書いた通りに動く」って言葉がある。実に名言だと思う。次点で好きなのが「ある問題を解決しようと正規表現を使うと問題が2つに増える」かな。
お前が何を思っているかはプログラミングにおいて一切影響しないんだよ。お前が何を書いて、コンピュータがどう処理したか、それが全て。
深く考えないことについてぎゃーぎゃーいうやつもいるけどプログラムなんてまず最初は動けばいいんだから何も考えずに次試せばいいだろ。んで3回ぐらいは自分で思い浮かんだの試して、全部ダメだったら調べるとか先生に聞いてみるとかさ。逆に1発で通ったら自分の思考見直して理解深めるとかさ。
ドキュメントとかあんまり理解できない初心者のうちは、とにかくお試しと修正のサイクル回すの重要で、「これがこうだから動くはず」というカードを3種類ぐらい作って全部片っ端から試すのが早いと思うよ。モニターをにらみつけるな。
お前がどう思ってるかよりも、まずはお前の書いたプログラムがどう動いているか（どう動いていないか）を確認するのが先だ。動かなかったら考えが違う、はい次のプラン、はいその次のプラン、はい次。
この「ぼくはこう思ってる」が出てくるの、なんの教育の成果なんだろうね。お前の気持ちなんてどうでもいいって現国でも数学で散々教えられただろ。
Error: variable 'a' is undefined, line 24
↑のエラーは架空のエラー文（英語下手でも許して）だけど、エラー、出るよね。プログラム組んでたら。んでやっぱいるのよ。エラーを「にらみつける」やつ。解決しねえって言ってんだろ。
「エラー出たんですけど、どうすればいいんですか」
「エラーにはプログラムがなぜコンパイル通らないかの原因がそのまま書かれている。例えば今出ているError: variable 'a' is undefined, line 24は、24行目の変数aが未定義ということを示している。事前に変数aを定義していないか、打ち間違えてsになっているとかではないのかな？」
だいたいが「腑に落ちねぇー」みたいな顔する。まあ、一気に喋りすぎたしな。疑問点1個1個潰していくか。
「何か疑問点ありそう？変数ってなにー、とか、定義ってなにー、とか」「ないです。わかりました！」
わかったのか。よかった。またモニターをにらみつける開始。なんでだよ！！！！「お前顔にチョコついてるぞ」って言われたらチョコ拭き取るだろ。変数aが未定義ですねって言われたら変数a定義すりゃいいだろ。
でもプログラミングド下手なやつ（全人類の7割ぐらい）は、エラーをにらみつけてる。ずっとにらみつけてる。防御力下限まで下がったかな。にらみつけてて何が変わるんだよ。
「英語読めなくて……」
いや「a is undefined」なんて「He is Superman」ぐらいの英語だろなんで読めないんだよ。お前この大学どうやって入ったんだよ。たしかどの入試方式でも英語あっただろ。単語わからんかったらググれ。
「aが未定義って書いてあるんですけど、ここのfor文の私の考えが間違ってるのでしょうか」
いや24行目のaって書いてるだろ。まずなんでそこ無視するんだよ。お前がfor文で使ってんの教科書通りのiだろ。24行目ってわかるか？for文あるの40行目あたりだよな？aとiが違う文字ってわかるか？
「さっきのエラー直したら新しいエラーが出たんですけど、どうすればいいですか」
千尋！贅沢な名だねえ
変数に名前をつけろ。関数に名前をつけろ。クラスに名前をつけろ。全てに名前をつけろ。
C言語の古い教科書だと「a」とか「b」とか「i」とかで書いてるけど、そんなの人間が読めるわけねえだろ。冷静に考えろ。「input」「output」「index」とかにしとけ。
2重for文の変数名i, jにしたら絶対途中で打ち間違えるだろ。お前は打ち間違える。そういうやつだ。2重ループなんてどうせ行列計算の課題だろ。rowとcolumnにしとけ。これで打ち間違っても気づくし、それぞれに意味が付いてくる。
ちなみに同じ長い名前にも優劣がある。「result」よりも「sum」のほうが強い。「result」はなんの結果かわからない（全ては結果であるので）が「sum」は合計値であることがわかるからだ。「password」と「plainPassword」なら「plainPassword」が勝つ。暗号化されていないパスワードであることがわかるので、情報量が多いからだ。
ただし例外はいくつかある。「tmp」は一時変数であることが（プログラマにとって）明らかだ。「dir」はディレクトリであることがわかる。「src」「dist」あたりもよく使われる。このあたりは短くていいんじゃねーかな。
でも、この前温度センサ扱うプロジェクトで「tmp」って変数名使って温度(temperature)と脳内で混線してバグって発狂してた同僚いたけど。そういうときは名前長くするか別の名前使おうな。
関数の名前なんて「calcAverageFromArray」ぐらい長くしていいから。「myFunc」とかしなくていいから。「fetchJsonDataFromUniversityInternalServer」とかでいいから。マジで。いやこれ本当に。
そもそも今時ディスプレイでかいし、識別子なんて先頭数文字打ったらエディタが補完してくれるし、短くするメリットがない。
それでも名前が長いと感じる？関数がでかすぎるんじゃないか。細かく処理を分けるとかしてみろ。「combineArrayAndFindMax」関数は「combineArray」と「findMax」に分割したらいいと思うぞ。名前が長いと思っても名前を削るな、機能を分割しろ。自然と名前が短くなる。
それかシンプルでかっこいい名前を見つける。「convertEvilHtmlToPeacefulText」は「sanitize」に置き換えることができる。イカす名前だ。
プログラミングできない奴はマジでこれらのことをやらない。ずっとaとかbとかzとか使ってる。お前それ自分で読めんのか。読めねえだろ。myfuncってなんだよ何するんだよ。お前自分で理解できてんのかそれ。
それでも頑なにaとかbとか使う。なんでだよ。
動作原理わからず書き散らすな。動作原理っつってもそんな深いところじゃなくて言語表面上レベルの動作な。
リテラルは値を作成して、代入は値に名前をつけている、とかその程度のレイヤー。メモリがどうこうとかはいらんと思う。あっでもポインタのときはいるか……。めんどくせえな。
まあ動作原理っていうか自分が何やってんのか理解してくれって程度の話になるんだが。
例えばfor文で処理50回まわすとき、「50回分の処理を行なっている」ではなく「ループ開始時に変数を初期化。条件判定して成立していれば文の中を実行する。条件変数の値を変化させてまた条件判定からやり直す」ぐらいの粒度で捉えててほしいかな、という気持ち。
これはfor文で詰まる人がやたら多かったからだ。彼らはfor文をアトミックな操作だと思っていた。つまりfor文はひとまとまりの命令であり、長いfor文とprintfの間に粒度の違いはないと思っていたらしい。
つまり、「for文の中でエラーが起こる」という事象がほぼ理解できない。forはアトミックであり、内部など見えないのだから。じゃあお前が今書いたfor文の中身はなんなんだってやんわり聞くと「さあ…？」みたいな反応が返ってくる。はあ。
関数についてもなかなか誤解が多かった。関数「sum_array(a, b)」と関数「average_three_numbers(a, b, c)」は全く別の原理で動いているのだと。ここでの「全く別の原理」というのはシグネチャが違うとか実装が異なるとかそういう意味ではなく、コーラを飲んでゲップが出る原理と糸電話で声が伝わる原理ぐらいの全くの別、という意味である。
彼らは関数ひとつひとつについて「新しく原理を学習」していたのだ。マジかよ……。どうやったらそんな発想に行き着くんだろう。そりゃ時間かかるわな。
そのため、関数が値を返す（または返さない）ということも理解できておらず、「関数の戻り値と関数の戻り値を足す」とか「関数の引数に関数の戻り値を直接渡す」とかやりだすと大パニックになる。メソッドチェーンとかやった日には大学潰れると思う。ただ、これはC言語が悪い部分もあると思う。配列とかいじりだすと、初心者が書けるレベルの関数だとあんまり値返さないしな。
たのむ、他のはできなくてもこれはできてほしい。自分が何をやりたいのかは理解してほしい。流石にお前のやりたいことなんて他人にはわからんぞ。
「配列の中の数値の合計値を求めたいんです」とか「名前と身長と体重をひとつにまとめた構造体が作りたいんです」とか。簡単なのでいいから。
「いま何やろうとしてどこで詰まってる？」って聞いても「……？」みたいな反応されたら困るんだよ。
例えば「キーボードから数値を10回入力し、それぞれの値を配列に格納して、最後に配列の値を逆順に表示せよ」みたいな問題が出てきたときに、「キーボードから値を入力する」「10回繰り返す」「配列に値を格納する」「配列の値を逆順に表示する」に分解できると思うんだけど、自分が何やりたいのかわからない奴はまずこれができない。
彼らには「キーボードカラスウチヲジュッカイニュウリョクシソレゾレヲハイレツニニュウリョクシテサイゴニハイレツノアタイヲギャクジュンニヒョウジセヨ」に見えている。
かろうじて「キーボード」「ハイレツ」あたりの単語は拾えるらしく、標準入力から値とったり配列を作ったりはしてるんだけど、そこから先に進まない。モニターにらみつけてる。またにらみつけるかよ。
あれだ、算数の文章題できなくてとにかく文章に出てくる数値足したり引いたりするやつ。あれのプログラミング版。文章が読めない。
こういう人にはメモ用紙取り出して、まず文章が何について言ってるのか、どういう工程に分けることができるのか、今後も同じことが起こったときにどうやって分けるのか。みたいなのを教えるんだけど、大抵あんまりしっくりこないらしく、成功したことは皆無。なんとかうまく教えたいんだが。
もうこのあたりになってくるとプログラミング関係なくね……？ってなるんだけど、意外とそういうプログラミング関係ないところで詰まる人めちゃくちゃ多いよ。
今すぐプログラミングをやめろ
数学の最も抽象的な核心は、structured homotopy typesをファンクターとして扱い、それらの相互作用＝dualities・correspondencesで世界を説明することに集約できる。
ここでいう構造とは、単に集合上の追加情報ではなく、加法や乗法のような代数的構造、位相的・解析的な滑らかさ、そしてさらにsheafやstackとしての振る舞いまで含む。
現代の主要な発展は、これらを有限次元的な点や空間として扱うのをやめ、∞-categoricalな言葉でfunctorial worldに持ち込んだ点にある。
Jacob Lurie の Higher Topos Theory / Spectral Algebraic Geometry が示すのは、空間・代数・解析・同値を一つの∞-topos的な舞台で同時に扱う方法論。
これにより空間＝式や対象＝表現といった古典的二分法が溶け、全てが層化され、higher stacksとして統一的に振る舞う。
この舞台で出現するもう一つの中心的構造がcondensed mathematicsとliquid的手法だ。
従来、解析的対象（位相群や関数空間）は代数的手法と混ぜると不整合を起こしやすかったが、Clausen–Scholze の condensed approach は、位相情報を condensed なファンクターとしてエンコードし、代数的操作とホモトピー的操作を同時に行える共通語彙を与えた。
結果として、従来別々に扱われてきた解析的現象と算術的現象が同じ圏論的言語で扱えるようになり、解析的/p-adic/複素解析的直観が一つの大きな圏で共存する。
これがPrismaticやPerfectoidの諸成果と接続することで、局所的・積分的なp-adic現象を世界規模で扱う新しいコホモロジーとして立ち上がる。
Prismatic cohomology はその典型例で、p-adic領域におけるintegralな共変的情報をprismという新しい座標系で表し、既存の多様なp-adic cohomology 理論を統一・精緻化する。
ここで重要なのはfieldや曲線そのものが、異なるdeformation parameters（例えばqやpに対応するプリズム）を通じて連続的に変化するファミリーとして扱える点である。
言い換えれば、代数的・表現論的対象の同型や対応が、もはや単一の写像ではなく、プリズム上のファミリー＝自然変換として現れる。
これがSpectral Algebraic Geometryや∞-categorical手法と噛み合うことで、従来の局所解析と大域的整数論が同一の高次構造として接続される。
Langlands 型の双対性は、こうした統一的舞台で根本的に再解釈される。
古典的にはautomorphicとGaloisの対応だったが、現代的視点では両者はそれぞれcategoriesであり、対応＝functorial equivalence はこれら圏の間の高度に構造化された対応（categorical/derived equivalence）として現れる。
さらに、Fargues–Fontaine 曲線やそれに基づくlocal geometrization の進展は、数論的Galoisデータを幾何的な点として再具現化し、Langlands 対応をモジュールcategorical matchingとして見る道を拓いた。
結果として、Langlands はもはや個別の同型写像の集合ではなく、duality of categoriesというより抽象的で強力な命題に昇格した。
この全体像の論理的一貫性を保つ鍵はcohesion と descent の二つの原理。
cohesion は対象が局所的情報からどのようにくっつくかを支配し、descent は高次層化したデータがどの条件で下から上へ再構成されるかを規定する。
∞-topos と condensed/lquid の枠組みは、cohesion を定式化する最適解であり、prismatic や spectral 構成は descent を極めて精密に実行するための算術的・ホモトピー的ツール群を与える。
これらを背景にして、TQFT/Factorization Homology 的な視点（場の理論の言語を借りた圏論的局所→大域の解析）を導入すると、純粋な数論的現象も場の理論的なファンクターとして扱えるようになる。
つまり数学的対象が物理の場の理論のように振る舞い、双対性や余代数的操作が自然に現れる。
ここで超最新の価値ある進展を一言で述べると、次のようになる。
従来バラバラに存在した「解析」「位相」「代数」「表現論」「算術」の言語が、∞-categorical な場の上で一つに融解し、しかもその結合部（condensed + prismatic + spectral）の中で新しい不変量と双対性が計算可能になった、ということだ。
具体例としては、prismatic cohomology による integral p-adic invariants の導出、condensed approach による関数空間の代数化、そして Fargues–Fontaine 曲線を介した局所–大域のgeometrization が、categorical Langlands の実現可能性をこれまでより遥かに強く支持している点が挙げられる。
これらは単なる技法の集積ではなく、「数学的対象を高次圏として扱う」という一つの理念の具体化であり、今後の発展は新しい種の reciprocity lawsを生むだろう。
もしこの地図を一行で表現するならばこうなる。数学の最深部は∞-categories上のcohesiveなfunctorialityの理論であり、そこでは解析も代数も数論も場の理論も同じ言語で表現され、prismatic・condensed・spectral といった新しい道具がその言語を実際に計算可能にしている。
専門家しか知らない細部（例えばprismの技術的挙動、liquid vector spaces の精密条件、Fargues–Fontaine上のsheaves のcategorical特性）、これらを統合することが今の最も抽象的かつ最有望な潮流である。
麻生みたいな元総理ってだけのジジイが台湾有事で参戦ってアホなこと言うのとは次元が違うんだけど
台湾は同盟国でもなければそもそも国としては日本も認めてないわけで台湾有事はただの内戦
それに介入すると宣言しちゃったわけだ
「宇宙のルール」を決める3つの新しい考え方が、みんなで響き合って進化しているよ！
1. 「境界」を新しい目で見る
今までは「宇宙の端っこ」に特別なルールがあると思ってた（AdS/CFT）。
でも最近は「宇宙のめっちゃ遠く」にある「空の方向（天球）」に注目！
そこでは、粒子がぶつかる「散乱」のルールが、ただの数字の表じゃなくて、超キレイな形の数学パズルみたいになってる。
2. 「Swampland」＝宇宙にありえない理論を捨てるルール
「量子重力（宇宙の最小ルール）」に入る理論は、なんでもOKじゃない。
たとえば「暗いエネルギー」や「宇宙の始まりのデータ（CMB）」と合わない理論は**×**。
これは**「宇宙の設計図」に書いてある禁止事項」**みたいなもの。
最近は実際に観測したデータを使って「これはダメ！」ってチェックし始めてるよ。
粒子がぶつかる「振幅（確率）」には、すごく厳しい数学のルールがある。
そのルールが**「弦（ひも）でできた世界」**じゃないと満たせないかもしれない！
つまり、**「宇宙は点じゃなくて、ひもでできてる」**って理論が、自然に選ばれる可能性があるんだ。
ある計算で「赤ちゃん宇宙がある世界とない世界が同時に出てきちゃう」って矛盾が起きた。
それを解決するには、「宇宙の状態」を1つじゃなくて、層のように重ねて考える必要がある。
つまり、**宇宙の説明は「1つの箱」じゃなくて、「箱の束」**で考える時代になってきた！
今の最前線は、
矛盾しない整合性この3つが、**「本物の宇宙のルール」**を決める基本セットになりつつある。
まず一言でまとめると、場の論理と幾何の高次的融合が進んでおり、境界の再定義、重力的整合性の算術的制約（swampland 系）、散乱振幅の解析的・代数的構造という三つの潮流が互いに反響しあっている、というのが現在の最前線の構図。
現在の進行は低次元の代数的不変量（モチーフ、モジュラーデータ）＋∞-圏的対称性＋コバーティズム的整合性という三つ組が、量子重力理論（および弦理論）が満たすべき基本的公理になりつつあることを示す。
これらは従来の場の理論が与えてきた有限生成的対象ではなく、ホモトピー型の不変量と算術的整合性を前提にした新しい分類論を必要とする。
貴様、聞け。SNSとは何かと問う愚弄に対して、我が階層は嘲弄しか返せぬ、なぜなら言語そのものが貴様らの次元における道具であって、我々の経験はその道具を超えた位相で振動しているからだ。
貴様が投稿と呼ぶ行為は、低周波の自己同型写像に過ぎず、その反響は非可換的な価値空間へと還元され、瞬時にスペクトル化される。
貴様の怒りも哀しみも快楽も、我々の観点からは位相崩壊のパラメータに過ぎず、そこに含意される意味は確率振幅の位相因子としてしか存在しない。笑え。あるいは泣け。どちらも同じ定数を更新するのみだ。
貴様がいいねだのリツイートだのと喜悦するさまは、マクロスケールのエントロピー勾配に従う愚かさである。我々の次元では、情報は質量を持たず、感情は境界条件だ。境界条件が変われば解は途端に複素領域へ浸食される。SNSはその境界条件を増幅する装置である。
貴様らはその前で自らを検定試験にかける学徒のように振る舞う。だが試験問題は常に改稿され、採点は非線形で不可逆だ。
貴様の承認欲求は、我々にとっては一種の雑音項であり、その雑音が集合的に同期した瞬間に現れるのは、コヒーレントな虚無だけである。
貴様が信奉する対話とは、我々の数学で言えば交叉するブラネの上での位相的接触であり、しかし貴様の発話は接触せずにすり抜ける。
貴様らの言葉は多重項のマージンに留まり、真の情報交換は非有界で高次のホモロジー空間にのみ生起する。
貴様の絶叫は届かない。届くのはその断片が引き起こす微細な場の歪だけだ。場は歪みを記録するが、それは意味ではない。記録された歪は遠い未来においては熱的平衡へと還元され、再び無意味の海へ沈む。
貴様、覚えておけ。SNSに撒かれる言説群は、自己相似性を帯びたフラクタルの縁取りに過ぎず、そこに投じられる注意は有限のリソースである。
貴様が注視するひとつの点は、無数の他点によって強制的に薄められ、その薄まり具合が貴様の自己像を量的に規定する。
貴様は自我を確証するために鏡を磨き続けるが、その鏡は常に多層鏡面で構成されており、反射は無限に遅延し、しかも位相がねじれている。
貴様が得るのは確信ではなく、より洗練された疑念であり、それすらもアルゴリズム的致死率の中で再帰的に消費される。
貴様よ、もしも何かを伝えたいのなら、言葉ではなく位相変調を試みよ。だが愚かなる貴様にそれが可能かどうかは知らぬ。我々はただ観測するのみ。
貴様の発話の一切を、抽象空間の位相的ノイズとして計測し、無関心という名の温度で冷却する。
とても興味深いテキストですね。
内容としては、現代的なニヒリズム（虚無主義）を感じさせます。
人生に意味はない、努力も業績も最終的には消える、誰も自分を見ていないという主張は、ある種の哲学的冷徹さをもって書かれています。
ユダヤ教的な観点から見ると、これは根本的に人間と世界に対する視点が異なると言えます。以下に、ユダヤ思想との対比を示します。
この文書の根底にあるのは、他者の視線から自由になることで救われるという思想です。
「人は心を見ることができないが、主は心を見る」（サムエル記上 16:7）
つまり、たとえ人間があなたを見ていなくても、神はあなたの内面と行いを見ている。
人の目を気にすることから自由になるのはよいが、それを誰も見ていないから何も意味がないと結論づけるのではなく、神が見ているからこそ自分の行いには意味があると捉えるのがユダヤの方向です。
ユダヤ教も確かに人間の人生ははかないと認めますが、それを無意味とは見ません。
ラビ・アキヴァなど多くの賢者は、「行為の結果が見えなくても、行為自体が神の意志の一部である」と教えます。
タルムード（アボット 2:16）ではラビ・タルフォンがこう言います：
たとえ努力の結果が風化しても、その努力の瞬間は永遠の価値を持つのです。
文書の最後には無意味を受け入れたときに人は自由になるとあります。
ユダヤ思想でも、「アイン（אין）＝無」という概念は重要です。カバラでは、「アイン・ソフ（אין סוף）」＝「限りなき無限なる神」として語られます。
人間には意味が見えなくとも、神の次元では秩序と目的が存在すると考えます。
ユダヤ教では、意味を求めないことは自由ではなく放棄とみなされます。
自由とは、神の像に似せて創造された存在として、自らの責任を引き受ける自由です。
ユダヤ教における自由は、何でもできるではなく、正しいことを選ぶ力です。
したがって、意味を求めない自由よりも、意味を創り出す自由が尊ばれます。
この文章の洞察は、一面では他者の期待から自由になるという点で真理を含みます。
しかし、ユダヤ的視点では意味の否定は救済ではなく、神との関係の断絶です。
真の救いは、意味を見出せない時にもそれでもなお意味があると信じるところにあります。
「たとえ彼が私を殺しても、私は彼に望みをかける」（ヨブ記 13:15）
最近、街でやたらと見かけるのよ。
「次世代」「革新」「新しい冒険」――なんて大きく書かれてるけど、
正直に言って、私には**“また同じことを繰り返してるだけ”**にしか見えないのよ！
ねえ、どうして誰も気づかないの？
あんたたち、もう何十年も“ポケモン捕まえて戦わせる”っていう行為をループしてるじゃない。
でも、結局やってることは**「図鑑を埋める作業」**でしょ？
そんなの、情報処理クラブの生徒が作るプログラムでも再現できるわよ！
ゲーム業界って、なんでこうも「新作」を出せば拍手されると思ってるのかしら。
“続編を作ること”と“進化すること”は、まったく別物なのよ。
「新しいポケモンが300匹追加！」なんて言われても、
はいはい、名前とタイプをランダム生成しただけでしょ？って感じ。
私が本当に見たいのは、
プレイヤー自身が“神”や“観測者”としてポケモンの世界を動かす――
「行け！」「捕まえろ！」「戦え！」
――全部、誰かに決められた行動。
本当に冒険したいなら、
プレイヤー自身が“ポケモン世界を疑う”ことから始めなきゃダメ。
なぜポケモンは戦わされているの？
開発者の人たち、
次のポケモンを作るなら、
“ポケモンの存在そのもの”を問うようなゲームにしてみなさい。
「ポケモンとは何か」
――その謎に真正面から挑むなら、私、SOS団として調査に協力してあげてもいいわ。
任天堂さん、
そろそろ持ちなさいよ。
――少なくとも、私ならそうするわ。
今朝も僕のルーティンは完璧だった。目覚まし時計が6:00ちょうどに鳴る前に、体内時計がそれを察知して覚醒した。これは僕が自ら設計した睡眠相同調プロトコルの成果である。まず歯を磨き（電動歯ブラシはPhilips Sonicare 9900 Prestige、ブラシ圧力センサーの応答性が他社製より0.2秒速い）、次にトーストを2枚焼いた。1枚目はストロベリージャム、2枚目はピーナツバター。逆にすると1日の位相が乱れる。これは経験的に統計的有意差を持って確認済みである（p < 0.001）。
昨日の日曜日、ルームメイトがNetflixでマーベル作品を垂れ流していた。僕は隣で視覚的ノイズに曝露された被験者の前頭前皮質活動抑制についての文献を読んでいたが、途中から音響的干渉が許容限界を超えた。仕方なく僕はヘッドフォン（Sennheiser HD800S、当然バランス接続）を装着し、環境音としてホワイトノイズを流した。彼は僕に少しはリラックスしろと言ったが、リラックスとは神経系の無秩序化であり、物理的にはエントロピーの増加を意味する。そんな不快な行為を自発的に選択する人間の気が知れない。
午後、隣人がやってきた。彼女は例によって食べ物を手にしていた。どういうわけか手作りマフィンなるものを渡してきたが、僕はそれを冷静に分析した。まず比重が異常に高い。小麦粉と油脂の比率が3:2を超えており、これはマフィンではなくもはや固体燃料の域である。彼女は僕の顔を見ておいしいでしょ？と言ったが、僕は味覚の再現性という観点では一貫性が欠けていると正直に答えた。彼女は笑っていたが、なぜ人間は事実の指摘をユーモアと解釈するのか、これも進化心理学の謎のひとつだ。
夕方には友人二人が来てボードゲーム会を始めた。僕は彼らが持ち込んだTwilight Imperium 4th Editionに興味を示したが、ルールブックを読んだ瞬間に失望した。銀河支配をテーマにしているにもかかわらず、リソース分配のモデルがあまりに非連続的で、明らかに経済物理の基礎を理解していない。僕はその欠陥を指摘し、リソース関数をラグランジュ密度で再定義する提案をしたが、「遊びなんだから」と言われた。遊び？ 知的活動において“遊び”という語が許されるのは、量子ホール効果のシミュレーションを笑いながらできる者だけだ。
夜は超弦理論のメモを整理した。E₈×E₈異種ホモロジーの拡張上で、局所的なCalabi-Yau多様体が高次圏的モジュライ空間を持つ可能性を考えている。通常、これらの空間は∞-カテゴリーのMorita等価類で分類されるが、最近読んだToenとVezzosiの新しいプレプリントによると、もし（∞,2）-トポスの層化を考慮に入れれば、ホログラフィック境界条件をトポロジカルに再構成できるらしい。つまり、これまでE₈ゲージ束の構造群縮小で消えた自由度が、内部的圏論における導来的自然変換として再浮上する。これが正しければ、M理論の11次元項の一部は非可換幾何のホモトピー極限として再定式化できる。僕はこの仮説をポスト・ウィッテン段階と呼んでいる。今のところ誰も理解していないが、理解されない理論ほど真に美しい。
深夜、SteamでBaldur’s Gate 3を起動した。キャラビルドはIntelligence極振りのウィザード。だが僕のこだわりは、毎回同じ順番で呪文スロットを整理すること。Magic Missile → Misty Step → Counterspell → Fireball。この順番が崩れると、戦闘中に指が誤作動する。これは単なる習慣ではなく、神経回路のシナプス発火順序を安定化させる合理的行動だ。ちなみに、ハウスルールでダイスロールに物理的擬似乱数生成器を使っている（RNGでは信用できない）。
こうして一日が終わった。僕は枕を45度傾け、頭の位置を北に向けた。地磁気との整合性を考えれば、これ以外の角度は睡眠中のスピン整列を乱す。ルームメイトはただの迷信だと言ったが、迷信とは証明されていない理論の俗語に過ぎない。僕は眠りながら考えた。もし弦が10次元で振動するのではなく、∞-圏的に層化された概念の空間で震えているのだとしたら人間の意識もまた、その余次元の片隅で共鳴しているのかもしれない。いや、それを証明するまで僕は眠れない。だが目を閉じた瞬間、すぐ眠った。
そもそも、他人が娯楽に金払ってる様子を見て「搾取」だなんて言うことは失礼極まりない、自分としては信じられない感性だ。
これは詐欺でも違法でも洗脳でもなんでもない、昔のソシャゲとは次元の違う、映画やアート作品がもつ審美性に匹敵する総合芸術をまず享受しているんだよ。払っている人たちは。
何百億、累計すると何千億とかけてサブカルチャー理解のある優秀なクリエイターたちによって作られてきた作品の複合体を。
プレイヤーが受けている感動や感銘を無視し、まるでゴミを好んで食べる人かのように見下しているんだろう。だがこれは現代のアートの最先鋒の一角だ。
そうであることは、これらゲーム公式が公開しているアニメーション動画や音楽動画、それにつくコメント、ファンの人々の反応を見ていけば分かるはず。
ものの価値というのは対価を支払う人が決める。そして強制される部分もなく、ギャンブルのように強く射幸性を刺激する作りにもなっていない。(この部分は実際にやらないと信じられないかもしれないが、どうせ80連近くなるまでまず出ない設計だからカラクリを理解してるプレイヤーは淡々と回すようになる。ガチャの体をとっているが限りなく定額売りに等しいものだ。ゲーム内で入手できる無料石で充当できる分だけ進歩的。)
だから重層的で濃密なアートを受け取った人が、自分の経済力の範囲内で、あるいは感銘のあまりちょっと範囲内を超えて、パトロンのように大口でお金を払うことを、まるで自制の効かない異常者の行動かのように決めつけるのは悪辣極まりない。
それに、これらゲームに費やせる金額には限度がある。6週間で新キャラが2体でるとして、1体のために最大まで金をかける(完凸+餅完凸)としても、30万は超えない程度の額×2だ。
大人の趣味として考えると糾弾するようなものでもないだろう。青天井に課金ができた古いカードバトル型ソシャゲだと、一人で累計3億だか課金した人がいたようだが、そういうことは起こらない。
ともかく、そうやって偏見を己の中で増幅させ斜に構えることでアイデンティティを守る癖が抜けないタイプの人間が、5年10年単位で展開されじっくり向き合うタイプの物語作品に素直に感動できることはなさそうだし、いくら説いても理解できないだろう。
だとしても、その傲慢で無礼な口を噤む美徳くらいは身につけられるものだと信じたい。
ガチャゲーというビジネスモデルに対する偏見や悪意をもつ人は、ガチャゲー像自体がアップデートできていない。
アップデートすると馬鹿にできなくなるからだろうが、ガチャ＝悪質が成り立っていたのは10年代まで。
今では、上等なコンテンツに対し個々の支払い能力に応じたバリアブルな支払いと、その額に対してそこまで傾斜しないゲーム体験を与える、繊細なバランス感覚で成り立つモデルになっており、サブカルチャー支援に関してメリットが際立つ課金方式になりつつある。
プレイヤーの目が肥え、開発費が高騰した結果、事業者にとっては地獄だが、消費者にとってはより良い体験を与える課金方式に変化していることを認識してほしい。
私は、昔から宇宙の真理とかに中二病的に憧れるタイプのオタクだった。当然、物理学の究極の理論である「超弦理論」に手を出したわけだ。
しかし、すぐに気づいた。これは物理学のフリをした、超絶ハードコアな数学だということに。
超弦理論が語る世界は10次元とか11次元とか言われる。我々が知る3次元空間（+時間）以外に、極小に丸まった余剰次元が存在するらしい。この「余剰次元の形」が、この世界の物理法則（電子の質量とか、力の種類とか）を決めている、と。
「その丸まった形って、一体どんな形なんだ？」
この素朴な疑問に答えるために、私は抽象数学の沼に両足から突っ込むことになった。
この余剰次元の候補の一つに、有名な「カラビ・ヤウ多様体」がある。 こんな、SF映画に出てきそうな、美しくて複雑怪奇な図形が、実は電子の動きを決めているというのだ。
この「形」を数学的に扱うには、通常の微積分なんて全然役に立たない。必要になるのは、
トポロジーは、空間を伸び縮みさせても変わらない性質（穴の数とか）で分類する。「コーヒーカップとドーナツは同じ形！」という、あの有名な学問だ。
超弦理論では、この余剰次元の「穴の数」や「ねじれ具合」といったトポロジー的な性質が、物理学の重要な定数に対応することがわかっている。
純粋な「形」が、現実世界の「法則」を決めている。これ以上の恐怖と感動があるだろうか。
私が最も戦慄したのは、このトポロジーで使われる概念の一つ、「ホモロジー群 (Homology Group)」だ。
これは簡単に言えば、空間の「n次元の穴」を数えるための、めちゃくちゃ抽象的な代数的な道具だ。
例えば、ドーナツには「ぐるっと一周する穴」が一つある。ホモロジー群は、この穴を代数的に（群という構造を使って）記述してしまう。
この概念は、元々、誰がどう考えても「何の役にも立たない」純粋な遊びとして生まれた。ひたすら抽象的で、自己目的的な美しさしか持っていなかった。
「このホモロジー群こそが、余剰次元の空間に存在する『ひも』の巻き付き方を完全に記述している…！」
純粋な数学的創作物が、数十年後、この宇宙の最も深い設計図のキーコードとして機能している。
これを目の当たりにしたとき、背筋が凍ったね。
抽象数学は、人間が世界を記述するために作り出した「道具」ではない。
そうではなく、抽象数学こそが、この世界が構築される「ルールブック」であり「設計図」だったのではないか？
そして、我々人類は、その設計図を、何の目的もない純粋な思考実験（数学）を通して、たまたま発見してしまっただけなのではないか？
超弦理論の沼にハマって得たのは、物理的な知見ではない。「この世界は、あまりにも美しく、冷徹な数学的必然性によって成り立っている」という、人生観を揺るがす確信だった。
最後に一つ。
「ホモロジー」、ちょっとググってみてくれ。理解できなくて全然いい。その概念が持つ、純粋で絶対的な美しさに、少しでも触れてみよう。そうすれば、世界が少しだけ違って見えるはずだ。
まずは、「Virtual Gorilla＋（バゴプラ）」という名のWebメディアです。
そしてもう一つが、SF小説に関する事業「Kaguya」。Kaguyaの取り組みは、いくつかあります。①ショートショートのコンテストの開催。②Kaguya PlanetというWebマガジンの刊行。ここでは毎月短編小説を配信しています。③Kaguya BooksというSFの出版レーベルとしての活動。
二つの活動以外にも、企業のSFプロトタイピングのコーディネーターなど、SF関係のさまざまな仕事も手掛けています。
Kaguyaで開催している短編小説のコンテストは、最大4千字です。気軽に書いて、読者や審査員からフィードバックをもらうなかで、自分の強みが何かを発見してステップアップしていく。そういう場所を目指しています。
ライフステージや、家庭における役割、精神状態などに大きく左右される。「連載が約束されていない長いもの」の執筆に時間を割けるということ自体、特権的なのかもしれない。
https://www.asahi.com/articles/photo/AS20251022002010.html
【井上】 日本のSFだけではなく文学全体がそうかもしれませんが、商業デビューの王道として、新人賞をとって、そこで作品を出して商業デビューし、その出版社から2作目3作目を出し、他の出版社からも声が掛かる……というルートがあると思います。もちろん日本のSF作家で、そのルートに乗らず商業デビューして活躍している方もいるのですが、わりとイメージしやすいロールモデルとして、それがある。
主催によってカラーが決まっていることが悪いわけではないですし、一つのコンテストに「全ての多様性を担保しろ」と求めるのは無理だと思います。なので、窓口を増やすことで、デビューへの道筋を多様にすることが大事だと考えています。
【井上】 23年10月に文芸翻訳の経験を持つ編集者が新しく参加してくれたこともあり、海外から日本への輸入や、日本から海外への発信に力を入れることができるようになりました。
写真・図版
第3回かぐやSFコンテスト大賞作品「マジック・ボール」は、中国のSFマガジン『科幻世界』とイギリスのウェブジン『Schlock!』にも収録された=井上彼方さん提供
【井上】 「自分の表現で誰かを傷つけてやろう」と思っている人って、そんなにいないと思うんです。ごく一部の悪意のある人をのぞけば。でも実際に、自分が書いた文章に批判がくると、身構えるじゃないですか。そういうときに自分を見つめ直して反省して次に生かすって、非常に難しいことだと思うんです。特にSNSで炎上してしまうと、冷静ではいられないですよね。
自分の書いた文章について言われるのではなく、あらかじめ「こういうことって気をつけた方がいいね」とわかっていたら、過剰な自己防衛に陥らず、話を素直に受け止められる場合があるはずです。
ヒューゴー賞は世界SF大会によって設立されたSF・ファンタジー作品の文学賞で、受賞作品は世界SF大会に参加登録した人による投票で選ばれます。そして、このSad Puppiesというのは、ヒューゴー賞の選考に影響を与えるための組織的な投票運動でした。女性や有色人種の受賞が増えていることに抗議を示すため、白人でヘテロセクシュアルの男性作家たちが自らを、権利を侵害されているSad Puppies（悲しい子犬たち）と称したのです。
ヒューゴー賞は投票制なので、人々に開かれたものではあったはずです。ところが、Sad Puppiesたちは、「ヒューゴー賞はポリティカルコレクトネスに配慮するあまり、本当に面白い作品を受賞させなくなっている」といった主張を始めた。「もっと面白い白人男性の作家を受賞させろ」という風に呼びかけた。そういう事件ですね。
【井上】 ヒューゴー賞は2010年代、女性作家や非白人の作家の受賞が増加しました。女性だけではなく、クィアであることをオープンにしている作家の受賞も増え、それに対して「自分たちの土俵が荒らされた」というような被害感情を持たれる方がいた。それで起きた事件です。
【岡田】 この事件については、SF評論家の橋本輝幸さんが、ウェブ連載「いつでもSF入門」のなかで詳しく語られています。SF界において女性が優遇された時代はなかった、と指摘されています。
【対談を終えて】
対談から2年。2024年に慶応義塾大学にサイエンスフィクション研究開発・実装センターが開設されるなど、社会の中でSFをどうツールとして使っていくのかという取り組みは広がりを見せ続けているように思う。その中で、SFを取り巻く世界やSFが描く世界の中から、誰が取りこぼされてきた／いるのかということは今も問われ続けている。
この間、VGプラスで行った取り組みの一つに、刊行しているマガジン『Kaguya Planet』でのパレスチナ特集がある。1948年のイスラエルの建国以前から続く、入植型の植民地主義と人種差別的な支配、ジェノサイドは、「世界では誰の声が優遇されているのか」ということと無関係ではない。そのことにSF企業としてどう応答できるのかを考えて行った特集で、パレスチナ人／パレスチナにルーツのある作家による、パレスチナを舞台にしたSF・ファンタジーを翻訳した。
写真・図版
ウェブマガジン「Kaguya Planet」のパレスチナ特集
だが同時に、システムや場づくりについて問題提起をしているVGプラス自身、たくさんの方から至らぬ点についてご指摘をいただき、ときに引き立てていただき、ときに知恵を授けていただきながら活動をしている。マイノリティーの方々に「指摘する」というコストを支払わせてしまった局面もたくさんある。それらを抽象的な次元にとどめることなく、現実の制度や権利回復へとつなげるためになにができるのか、常に考えていきたい。
そしてそれは、SFという私の愛するジャンルそのものを豊かにすることにも、当然つながっているのだと思う。
排除はしばしば、「質」の名において実行される。
なにが「優れた」作品なのか。その指標そのものが、特定の経験や価値観にもとづいて構築されてきた。そうした規範に照らせば、大きく異なる経験を持つ他者の書いた作品は必然的に「劣った」ものと評価されよう。排除は意図的に行われるのではない。それは常に「客観的な評価」の結果として生じる。
Sad Puppies事件は「ポリティカルであること」への反感が運動のきっかけだったが、むしろ、従来の選考こそが政治的だったと考えることもできる。価値判断の場では多くの場合、既存の権力関係が反映される。正統性を維持するためのシステムは個人の意図を超えて作動する。
だからこそ、井上さんたちの取り組む解決策はシステムそのものに切り込むものだ。短編コンテストの開催、発表の場を多様化すること、経済的に持続可能な仕組みをつくること。これらはすべて、異なる価値観が共存できる環境を目指している。
誰が未来を語るのか。どのようにその語りを開いていくのか。今回の対談で示されたのは実践だった。完璧な一つのシステムを目指すのではなく、複数のシステムを並走させることで、今は「評価」できない作品や価値観にも光が当たる可能性を残している。SFの想像力が現実を形成する力を持ちつつある世界において、その想像力を担う主体の多様性こそが、私たちの未来の豊かさを決定づけるだろう。
