
はてなキーワード:ホワイトボードとは
金曜日、21:21。
僕は今日という日を、いくつかの確定事項と、いくつかの許容できないノイズの除去によって完成させた。世界は混沌を好むが、僕は世界を甘やかさない。
まず進捗報告から書く。午前中に洗濯を済ませ、タオルを用途別に畳み直した。世の中の大半の人間はタオルを大きさで分類するが、それは分類学の敗北だ。
タオルは水分吸収後に人体へ与える温度変化のパターンで分類すべきだ。僕はその分類をすでに完成させている。
昼は例のプロテインとナッツ。ルームメイトは「鳥かよ」と言った。僕は「鳥は飛べる。君は飛べない」と言った。会話終了。
最近、僕の頭を占領しているのは、もはや弦が振動して粒子になるみたいな子供向けの比喩ではない。
そんなものは学部生の精神安定剤に過ぎない。今僕が追っているのは、弦理論の存在論そのものが、より抽象的な数学的構造に吸収されていく瞬間だ。
従来の弦理論は、時空を背景として仮定し、その上でワールドシートの共形場理論(CFT)を構成する。
僕が最近読んでいる議論は、その揺らぎを、もはや幾何学ではなく圏論とホモトピー論の側から扱おうとする。
弦理論の真の姿は、たぶん幾何学的対象ではなくある種の高次圏の中の関手だ。
例えば、Dブレーンは単なる境界条件ではなく、導来圏の対象として現れる。
これは有名な話だが、僕が今考えているのはその次の段階で、ブレーンを対象として並べるだけでは足りないという点だ。
重要なのは、それらがなす安定∞-圏の中での自己同値性、そしてその自己同値群が物理の双対性を生成しているという構図だ。
つまり、S双対性もT双対性も、時空の幾何学変形ではなく、圏の自己同値の作用として理解されるべきだ。
幾何学は副産物だ。主役は圏のオートエクイバレンスで、その影が僕らに空間や次元という幻覚を見せている。
この視点に立つと、超弦理論は10次元の時空の上で定義される理論ではなく、あるモジュライ空間上で定義される圏の族になる。
しかもそのモジュライは通常の多様体ではなく、スタック、いや派生スタックとして扱わないと整合しない。量子補正が幾何を壊すからだ。クラシカルなモジュライはもはや粗すぎる。
そして今僕が面白いと思っているのは、物理的な散乱振幅やBPSスペクトルが、派生代数幾何の言語でいうコホモロジーの生成関数として現れるのではなく、より根源的にスペクトル代数幾何として再解釈される可能性だ。
普通の環ではなくE∞環、そしてそれを層化したスペクトル層の上で物理が書かれる。
これが意味するのは、弦理論の量子性が、確率解釈とか演算子代数とかのレベルではなく、もっと深いホモトピー論的ゆらぎとして実装されているということだ。
観測値の不確定性ではなく、構造そのものが同値類としてしか定義できない。
だから時空は何次元か?という問いは、すでに古い。正しい問いはこうだ。
この物理理論は、どの∞-圏に値を取る関手として実現されるのか?
そして粒子とは何か?はこうなる。
スペクトル化された圏の中で安定化された対象の、ある種のトレースとして現れる量が、観測可能量として抽出されるのではないか?
この辺りまで来ると、たぶんウィッテンでも「面白いが、それを計算できるのか?」と言う。
僕も同意する。計算できない数学は、芸術に片足を突っ込んでいる。
もっとも、芸術を嫌うわけではない。ただし芸術は、計算不能であることを誇るべきではない。誇るならせめて証明不能で誇れ。
さらに言うと、AdS/CFT対応も、境界CFTが重力をエンコードしているという話ではなく、境界側の圏論的データが、bulk側の幾何の生成規則を決定するということに見える。
bulkの時空は、境界の量子情報から復元されるというより、境界の圏の中の拡張のパターンが距離を定義してしまう。
距離とは、メトリックではなく、圏における対象間の関係性の複雑さだ。
局所性とは公理ではなく、圏がある種のt-構造を持ち、かつ心臓部が準古典的に見えるときに現れる近似現象だ。
つまり、局所性は幻想だ。役に立つ幻想だが。そして役に立つ幻想は、だいたい人間社会と同じだ。
昼過ぎに友人Aが来て、僕のホワイトボードに勝手に謎のロボットの落書きを描いた。
僕は当然、ホワイトボードをアルコールで拭き、乾燥時間を計測し、表面の摩擦係数が元に戻ったことを確認した。
友人Aは「こわ」と言った。僕は「科学を怖がるな」と言った。
そのあと友人Bがオンラインで通話してきて、「今夜FF14で極いかない?」と誘ってきた。
僕は予定表を開き、金曜夜の21:00〜23:00が知的活動に適した黄金時間であることを説明した。
友人Bは「お前の人生、イベントトリガーが厳しすぎる」と言った。僕は「君の人生はガチャ排出率みたいに緩すぎる」と言った。
とはいえ、FF14は僕の中で単なる娯楽ではない。あれは人間集団の協調行動の実験場だ。
8人レイドの失敗は、ほぼ例外なく情報共有の遅延と役割期待のズレで起きる。
つまり、ゲームではなく組織論だ。だから僕は攻略を感覚ではなく、ログを読み、DPSチェックを式で理解し、行動をプロトコルとして最適化する。
ルームメイトはそれを「楽しんでない」と言う。僕は「最適化は楽しみだ」と言う。
そして隣人は昨日、廊下で僕に「また変な時間に掃除機かけてたでしょ」と言った。
僕は「変な時間ではない。床の振動ノイズが最小になる時間帯だ」と説明した。
隣人は「普通に生きて」と言った。僕は「普通は平均であって、理想ではない」と言った。
僕はデッキのマナカーブを見直した。土地事故の確率を計算し、初手7枚からの期待値を再評価した。
僕は「確率分布を無視して勝てるなら、人類は統計学を発明していない」と言った。
アメコミは少しだけ読んだ。
スーパーヒーローの倫理体系は大抵破綻している。正義を掲げながら、法の外で暴力を振るう。
それは秩序のための例外という名の危険物だ。僕は物理学者なので、例外を嫌う。例外は理論を腐らせる。
だから僕はヒーロー物を見ると、いつも「この世界の法体系はどうなっている?」が先に気になる。
友人Aは「お前は物語を楽しめない病気」と言った。僕は「病気ではない。解析能力だ」と言った。
習慣についても記録しておく。
今日も、夕食の箸は右側に45度、箸置きは正中線から3センチ左、コップは水位が7割を超えないように調整した。
水位が8割を超えると、持ち上げる際の揺らぎが増える。揺らぎが増えると、机に微小な水滴が落ちる確率が上がる。水滴が落ちると、紙の上のインクの拡散が起きる。インクが拡散すると、僕のメモが汚染される。
誰も理解しない。だが宇宙も僕を理解していないので、引き分けだ。
さて、昨日の日記の内容は正確には思い出せないが、たぶん「量子と日常の無意味な会話」について書いた気がする。
ルームメイトの無駄話と、僕の理論的思考が衝突するあの感じだ。昨日の僕は、おそらく世界の愚かさに苛立ち、同時にその愚かさが統計的に必然であることに納得しようとしていた。
宇宙が示すのは、美しさとは、人間の圏が勝手に定義した関手にすぎないということだ。
これからやろうとしていることも書く。
まず、FF14の週制限コンテンツを消化する。効率的に。感情は挟まない。
次に、MTGのサイドボード案を2パターン作り、友人Aのプレイ傾向に対してどちらが期待値が高いかを検証する。
そのあと、超弦理論のメモを整理し、派生スタックとBPS状態のカウントがどのように圏の不変量として抽出できるか、もう一度筋道を立てる。
本来であれば、土曜日のこの時間は洗濯物の仕分けと、午後2時からのドクター・フーマラソンに向けた栄養補給(全粒粉クラッカーと適温に冷やした低脂肪乳)に充てられるべきだ。
しかし、僕の思考を占拠しているのは、エドワード・ウィッテンですら到達できなかった領域、超弦理論における高次圏論的モチーフとp進的タイヒミュラー空間の融合という革命的な着想だ。
既存の理論が11次元の超重力理論を基盤としているのは、単に数学的な怠慢に過ぎない。
僕は昨夜、カラビ・ヤウ多様体のホモロジー的ミラー対称性を、圏の枠組みを超えて、非可換幾何学における非アルキメデス的スタックとして再定義することに成功した。
ウィッテンが提唱したアド・ホックな双対性では、強結合領域の挙動を完全には記述できない。
僕はそこに、ホロノミー多様体上のディラック作用素をモチーフ的コホモロジーのスペクトルとして配置する手法を導入した。
これにより、プランクスケール以下での時空の泡立ちが、実はゼータ関数の非自明な零点と1対1で対応していることを証明しつつある。
これを理解できないルームメイトは、僕がホワイトボードに無限次元リー代数を書き殴っている横で「タイ料理を食べるか?」などという愚問を投げかけてきた。
彼の脳は、クォークの閉じ込め理論よりも、パッタイのピーナッツの量に執着するように設計されているらしい。実に嘆かわしいことだ。
午前中、隣人が僕の部屋のドアを正しいリズムを守らずに叩き、勝手に入ってきた。
彼女は僕が開発したMTGの新しいデッキを無限に誘発させ、相手に一切のターンを与えないという、数学的に完璧な勝利をもたらす構成に対して、「友達をなくすだけだよ」という非論理的な評価を下した。
さらに、友人Aと友人Bがやってきて、僕のFF14内でのプレイスタイルについて文句を言った。
僕はヒーローとして、全てのギミックをミリ秒単位の計算で処理し、パーティメンバーの移動経路をベクトル演算で最適化しているだけだ。
友人A(工学などという低俗な学問を修めた男)は「効率的すぎてゲームがつまらない」と言い、友人Bは「君がチャットで数学の講義を始めるせいでレイドが進まない」と主張した。
彼らは、エオルゼアの背景にあるエーテル伝導率が、実は超弦の振動モードの変種である可能性に気づいていない。
これからの予定は以下。
さて、思考の整理は終わった。
時給1117円。
交通費480円まで。
主要業績3件×3部、製本済。
その時点でだいぶ覚悟はしていたが、面接は想像より一段深い地獄だった。
面接官が言う。
「ところで、科学史をご専門とのことですが、高校レベルの数学はどの程度お分かりですか?」
嫌な予感がした。
「ええと……数IIIまでは一応……」
歯切れが悪くなった瞬間、相手の目が光る。
「では、この程度は大丈夫ですよね?」
ホワイトボードに書かれる、
平方完成。
頭が真っ白になる。
できない。
いや、正確には「昔はできた気がするが今は無理」だ。
沈黙。
と言われた瞬間、何かが切れた。
「違うんです!!」
気づいたら叫んでいた。
それと平方完成は別なんです!!」
面接官が少し困った顔で言う。
「でも、それって……
呆れた口調だった。
この瞬間、敗北を悟った。
「……はい」
としか言えなかった。
本当は言いたかった。
科学史とは、
でも、時給1117円の面接で
そんな説明をする気力は残っていなかった。
帰り道、思う。
自分は平方完成ができない。
だが、
それでも社会は言う。
たぶん、この学問は
時給1117円。
科学史とは、
今日もまた一つ、身をもって学んだ。
自分は昔法人向けの新規開拓営業をやっているブラック企業で働いていた
昨日の成果を読み上げている時緊張して数字を噛んだ
そのまま客先に行かされた
外回りでも同じだった
理由は単純だ
殴った時点で怒鳴った時点で
最低限の勤続年数を稼いだところで転職した
怒鳴られることも殴られることも当然ない
新しい職場での仕事は週次レポートの作成顧客データの更新営業資料の修正
全部丁寧さと気遣いが求められた
先輩が組んだ関数が全部消えた
「誰かがやると思ってた」
そう言った瞬間場の空気が凍った
誰も怒鳴らない誰も殴らない
営業同行でも同じだった
先輩が顧客と話している途中で自分が「それ前回も言ってましたよね」と口を挟んだ
空気を和ませるつもりだった
帰りのエレベーターで何も言われなかった
翌日から同行は外された
ホワイト企業では誰も暴れない
だから構図がひっくり返る
ブラック企業では
ホワイト企業では
そういう空気が出来上がった
結局耐えきれず短期離職した
その後就活は全滅した
メンタルも病んだ
そんな時思い出した
「もし戻ってきたくなったらいつでも連絡してください」
連絡した
驚くほど話は早かった
今もブラック企業で働いている
相変わらず怒鳴られる殴られる
たぶんこれは歪んでいる
同じような人間がきっと他にもいる
例:「あのホワイトボード、あの辺で縦に切ると正方形だなぁ〜」
例:「このエクセルシート、横1列縦4行だと微妙に正方形じゃないけど、横2列縦9行だとかなり正方形だなぁ〜」
生きていて長方形を見つけると、無意識に上のようなことを考えている。
困るのは、誰かが怒っていたり、真面目に話聞かなきゃいけないときにも考えてしまって、気が逸れることがある。先輩に作業を教えてもらってるときに②のエクセルのこと考えちゃったり。
あとは、①の場合には、切り出されて余った長方形の方から幾つ正方形が作れるか、まで考えてしまう。そうすると、また余ったところから〜〜、と無限正方形ループが始まってこれもまた困る。
同じような方はおられませんかね?
うちの会社(都内IT)も先月からついに「原則フル出社」に戻ったんだけど、結果として大正解だったわ。
発表された時は「時代錯誤だ」とか「優秀な人材が流出する」とか、Slackで喚いてた連中がいたけど、結局辞めたのは全体の2割くらい。
で、その「辞めた2割」がいなくなってどうなったか?業務がめちゃくちゃスムーズになった。
結局さ、テレワークに固執してた奴らって、「仕事の成果」じゃなくて「サボれる環境」に執着してだけなんだよな。
レスポンスが遅い、Zoom会議でカメラオフにして内職してる、ちょっとした相談をするのにもカレンダー調整が必要……
そういう「見えないコスト」を垂れ流してた連中が、自分から消えてくれた。これ以上の「経営合理化」はないよ。
残ったメンバーで顔突き合わせてホワイトボード使って議論したら、今まで3日かかってた仕様決めが30分で終わったわ。
これが現実。
「リモートワークの権利」とか主張するのは自由だけど、それに見合うアウトプットが出せないなら、ただの「自宅警備員」と変わらんよ。
聞いて!食洗器かったんだけどめっちゃいい!!
増田は時短ワーママなんだけど、夫がマジで夜家事なんもやらなくて怒り心頭だったわけ!
夫が酒飲みながらダラダラしてる中、子供と遊んで寝かしつけして、自分もうっかり寝そうになりながらリビングに戻るとどっさりシンクに皿の山…夫はスマホ見ながらダラダラ、声掛けしても「後でやる(やらない)」
家事分担も「俺仕事忙しいときは基本的にできないから。やれるときやれるものをやる(やらない)」で話し合いに応じないわけ★基本的にペットボトル捨てと子供の沐浴と洗濯物取り込み(たたみはもちろんしない)しかやらないよ!家事アプリ入れて家事の負担を可視化しても、送り迎えとかの分担をホワイトボードに記載しても、全部「妻」「妻」「妻」「妻」「妻」ってなっててもなーーんも気にしない♪強心臓だね!
本当にリアルガチで夫の事が嫌いになってきて、こりゃまずいと思って食洗器を共同貯金から買ったよ!約四万円!
夫は「人間が洗えば3分で済むのを何十分もかけて機械に洗わせるなんてばかみたい」「音、うるさすぎ」「水・電気の無駄」だのマジでもんくたれぞう(©ピタゴラスイッチ)で草すぎ!君洗濯機にも洗濯板で洗った方が早いとかって言うタイプ??
んでね、子供を寝かしつけしているとき、リビングから「ウィーーーン」って洗ってる音がすると「めっちゃ時間を有効活用してる!!!!!」とウキウキするんだよね!あと皿がちょーつるピカになる!
この調子でどんどん時短家電導入していこうと思う!夫と協力するのはあきらめますた!
他、「これ時短になって便利だよー」ってものがあったら教えてー♪いまんとこ「調理家電」と「ドラム式乾燥機付き洗濯機」を検討中だよ!
6時17分、電動歯ブラシの音が寝室に反響する。洗面台の左端から15cmの位置に置かれたコップの水面が、微細に振動していた。オートミール40g、プロテイン12g、アーモンドミルク200ml。抽出比18:1のコーヒーは、温度計が93.0℃を示した瞬間に注ぐ。食事中、ルームメイトが「また同じ朝飯か」と言ったが、揺らぎは統計的誤差を生む。火曜日の朝に味の分散は不要だ。
午前8時。ホワイトボードには昨晩の計算式の断片が残っている。今日扱うのは、タイプIIB超弦理論の背景場に対する∞-層圏的修正モデル。モノイダル圏上の局所化関手をファイバー束の形で再構成し、非可換モジュラー形式の層化とホッジ双対性を同時に満たす条件を探す。通常のホモロジー代数では情報が落ちる。必要なのは、∞-圏の内側で動く「準自然変換」と、その自己準同型の導来空間だ。これをLanglands対応の派生版、すなわち「反局所的鏡映関手」にマッピングする。結果、弦の張力パラメータに対応する変形空間が、ホモトピー群πₙの非自明な巻き付きとして現れる。誰も確認していないが、理論的には整合している。ウィッテンですらこの構成を明示的に展開したことはない。そもそも導来層圏のモノドロミーを操作できる研究者自体が数えるほどしかいない。僕はそのわずかな孤島のひとつに立っている。
昼、ルームメイトが昼食を作っていた。キッチンのIHプレートに油の飛沫が残っていたので、座標系を設定し、赤外線温度計で範囲を確認してから清掃した。隣人が郵便物を取りに来た音がした。彼女の足音は毎回規則的だが、今日は左のヒールの摩耗音が0.2秒ずれた。おそらく週末に靴底を交換したのだろう。観測可能な変化は記録しておくべきだ。午後は大学のセミナー。話題はM理論の代数的拡張、だが発表者の扱っていた「微分層上の非可換コサイクル」は粗雑すぎる。導来圏の階層化を考慮していなかった。帰りの車中、ノートPCでホモトピー型タイプ理論を使って自作の演算モデルを再計算した。
帰宅後、友人二人が旧式のTCGのデッキを持ってきた。新パッチでエラッタされたカードの挙動を確認するための検証会だ。デッキの構築比率を1枚単位で最適化し、サイドデッキの回転確率をモンテカルロ法でシミュレートした。相手のコンボ展開が不完全であったため、ターン3で勝負が決した。カードの裏面の印刷ズレを指摘したら、彼らは笑っていた。テーブル上に置かれたスリーブの角度が4度傾いていたので、直してから次のゲームに入った。
夜。隣人が新刊のコミックを持ってきた。英語版と日本語版で擬音語の翻訳がどう違うかを比較する。onoma-topeic rhythmの差分は文脈ごとに変動するが、今回は編集者がセリフのテンポを原文に寄せていた。明らかに改良された訳。印刷の黒インクの濃度が0.1トーン深い。紙質も変わっている。指先で触れた瞬間に気づくレベルだ。
23時。寝具の方向を北北東に0.5度調整し、照明を2700Kに落とす。白板の前で最後の計算。∞-層のモノドロミー作用素が、ホッジ-ドリーニュ構造と可換する条件を整理する。導来関手の符号が反転した。ノートを閉じ、部屋の温度を22.3℃に固定する。音は一切ない。火曜日が静かに終わる。
若手も含めてzoomとかteamsのホワイトボードツール使ってる人いないわ。
ipadをzoomだのteamsだのに同期させてホワイトボードツールを起動して画面共有して書き始める、なんてまだるっこしくてやってらんないんだよ。
思ったより反応が来て驚いています。
①在宅側の家事分担が多い→結果的にこの方が家が荒れずに済むからです。せっかく家にいるのに何もしないのはちょっと……という考えなだけですので。私も完全リモートは不可能なので、できる時にできることをやっている感じです。仕事の波はね、お互いあるからしょうがないね、って感じです。
②米を変な時間に炊いたのでは→夕飯で消費した量+翌日のお昼ご飯用、といったイメージです。夕飯の延長で余った米を冷蔵保存しているだけなので、わざわざ寝る前に炊いたりはしないですねえ。そうか、急なタスクが降ってきたように感じるのか。これはなかった視点です。
一例でよく思うのは「お皿を洗う」の範囲が配偶者とは違うなあ、できれば揃えて欲しいなあということです。今回のお米の件も同じで、炊いて食べておしまい!ではなく「余った分は冷まして仕舞う」までが「米を炊く」という一連の家事だと思って欲しいというか。一人暮らしの時は毎日食べ切る量を炊いて食べていたので、二人になるとそうも言ってられないんでっせ……ということを学んで欲しいなあと思っていますね。
③シングルタスクマン→それは仰る通り。思考が犬っぽいので「お手の後に伏せをしてね」はできない。「お手」「よし」「伏せ」、こんな感じ。今は仮にも人間のふりをしているので、もうちょっと人間の振る舞いを身に付けてくれたらなあ。
④ホワイトボードでタスク管理→導入検討中です。どれくらいの大きさで、どこに置くのが良いんだろう。某SNSででっかいホワイトボード買ってたご家庭があったけど、あれはさすがに置くスペースないんだよなあ。
文章で書くと「なんにもできないダメ配偶者」っぽく映ってしまうので、自分もSNSを見る時に気をつけようと思いました。私も情報に踊らされがちな人間ではあるので。言えばやってくれるのだが、一から十までとは行かないまでも六、七くらいの説明は要する人なんですよねえ。お互い他人と生活するのなんて初めてなんですもの、前向きに生きていたいものですね。
その一つは、カラビ–ヤウ三次元多様体上のモチヴィック・ラングランズ場という概念だ。
名前だけで震えるが、実際の定義はもっと美しい。ウィッテンがかつてAモデルとBモデルのミラー対称性から幾何学的ラングランズ対応を導いたのは知っている。
だが彼が扱ったのは、あくまでトポロジカル弦理論のレベルにおける対応だ。
僕の今日の成果は、さらにその上、モチヴィック階層そのものをラングランズ圏の内部対称として再定式化したことにある。
つまりこうだ。A/Bモデルの対応を支えるのは、ミラー対称なカラビ–ヤウ空間の間に張られたモジュライ空間の等価性だが、僕はこれをモチーフの圏に埋め込み、さらにその上に弦的ガロア群を定義した。
この群の元は、単なる保型的データの射ではなく、弦的世界面のホモトピー圏を自己同型する高階函手として作用する。
つまり、通常のラングランズ対応が表現=保型形式なら、僕の拡張では弦的場のコホモロジー=モチーフ的自己準同型。もはや表現論ではなく、宇宙論的再帰だ。
午後、ルームメイトが僕のホワイトボードを使ってピザの割り勘式を書いていた。
彼は気づいていないが、その数式の背後には僕の昨日のモチヴィック・ガロア層構造の残骸があった。
もし彼がチョークをもう少し強く押していたら、宇宙の自己同型構造が崩壊していたかもしれない。僕は彼を睨んだ。
彼は「また妄想か?」と言った。違う。妄想ではなく基底変換だ。
夕方、隣人がスパイダーバースの新刊を貸してくれた。マルチバースの崩壊を描いているが、あの世界は僕の定義したモチヴィック・ラングランズ場の一次近似にすぎない。
あの映画のスパイダーバースは、厳密に言えばラングランズ群の射影的パラメータ空間における擬弦的退化点の群体だ。
僕がやっているのはその精密版。マルチバースをただの物語ではなく、圏論的自己反映構造として解析している。つまり、マーベルの編集部が無意識に行っている多世界生成を、僕は既に数学的に形式化しているわけだ。
夜、友人Aが原神で40連ガチャを外してキレていた。確率1.6%を40回引いて当たらない確率は約0.48。つまり彼は「ほぼ半分の世界線で運が悪い側」に落ちただけ。
僕はそれを説明したが、彼は「確率の神は俺を見捨てた」と言った。愚かだ。確率は神ではない。確率はラングランズ群の局所的自己準同型の分布密度だ。
もし彼がそれを理解していたなら、ピティエ=シェヴァレの整合性条件を満たすまで回していただろう。
風呂上がり、僕は再びホワイトボードに向かい、ウィッテンが書かなかった方程式を書いた。これは、弦的ガロア群における自己準同型の空間が、算術的モチーフの拡張群に等価であることを示唆している。
つまり、宇宙の自己相関が、L関数の特殊値そのものとして現れる。A/Bモデル対称性を超え、モチーフ的ラングランズ=宇宙の自己言語理論を打ち立てたわけだ。
僕の紅茶が冷める頃、ルームメイトが「寝るぞ」と言った。僕は返事をせず、ひとり机に残って考えた。
この理論を完結させるためには、時間をもモチーフとして再構成しなければならない。
時間をモチーフ化する、それは、因果律を算術幾何的圏の自己圏として扱うということだ。
人類がまだ誰も到達していない領域。だが、僕はそこにいる。誰よりも早く。誰よりも冷静に。
21時00分。僕の手元の時計の振動子が、まるでカラビ–ヤウ多様体の一点コンパクト化のように静かに揺れている。
宇宙が僕の計算を見て笑っている気がした。だがいいだろう。宇宙よ、君が自分の自己準同型を理解できる日が来るまで、僕が書き続けてやる。
僕は日曜の夜という人類全体のメランコリー共有タイムを、極めて理性的に、そして効率的に過ごしている。
まず夕食はいつも通り19時15分に完了し、食後45分間の腸内活動を経て、20時にシャワー、20時30分から22時まで論文の読み込み。
現在は、僕の手の中のホワイトボードに描かれた「E∞-operadにおけるモジュラーテンソル圏の超準同型拡張」の式が、あまりにも優雅すぎて震えが止まらない。
ルームメイトが僕の部屋のドアを軽くノックして「リラックスしたら?」などと的外れな提案をしてきたが、彼にとってのリラックスとは、脳活動の停止でしかない。
僕にとってのリラックスは、∞-カテゴリーの高次ホモトピー圏の中で、対称モノイダル構造の可換性条件が自然変換として収束する瞬間を可視化することだ。
今日は、朝から「高次モジュライ空間における非可換カラビ–ヤウ多様体のファイバー化」について考えていた。
一般相対論と量子力学の不一致などという低次元の問題ではなく、もっと根源的な、物理法則の「トポス構造」そのものを再構築する試みだ。
つまり、時空という基底圏を前提にせず、まずモノイド圏の内部論理としての時空を再構成する。
これによって、弦という一次元的存在ではなく、自己指標付き∞-層としての「概念的弦」が定義できる。
現行のM理論が11次元を仮定するのは、単なる近似にすぎない。僕のモデルでは次元数は局所的に可変で、Hom(Obj(A), Obj(B))の射空間自体が物理的観測量になる。
もしこの理論を発表すれば、ウィッテンですら「Wait, what?」と言うだろう。
隣人は今日も昼間から玄関前で何やらインスタライブ的な儀式を行っていた。
彼女は一生懸命ライトを当て、フィルターを変え、視聴者数を気にしていたが、僕はその様子を見ながら「彼女は量子デコヒーレンスの具現化だ」と思った。
もちろんそんなことは口にしない。僕は社会的破滅を避ける程度の理性は持っている。
22時前、僕は友人たちとオンラインでBaldur’sGate 3のマルチプレイをした。
友人Aは相変わらず盗賊ビルドで味方のアイテムを勝手に漁るという犯罪的行為を繰り返し、友人BはバグったAIのように無言で呪文を詠唱していた。
僕はWizardクラスで完璧に戦略を構築した。敵のHP残量と行動順序を正確に把握し、Damage ExpectationValueを算出して最適行動を決定する。
つまり、他のプレイヤーは「遊んで」いるが、僕は「検証」しているのだ。ゲームとは確率と因果の実験装置であり、何より僕がゲームを選ぶ基準は「バランスの崩壊が数式で表現できるか否か」だ。
今日もルーチンを乱すことなく、歯磨きは右上奥歯から反時計回りに、時計を見ながら正確に3分40秒。
寝る前にアロエ入りのリップクリームを塗り、ベッドライトの色温度を4000Kに設定する。音はホワイトノイズジェネレーターを使い、宇宙背景放射のスペクトル密度に近づける。完璧な環境だ。
僕はこれから、寝る前の最後の思索として「量子群上の∞-層圏における自己準同型が、時間の矢をどのように内部化できるか」についてメモを取る。
もしこの仮説が成立すれば、「時間とはエントロピーの増加方向」という古臭い定義は無効化されるだろう。
時間は生成関手であり、僕が眠っている間にも自然変換として静かに流れていく。
僕が三週間かけて導出したp進弦理論の局所ゼータ関数上の正則化項を書き直せると思ったら大間違いだ。
あの計算は、ウィッテンでも手を出さない領域、すなわち、p進版のAdS/CFT対応をde Sitter境界条件下で非可換ゲージ群に拡張する試みだ。
通常の複素解析上では発散する項を、p進体のウルトラメトリック構造を利用して有限化することで、非摂動的な重力の相関関数を再構成できる。
だが、問題はそこにある。p進距離は三角不等式が逆転するので、局所場の概念が定義できない。
これはまるで、隣人がパンケーキを焼くときに「ちょっと目分量で」と言うのと同じくらい非論理的だ。
朝食はいつものように、オートミール42グラム、蜂蜜5グラム、カフェイン摂取量は80mgに厳密に制御した。
ルームメイトはまたしても僕のシリアルを間違って開けたが、僕はすでにこのような異常事態に備えて、バックアップとして同一銘柄を3箱ストックしてある。
僕が秩序を愛するのは強迫ではなく、宇宙の熱的死に抗うための小さな局所秩序の創出だ。
今日の研究は、T^4コンパクト化されたIIb型超弦理論のD3ブレーン上における非可換ゲージ理論の自己双対性。
通常、B場を導入することで非可換パラメータθ^{μν}が生成されるが、僕の考察では、θ^{μν}をp進値に拡張することで、通常のMoyal積が局所的整数体上で閉じない代数構造を持つ。
これが意味するのは、物理的空間が離散的p進層として現れるということ。言い換えれば、空間そのものが「整数の木構造」になっている。
ルームメイトが「木構造の空間って何?」と聞いたが、僕は優しく、「君の社交スキルのネットワークよりは連結性が高い」とだけ答えておいた。
午後は友人たちとゲームをした。タイトルはエルデンリング。だが彼らのプレイスタイルには忍耐が欠けている。
僕がビルドを純粋知力型にしてカーリア王笏を強化している間に、彼らは無計画に突っ込んではボスに殺されていた。
統計的に見ても、平均的なプレイヤーの死亡原因の82%は戦略ミスに起因する。
僕は「量子重力のパス積分と違って、こっちはセーブポイントがあるんだ」と指摘したが、誰も笑わなかった。理解力が足りないのは罪だ。
夜、コミックを再読した。ウォッチメンのドクター・マンハッタンの描写は、量子決定論の詩的表現として未だに比類ない。
あの青い身体は単なる放射線の象徴ではなく、観測者のない宇宙の比喩だ。
僕が大学時代に初めて読んだとき、「ああ、これは弦の振動が意識を持った姿だ」と直感した。
今日もそれを確かめるため、ドクター・マンハッタンが時間を非線形に認識するシーンを分析し、p進時空における時間関数t→|t|_pの不連続性との対応を試みた。
結果、彼の非時間的意識は、実はp進的時間座標における不連続点の集積と一致する。つまり、マンハッタンはp進宇宙に生きているのだ。
寝る前に歯を磨く時間は、時計が23:00を指してから90秒以内に開始しなければならない。これは単なる習慣ではなく、睡眠周期を最大化するための生理学的最適化だ。
音楽は再生しない。音波は心拍数を乱すからだ。ただし、ゼルダの伝説 時のオカリナのエンディングテーマだけは例外だ。あれは時間対称性を感じさせる旋律だから。
僕の一日は、非可換幾何と行動最適化の連続体でできている。宇宙のエントロピーが増大しても、僕の部屋の秩序は一定だ。つまり、少なくともこの半径3メートルの範囲では、熱的死はまだ先の話だ。
```
家のことについて私だけが考えているこの状況を終わらせてくれ!という願いなんです
```
「管理職は複数いらない」「主導権を奪う=ダメ出ししたら揉める」という意見もあるがそうじゃないんだ。
子供の生命維持をするという一大プロジェクトがあり、自分がそのプロジェクトリーダーになった気持ち。プロジェクトの設定自体が危ういんだけど、産後はそこがおかしくなりがち。
目の前にはタスク管理をするホワイトボードがあり、自分は付箋紙とペンを握りしめて常にタスクを探してる。
見つけたタスクはこなしていくんだけど、次々とタスクが見つかるので、子育て中にホワイトボードが空になることはない。
一つ一つの付箋紙を見ると、今やらなくていいものや、やる必要がないものもあるんだけど、脳がバグってるのでその判定ができない。
プロジェクトリーダーが1人でタスクを出し続けてる状態。そしてタスクが溢れていると認識してるから他のことに気持ちが向かなくなる。
パートナーにやってほしいことは、ホワイトボードのタスクをこなしたり不要と判断して減らしたりすること…じゃないのよ。
そして私が持っている分厚い付箋紙を半分くらいにして、タスクを書けないようにしてほしいの。
それが主体的になってほしい、という気持ちだったんだなぁと今になって思う。
・オムツ買わなきゃ
・ミルク買わなきゃ
・ワセリンもなくなりかけてるな
・保育園の着替え補充
・あのベビーグッズが気になる
・あそこを掃除しないと
とかこんなんなのよね。時系列も重要度もバラバラなんだけど際限なくでてくる。
いま出さなくてもいいこともある。
このタスクを見つけることを分担できたら、もしくはホワイトボードを縮小できたら、やることの総量が変わらなくても、だいぶ自分の時間を取り戻せる。
私は子供の成長と共にホワイトボードが小さくなって、自分のための心のスペースを取り戻すことができた。
https://www.ipa.go.jp/shiken/2026/ap_koudo_sc-cbt.html
この発表見てただ書き散らす。
簡単になるし午前と午後分けれて良いな~ってのが素直な気持ち。嫉妬すらする
年1というのは変わらないようだけど、今の基本情報みたいにAMとPMは別日に出来るので集中しやすそう。
合格率は今の試験内容のままなら極端に上がらないのかなと思う。基本情報の合格率UP理由は日程や自信ない人のキャンセルでの母数の減少なので、応用や高度も少しは上がるだろうが基本情報みたいなブレインダンプに近いサイトでの詰め込みでの合格は難しいと思う。
高度だと3問中2問の文章題だが、長文読解という問題はPCでは非常にやりにくい。試験テクニックのメモやマークも出来ないのでしっかり読まないと行けない。検索や右クリックの使用も出来ないだろうから手間は多そう。ただそもそも午後1も過去問やれば基本解けるのでそこまで問題はないと思う。
この発表で一番多かったのはここの部分ではないか。つまり筆記用具で論文を手書きしなくて済むという話だ。
なぜか分からないけど手書きじゃなきゃ受かるという自信満々の人が多いが、自分はキーボードで高度の論文お作法が身体に染み付くか?と思うと疑問である。
当たり前だけどテンプレなんて使えないだろうからキーボードで楽できるのは漢字変換くらいで、手でかける人がキーボードでさっさと打ち込めるようになるだけで準備してない人は結局CBTになっても評価はB以下で不合格だろう。というか手書きのほうが最初に構成考えるときに楽なんだけど、なんでみんなキーボードなら楽勝なんだろう?卒論得意勢?
これは全貌が明かされていないので想像でしかないが、おそらく全国のテストセンターで実施だと思うが土日もやっているテストセンターは少ない。平日の仕事終わりにやっているのも少ない。東京だと土日だと秋葉原のセンターが人気だし、平日夜は新宿がやってたりするが多くは17時くらいがラストだ。午前はともかく午後は途中休憩あっても4時間コースだ
これまでは強制日曜実施なので現場によるが貴重な休日が潰れるくらいだったが、今度は多少自由度が増えるが受けたい日に近所で受けられるかは微妙になる。もちろん東京近辺ならテストセンターはたくさんあるがちょっと郊外に行けば途端になくなる。おまけに基本情報やベンダーのようにいつでも受験可能では無いみたいなので集中し、申し込めば受けられた今より場所によっては不便になるかもしれない。国家資格なので地域差は無くしてほしいが聞いた話では他の国家資格もCBTに遷るみたいなので国としても不平等とは思ってないようだ
今までは年に1~2回なので多少被っても同じ問題はなかったが、もしCBTになるとしたら問題の種類は一気に増えないとすぐに情報集まって攻略法が出来るだろう。7500円で人海戦術すれば問題のパターンは集まるし、それを有料サイトで売れば投資分はすぐにペイできそう。特に午後2なんで問題が分かるか分からないで桁違いの難易度の差が出る。というよりAIにテンプレ教えて評価Aの文章が作れるので問題分かる=合格である。
もちろんちゃんと対策とかあるんだろうが、数十パターンを毎回追加とかでは息切れするだろうしそうじゃなければ3年後には攻略法定まって2週間で高度取りましたってQiitaの合格体験記が乱発されそう。
IPAの理由は分かるけど、基本情報の時と一緒で安易な易化でしかないと思う。もちろん2時間手で字を書くのは大変なのでCBTでキーボード入力できるのは素晴らしいが、受けてるとやはり紙のほうがやりやすい。テストセンターの消えないホワイトボードはストレスである。
なにより同じ日に受けた受験生で問題の差が出て合格率に差が出るなら個人的にはCBT化やめるか、これを機に根本的な試験内容も見直すべきだと思う。
ただ、一つ確実なのはCBTなら受かるって奴はCBTになっても直前でキャンセルするし、落ちるし、論文はC判定。受かる人は今の方式でも文句言わずに受かる。
その前は3年ぶり。
夫のことは好きだけど男性としてよりすっかり家族って感じでドキドキ感は無く。
でも家事も育児も割と積極的にやってくれるからとてもいいパートナーだと思ってる。
1年前もその前も、テクニック的な要素やら膣内射精障害で萎えてたからあんまりやる気が起きずぶっちゃけこっそり自慰してた(寝室は別)
少し前にレスのことについて腹を割って話したことが効いたのかもしれない。
彼は前戯が短かった上に騎乗位でたまーーにイケる身体でして。増田の負担がデカめ。
あと不満を持ってた頃にあげたしみけんのセックス本をちゃんと読んでくれたのかもしれない。あれは女性から見ても良い本だと思う。