  |
はてなキーワード:宣言とは
貴様は今日も設計を名乗りながら、プログラマーを手が速いだけの文字入力装置として扱い、仕様という名の曖昧な願望リストを投げつけ、実装フェーズで破裂する地雷原を育てていることと思う。
大変結構。地雷の栽培は趣味としては悪くない。だが仕事でやるな。
気分と希望と思いつきのトリプル放尿をPowerPointに整形しただけの、装飾付き未確定情報である。
そして貴様はそれを「この通りに作れ」と言う。
その資料には「整合性」「境界条件」「異常系」「性能要件」「運用」「データ整形」「責務分離」が存在しない。
あるのは雰囲気と矢印と、謎の箱だけ。
決めた上で、破綻しないように制約を置き、曖昧さを潰し、例外を定義し、トレードオフを明示し、運用まで見通す。
「たぶんこう」「いい感じで」「よしなに」で逃げる。
そして何より滑稽なのは、貴様がプログラマーを「タイピスト」だと思っていることである。
論理を構築している。
異常系の宇宙と格闘している。
データの整合性を守りながら、速度と保守性と拡張性の三つ巴の地獄で妥協点を探している。
簡単なら、お前がやれ。
だが現実は違う。
その地味さに耐えられず、見栄えだけの資料を作り、「設計完了」と言って会議室から消える。
そして炎上したら戻ってきて、こう言う。
「なんでこんな実装にしたの？」
それはお前が決めなかったからだ。
ここで貴様の最終奥義が出る。
「設計通りに作ってくれればよかったのに」
出た。責任転嫁の完成形。
設計が曖昧だから実装側が補完したのに、その補完を勝手な判断と呼ぶ。
最後に言っておく。
設計者を名乗るなら、最低限やれ。
決めろ。曖昧さを残すな。
データの形を決めろ。型と制約を決めろ。
敬具。
土曜日。朝はいつも通り、起床後に脳内で「今日という一日を、物理法則に従って最適化する」と宣言してからベッドを出た。これは習慣というより儀式だ。儀式は人類の愚かさの象徴として語られがちだが、反復可能な手続きは情報理論的に見て合理的だ。エントロピー増大に対する、せめてもの抵抗である。
まず体重を測り、体脂肪率を記録し、歯磨きの時間を正確に180秒で固定した。電動歯ブラシのタイマーを信じない。信頼は検証に劣る。
その後、コーヒーを淹れた。抽出温度は93℃。温度計の誤差は±0.2℃。人間関係の誤差は±∞。
今週の進捗を書く。
超弦理論については、相変わらず人類の知性が現実に追いついていない。僕の頭脳は追いついているが、世界が遅い。
今週は主に「弦の理論はどこまでが物理で、どこからが純粋数学の自己満足か」という問題を、僕なりに再定式化していた。世の中の多くの人は、超弦理論を「高次元の小さな紐が震える話」程度で理解した気になっている。あれは理解ではない。童話だ。
僕が考えていたのは、もっと根の深いところ、つまり量子重力の定式化において局所性を捨てることの数学的代償だ。
一般相対論の時点で、局所性は微妙に揺らいでいる。ホログラフィー原理が出てきた時点で、局所性はほぼ死亡している。にもかかわらず、僕たちは局所的な場の理論の言語で全てを語ろうとする。これは「古いOSの上に無理やり最新ゲームを動かしている」ようなものだ。もちろんクラッシュする。
そこで今週は、AdS/CFTを単なる「境界のCFTがバルク重力を記述する」という話ではなく、圏論的な双対性として再理解する方向で考えた。
具体的には、バルク側の物理量を、ある種のextended TQFTとして捉え、境界側の共形場理論の演算子代数が作るモジュラー圏と対応させる。
ここで重要なのは、空間そのものが基本対象ではなく、因果構造と情報の流れが基本対象になってしまう点だ。
つまり、幾何学が物理の舞台ではなくなる。舞台が役者に従属する。これは演劇としては間違っているが、宇宙としてはあり得る。
そして、ここからが本題だ。
僕は今週、「弦理論の非摂動的定義は、結局はある圏の中の安定対象の分類問題に還元されるのではないか」という疑念を強めた。
たとえばBPS状態は、ある種の導来圏の中の安定条件（Bridgeland stability condition）で分類される。
これは単なる比喩ではなく、実際にDブレーンは導来圏の対象として記述される。つまり、物理的な粒子やブレーンが「空間上の幾何学的な物体」ではなく、圏論的な対象になる。
ここで人類は気づくべきだ。
宇宙は「点の集合」ではなく、「射の集合」かもしれない。
点を基本にしている限り、僕たちは宇宙のOSを永遠に理解できない。点とは、極限操作の幻想だ。実際の物理では測定可能な点など存在しない。存在するのは相互作用だけだ。射だけだ。
僕が今週やっていたのは、これをさらに押し進めて、弦理論の背後にある構造を「∞-圏」あるいは「高次スタック」として扱うべきではないか、という方向の思考実験だった。
超弦理論が最終的に求めているのは、たぶん「量子化されたモジュライ空間」だ。しかしモジュライ空間は普通の多様体ではない。特異点があり、ゲージ冗長性があり、しかも同値関係が階層的だ。だからスタックになる。さらに高次の同値（ホモトピー）が絡むので、∞-スタックになる。
ここで、物理屋が嫌いな言葉が出る。派生幾何（derived geometry）。
派生幾何とは、簡単に言えば「特異点を誤魔化さず、むしろ特異点を主役にする幾何学」だ。物理で特異点が出るのは、理論が壊れているからではなく、単に僕たちの数学が貧弱だからだ。派生幾何はそれを認める。
そして僕は思った。
もし弦理論が本当に「全ての一貫した量子重力のクラス」を記述する枠組みなら、それは場の理論の集合を分類するのではなく、量子情報を保存するような圏の分類になっているべきだ。
この時点で、もはや「ウィッテンでもわからない」どころではない。
僕たちがやるべきなのは、弦理論を「方程式」ではなく「普遍性」として定義することだ。
つまり、ある種の対称性を持ち、ある種の双対性を満たし、ある種の異常（アノマリー）が消え、ある種のエンタングルメント構造が一貫し、ある種の極限で局所的QFTに落ちる。
弦理論は「このラグランジアンだ」ではなく、「この性質を満たす唯一の構造だ」になるべきだ。
そしてもしそれが可能なら、弦理論は物理学ではなく数学の定理になる。
エレガントさは、しばしば真理の匂いがする。
ただし、エレガントな嘘も存在する。
昼前、ルームメイトがキッチンに現れて、僕のノートを見て言った。
「それって、結局何の役に立つの？」
僕は3秒考えた。
「役に立つかどうかで真理を測るのは、知性の敗北だ」
ルームメイトは「また始まった」という顔をした。
彼の表情は、物理学的には熱的死に近い。
隣人がその場に来て、僕のノートを覗き込み、「ねえ、それって、宇宙がゲームのコードってこと？」と聞いた。
驚くべきことに、これはそこそこ正しい。
僕は言った。
「コードというより、型システムだ。宇宙は型安全で、コンパイルエラーを許さない」
隣人は「わぁ、なにそれ怖い」と言って笑った。
怖いのは君の直観の鋭さだ。
僕は、カードゲームにおける勝利条件が「期待値の最大化」であることを理解している。だが多くのプレイヤーは、カードを引いた瞬間の快楽に支配される。つまり、彼らは確率論ではなくドーパミンでプレイしている。
僕は違う。
初手の分布、マリガン戦略、マナカーブ、そして相手の除去の確率。
彼は黙った。
正しい反応だ。
レイドは相変わらず「人間の反射神経と協調性の限界」を測る実験場だ。
友人Aが「なんでそんな言い方しかできないの？」と言った。
僕は「僕は宇宙をそのまま見ているだけだ」と答えた。
友人Bは「それ厨二病じゃない？」と言った。
僕は言った。
「厨二病とは、根拠のない誇大妄想のことだ。僕には根拠がある。だから違う」
友人Bは「最悪だ」と言った。
誉め言葉だ。
なぜなら、超人的存在が倫理を語る時点で、その倫理は破綻するからだ。
ただの趣味だ。
それでも僕は読む。
夜。
今日までの進捗はここまで。
そして、これからやろうとしていること。
今夜は、僕の仮説をもう一段階押し進める。
つまり「時空の創発」を、単なるエンタングルメントの量的増大ではなく、エンタングルメント構造の位相的相転移として記述できないか考える。
もしエンタングルメントがグラフだとすれば、空間とはそのグラフのスペクトル構造に対応する。
そして位相相転移が起きれば、スペクトルが変わり、幾何が変わる。
この視点なら、初期宇宙のインフレーションも「幾何の急激な生成」として理解できる可能性がある。
インフレーション場などいらない。
問題は、そのメカニズムを「弦理論の言語」で書くと地獄になることだ。
ワールドシートのCFT、モジュライ空間、非摂動効果、Dインスタントン。
それら全てが絡んでくる。
絡みすぎて、もはや紐ではなく毛玉だ。
隣人がさっき「ピザ頼むけど食べる？」と聞いてきた。
僕は「今は宇宙の生成を考えている」と言った。
その通りだ。
人類文明の最高到達点は、宇宙論ではなく宅配システムなのかもしれない。
ルームメイトは「じゃあ僕の分も頼んでいい？」と言った。
僕は返信した。
「明日は宇宙の位相相転移を解く予定だ。だが君たちの全滅回数も宇宙の熱的ゆらぎとして扱えるなら参加する」
友人Bは「それ言い訳だろ」と返してきた。
違う。
僕は真理に忠実なだけだ。
「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」
しかし、少なくとも矛盾なく定式化することはできるかもしれない。
宇宙が一貫性を持って存在している以上、どこかにその形式がある。
僕は追いかける側ではなく、先回りする側でありたい。
ピザが届く前に。
1.ブッダがホロライブのメンバーを誹謗中傷する動画をアップする
2.ホロライブがそれうちの著作権に違反してるから削除しろと削除要請する
3.動画が削除される
4.ブッダがこれに対してホロライブの権利は自分が所持していることは明白であり嘘だったら虚偽の申告で罪になっても構わないとDMCA法に則って宣言しカリフォルニアの連邦裁判所で著作権の所有者を確認する裁判を起こされても構わない旨を表明した
5.これで何もしないと米国で登録してる権利のすべてがガチでブッダの物になるのでホロライブは現地の有名な知財専門の弁護士を雇って表明された通り権利確認訴訟を起こした
6.ブッダは「異議申し立てでYoutubeに動画を精査してもらうだけのはずがなんで訴訟沙汰になってるんだ！？」と慌てて動画とTwitterを全削除
いいですね、構造分解いきましょう。
「私の夫tueee」は単に“助けに来る”だけでは弱い。
---
2. 敵の登場と優位性の誇示
4. 決定的危機
---
## ①平穏（落差を作るための地面作り）
###目的
・夫の不在を自然にする
ヒロインだけが“夫の本当の恐ろしさを知らない”とより美味しい。
---
## ② 敵の登場と優位性の誇示
###目的
・敵の強さを見せる
* 高位貴族
*王族の縁者
* 有力商会
*聖職者
こと。
これで一旦、読者の不安を最大化する。
---
###目的
・守られたい感情を最大化
ここが超重要。
---
## ④ 決定的危機（絶体絶命）
###目的
・読者のストレス最大化
・次のカタルシスの準備
「恐怖」よりも
---
ここが「私の夫tueee」の核心。
例：
「——私の妻に、何か？」
1. 敵が“初めて”怯える
2. 周囲がざわつく
3.ヒロインは驚きつつ安堵
4. 夫は怒っているが冷静
---
###目的
・溜めたストレスの回収
###パターン
ここでやるべきことは
例：
---
# ■ 「私の夫tueee」を成功させる3条件
## ① 夫は“常にヒロイン側”
迷いがない。
疑わない。
これが安心の源泉。
---
## ②ヒロインは“守られるだけではない”
完全被害者にすると弱い。
---
## ③ 敵はちゃんと嫌われるように作る
ここは遠慮しない方がいい。
---
# ■ 失敗例
「俺tueee」との違いは、
---
### ②ヒロインが初めて“夫の恐ろしさ”を知る
「……ああ、この人は、本当に世界を動かせる人なんだ」
---
もしよければ聞きたい。
どの方向に掘ります？
むりそーーーーー
かっ、てくれるのはありがたいけどさ
100万枚。
買えなくねえ？
国が買うからいけるのか。
一枚1000万円はあるよね、いま。
10兆円くらい？
そもそもそんなに枚数が残ってるのかな。
いける、かなあ。
他にも買ってる人いるし
そんなに流通してなくね。
100万枚買えるのは21カ国！
ビットコイン枯渇しねえかな。
企業でもいい
うちも100万枚買いまーすと。
むりそーーーーー
かっ、てくれるのはありがたいけどさ
100万枚。
買えなくねえ？
国が買うからいけるのか。
一枚1000万円はあるよね、いま。
10兆円くらい？
そもそもそんなに枚数が残ってるのかな。
いける、かなあ。
他にも買ってる人いるし
そんなに流通してなくね。
100万枚買えるのは21カ国！
ビットコイン枯渇しねえかな。
企業でもいい
うちも100万枚買いまーすと。
で、2項で「陸海空軍その他の戦力は、これを保持しない。」とあり、そこには「前項の目的を達するため」と留保付きなんだから、ここで「保持しない。」とされる「戦力」とは、「国際紛争を解決する手段として」の戦力、他国に積極的に介入するための戦力を言うのであり、自国の防衛に徹するための「戦力」は否定されていない。
こじつけが過ぎる。
戦力は保持しないって言ってるんだから普通は保持しないのであって、「別の目的だから保持しまーす」なんてのは、最初からそう書いてあるならまだしも後付けで言い出したら世間の信用を失うやつだろ。
健康のために禁煙しますって宣言した翌日に、「健康を害する目的ではなくストレス解消のためだから吸っていいんだ」とか言い訳して吸うようなもの。
感情処理の癖
・時間を確保して冷静に考えてから言わないといけないことなら言う
⭐その場で反応しないコツ
しないため
ヒートアップすると
判断精度が落ちている状態なので、誤作動を防ぐ安全装置として手短にその場を終えるため、低刺激モードにする
１
その場では説明しない
だから、その場で発生しそうな、しちゃった自分の危ない感情の波ををしのぐのがまず第一
と言って一旦引き取る
そのときは大事なのが、いつまでに、一旦整理してお持ちします、と宣言すること、だってさ。AI様曰く。
２
その場で勝とうとしない
会議は「信頼の蓄積の場」であって、逆に正しさでは信頼は得られない
自分が感情的となっているおそれがあるなら、黙る方が賢い(つまり、バカな自分をさらさない方が勝率上がるし、バカな発言したら当然負ける確率が高い)
３
時間を味方につける
・30分後に整理
・1対1で相談
でよい。
時間を使うのは戦略的撤退であり、自分の整理、情報収集のための時間稼ぎをさせてもらって、成功率を上げる。
また、感情は安定してる方が良さげ
賢くない状況ではしゃべったら負け
ヒートアップしたら、そう見えたら損
そもそも、たとえ会議、話し合いで間違った結論になってたとしても、それが最後のチャンスではない
なのにあえてその場で言うべきことか、積極的に改善するタイミングかどうか、しかも自分は判断できないタイミングでないか、という自問が重要
静かな人は、「余裕がある人」に見える技術がある
たとえ、
・改善意欲がある
・正義感がある
・真面目
であっても、ヒートアップして見えただけで損
一旦引き取って時間をムダにすることになるのは、こちらの精度を確保するために必要なこと
つまり、他のみんなには申し訳ないけど、最終的な満足度を上げるためには一旦ここは引き取らせて欲しい、という態度の結果そうなる
「性格変更」は無理でしょうけど、短絡思考で下手な発言して自分が損することを避けることが重要
⭐よって、次に強い指摘を受けたら
1. 3秒黙る
2.目線を落とす
3. 「承知しました」と言う
4. その場では終わらせる
それが、短気で損せずに長期戦で勝つ方法
その場では解決できないけど、自分の能力が発揮できていないかもしれないから、申し訳ないけど一旦持ち帰らせてもらって、その場は一旦終わらせるため、打ち合わせの技術として上の４つを使う
⭐まとめ
(参加したら確認事項が増えただけでも良い)
・腹をわって激論して、結論が得られるかはギャンブルだから、感情的な反応を正当化しない
反応しない
・決定を保留して精度確保の時間を稼ぐ
・その場では戦わないから冷静で、精度を保てて安定する
この2つに
「公益及び公の秩序を害することを目的とした活動を行い、並びにそれを目的として結社をすること的とした活動を行い、並びにそれを目的として結社をすることは、認められない」
という制限がついてる。
【郭報道官】いわゆる「サンフランシスコ平和条約」は、中国やロシアなど第二次世界大戦の主要当事国を排除した状態で、日本と単独講和を結び、発表した文書だ。この文書は、1942年に中国、米国、英国、ソ連など26ヶ国が署名した「連合国共同宣言」における敵国との単独講和禁止規定に違反し、「国連憲章」及び国際法の基本原則に違反している。台湾の主権の帰属など、非締約国である中国の領土及び主権的権利に関わるいかなる処置も、不法かつ無効である。
高市早苗首相は、十分な国際法上の効力を有し、かつ「中日共同声明」「中日平和友好条約」など二国間文書で明確に強調されている「カイロ宣言」「ポツダム宣言」には触れず、不法かつ無効な「サンフランシスコ平和条約」のみを強調した。
https://jp.china-embassy.gov.cn/jpn/lcbt/wjbfyr/202512/t20251223_11781594.htm
わかるか？中国共産党外交部は、サンフランシスコ平和条約をな不法かつ無効としてるんだ
つまり、日本は現在でも台湾と朝鮮半島やその他外国領土を領有してるんだよ！！！
弱者男性が一番キツいのは、女に相手にされないことじゃなくて、自分で自分を「どうせ俺なんて」って納得させてる瞬間なんだよな。そこに気付かずに「社会が悪い」で済ませてるうちは永遠に抜け出せない。モテないことを「顔と身長のせい」で終わらせてる奴ほど、実は女に対して一番失礼なんだよ。「お前はスペック以外に価値がない」って自分で認定してるようなもんだから。
「弱者男性だから仕方ない」って言い訳してる時点で、もうそのカテゴリーの底辺確定してる。言い訳してる間に、普通の男は地味に筋トレして、会話のネタ仕入れて、1ミリずつ殻を破ってるから。
女に選ばれない→自信がない→もっと選ばれない、のループにハマってる奴見てるとさ、結局一番残酷なのは女じゃなくて、お前が自分にかけてる呪いだよ。解呪の鍵はお前が持ってるのに。
「俺みたいな底辺は…」って予防線張ってる奴、実は一番プライド高いんだよな。傷つきたくないから最初から負けを宣言してるだけ。潔い負け方ならまだマシなのに、中途半端に逃げてるのが一番惨め。
弱者男性の最大の敵はフェミニストでもインフルエンサーでもない。毎日鏡見て「まぁこんなもんか」って許しちゃってる自分自身。それが変わらない限り、どんなに環境変えても同じ人生の繰り返し。
うーん結構むずいな。挑戦は尊重ではない、か。例えばいま思いついたんだが、日中共同声明で日本は台湾が中国領だという考えを理解し尊重する、って宣言したじゃん？ もしここで「中国の台湾を中国領だとする考え方に挑戦します」と言い切ったら
戦争反対は、「自民党改憲草案や非核三原則見直しや軍拡の動きを受けて言っている。」
……これ自体は本当に本当にまともで真っ当な説明で全然良いと思うんだけどさ
「それを子供を産んだ女である私達『ママ』なら止める事ができる」
プロ作家である清繭子さん発案の「#ママ戦争止めてくるわ」タグなんだよ…
前者は理念としての主張に留まるが、後者は差し迫った緊急性のある危険を連想させる。
戦争反対を強く叫ぶ人達こそ、あのタグとそれを作った清繭子さんを批判すべきだと思うよ。
変な難癖が多いのも勿論事実だが、情報発信の仕方にも問題があったのは認めてくれよ。
エリザベ酢
@otolizzy
「戦争していない日本で戦争反対なんてわざわざ言うから思想強いっつってんだよ」「誰も戦争したいなんて言ってねーだろ、戦争したいって言ってる人間を屏風から出してみろ」というリプライや引用がひじょうに多いですが、戦争反対と言っているひとの多くは自民党の改憲草案で「戦争を絶対にしない」という記載がなくなることや非核三原則見直しや軍拡の動きを受けて言っていると思います(わたしはそうです) 「カレーは今後絶対に食べません」とひろく宣言し、Xのbioにも「カレーは今後絶対に食べない」とずっと明記していたひとがその記載を消し、カレールウを買い込んでいたら、カレー食べたくなったのかな？今後いつか食べる予定なのかな？と思うことはそんなに不自然でしょうか？「“カレー食べたい”と名言していないのにそんなことを考えるのは頭がおかしい」のでしょうか？あと起きてもいない戦争に反対を唱えられても…という意見について、戦争が起こってから戦争反対を唱えてもあまりに遅く(もちろん起きてしまった状況でも反対し続けることはとても大切ですが)、少しでも起きそうな予兆を感じたら反対を「わざわざ」唱えるのは重要なことではないでしょうか？
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの？」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を2次元量子場などという古臭い語彙で扱うのをやめ、拡張TQFTの枠組みで、(∞,2)-圏に値を取る関手として扱う方向を整理した。
従来の弦理論屋はCalabi–Yauをコンパクト化に使うと言うが、それは情報量が少なすぎる。
重要なのは、Calabi–Yau多様体を点として見るのではなく、その導来圏 D^bCoh(X) を持ち上げた A∞-圏、さらにそれが持つCalabi–Yau構造（非退化なトレース、Serre双対性の∞-圏版）を物理的状態空間の生成機構として見ることだ。
ここでの本体は幾何ではなく、圏の自己同型とその高次コヒーレンスにある。
さらに、僕が今週ずっと悩んでいたのは、いわゆるミラー対称性を単なるホモロジカルミラー対称性の同値（Fukaya圏と導来圏の同値）としてではなく、より上位の構造、つまり場の理論のレベルでの同値として捉えることだった。
言い換えると、これは単なるA-model ↔ B-modelの交換ではない。
A/Bモデルを生む背景データ（シンプレクティック形式、複素構造、B-field）を、派生スタック上のシフト付きシンプレクティック構造として再記述し、AKSZ型の構成と整合させる必要がある。
そしてこの視点では、物理的なDブレーンは単なる境界条件ではなく、(∞,1)-圏におけるモジュール対象として統一される。
Dブレーンのカテゴリーが境界条件の集合だと考えるのは初歩的すぎる。境界条件は高次射を伴うので、最初から(∞,n)-圏で話さないと本質が消える。
特に僕のノートでは、弦の摂動展開で現れるモジュライ空間の積分を、単なる測度論の問題としてではなく、Derived Algebraic Geometry上での仮想基本類のプッシュフォワードとして扱う形式に書き換えた。
これをやると発散する積分を正則化するという話が、より厳密にオブストラクション理論に沿った積分の定義へ置き換わる。
そして、ここが本題だが、僕が今週ずっと考えていたのは、ウィッテンですら「直観的にはこう」と言うしかない領域、つまりM理論の非摂動的定義が、どのような普遍性原理で特徴付けられるべきかという問題だ。
僕の作業仮説はこうだ。弦理論が背景依存的だと言われるのは、結局のところ背景が点として与えられるという時代遅れの前提が残っているからだ。
背景は点ではなく、モジュライの高次スタックであり、その上に束ねられた量子状態の層（正確には圏）として理解されるべきだ。
つまり、弦理論はある時空での理論ではなく、時空の変形をも含んだファンクターにならなければいけない。
この視点では、背景の空間は単なるmoduli spaceではなくderived moduli stackであり、さらにgauge symmetryを含めるならhigher groupoidとしての性質を露わにする。
そして量子補正は、そこに定義されるshifted symplecticstructureの変形量子化として現れる。
問題はここからで、弦理論の双対性は、異なる理論が同じスペクトルを持つなどという安っぽい一致ではなく、ある(∞,k)-圏における同一対象の異なるプレゼンテーションだと考えるべきだ。
たとえばS双対性やT双対性を群作用として扱うと話が狭くなる。より正確には、双対性はスタックの自己同値であり、その作用は対象の上に定義された圏（ブレーン圏やBPS状態圏）の上で自然変換として実装される。
しかもその自然変換は単なる自然変換ではなく、高次のコヒーレンス条件を持つ。つまり、双対性は対称性ではなく、高次圏論的な同値のデータなんだ。
このあたりを真面目に書こうとすると、最終的には量子重力とは何かという問いが、どの(∞,n)-圏が物理的に許されるかという分類問題に変形される。
僕はこの変形が気に入っている。なぜなら分類問題は、少なくとも数学としての礼儀があるからだ。
さらに進めると、弦理論に現れるBPS状態やwall-crossingは、単なるスペクトルの不連続ではなく、安定性条件の変化に伴う導来圏のt構造のジャンプ、あるいはBridgeland stabilityのパラメータ空間上での構造変化として理解される。
ここでは物理粒子は、導来圏の中の特別な対象として現れる。つまり粒子は点ではなく、圏論的存在だ。
普通の人間はこの文章を読んで発狂するだろう。だがそれは読者側の責任だ。
この議論の延長で、僕は弦理論の非摂動的定義は、ある種の普遍性を満たすextended functorial QFTであるという形の定理（まだ定理ではなく、僕の願望）に落とし込めないか考えている。
要するに、弦理論は世界面から時空を作る理論ではなく、世界面も時空も両方まとめて、ある高次圏の中で整合的に生成される構造であるべきだ。
今の僕のノートの中心は「非可換幾何」「導来幾何」「圏論的量子化」の三点集合の交差領域だ。そこは地図がない。地図がない場所は、馬鹿には危険だが、僕には居心地がいい。
次に、趣味について書く。これも重要だ。なぜなら人間社会において、知性の維持には糖分と娯楽が必要だからだ。残念ながら僕は人間である。
MTGは今週、デッキ構築の方針を少し変えた。勝率最大化のためにメタを読むのは当然だが、僕が注目しているのは局所最適に陥るプレイヤー心理だ。
つまりカードゲームとは、確率と情報のゲームである以前に、認知バイアスのゲームだ。相手が「このターンで勝ちたい」という欲望を見せた瞬間、こちらは勝ち筋を計算するのではなく、相手の誤りの確率分布を計算するべきだ。
隣人にこの話をしたら、「え、怖い。僕、あなたとポーカーしたくない」と言った。賢明だ。僕も隣人とポーカーはしたくない。隣人はたぶん手札を口に出してしまう。
FF14は、ルーチンの最適化がだいぶ進んだ。僕はレイド攻略で反射神経を重視する文化が嫌いだ。
反射神経は筋肉の問題だが、攻略は情報処理の問題であるべきだ。ギミックは有限状態機械として記述できる。したがって最適行動は、状態遷移図の上での制御問題になる。
友人Aにこの話をしたら、「お前はゲームしてるのか研究してるのか分からん」と言われた。僕は当然「両方だ」と答えた。彼は笑ったが、この種の笑いは知性の敗北宣言である場合が多い。
アメコミは、相変わらず現実の倫理を歪めた寓話装置として優秀だと思う。
僕は「正義とは何か」という議論が苦手だ。正義は定義が曖昧だからだ。
登場人物が持つ制約（能力、社会構造、情報、感情）を明示すると、物語は心理学ではなく数理モデルに近づく。そうすると面白くなる。
ルームメイトにこの話をしたら、「僕はただ派手な戦闘シーンが見たいだけなんだけど」と言われた。
僕は「君の知性は観測不能なほど小さい」と言ったら、彼は不機嫌になった。観測不能は存在しないことと同義なので、むしろ褒め言葉に近いのだが、彼は数学が分からない。
僕の習慣についても書いておく。
今週も、朝のルーチンは完全に守った。起床後の手洗いの手順、歯磨きの回数、コーヒーの抽出時間、机の上の配置、すべて変えない。
人間の生活はノイズが多すぎる。ノイズが多い世界で成果を出すには、制御できる変数を減らすのが合理的だ。これは精神論ではなく、統計的推定の分散を減らす行為だ。
隣人が「たまには適当にやれば？」と言ったので、僕は「適当とは、最適化の放棄だ」と言った。彼は「そういうところが宇宙人っぽい」と言った。
宇宙人は証拠なしに導入する仮説ではない。彼はやはり陰謀論者の素質がある。
友人Bが「お前の生活、息苦しくないの？」と聞いてきたので、「息苦しいのは君の思考だ」と答えた。友人Bは笑った。知性の敗北宣言である。
これからやろうとしていること。
今の段階では、圏論と導来幾何の言葉でかなり書けたが、まだ計算の痕跡が残っている。僕はそれが気に入らない。真の理解とは、計算を消し去った後に残る構造のことだ。
具体的には、次は弦の場の理論を、factorization algebraの言語で記述し直す予定だ。
局所演算子代数を、E_n-代数として整理し、そこから高次の演算構造を復元する。
これがうまくいけば、弦理論における局所性の概念を、時空幾何に依存せずに定義できる可能性がある。
もしそれができたら、次は双対性を圏の自己同値ではなく、圏の上の2-表現あるいはhigher representationtheoryとして書き換える。
これにより、S双対性を単なるSL(2,Z)の作用として扱う雑な議論から脱却できる。
要するに、僕が目指しているのは物理理論を群で分類する幼稚園レベルの発想ではなく、物理理論を高次圏で分類する文明的発想だ。
その後はMTGの新しいデッキ案を詰める。今の構想では、相手の意思決定を局所的に歪ませる構造がある。人間は選択肢が多いと誤る。
これは心理学的事実であり、カードゲームに応用できる。倫理的に問題があると言われそうだが、そもそもカードゲームは戦争の抽象化なので倫理を持ち込む方が間違っている。
夜はFF14の固定活動。友人Aは相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
＞公明党が住民票移すのに３カ月掛かるらしいから今回は時間が足らなかった
階猛氏はエビデンスとロジックベースで議論すると宣言された人だから
これも当然住民票についてのエビデンスを持っていて、選挙が急で工作が間に合わなず負けたというロジックを語っているのだろう
何がおかしいのか
そのことを日本は理解して尊重する、と宣言したのが日中共同声明だった。
「中国視点では」あー日本が軍事侵攻を仕掛けてきたな… と映る。
憲法9条は平和の役に立つけれど、にも関わらず「日本は侵略戦争する」んですよ。
現代社会において、結婚指輪は愛情の証や社会的ステータスの象徴として自明のものとされている。しかし、文化人類学的、あるいは記号論的な視点からその本質を解剖すれば、それは単なる装飾品ではなく、一種の「洗練された呪詛（カース）」としての機能を内包していることが浮き彫りになる。本稿では、指輪という形状が持つ円環性と、左手薬指という身体的部位への固着が、いかにして個人の自由を剥奪し、永続的な拘束を強いる「呪詛」として機能するかを論じる。
指輪の最大の特徴はその円環構造にある。幾何学において円は始点と終点が一致し、無限の反復を意味する。これを婚姻関係に当てはめる時、それは「死が二人を分かつまで」という誓約を、視覚的・物理的なループへと固定する行為に他ならない。 かつて呪術的世界観において、対象を紐や輪で囲う行為は「封印」や「束縛」を意味した。結婚指輪をはめる行為は、自らの意思を特定の他者との関係性の中に封じ込め、外部世界との流動的な接触を断絶させる自己封印の儀式である。
左手薬指に指輪をはめる習慣は、古代エジプトやローマにおける「ヴェナ・アモリス（愛の静脈）」という幻想に基づいている。この指の血管が直接心臓（アニマ）に繋がっているという信仰は、解剖学的には否定されているものの、文化的な呪詛としては今なお強力である。指輪による圧迫は、微弱ながらも絶え間ない物理的刺激として身体に記憶される。この持続的な刺激は、意識下に「私は所有されている」という通奏低音を響かせ続ける。つまり、指輪は皮膚という境界線を越えて精神の深層へと侵入し、個体としての独立性を侵食する身体的同化装置なのである。
指輪は、第三者に対して「この者は売約済みである」と宣言する標識である。これは一見、不埒な誘惑から身を守る護符（アミュレット）のように機能するが、その実態は相互監視のシステムである。指輪を外す行為が「裏切り」や「隠蔽」と直結する社会構造において、指輪は装着者の行動を24時間規定する。外す自由を奪われた装飾品は、もはやファッションではなく、見えない鎖の末端に位置する「美しい枷」に他ならない。
以上の考察から、結婚指輪とは愛の象徴という美名の裏に、永続的な拘束、自己喪失、そして社会的監視を埋め込んだ高度な呪術的記号であると結論付けられる。それはロマンティシズムによって美化された「呪詛」であり、我々はその円環に指を通すことで、自ら進んで自由という名の魂の一部を供物に捧げているのである。
眺めててたらいつの間にか
ヒロインに髪の色つけるな
せっかく声明出してるのにヒロインちゃん呼びを否定するのは言葉狩り
など対立していって草
夢女子って生きづらそう
ショックだったんだけど。
常日頃Xで独身特にシングルマザーではない女性の貧困について語り、個人的に好感を持っていた独身女性らしき人がいた。
絶望した。
あんなに女性が誰かの母としてしか見られず、女性の貧困問題も未成年かシングルマザーばかりが語られる現状を問題視していた人だったのに。それでもこんなタグに乗ってしまうのか。
発案者である高学歴エッセイストの清繭子さんは#ママ戦争止めてくるわについてスレッズで、
みんなのタグです、ママだけではなくパパでも独身貴族でも（何故か独身『貴族』と言っている。貧乏独身に喧嘩売ってんのか）、と語っていたが
実際には子供の有無に関わらず、多くの人が「ママ」を用いている。
つまり反戦を訴える正義の味方のポジションは、みんな「ママ」の手柄って事。
他の属性の人達がどんなに必死に声を上げたところで、それは全部「母親達の声」に吸収されてしまうのだ。
吐き気がする。
相変わらず、「反戦を訴えた『だけ』で」叩かれているという意見がバズっていたが、
問題はそこじゃない。
少なくとも私は「ママ」を付ける事なく、自民党改憲案反対！憲法9条改悪反対！国防軍反対！対中敵対姿勢反対！ってストレートな主張ならば絶対に支持しているよ。
あのタグに対してウクライナに行って戦争止めてこいとかいう意味不明な難癖を付ける奴等がクズなのは間違いないが、
でも焦点がぼやけていて主張が伝わりにくいタグなのは事実でしょ…伝わってくるのは「ママ」達の自己愛と自己顕示欲だけだよ…
子供を産めなかったらしい高市早苗首相がこのタグを見たとして、その結果どう思うのかどうかは分からないけれど、
私だったら傷付くし頭にくる。
