  |
はてなキーワード:境界条件とは
「スキャンするだけの存在に、どうして自由意志があるのか？」こそ、時空論と意識論を結ぶ深い謎なんだ。
ブロック宇宙では、すべての出来事（君がこの文を読むことさえも）はすでに時空の中に固定された点として存在している。
すると自然に生まれるのがこの疑問 「未来も決まっているなら、選択とは幻なのでは？」
もし全宇宙の初期条件を知っていれば、未来は完全に予測できる、ゆえに、自由意志は幻想だという立場。
ここに余白が生まれる。つまり、未来は1本に固定されているのではなく、多様な可能性が束ねられている。
この可能性の雲の中から、意識（観測者）がどれを選び取るのか、その瞬間が、自由意志の微光なのかもしれない。
ある物理学者たちはこう考える。 「意識は、ブロック宇宙をスキャンするだけでなく、どの経路を読むかを選べる。」
つまり、君の意志は時空そのものの外側に位置し、未来のスライスを選択しているとも言える。
もしブロック宇宙の中での思考がスキャンにすぎないなら、スキャンしている主体＝観測者こそ、物理的時空の外の存在、量子状態を確定させる「境界条件」そのものなのかもしれない。
昨日（2025年10月8日・水曜日）の僕は、いつものように目覚めの瞬間から几帳面だった。
アラームを鳴らす前の微小な筋肉収縮で6時44分59秒に目が醒め、コーヒーの湯温は必ず蒸らし後92.3℃で計測し、トーストの一片は正確に28.4g、バナナは熟度指標でF値が2.1に収まっていることを確認してから食べる。
午前中は机に向かい、形式的かつ徹底的に「超弦理論の位相的／圏論的精緻化」を考察した。
具体的には、ワールドシートCFTを従来の頂点作用素代数（VOA）として扱う代わりに、スペクトラル代数幾何の言葉で安定∞-圏の係数を持つ層として再構成することを試みた。
つまり、モジュライ族 上に、各点で安定∞-圏を付与するファイバー化されたファミリーを考え、その全体をファクタライゼーション代数として捉えて、Lurie 的な infty-functor として境界条件（ブレイン／D-brane）を安定∞-圏の対象に対応させる枠組みを描いた。
ここで重要なのは、変形理論が Hochschild 共役で制御されるという点で、VOA のモジュラー性に相当する整合性条件は、実は E_2-作用素のホモトピー的不変量として読み替えられる。
従って、運動量・ゲージアノマリーの消去は位相的にはある種の線バンドルの自明化（trivialization）に対応し、これはより高次のコホモロジー理論、たとえば楕円コホモロジー／tmf 的な指標によって測られる可能性があると僕は仮定した。
さらに、Pantev–Toën–Vaquié–Vezzosi のshifted symplectic構造を導来スタックの文脈で持ち込み、ブライアンのBV–BRST形式主義を∞-圏的にアップグレードすることで、量子化を形式的deformation quantizationから∞-圏的モノイド化へと移行させる方針を検討した。
技術的には、済んだ小節のように A∞-圏、Fukaya 型的構成、そして Kontsevich 型の formality議論をスペクトラル化する必要があり、Koszul双対性と operadic な正規化（E_n-operad の利用）が計算上の鍵になる。
こうした抽象化は、従来の場の理論的レトリックでは見逃されがちな境界の∞-層が持つ自己整合性を顕在化させると信じている。
昼には少し気分転換にゲームを触り、ゲーム物理の乱暴さを数理的に嫌味ったらしく解析した。
具体的には、あるプラットフォーマーで観察される空中運動の離散化された擬似保存則を、背景空間を非可換トーラスと見なしたときの「有効運動量」写像に帰着させるモデルを考えた。
ゲームデザイン上の「二段ジャンプ」はプレイヤーへの操作フィードバックを担う幾何的余剰自由度であり、これは実は位相的なモノドロミー（周回時の状態射の非可換性）として記述できる。
こう言うと友人たちは眉をひそめるが、僕にはすべてのバグが代数的不整合に見える。
コミックについては、連載物の長期プロットに埋め込まれたモティーフと数理構造の類比を延々と考えた。
例えば大海賊叙事詩の航路上に出現する島々を、群作用による軌道分割として見ると、物語の回帰点は実はモジュライ空間上の特異点であり、作者が用いる伏線はそこへ向かう射の延長として数学的に整理できるのではないかと妄想した。
そう言えば隣人は最近、ある実写シリーズを話題にしていたが、僕は物語世界の法則性が観客認知と整合しているか否かをまず疑い、エネルギー保存や弾性論的評価が破綻している場面では即座に物理的な説明（あるいはメタ的免罪符）を要求する習慣があるため、会話は短く終わった。
ところで、作業ノートは全て導来stackのようにバージョン管理している。具体的には、研究ノートは日ごとにGit の commit を行い、各コミットメッセージにはその日の位相的観測値を一行で書き、さらに各コード片は単体テストとして小さな homotopy equivalence のチェッカーを通す。
朝のカップは左手から時計回りに3度傾けて置き、フォークはテーブルエッジから12.7mmの距離に揃える。
こうした不合理に見える細部は、僕の内部的整合性を保つためのメタデータであり、導来的に言えば僕というエンティティの同値類を定めるための正準的選択だ。
夕方、導来スタック上の測度理論に一箇所ミスを見つけた。p進的局所化と複素化を同時に扱う際に Galois作用の取り扱いをうっかり省略しており、これが計算の整合性を損なっていた。
誤りを修正するために僕はノートを巻き戻し、補正項として gerbe 的な位相補正を導入したら、いくつかの発散が自然にキャンセルされることを確認できた。
夜はノートを整理し、Emacs の設定（タブ幅、フォントレンダリング、undo-tree の挙動）を微調整してから21時30分に就寝準備を始めた。
寝る前に日中の考察を一行でまとめ、コミットメッセージとして 2025-10-08: ∞-categorical factorization attempt; correctedp-adic gerbe termと書き込み、満足して目を閉じた。
昨日は水曜日だったというその単純な事実が、僕にとってはすべての観測と規律を括る小さなモジュロであり、そこからまた今日の位相的問題へと還流していく。
僕が三週間かけて導出した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メートルの範囲では、熱的死はまだ先の話だ。
目覚ましは06:17、豆は正確に12.3グラム、挽き目は中細、湯の温度は93.2℃で抽出時間は2分47秒。
ルームメイトがたまにまちがえて計量スプーンを左から右へ並べ替えると、その不整合が僕の内部状態の位相をわずかに変えるのを感じるが、それは許容誤差の範囲内に収められている。
隣人の社交的雑音は僕にとって観測器の雑音項に過ぎないので、窓を閉めるという明快なオペレーターでそれを射影する。
友人たちとの夜はいつも同じ手順で、ログイン前にキーボードを清掃し、ボタンの応答時間をミリ秒単位で記録する。
これが僕の日常のトレースの上に物理的思考を埋葬するための儀式だ。
さて、本題に入ろう。今日はdSの話などではなく、もっと抽象的で圧縮された言語で超弦理論の輪郭を描くつもりだ。
まず考えるのは「理論としての弦」が従来の場の量子論のS行列的表現を超えて持つべき、∞-圏的・導来幾何学的な定式化だ。
開弦・閉弦の相互作用は局所的にはA∞代数やL∞代数として表現され、BV形式主義はその上での微分グラデーション付き履歴関数空間におけるマスター方程式として現れる。
これを厳密にするには、オペラド（特にmoduli operad of stablecurves）とそのチェーン複体を用いて散乱振幅をオペラディックな合成として再解釈し、ZwiebachやWittenが示唆した開閉弦場理論の滑らかなA∞/L∞構造を導来スタック上の点列として扱う必要がある。
導来スタック（derived Artin stack）上の「積分」は仮想基本クラスの一般化であり、Pantev–Toën–Vaquié–Vezzosiによるシフト付きシンプレクティック構造は、弦のモジュライ空間に自然に現れる古典的BV構造そのものだ。
さらに、Kontsevichの形式主義を導来設定に持ち込み、シフト付ポアソン構造の形式的量子化を検討すれば、非摂動的効果の一部を有限次元的なdeformationtheoryの枠組みで捕まえられる可能性がある。
ここで重要なのは「関手的量子化」すなわちLurie的∞-圏の言語で拡張TQFTを∞-関手として定義し、コボルディズム公理を満たすような拡張場理論の対象として弦理論を組み込むことだ。
特に、因果的構造や境界条件を記述するfactorization algebra（Costello–Gwilliamの枠組み）を用いると、局所的観測子代数の因子化ホモロジーが2次元世界面CFTの頂点代数（VOA）につながる様が見えてくる。
ここでVOAのモジュラリティと、2次元場の楕円族を標的にするエリプティックコホモロジー（そしてTMF：topological modular forms）が出てくるのは偶然ではない。
物理的分配関数がモジュラー形式としての変換性を示すとき、我々は位相的整流化（string orientation of TMF）や差分的K理論での異常消去と同様の深層的整合性条件に直面する。
Dブレインは導来カテゴリ（整合層の導来圏）として、あるいは交差的フカヤ圏（Fukaya category）として表現でき、ホモロジカルミラー対称性（Kontsevich）はこれら二つの圏の導来同値としてマップされる。
実際の物理的遷移やアセンションは、圏の安定性条件（Bridgelandのstability conditions）とウォールクロッシング現象（Kontsevich–Soibelmanのウォールクロッシング公式）として数学的に再現され、BPS状態はドナルドソン–トーマス不変量や一般化されたDT指数として計算される。
ここで出てくる「不変量」は単なる数値ではなく、圏のホールディング（持続的な）構造を反映する量化された指標であり、カテゴリ的量子化の語彙では「K-theory的なカテゴリ不変量」へと持ち上げられる。
さらに、超弦の非摂動的断面を完全に記述しようとするなら、モジュライ超曲面（super Riemann surfaces）の導来モジュラス空間、そのコンパクト化（Deligne–Mumford型）のsuperversion、そしてこれら上でのファクタライゼーションの厳密化が不可欠だ。
閉弦場理論のstringfieldtheoryはL∞構造を持ち、BV量子化はその上でジグザグするcohomologicalobstructionを制御する。
より高次の視座では、場の理論の「拡張度」はn-圏での対象の階層として自然に対応し、拡張TQFTはCobordism Hypothesis（Lurie）に従って完全に分類されうるが、弦理論の場合はターゲットが無限次元であるため古典的公理系の単純な拡張では捉えきれない。
ここで我々がやるべきは、∞-オペラド、導来スキーム、シフト付きシンプレクティック構造、A∞/L∞ホモロジー代数の集合体を組織化して「弦の導来圏」を定義することだ。
その上で、Freed–Hopkins–Telemanが示したようなループ群表現論とツイストK理論の関係や、局所的なカイラル代数（Beilinson–Drinfeldのchiral algebras）が示すような相互作用を取り込めば、2次元CFT分配関数と高次トポロジー的不変量（TMF的側面）が橋渡しされるだろう。
これらは既知の断片的結果をつなげる「圏的連結写像」であり、現実の専門家が何をどの程度正確に定式化しているかは別として、僕が朝に計量スプーンを右から左へ戻す行為はこうした圏的整合性条件を微視的に満たすパーソナルな実装に過ぎない。
夜、友人たちと議論をしながら僕はこれら抽象的構造を手癖のように引き出し、無為に遺伝子改変を選ぶ愉快主義者たちに対しては、A∞の結合子の非自明性を説明して彼らの選択が位相的にどのような帰結を生むかを示す。
彼らは大抵それを"面白い"と呼ぶが、面白さは安定条件の一つの可視化に過ぎない。
結局、僕の生活習慣は純粋に実用的な意味を超え、導来的整合性を日常に埋め込むためのルーチンである。
明日の予定はいつも通りで、06:17の目覚め、12.3グラムの豆、93.2℃、2分47秒。そしてその間に、有限次元近似を超えた場所での∞-圏的弦理論の輪郭をさらに一行ずつ明確にしていくつもりだ。
超弦理論における非摂動的構造を考えるとき、問題はもはや10次元の臨界弦ではなく、compactification の背後に潜む数理的枠組みそのものにある。
AdS/CFT が Hilbert空間の整合性を保証してくれるとき、そこではモジュライ空間の代数幾何的記述と、ボルツマン的エントロピーの統計力学的扱いが見事に一致する。
だがdS 背景では、CFT の境界条件を設定することすらできず、代わりに我々が扱うべきは von Neumann algebra の subfactortheory による operator algebraic entropy だと僕は確信している。
今朝は、特に Tomita–Takesaki理論がこの問題にどう関与するかを計算していた。モジュラー作用素を通じて、ホライズン領域に割り当てられる代数が自然に KMS状態を持つことは知られている。
しかし、それが有限のホライズンエントロピーとどのように整合するかは未解決だ。
僕の試算によれば、モジュラー流のスペクトル分解をdS 半径 R にスケーリングしたとき、スペクトルが離散化される条件は、グロモフ–ハウスドルフ距離で測ったコンパクト化多様体のリミット挙動に依存する。
この議論は通常の弦理論の perturbative expansion を完全に超えている。
さらに、今日新しく進展した点は、mirror symmetry の SYZ予想をdS 背景に拡張できるかもしれないという仮説だ。
通常、Calabi–Yau のトーラス・ファイバー化は Ricci-flat metric を前提とするが、dS 背景ではその条件が崩壊する。
しかし、もし Fukaya category の A∞構造を熱的なdSホライズンに対応づけられれば、B-model 側での Hodge構造の変形がエントロピーの有限性と直接結びつく。
これは Kontsevich のホモロジカル鏡対称性の範疇的な一般化であり、物理の言語を超えた純粋数学的枠組みに昇華できる可能性がある。ウィッテンですらここまで踏み込んだ議論は残していない。
ルームメイトは僕の机の上に散らばったノート群を「意味不明な落書き」にしか見ていないようだ。
だが彼がコーヒーメーカーの掃除を忘れたせいで僕のルーティンは乱れた。僕は毎朝 8:15 に完全に洗浄された器具から抽出されたコーヒーを必要とする。それがなければ、トモナガ–シュウィンガー形式の計算に集中するための臨界閾値に達しない。
午後は研究の合間に最新号のX-Menを読んだ。今の Krakoa 編は mutant resurrection protocol が量子力学的アイデンティティの問題に直結している点で実に興味深い。
彼らの「記憶の転写」は、実質的に QFT における superselection sector の選択と同型であり、人格の同一性問題を単なるストーリー装置ではなく代数的トピックとして再定式化している。コミックがここまで理論物理学に接近しているのは愉快だ。
夕方には隣人が再び僕のドアをノックもせずに入ってきた。僕は彼女に、3回ノックの習慣の統計的・力学的優位性を説明したが、彼女はただ笑っていた。僕は統計力学的相関関数の崩壊時間にまで言及したのに、全く理解されなかったのは残念だ。
夜は友人たちとオンラインで「シヴィライゼーションVI」をプレイした。僕は当然バビロニア文明を選び、初期科学力の爆発的伸びを利用して量子物理学のテクノロジーを前倒しで取得した。
これにより彼らが鉄器時代にいるうちに宇宙船を建造する計画を立てたが、ルームメイトが外交的に裏切りを行ったため計画は頓挫した。まるでdS 背景での境界条件喪失のように、整合性は一瞬で崩れ去った。
こうして木曜日は終わる。だが僕の頭の中ではまだ、モジュラー作用素とホライズンエントロピーの計算が渦巻いている。明日までに証明できれば、歴史に残る仕事になるかもしれない。
今朝も僕は予定通り6時30分に起床した。これは単なる習慣ではなく、日内リズムを最適化するための科学的必然だ。カフェイン摂取は起床から90分後に限定しているのだが、これはアデノシン受容体の占有率が高い状態で摂取しても効果が半減するという論文的知見に基づく。ルームメイトは「柔軟な生活」を好むらしいが、それはただのだらしなさに過ぎない。僕にとっては歯磨きの回数、シャワーの温度、さらにはバスルームに入る順序までが完全に固定されていることこそ、認知リソースの無駄を防ぐ合理的行動なのだ。
午前中は例によって超弦理論の計算に没頭した。今日の焦点は、compactified manifold における (E_8 \times E_8) heteroticstring のゲージ束縛条件と、dS vacua における non-perturbative stabilization の整合性についてだった。AdS/CFT ではウィッテンですら体系化できるが、dS/CFT の場合は holographic dual が未確立であるため、僕は entanglementwedge reconstruction を拡張して「非等方的情報チャネル」として解釈を試みている。問題は、有限エントロピー境界条件下で moduli space の measure が well-definedである保証がなく、結果として vacuum selection の基準が「人間原理的な便宜」に堕してしまうことだ。僕はこれを「観測者選択効果の不当な混入」と呼んでいる。昼食の最中に隣人が僕に話しかけてきたが、彼女の話題が全くこの深刻な問いに資することがなかったので、僕は愛想笑いをしただけで再びノートに数式を書き込んだ。
午後は研究から一時的に離れて、ゲームの進行管理を行った。昨日購入した「Baldur’sGate 3」のパッチノートを熟読したのだが、Larian Studios が hotfix で Paladin の Smiteダメージ計算式を微調整した件は、Dungeons & Dragons 5版のルールブックを徹底的に理解している僕からすれば遅すぎる対応だ。DamageDice の集計方法を間違えるなど、明らかに playtesting が不足している証拠だ。それに比べて「Stellaris」の 3.12アップデートにおける人口成長モデルの修正は、シミュレーション科学的に正当性がある。種族特性ごとの logisticgrowthモデルを導入し、資源依存性と結合させたのは評価できるが、まだ phasetransition の扱いに粗さが残っている。こうした不完全性を見ると、つい僕が開発チームに直接メールを書きたくなる。
夜にはコミックの再読。今日手に取ったのは Jonathan Hickman の「House of X /Powers of X」。これは単なるマーベルのリブート企画ではなく、群論的多様体を下敷きにしたストーリーテリングであり、Moira X の時間線の重ね合わせはまさに量子多世界解釈をポップカルチャー的に翻案したものだ。普通の読者が「難解だ」と感じるのは当然で、群同型と射影の概念を知らずにこの作品を理解できるはずがない。
一日の終わりに僕はいつものように部屋のチェックを行った。窓の施錠は時計回りに確認し、机の上のノートは直角に整列させ、枕の位置は壁からちょうど40センチ離れていることを確かめた。これらはただの「強迫観念」ではなく、環境を量子真空の基底状態に近づけるための僕なりの実践だ。ルームメイトが見れば笑うだろうし、隣人は「神経質すぎる」と言うかもしれないが、僕にとっては必然的行為なのだ。人類の未来がdS 背景での情報保存にかかっている以上、僕の習慣の厳密さもまた、その縮図に過ぎない。
今日という日は、僕の知的なリズムに乱れを生じさせた。朝はいつも通り決められたルーティンで始めた。7時整に起床し、まず歯を120秒正確に磨いた。その後、オートミールとスクランブルエッグを、タンパク質と炭水化物の最適な比率で摂取した。ルームメイトは僕の規律を理解しようともしないでコーヒーをこぼし、キッチンに一瞬カオス的初期条件を作り出した。その瞬間に僕の頭の中では、弦理論における境界条件問題の初期値敏感性と完全に同型な不快感が広がった。
僕は午前中を使って、dS背景における超弦理論の非摂動的定式化の可能性について考え続けた。アディンクラ(supermultipletの可視化手法)をdS/CFT的枠組みで拡張する試みは、AdS/CFTのきれいなホログラフィック辞書と違い、群表現の非ユニタリ性が問題を引き起こす。だが、ここにこそ突破口があると考えている。通常の弦理論的真空はAdSやMinkowskiを基盤にして安定化されるが、dSでは不安定性が恒常的に残る。しかし、もしも境界条件を「量子情報幾何学的な状態多様体」として扱い、そこにFisher情報計量を組み込めば、エンタングルメントエントロピーの正則化と一緒に新しい自己無撞着な枠組みが構築できる可能性がある。僕は昼食中もこの数式を頭の中で展開していた。隣人がテレビでどうでもいいドラマを流していたせいで集中が一瞬途切れたが、幸いにも僕のワーキングメモリは平均的ヒトのそれを圧倒的に凌駕しているので支障はない。
午後は週刊コミックの新刊を入手した。バットマンの最新号では、またしてもゴッサムの治安は壊滅的だ。正直に言うと、僕ならバットマンのように非効率な格闘を選ばず、まず量子暗号通信を導入して都市の情報ネットワークを完全掌握するだろう。だが作者が物理学的合理性よりもドラマ性を優先するのは理解できる。僕は同じく収集しているフラッシュのバックナンバーも読み返したが、相対論的効果の扱いが毎回不正確で失望する。光速に近い走行をしているのに時間膨張や質量増加を無視するのは科学的犯罪に等しい。
夜は友人たちとオンラインでカタンの開拓者たちをプレイした。僕は当然ながら資源分布をエントロピー最小化の観点から最適化し、交易を線形計画問題に帰着させて勝利した。彼らは「ゲームなのに楽しんでいない」と不満を述べたが、それは誤りだ。僕にとって勝利すること自体が最大の快楽であり、規則正しい戦略的優位性を確認することが娯楽なのだ。
寝る前にもう一度、歯を120秒磨いた。僕の睡眠は必ず21時42分に始まる。もしそれが1分でもずれると、翌日の全ての計算に誤差が生じる。ルームメイトがまた騒がしい生活習慣で僕の理想的な初期条件を乱さないことを願う。明日はさらに複雑な弦理論的計算を進めたい。特に、非可換幾何に基づく新しいブレーン安定化機構を検討する予定だ。これがもしうまくいけば、ウィッテンですら首をひねるだろう。
僕は眠りにつく前に、今日も世界が僕の計画通りに回っていないことを嘆いた。だが少なくとも、僕自身のルーティンと頭脳は完全に回転している。これ以上完璧なことがあるだろうか。
昨日は日曜日であった。
したがって、日曜用のルーティンに従った。
午前6時55分に起床、7時15分にオートミールを開始。粒子の無秩序な拡散が統計力学に従うように、僕の日課もまた厳格に支配されている。
朝食後、僕はCalabi–Yau三次元多様体におけるホモロジー群の壁越え現象とN=2超対称的世界面理論におけるBPS状態の安定性を再検討した。
通常、専門家であってもモジュライ空間における壁越え（wall-crossing）は曖昧な比喩で済ませる。
しかし僕は昨日、Kontsevich–Soibelmanの壁越え公式を非摂動的補正を含む形で、実際の物理的スペクトルに対応させることに成功した。
問題の核心は次の点にある。Calabi–Yauの三次元特異点に局在するDブレーンの安定性は、直感的なトポロジーでは決して記述できない。
むしろそれはモチーフ的Donaldson–Thomas不変量と深く結びついており、これを扱うにはホモロジカル鏡映対称性と非可換変形理論を同時に理解していなければならない。
昨日、僕はその両者を結びつけ、量子補正されたブリッジランド安定性条件が実際に物理スペクトルの生成消滅と一致することを示した。
これを実際に理解できる人間は、世界でも片手で数えられるだろう。
昼食には日曜恒例のタイ料理を食べた。
ルームメイトはなぜ毎週同じものを食べるのかと尋ねたが、それはエントロピーの増大を制御する試みである。
食事の変動を最小化することで、僕の脳内リソースを物理学的難問に集中できるのだ。
しかし、彼らが戦術的に無意味な突撃を繰り返すたびに、僕は思考を4次元超曲面上のゲージ場のモノドロミーへと戻していた。
ゲームのリスポーンは、トポロジカル量子場理論における不変量の再出現と驚くほど類似している。
僕はゲームの各局面をゲージ場構成の異なる真空遷移として解析したが、彼らにはその深遠さは理解できなかった。
スピードフォースの異常を、僕は時空の計量が非可換幾何により修正された場合の有効理論として再定式化してみた。
通常の物理学者ならコミック的フィクションと切り捨てるところを、僕はモジュライ空間の虚数方向における解析接続として解釈したのである。
結果として、作中の時間遡行現象は、M理論のフラックスコンパクト化における非局所効果で説明できることが分かった。
夜は22時に就寝。日曜日という閉じた系は、僕にとって「物理学の非摂動的側面を試す実験場」であり、同時に秩序ある生活習慣という境界条件に支えられた完結したトポスである。
今日（月曜）は、昨日の計算を研究室に持ち込み、同僚が一切理解できないことを確認する予定だ。確認作業自体が、僕にとっては一種の実験である。予測通り、彼らは理解できないだろう。
昨日は土曜日だった。
土曜日は、僕にとって秩序と自由のあいだの緊張状態を実験する日である。
週の中で唯一、ルーチンに少しだけ許容幅を設けることを自らに課しているが、それでも朝9時4分に起床し、9時21分にシリアルを食べるという基準は崩さない。
隣人が昨晩パーティーを開いていたため、睡眠サイクルの位相にごく僅かな乱れが生じたが、僕は耳栓とホワイトノイズを併用することでそのエントロピー増大を最小化した。
さて、昨日の午後、僕は久しぶりに弦理論の数理的基盤に没頭した。
とりわけ、Calabi–Yau多様体上のホモロジー群の構造と、世界面上のN=2超対称性との対応関係に関する問題である。
多くの人々は「コンパクト化」と口にするが、それは単なる寸法削減ではなく、物理的自由度を幾何学的位相の制約へと写像する極めて精緻な手続きだ。
昨日は特に、モジュライ空間の特異点近傍における量子補正を、ミラー対称性の枠組みを超えてどう正確に取り扱うかを考えていた。
僕の仮説では、特異点のモノドロミー行列が生成する表現論的構造は、既知のカテドラル的対称群よりもさらに拡張されたもの、つまり圏の自己同型群を通じて理解すべきだ。
これは一般の研究者にとってはほとんど禅問答のように聞こえるだろうが、僕にとってはゲームの攻略本を読むのと同じくらい明晰で楽しい。
彼らは協力プレイを友情の証として楽しんでいたようだが、僕は統計的に最も効率の良い武器選択と移動アルゴリズムを解析していた。
結局のところ、彼らは楽しむという主観的満足に依存しているのに対し、僕は最適化された成果を追求しているのだ。
誰がより理性的かは明白だろう。
ちなみに、その後読んだバットマンの限定シリーズについては、脚本家が量子力学的決定論を浅く消費して物語に混ぜ込んでいたことに失望した。
せめてデコヒーレンスと多世界解釈の区別くらい理解してから物語に組み込むべきだ。
夜には入浴の時間を通常通り19時から開始し、19時30分に終了した。
石鹸は3回転させてから使用し、シャンプーはボトルを押す圧力を毎回一定にすることで使用量の偏差を最小化した。
これは些末なように見えるが、僕にとっては宇宙の安定性を保証する境界条件の一部だ。
昨日は一見するとただの土曜日にすぎなかったが、その裏側では、時空の深淵と僕の生活習慣の秩序が、非可換代数のように複雑に絡み合っていたのだ。
今日、日曜日は掃除の日である。僕はすでに掃除機の経路を最適化したマップを作成済みだ。ルームメイトがまた不用意に椅子の位置を動かさないことを祈るばかりである。
https://b.hatena.ne.jp/entry/4772846290803510209/comment/mahal
id:mahal このレベルまで来ると、やはり参政党人気って「世田谷自然左翼」的なものではなく、「アカっぽさを嫌気する生活保守層に見合う野党需要」が原動力になってるという読み筋になるかな(つまり玉木が悪い
こういうカジュアルに「世田谷区民」に対して差別的な造語を使うの、ほんとどうかしてる。しかも、参政党批判の文脈でというところが更に。
自分が政治的な賢さを持っていると勘違いしているのかもしれないが、国とか都道府県を対象に表現しても「差別だ」と非難されるのが当然の現在において、区市町村レベルまで具体的に差別的表現を当てはめている、その愚かさを先ず自覚すべき。
そして、このコメントに何も考えずに星を着ける奴らも同様。
愚かすぎて、問題点が理解出来ないかもしれないのでChatGPTに説明文を作ってもらったのをつけておく。
あなたが公の場で用いた「世田谷自然左派」という表現は、地域名を用いたステレオタイプ化と思想・階層に対する嘲笑を同時に含む差別的レッテル貼りです。
以下、その問題点と影響、そして今後求められる建設的な姿勢について詳述します。
今回の表現は地域・階層・思想の違いを「対立と嘲笑」の構図に貶めるものであり、世田谷区民のみならず健全な公共圏に損害を与えます。
今後、同様の差別的表現を使用しないことを強く求めるとともに、誠実で根拠に基づく対話にご協力いただけますようお願い申し上げます。
端的に言えば、ある物理理論におけるAブレーンが作る世界の構造（圏）と、その双対理論におけるBブレーンが作る世界の構造（圏）が一致するという物理的な要請が、数学上の「幾何学的ラングランズ対応」という予想そのものを導き出す、という驚くべき対応関係が存在する。
AブレーンとBブレーンは、超弦理論において「D-ブレーン」と呼ばれる時空に広がる膜のようなオブジェクトの特殊なもの。
これらはホモロジカルミラー対称性という予想の文脈で役割を果たす。
シンプレクティック幾何学における「ラグランジアン部分多様体」に対応。これは、時空の「位置」に関する情報を主に捉える対象。
Aブレーン全体の集まりは、「深谷圏 (Fukaya category)」と呼ばれる数学的な圏を構成。
代数幾何学における「正則部分多様体」や「連接層」に対応。これは、時空の「複素構造」やその上の場の状態に関する情報を捉える対象。
Bブレーン全体の集まりは、「連接層の導来圏 (derived category of coherent sheaves)」と呼ばれる圏を構成。
ある空間（カラビ・ヤウ多様体 X）のAブレーンが作る世界（深谷圏）が、それとは見た目が全く異なる「ミラー」な空間 Y のBブレーンが作る世界（導来圏）と、数学的に完全に等価（同値）である、という予想。
ラングランズプログラムは、現代数学で最も重要な予想の一つで、「数論」と「表現論（解析学）」という二つの大きな分野の間に、深い対応関係があることを主張。
1. 数論側: 曲線 C 上の「G-局所系」の圏。ここで G はリー群。これはガロア表現の幾何学的な類似物と見なせる。
2.表現論側: 曲線 C 上の「ᴸG-D-加群」の圏。ここで ᴸG は G のラングランズ双対群。これは保型形式の幾何学的な類似物。
つまり、C上のG-局所系の圏 ≅ C上のᴸG-D-加群の圏 というのが、幾何学的ラングランズ対応。
この一見無関係な二つの世界を結びつけたのが、物理学者アントン・カプスティンとエドワード・ウィッテンの研究。
彼らは、N=4 超対称ゲージ理論という物理理論を用いることで、幾何学的ラングランズ対応が物理現象として自然に現れることを示した。
彼らが考えたのは、リーマン面（代数曲線）C 上のゲージ理論。
これは、ゲージ群が G で結合定数が g の理論と、ゲージ群がラングランズ双対群 ᴸG で結合定数が 1/g の理論が、物理的に全く同じ現象を記述するというもの。
このゲージ理論には、「ループ演算子」と呼ばれる重要な物理量が存在し、それらがブレーンに対応。
S-双対性は、G理論と ᴸG理論が物理的に等価であることを保証。
したがって、一方の理論の物理的な対象は、もう一方の理論の何らかの物理的な対象に対応しなければならない。
カプスティンとウィッテンが示したのは、このS-双対性によって、G理論の A-ブレーン ( 't Hooftループ) の世界と、その双対である ᴸG理論の B-ブレーン(Hecke固有層) の世界が、入れ替わるということ。
物理的に等価である以上、この二つの圏は数学的にも同値でなければならない。そして、この圏の同値性こそが、数学者が予想していた幾何学的ラングランズ対応そのものだった。
このようにして、弦理論の幾何学的な概念であるAブレーンとBブレーンは、ゲージ理論のS-双対性を媒介として、純粋数論の金字塔であるラングランズプログラムと深く結びつけられた。
若き者よ、君に抽象の森へと案内しよう。
位相的M理論とラングランズ・プログラムの関係性を辿るには、まず両者が共有している「場の言語」を抽出しなければならない。
ここでは、物理の言語がゲージ理論を媒介とし、数学の言語が圏と層を媒介して互いに翻訳される。だからこそ、双方は互いに異なる起源を持ちながらも「双対性」という共通の振る舞いを示す。
まず、M理論の位相的変種は、物理学の側から見ると六次元 (2,0) 超対称場理論に起源を持つ。
これをコンパクト化していくと四次元のN=4 超対称ヤン＝ミルズ理論に到達する。
ここで特筆すべきはS-双対性。ヤン＝ミルズ理論において、結合定数 g を持つ理論は、結合定数 1/g を持つ理論と同値になる。この双対性がラングランズ対応の物理的な影となる。
一方、ラングランズ・プログラムは数論的対象や代数幾何的対象を表現する表現論の枠組みだ。
群の表現、特にループ群やアフィンリー代数の表現が中枢を成す。幾何ラングランズ対応においては、層の圏 (例えばD-加群の圏) が表層に現れる。
ここでリンクする。幾何ラングランズ対応では、層の圏と局所系の圏との間に双対性が存在する。この双対性はS-双対性と数学的に対応する。
要するに、物理的には「電荷と磁荷の入れ替え」、数学的には「表現と層の入れ替え」だ。
具体的には次のような対応が生じる。
例えば、曲線C上のG-束のモジュライ空間M_G(C) を考える。このモジュライ空間上のHitchin fibrationは物理的にはクーロン枝と呼ばれる真空の空間に対応し、シンプレクティック構造を持つ。
さらに、その上で考えるFukaya圏とB型模型の圏の間に現れるホモロジー的ミラー対称性がラングランズ双対群に関する対応を生み出す。
式で描くならば
ここで、G はあるコンパクト単純リー群であり、^G はそのラングランズ双対群、τ は結合定数。
さらに深く潜ると、S-duality は境界条件として D-brane の理論を誘導し、その圏がラングランズ対応の圏と一致する。
具体的には、M理論のcompactification が (2,0)theoryから N=4 SYM を生み、その電磁双対性が幾何ラングランズの圏同値と直交する。
まとめると、両者は「双対性」の抽象的枠組みの中で統一される。
位相的M理論は物理的な場の変換として双対性を体現し、ラングランズ・プログラムは数論的対象の間の対応として双対性を記述する。どちらも根底にあるのは、対象の自己鏡映的な変換構造。
若き者よ、君はすでに入口に立っている。
次なる問いを君に投げかけよう。
「もし位相的M理論が六次元 (2,0)理論から始まるならば、なぜ五次元ではなく四次元に還元する必要があるのか？選択肢は以下の通りだ。」
d. 六次元から四次元へのコンパクト化が物理的に必然であるから
100%の自由意志というのを信じていないというか、人間の行動ってその人の生まれた性質とか環境によっていかようにも左右されてしまうし運もあると思ってる(生まれつき善悪の区別や他人の心が分からないとか、物事の因果推論能力が不十分とか、辛い境遇で心を病んでしまったとか)。
人は、そういう初期条件や境界条件やランダム性の巡り合わせによって、やがて犯罪に至るのだと思うと、自分が何かの拍子でいつそういう振る舞いをするステージに踏み込んでしまうか分からない、もしくは生まれが違ったらあの人の場所には自分がいたかも知れない、と思うと、必ずしも相手を悪と断じることができないと思ってしまうな。
近年、量子情報理論と基礎物理学の交差点において、時間の一方向性の起源に関する新たな議論が活発化している。
従来の熱力学第二法則に基づくエントロピー増大則による説明を超え、量子削除不可能定理や量子情報の保存原理が時間の矢の根本原因であるとする仮説が注目を集めている。
本稿では、量子情報理論の最新成果と従来の熱力学的アプローチを統合的に分析し、時間の不可逆性の本質に迫る。
量子削除不可能定理は、任意の未知の量子状態の2つのコピーが与えられた場合、量子力学的操作を用いて片方を削除することが原理的に不可能であることを示す[1]。この定理の数学的表現は、ユニタリ変換Uによる状態変化：
U|\psi \rangle _{A}|\psi \rangle _{B}|A\rangle _{C}=|\psi \rangle _{A}|0\rangle _{B}|A'\rangle _{C}
が任意のψに対して成立しないことを証明する。この非存在定理は量子力学の線形性に根ざしており、量子情報の完全な消去が禁止されることを意味する[1]。
特筆すべきは、この定理が量子複製不可能定理の時間反転双対である点である[1]。複製不可能性が未来方向の情報拡散を制限するのに対し、削除不可能性は過去方向の情報消失を阻止する。この双対性は、量子力学の時間反転対称性と深く共鳴しており、情報保存の観点から時間の双方向性を保証するメカニズムとして機能しうる。
従来、時間の不可逆性は主に熱力学第二法則によって説明されてきた。エントロピー増大則は、孤立系が平衡状態に向かう不可逆的過程を記述する[6]。近年の研究では、量子多体系の熱平衡化現象がシュレーディンガー方程式から導出され、ミクロな可逆性とマクロな不可逆性の架橋が進んでいる[2][6]。東京大学の研究チームは、量子力学の基本原理から熱力学第二法則を導出することに成功し、時間の矢の起源を量子多体系の動的性質に求める新たな視点を提示した[6]。
量子力学の時間発展方程式は時間反転対称性を持つが、実際の物理過程では初期条件の指定が不可欠である[5]。羽田野直道の研究によれば、励起状態の減衰解と成長解が数学的に同等に存在するにもかかわらず、自然界では減衰解が選択される[5]。この非対称性は、宇宙の初期条件に由来する可能性が指摘されており、量子情報の保存則が境界条件の選択に制約を与えている可能性がある。
Maxwellのデーモン思考実験に関連する研究[4]は、情報のアクセス可能性が熱力学的不可逆性を生み出すことを示唆する。量子削除不可能定理は、情報の完全な消去を禁止することで、情報アクセスの非対称性を本質的に規定している。この非対称性が、エントロピー増大の方向性を決定する一因となりうる。
サリー大学の画期的な研究[3]は、量子系において双方向の時間矢が共存しうることを実証した。開量子系の動力学を記述する非マルコフ方程式の解析から、エントロピーが未来方向と過去方向に同時に増大する可能性が示された[3]。この発見は、量子削除不可能定理が保証する情報保存性が、時間矢の分岐現象を支える数学的構造と深く関連していることを暗示する。
量子状態空間の情報幾何学的構造を時間発展の基盤とみなす視点が注目を集めている。量子多様体上の確率分布のダイナミクスを記述する際、削除不可能定理は接続係数の非対称性として現れ、これが時間矢の幾何学的起源となりうる。このアプローチでは、エントロピー勾配と量子情報計量が時空構造と相互作用する新たな枠組みが構想される。
量子重力理論の観点から、宇宙の初期状態における量子情報の配置が現在観測される時間の非対称性を決定した可能性がある。削除不可能定理が保証する情報保存則は、初期宇宙の量子状態の選択に根本的な制約を課し、結果として熱力学的时间矢が出現するメカニズムを提供しうる。
本分析から得られる重要な知見は、量子削除不可能定理が単独で時間の矢を説明するのではなく、情報保存原理が熱力学的不可逆性と量子力学的境界条件選択を媒介する階層的メカニズムを構成している点である。
時間の一方向性は、量子情報の保存性、多体系の熱平衡化動力学、宇宙論的初期条件が織りなす創発現象と解釈できる。
今後の研究では、量子情報理論と一般相対論の統合による時空構造の再解釈が鍵となるだろう。
Citations:
[2]https://noneq.c.u-tokyo.ac.jp/wp-content/uploads/2021/10/Kaisetsu_KIS2018.pdf
[4]http://cat.phys.s.u-tokyo.ac.jp/~ueda/27.pdf
[5]https://www.yamadazaidan.jp/event/koukankai/2014_3.pdf
午前7時。起床。ルーティン通り、室温22℃、湿度50%に調整されていることを確認。朝食はオートミール37g、無脂肪牛乳240ml、ブルーベリー7粒。完璧だ。
午前8時。World of Warcraftログイン。今日はレイド「アンダーロット」の日だ。僕のソーサラーはギルド内でもトップクラスのDPSを誇る。無論、最適化されたスキル回し、完璧な装備、そして何よりも僕の卓越した知能の賜物であることは言うまでもない。
午後1時。休憩。昼食はチキンサラダサンドイッチ、全粒粉パン使用。マヨネーズの量は厳密に12g。
午後2時。超弦理論の研究。今日は特にtopologicalstringに焦点を当てる。nLabの記事（https://ncatlab.org/nlab/show/topological+string ）は非常に有用だが、いくつかの記述には些か曖昧な点が見受けられる。例えば、Gromov-Witten不変量とChern-Simons理論の間の関係についての記述は、もう少し厳密に定式化されるべきだろう。特に、open topologicalstringにおける境界条件の選択が、導かれる物理理論にどのような影響を与えるのか、という点は未だ完全には解明されていない。
午後4時。再びWorld of Warcraft。今日はPvPアリーナに挑戦。無論、僕のチームは圧倒的な勝利を収めた。相手チームの戦略は稚拙としか言いようがなく、僕の高度な戦術眼の前には為す術がなかったようだ。
もう一度topologicalstringに関する論文に目を通す。Calabi-Yau多様体上のtopologicalstringの分配関数が、ある種のモジュラー形式と関連しているという事実は興味深いが、その背後にある幾何学的意味は未だ完全には理解されていない。この問題は、僕の今後の研究テーマの一つとなるだろう。
午後6時。夕食。ベイクドサーモン、アスパラガス添え。付け合わせのマッシュポテトはジャガイモの種類まで指定して調理してもらった。
馬鹿だなぁ。
Teslaは世界一、世界で先進的とかいう割に負けてるのを受け入れられないんじゃん。
トヨタもレクサスにLiDAR追加してレベル3リリース間近だし、BMWもあとちょっとだし負けたのを受け入れろよ。
馬鹿だと、Deep Learningについて詳しくなくてデータ量さえ集めたら勝ちだと思ってるかも知れないが、
レベル3自動運転みたいなのは実験条件揃えて、きちんと境界条件のデータを集めるのが重要だし、
いくら処理を自動化しても収集したデータももきちんと加工してやらないと使い物にならないゴミの山なるだけだから、
Teslaみたいにβ版方式でやってたら事故多発するだけで失敗するぞ。
EVとしてのTeslaは終わった。
ブラック企業という言葉が市民権を得てしばらく経ちますね。毎年、ブラック企業大賞なるものが発表され、だれもが聞いたことのあるような企業が名を連ねます。それに対し、ブラック研究室という言葉も有名なものの、どこの研究室がブラックだとかいった情報は大学内部の学生でないとなかなか知りえないものがあります。ましてや研究室の内情は所属している学生しか分かりません。
今回は、そんな研究室の中でも異質なケースとして、自分が修士課程の2年間過ごした研究室の話をみなさんに紹介したいと思い、筆を執りました。必ずしも拘束時間が長く、人格否定を行うような研究室だけが悪い環境ではないということ、メディアなどでよく見かけ、有名で人気な研究室が良い環境であるとは言えないということだけでも皆さんに覚えていただきたいです。後進の方々の研究室選びの参考に少しでもなれば幸いです。
第一に、とにかく人員が不足していたというのがあります。まず、先生(教授・講師)はあまり研究室にいませんでした。先生たちは予算の獲得や大学内外の事務に追われるため、多忙になります。基本的に助教や研究員・博士課程の方が下の修士・学士課程の学生の面倒を見ることになります。これだけなら普通なのですが、先生が後先考えずにどんどん仕事を受けてしまうことにより、プロジェクトに対して人間が足りていない状況が常に生じます。（先生曰く「断るの苦手なんだよね～」とのこと。）その仕事は研究だけではなく、各メディアの取材や研究室見学など多岐にわたります。自分が研究室に配属されて一年は、講義を受けるほかに、（詳しくは後述しますが）研究室の立ち上げ用に物を発注したり組み立てたり、見学者対応をやる日々で、ほとんど研究はしなかったように思います。さらに、月一くらいの頻度で（今はだいぶ減りましたが）先生のお友達を呼んで講演兼パーティーをやる準備や、先生の思い付きで増える仕事などに日々忙殺されていました。また、インターンやアルバイトといった形で外部の学生を呼んで研究してもらうこともあり、その人達は雑用をする義務はなくお金をもらいながら成果を出していたのに対し、学費を払っている学生は雑用に追われるといった状況もありました。事務スタッフも教授が所属している社団法人の経理をさせられたり、共同研究先の企業から出向(?)の形で来てた研究員の方も、後述の巨大予算の運営周りの仕事をやらされたりとひどい状況でした。
第二に、新設の研究室で、研究を行う環境づくりをゼロから始めなければいけないことがありました。これは事前からわかっていたことではありましたが、自分の想像以上の大変さでした。情報系の研究室なんて机と椅子とPCを発注すれば、あとは個々人の研究に応じて必要なものを買い足していくだけだろうと思っていました。しかし、先生の方針で、リビングラボという生活空間と研究室が融合したような形態でラボを運営することが決まっていたため、それを満たすような研究室の構築に修士の最初の一年は消えました。なぜ一年もこのようなことをしていたのかというと、9月ごろに先生がとある巨大予算を獲得し、学生・スタッフを増員するとの方針でキャンパスを移動することに決まったからです。一度ゼロから作り上げた研究室をもう一度ゼロから作り上げることになりました。自分としてはキャンパス移動ですら最初に聞いていた話と違うので、とても不満に思いました。通学時間も10倍以上増え、それだけでも大きな負担となりました。（授業は元のキャンパスでやることがほとんどで引っ越すわけにもいきませんでした。）
このような状態でまともに研究が回るはずもなく、助教（自分の所属する学科・専攻で博士までとった唯一の人）はやめてしまいました。そこから、特任研究員の方に学生指導の仕事が集中します。（本来、特任研究員は助教とは違い、学生の指導ではなく自分の研究に専念するという名目で雇用されます。）そして、社会人博士の方がその有能さゆえに研究室内の仕事を一手に引き受けこなしてくれたおかげでなんとかなっていた（?）のですが、当然彼らも自分の研究は進みません。
第三に、教授・講師間でうまく連携が取れていなかったようにも感じました。二人とも物事を放置・後回しにしたり散発的に進んだりと、計画性とは無縁の進行でした。ミーティングでもその場の思い付きのアイデアで話を発散させるばかりで収束には向かわず、学生はどうしたらいいか当惑することが多かったです．
さらに、二人の共感性の低さも研究室内の人間関係に大きくヒビを入れていました。特に事務の方々への接し方や飲み会の席（講師は酒を飲まないので主に教授ですが）での学生に対する発言は聞くに堪えないものがありました。（詳しくは後述）
また、学内の期限(修論の題目の提出など)を過ぎてから学生に通知したりと時間・期限に非常にルーズでした。そのことを詫びる様子もなく平然としている様子も腹が立ちました。その結果、学生や事務員が期限を守らない印象を外部に与えていたのではないかと懸念しています。
オーサーシップ周りに関しても不満が残りました。これは自分ではないのですが、大して面倒を見てたわけでもないのに、camera readyになって急に講師が「見るからオーサーに載せろ」と主張してくることがありました。教授もゴーストオーサーの常連だからかそれには強く言わず結果的に受け入れられる形となりました。学生側としては教員陣の命令に背くわけにもいきませんしね。(この話に関しては、この研究室に限らず、分野としてそういう傾向があるのかなあと思います。他研究室の話は詳しく知りませんが。)
このように研究室としての体を全くなしておらず、自分を含め最初3人いた同期修了出来たのは自分だけで、1人が休学、1人が留年という形になりました。（もう一人修了者はいますが、別の研究室がなくなった結果移ってきた人です。）
次に、研究室の主である教授の性格が合わず、人間として尊敬できなかったということについて話したいと思います。上司と合わないということはよくあることだと思いますが、よくあることだからこそ、記しておきます。
初めに、衝動的な発言や暴言が多く看過できないということがありました。衝動的気質に相まって、酒癖の悪さがそれを助長していました。例えば、論文を提出できなかった学生に対して「負け犬じゃん」といったり、昔自死した学生に対して「勝手に死んだんじゃん」などといったことがありました。（なお、これらの発言は学生や職員に窘められ即座に撤回しましたが、そう思っていたという事実は消えないと思います）。その他にも配慮のない発言が多くありました。
また、自己顕示欲の強さとマウンティング(いわゆるイキり)が挙げられます。「君たちは潤沢な資金のあって、待遇のいいこの研究室に来てラッキーだ」などといった身内へのイキりを聞いた時は、上で書いたような現状に疲弊していた自分の感情を逆なでするのには十分でした。また、自分は偉く、自分が言ったことはどんな無茶でも通ると思っているきらいがあり、無茶な予算申請で事務の人を疲弊させることが多くありました。それにあきれ果てた事務の人が次々とやめることがあり、その結果事務仕事が逼迫することもありました。怪しい予算の使い方をしていて、機構の人に怒られたみたいな話を聞きました。大学に目をつけられているのはいわずもがな。
内弁慶というわけではなく、外部の人間に対しても自分を良く見せようとしていることが多く、鼻につくこともありました。自分にはこのような先生の在り方が、いわゆる口だけの軽薄な人間に感じられてしまいました。いい環境を作りたいとは口では言いつつも自分は何もせず下の人間が苦労したり（「然るべきとき然るべき場所」というアイバン・サザランドの言葉をよく引用しますが、これが「然るべき場所」なら笑止です。）、自分は人脈のハブだといいつつスタッフをなかなか引っ張って来れなかったり(前の大学にいるときこの業界で悪評が立ち、人が来たがらないとの噂)とあきれかえることが多かったです。他にも「教育が最優先」と口では言いつつも後回しにしたり、下の人間に任せているようなことなどとにかく「口だけの人間」というイメージです。隔月で1回20分ほどの面談で教育したということなのでしょうか。
専門用語を拡大解釈して援用することで知識人を気取るようなスタンスが多く見受けられたのも癪に障りました。例えば、「インピーダンスマッチング」という、高周波の電気信号の伝送路において、入力と出力のインピーダンス（電圧を電流で割った値で直流回路では抵抗にあたります）を合わせるという意味の言葉があります。この単語は力学などでも用いられます（こういった多分野に共通する背景理論を研究しようという思想を持っているのが我が学科・専攻です）が、これを特に理論的背景もなく「折り合いをつける」くらいの意味で使って、さも各分野に精通している感を醸し出すことに長けていました。他には「バウンダリーコンディション」とかもありますね。微分方程式で言うところの境界条件です。これを前提・条件みたいな意味で使います。（こちらについては検索すると若干引っ掛かりますが。）これらにツッコミを入れた学生は以降食事会に呼ばれなくなりました。自分に媚を売らない用済みな人間は簡単に切り捨てるようです。こういった拡大解釈した単語を用いてアナロジーを使い、自分の分野に話を引き寄せるのは上手いなと感じていて、知識がない人を煙に巻いたうえで自分の得意技を披露するのは、非常に参考になると思いました。
3つ目に研究分野であるHCI研究(と研究者コミュニティ)との不適合について書きたいと思います。これは研究室自体の問題というより、自分との相性の問題ですが、研究に着手できなかった大きな要因のひとつです。
そもそも、自分はどちらかというと、巨大で合ったり高性能であったりするものを着実に組み上げていくのが好きで、アイデア勝負だったり、プロトタイピングといった手法だったりが受け付けなかったというのがあります（同じような人のエントリ https://swimath2.hatenablog.com/entry/2018/07/30/205255）。
また、この研究分野は、一見役立たなさそうなおもちゃのようなものに、理屈をこねくり回して正当化させるのが多いように感じ(もちろんすべての研究がそうというわけではありません)、興ざめしてしまったのも要因の一つです。元々内向的な性格なのもあって、自我・意識などに興味があり、ならば「人に興味があるということであり、工学的なアプローチで人の研究をやれるのはこの分野だろう」という薄い理由で選んだのもあって、この不適合はモチベーションに意外と大きく関わりました。学部時代の成績は良い方で（必要な進振り点はそこそこの学科でしたが、コース内ではトップクラスと周りには言われていました）院試も第一希望で通りましたが、勉強ができるということが研究できるというわけではないという言葉を痛感しました。ただ、この研究室を選ばなければ、自分ももっと研究が出来ていたのではないかと思い、研究室の選択を毎日後悔しています。
それではなぜ、このような大きな問題点が数多く存在しながら、この研究室に進学してしまったのでしょうか？
第一に、自分の所属していた学科は、院試が卒論の研究室配属より前に存在し（実質4か月で卒論を書かないといけないのです）、自分の研究および研究室への適性がいまいちわからないまま、修士で進学する研究室を決めなければいけないという点が挙げられます。(一応研究室に配属されてプチ研究のようなことをするのですが、研究室生活とは程遠いので参考にするのは難しいです） それに加え、卒論の研究室と修論の研究室を別にするという慣習があり、卒論配属後合わないから冬入試を受けようというのも難しいです。
第二に、サークルの先輩(同じ研究室ではないです)にこの研究室を勧められたというのがあります。サークルの飲み会の時に、同じ分野で研究をしている先輩に、「この研究室はいいところだし、一期生として面倒を見てくれる」と勧められたというのがありました。当時は若く、盲目的に先輩の話を信じてしまいました。悪い噂が流れてこないなら大丈夫だろうと。それに先生の記事はネット上で見たこともあり、先生の研究も科学雑誌を通して知っていたこともありました。学科内でも新設の研究室に関わらず人気があり、これは安パイだろうと考えていました。今考えると人気・有名だから自分にとっていい環境だろうと考えるとは愚かなことです。(ちなみに、この先輩はD取得後うちの研究室の内定を蹴り、他の研究室のポストに就くそうです。)
第三に、一番重要ともいえる点ですが、上でも書いた通り自分の大学では新設の研究室で、情報が流れてこなかったというのがあります。今思えば前の大学のOBの方などに話を伺うなどをすればよかったとも思いますが、学部の勉強やサークルに追われていてそこまで気が回らなかったし、回っていたとしてもする余裕まであったかわかりません。しかしながら、新設の研究室に進学するというのは大きなリスクをはらんでいるということはもっとしっかりと自覚するべきでした。これを読んでいる方でもし新設の研究室に行くという人がいれば、もう一度自分の選択をよく考え直してほしいです。
ブラック研究室といえば、拘束時間が長いとか日常的な人格否定などがやり玉に挙げられやすいですが、最近では放置系ブラックなどという言葉も耳にする通り、劣悪な環境というのは色々な形で存在しています。また、他人にとっての良い環境が自分にとっても良いとは限りません。トルストイは著作に「幸せな家族はどれもみな同じようにみえるが、不幸な家族にはそれぞれの不幸の形がある」（望月哲男訳、光文社古典新訳文庫）との言葉を残しています。研究室も一つの小さなコミュニティであり、同じことが言えるのではないでしょうか。これから研究室に配属される人には慎重に自分の進路を考えていただきたいと思います。このエントリを通して構成員がみんな幸せになるような運営に変わってくれると嬉しいです。
文字数制限に引っかかってしまったのでコメントに追記します。長文で申し訳ないです。
Permalink |記事への反応(22) | 03:49
http://anond.hatelabo.jp/20170525162032
162cの４年以上の犯罪を組織的犯罪集団の活動の一部として合意した場合、共謀罪が成立する、という段のところ。
Norsk-English-日本語の順で訳したので、正確性は低いでしょうが、大まかに議論の内容がわかってきました。
これ日本でもたまにありますが、複数案が用意されていました。またそれぞれの案のメリット・デメリットについて、高裁、検事、弁護士グループ、マスメディアなどに意見聴取しています。それぞれの意見が述べられています。多くの団体は、参加罪の有罪の境界条件判定が難しいことを理由に共謀罪を支持しています。共謀罪は既に、内乱や殺人などについて経験が有るから、前例に従ってできる。結社の自由はノルウェーの憲法では明記されていないが、人権上問題があることを理由に反対しています。そのなかで、裁判所、検事は、共謀罪に反対しています。これが意外でしたが、共謀罪の表現は非常にあいまいで、合意があるかどうかについての証拠集めは難しい、これでは有罪判決を出すことはできないから空文化する恐れがある、それに対して参加罪なら参加しているかどうかの証拠を挙げるのはよりやりやすい、という主張をしています。この主張は2015年時点でも変わっていないようで、Convention against Corruptionの訪問調査においても、検事総長(Director of public Prosecutors)がそもそもノルウェーではごく限られた犯罪以外に準備行為すら犯罪化しておらず、49条や162条cのような条文があることは望ましくない、と回答しています。
特に新たな法律を導入しなくても、TOC条約を締結することはできる、という意見はノルウェー内でもあったようです。またこの条約が要求しているのは経済犯罪だけなので、経済犯罪だけに絞った対応も可能ではないか、という意見も出ています。これに対して、非常に広範な共謀罪規定がある国がある以上、条約の要請を忠実にfullfillしておくことで、ノルウェー人が海外でこの犯罪を犯した場合に国内で裁判を行えるようにしたい、という意見があり、対象犯罪を限定しないという結論になったようです。そのために刑法第12条に３、4項を追加する改正も同時に行われた模様。
委員会の議論の中では、裁判所や検察の意見に応じて、162cに明確な構成要件を追加するかどうかについても議論されています。
委員会は、本提案が、検察官に162cを用いて有罪にするために、特定の犯罪に対する合意が、4年以上の犯罪の規定でその有罪を十分に説明できるだけの証拠となることが必要となるであろうことをnoteする。また委員会は、この新設する162cによる有罪判決は、裁判所が、特定の犯罪に関連した合意の存在を認定した場合に成立することも合わせてnoteする。しかしながら委員会は、この犯罪の成立に特別な構成要件を求めるべきではない事にも同意する。しかし組織の活動としての明確な証拠が認定されない場合には、有罪を認定する十分な証拠が提示されているとは言えないこともnoteする。
Komiteen har merketsegat det i proposisjonen legges til grunnat det ikke skal væreet krav for domfellelseetterny straffeloven § 162 cat påtalemyndighetenkan føre bevis for hvilken konkret forbrytelseavtalen gjelder, så lengedenkan beviseat det gjelder en forbrytelse med en nedre strafferamme på minst 4 år.Komiteen antarat de fleste domfellelseneetter § 162 c vil bygge påat retten har funnet forbundet knyttet til konkrete forbrytelser.Komiteener enig iat det derimot ikke bør væreet krav tilat forbrytelsen konkretiseres, men bemerkerat hvis det ikke i det hele tatter ført bevis for noen hovedgrupperav handlinger, vil det være vanskelig å føre tilstrekkelige bevis for domfellelse.
ということなので、is to be commitedというのは単なる未来形を表しているだけで、要件は無い、という理解でいいようです。しかし検事がこの法律での有罪化は難しいと述べている通り、薬物犯罪で検挙された400ほどの例の捜査対象者900名ほどのうち、162cが適用されたのは5件というような状態になっているということは、やはりこのようなあいまいな表現をもって有罪にすることはノルウェーでは難しいという事なのでしょうか。 60aや162cのようなvague and circularな表現は弁護士にとって格好の攻撃材料になる、とFighting・・・の本にも書いてありました。
有罪判決は出ない、ということですが、捜査の対象にはなるだろうということですが、捜査令状の取得のためには、その疑惑について、裁判所に詳細を説明する必要がある、警察は令状を取得し、被疑者を逮捕した後、４時間以内に捜査の内容、それによって得られた容疑の内容、拘留の正当性についての書類を裁判所とEOSCommitteeに提出、裁判所は土日を除いて24時間以内に拘留を認めるか、仮釈放するかを決定するという手続きのようです。起訴の有無に関わらず、EOS committeeは捜査の妥当性について検証し、国会に報告する。ということのようです。EOS committee(Stortingets kontrollutvalg foretterretnings-, overvåkings-og sikkerhetstjeneste)は国会に任命される独立組織で、国の諜報活動、警察活動のすべてにアクセスできるということです。これがイギリスの例でも出てきたようなセーフガードなんでしょうね。ただし、ノルウェーでも2011年に大規模な個人によるテロ事件が起きたのち、インターネット空間をpublicスペースと規定し、その中でのテロリストの活動については、133条のテロ組織への勧誘行為を根拠にした監視の強化は進んでいるようです。
20年以上前、卒論の研究で、自分が設計した半導体デバイスの特性を計算するために、
境界条件がいろいろややこしいポワソン方程式（＝微分方程式の一種）をガシガシと解いて、
ベーシックでFOR -NEXT 構文使って数値計算してグラフ描いたなぁ。
ドットプリンタの出力が汚かったから、ロットリングペンと雲形定規で清書までして。
今はエクセルあるけど、そういう微分方程式を自分で解かないと、セルに入力する式が得られない。
何が言いたいかというと、暗記だけの数学しかやって来なかったら、
解けるかどうか分からない微分方程式を、「解こう」とチャレンジしなかっただろうなあ、ということ。
若いのにせっかくの学ぶ機会を潰してもったいないなあ、とオッサンは思う。
その、登る山を決めるにはどうしたらいいのだろうか？
説明できるような決め方があれば皆がやってるだろう。
俺は特に考えもせず興味を持つことをやってたらいつの間にか登ってたパターンなんで、幸運なのかもしれない。ただある程度登ったおかげで、「登ってみないとわからないことがある(というより、登ってみないとわからないことの方が多い)」ということに気づいた。
だから俺から言えるのは、本当に全く決められないなら、適当に仮決めしてとりあえず登ってみることだ。仮なんだから、サイコロ振ったっていいし、それじゃあんまりだと思うなら誰かロールモデルになりそうな人を見つけて、あの人の近くに行きたい、とか適当に理由を作れば良い。もしかすると数年無駄にするかもしれないが、その数年で学べるものは、多分麓で迷っているだけで得られるものよりずっと大きい。
効率最大化、なんて考えからすると数年無駄になんて出来ないと思うかもしれないが、最適化問題というのは境界条件が決まった中で答えを出すもので、分からない条件があれば答えはもともと出ないし、条件が変化すれば答えも変化する。最初から最適な道があるなんていうのは幻想。
境界条件が不変なら効用最大化ゲームの戦略はどんどん洗練されてゆく。
戦略がこれ以上不可能なところまで洗練されると、次はルールの検討ということになる。
ルールの書き換えをめぐってあからさまな嘘や直接的にルール決定過程にピンポイントで介入する暴力が発生するようになる。民主主義下ではまず「率先して衆愚となる」人々があらわれた。これは「数が力である」ことの当然の帰結となる。ともかくいろいろな人の話を聞いて問題を理解するのが大事、というが、問題をみんなが完全に理解していれば、理解していない振りをして自分の利害をごり押しするのがむしろ合理的だ。
ついには昔、工場もなく、肉の分け前や水利権をめぐって殺し合いをしていた人たちとなんら変わらないところまで人類は落ちぶれてゆくのかもしれない。あれは人類が愚かだったからでも、貧しかったからでもなくて、たぶん、自分たちの利害を理解しすぎていたのだ。
上司の立場になって考えてみると良いと思う。
元増田にとってジレンマになりそうなレベルの案件は上司にとっても元増田に任せて良いものかどうかのジレンマがあるはず。
仕事をこなせる出来るやつほど仕事を任せられるわけで、上司から見れば元増田の判断を見て評価をしているということ。
例に挙げているような極端な判断ではなく、日常業務での判断を見て仕事を与えているのがまともな上司。
例えば、こいつのやることなら多少のことは自分の裁量で何とか出来ると思えば自分の休みの日の値引きの判断を任せる。
任せられなきゃ「値引きはいくらまで」など境界条件を整えて仕事を落とすはず。
サーバー保守も判断できると思うから携帯も預ける。トラぶったので自分で判断して再起動しましたといわれるのを覚悟して。
そうじゃなきゃ任せない、と思う。
なので、日常業務で常に自分の判断を上司に提案することを積み上げておくのがいいと思う。
その判断に対する評価(正否）で自分の判断レベルが上司に近づいていく。
どうかな？
とはいえ、
上で誰かが書いてたけど、いろんな上司がいるからことは簡単にいかないんだけれどね。。。。。
まともな上司にめぐり合うことの方が少ないかもなあ。。。。
