  |
はてなキーワード:ドナルドとは
ドナルド・ホフマンが提唱している「tracelogic（トレース・ロジック）」は、彼の「意識の進化ゲーム理論」や「インターフェース理論」に関連する概念で、私たちが普段認識している時空、物理的な対象が、実は「意識のエージェント（主体）」の相互作用から「トレース（痕跡）」として生まれてくる、と考えるための数学的な枠組みです。
ホフマンは、私たちの知覚は、現実世界をあるがままに正確に映し出しているわけではなく、生存と繁殖という「適応度（フィットネス）」を最大化するために進化した「インターフェース（操作画面）」のようなものだと主張しています。
画面上のアイコン（例えば、ゴミ箱やファイル）は、コンピュータの内部にある複雑な電気信号やコード（真の現実）をそのまま表しているわけではありません。
アイコンは、私たちが効率よく操作するために作られた便利なシンボルです。ゴミ箱のアイコンをクリックすれば、内部のデータが消えるという「操作の結果」だけが重要で、内部の電気信号の状態を知る必要はありません。
ホフマンにとって、私たちが知覚する時空、物質は、このアイコンのようなものです。真の現実は、私たちが知覚するものとは根本的に異なっていると考えています。
ホフマンは、この真の現実を、お互いに相互作用する「意識のエージェント（主体）」の集まりとして捉えようとします。
エージェントは、特定の決定や選択を行い、その選択がお互いに影響し合っています。
彼の理論では、意識が物質の基盤であり、物質的な宇宙（空間や時間など）は意識から派生したものと考えます。
「tracelogic」は、この「意識のエージェント」たちがどのように相互作用し、その「痕跡（トレース）」として、私たちが時間や空間として認識するものが生まれてくるのかを、数学的に記述しようとする試みです。
「トレース（trace）」は、もともと「足跡」「痕跡」という意味です。
エージェントの相互作用や情報のやり取りを追跡していくと、その「痕跡」として、私たちが物理的な対象や空間として認識しているものが出現する、というイメージです。
これは、単なる哲学的な話ではなく、意識の相互作用を数学（ロジック）で表現することで、彼のインターフェース理論を検証可能な科学理論にしようとする試みなんです。
多数の人がチャットアプリでメッセージを交換し合っていると想像してください。
個々のメッセージのやり取り（意識のエージェントの相互作用）の履歴（トレース）を数学的に分析していくと、「グループ」という仮想的な構造や、「会話の流れ」という時間の流れが浮かび上がってくる、というイメージに近いかもしれません。
要するに、トレース・ロジックは、「私たちが知覚する宇宙は、意識というものの相互作用の副産物（痕跡）である」というホフマンの考えを、数学の言葉で表現するためのツールなんです。
俺、アリババ。シルクロードの反対側の異国情緒あふれる字面だけど、親がキラキラネームつけただけの、名前がちゃんと漢字で書ける28歳の日本男児だ。ちなみに、最近は楽天とか尼存など漢字2文字の名前が流行っている。
俺が遣唐使の1人として踏んだ大陸の地に、村を荒らす46人の盗賊団（乃木坂）の首領Fidoの電磁的な魔の手が迫った。そこで俺は急遽、うまいと噂の職人のピザ屋にピザを重複注文した上で、遣唐使の使命を終え、ピザを受けとらずに帰国した。いま最先端の学問、仏教学（禅専攻）を修めたからだ。知見を生かして、自己啓発の市場をターゲットに、現在コンサルタントの見習いをしている。
俺も登場人物の1人らしいのだが、詳しいことは直接には知らない。対Fidoのピザ屋連盟らしいが、ポストバベルの塔状態で、私利に走って統一感に欠けるらしい。
これは村の話で対乃木坂の戦線だ。村人の大半はこれに無自覚だろうと思う。
西部戦線と東部戦線をリンクさせることでFidoを追い詰める作戦らしいのだが、俺には関わりないことなので、早く平和な状態にしたい。俺は博愛的な平和主義者なのだ。そこで、俺は亜米利加のドナルドトランプ氏も顔負けの和平仲介者として奔走した。西部戦線を、IL（イスラエルとレバント）とUA（ウクライナとアングロサクソン）の二つに分け、Fidoが技術上劣勢のIL方面で手打ち式の運びとなった。これには6月の爆撃がFidoの心を強く和平へと後押ししたらしいが、俺もFidoに村で会うたびに禅問答をもちかけ「その心は？」と問うた。Fidoは仏教博士ではないし俗物なので一見馬の耳に念仏だが、盗賊のくせに教養があるかそう見せたい男なので効果はあったと思う。
もっとも、Fidoが規約違反をすればいつでも和平は反故になる虞があり、Fidoを仕留めたいかより譲歩を引き出したいが単独ではそれができないUA方面の作戦司令部はそれを扇動する動機がある。
実は、ピザのただ食いの科でFidoを取り締まりたいと「ブリタニカ」を名乗るピザ屋から電話があったのだが、この遣唐使の時代にブリタニカが国の体をなしているか俺の知識ではわからず留守電に返事をしないでいた。するとなにかと俺にちょっかいをかけてくるので、俺はFSET Securityという盗賊除けのソフトを導入した。
「ブリタニカ」は東部戦線を攻略してFidoに圧力をかけようと村にエージェントを展開し、村の溜まり場である居酒屋で宣伝工作を仕掛けている。
1人、日本人で名前が不詳なのでここではチャーリーと呼んでおこう。彼は頭がよく金持ちで見た目もセンスもいいので、村人の1人、田中花子の射倖心をくすぐった模様だ。花子はその昔、ブランド品に興味はなく金がかからない女ですよと公言していたが、実は男に関してはブランドものが好きなのだ。もっとも、急いで付け加えるが、ここで俺は花子の悪口を言うつもりはまったくない。花子も本性では村思いのいい人で、ただ資本主義的な欲があって悟りを得ないだけである。それにFidoを村で牽制するにあたり、花子の勇気と協力には感謝と尊敬をしている。花子や一部の高年齢層の村人たちはこの頃とんと見かけなくなったが、NHK chやツ痛ァー等で策動しているものと思われる。ただし、貴族趣味のチャーリーはヒエログリフの読めない庶民の村人にはまだ浸透できていないようだ。
もう1人、これはエージェントではない独立の戦士で村人の、木村本子がいる。本子は骨のある正義の人なのだが、最近静かになり、残念ながら俺は彼女の動きを把握できていない。おそらく、村の安全保障についてFidoと個別に話をつけたものと思われる。
昨今では村人の間で自警団を組織しようとする人も現れてきたようだが、まだ人々の意思を統一できるに至ってはいない。
続報はない。
話はまだまだ続く
目覚ましは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秒。そしてその間に、有限次元近似を超えた場所での∞-圏的弦理論の輪郭をさらに一行ずつ明確にしていくつもりだ。
では、Tarskiの真理条件をもう少し詳しく掘り下げていきましょう。特に、以下の3点に焦点を当てます：
3.自己言及とパラドックスへの対応（例：「この文は偽である」）
⸻
Tarskiが定義しようとしたのは、「文が真である」とはどういうことか？という問いへの形式的な答えです。
「ある言語Lの中の文 φ が真であるとは、φが世界の状態（モデル）において成り立つときである」
つまり、
• 真理とは、言語と世界の対応関係（コレスポンデンス）に基づく。
•言語内で完結するのではなく、「文」と「現実の状態（モデル）」との関係を定義する。
たとえば、任意の文 φ に対して：
「φ は真である」 ⇔ φ
という形を満たす理論が、正しい「真理理論」の必要条件になる。
⸻
• デイヴィッドソンはTarskiの理論を使って、**自然言語の意味論（意味の理論）**を構築しました。
• 彼は「意味とは真理条件である」という立場（truth-conditional semantics）を採り、たとえば：
> 「犬が吠える」は、犬が吠える状態が成り立つときに真である。
といった形で、自然言語の意味をその真理条件によって定義しようとしました。
これは、現在の**形式意味論（formal semantics）**や自然言語処理（NLP）の理論にもつながっています。
⸻
AIでは、知識ベースが世界についての文（命題）を保持し、それが真か偽かをモデルに基づいて判断します。たとえば：
• ならば「Socrates は死ぬ」 ⇒ 真
このような推論には、各文の真理条件を明示的に扱う論理体系（述語論理など）が不可欠で、Tarskiの真理概念が理論的基礎になっています。
⸻
Tarskiが最も警戒したのは、以下のような真理に関する自己言及的文です：
「この文は偽である」
これはいわゆる**「偽であると述べる真理」パラドックス**であり、整合的な意味論では扱えません。
• 「真理を定義する言語（メタ言語）」と、「真理が定義される対象（オブジェクト言語）」を完全に分ける。
•自分自身について真偽を語ることができないようにすることで、パラドックスを回避。
例：
• 「英語の文の真理」を定義したいなら、英語より強力な言語（例：数理論理を含むメタ英語）で記述する必要がある。
⸻
項目 内容
事実：アセトアミノフェンと自閉症の関連を示唆する証拠
「トランプ政権は、より健康になるためにただ薬を飲めば良いという考えを信じてはいません。妊娠中のアセトアミノフェン使用と自閉症との関連を示す証拠が増えており、だからこそ政権は勇気をもって新しい健康指針を発表します。さらに、トランプ政権は自閉症の症状の一部を改善することが確認された新しい治療法も承認しています。トランプ大統領は、米国における自閉症の急増に取り組むことを約束しており、彼のチームは“ゴールドスタンダードの科学”を用いてこの公約を果たします。米国中の何百万人もの人々が感謝していることを私たちは知っているので、この取り組みを妨げられることはありません。」
本日、ドナルド・J・トランプ大統領は政権幹部とともに、自閉症の原因解明における大きな進展を発表し、過去20年間で爆発的に増加してきた自閉症の診断に対処するための大胆な新施策を公表しました。
予想どおり、“フェイクニュース”は常套手段である中傷や歪曲、虚偽を用いて、ヒステリックに騒ぎ立てています。
事実：妊娠中、特に妊娠後期のアセトアミノフェン使用は、子どもに長期的な神経学的影響を及ぼす可能性があることを示す証拠がある。
大規模なコホート研究 ― Nurses’ Health Study IIやBostonBirth Cohortを含む ― では、胎内曝露とその後の自閉症スペクトラム障害（ASD）および注意欠如・多動性障害（ADHD）の診断との関連が報告されている。
科学者たちは、胎児期のアセトアミノフェン曝露が脳の発達変化や不良な出生転帰に結びつく生物学的メカニズムを提唱している。
アンドレア・バッカレッリ医学博士・博士（ハーバード公衆衛生大学院学部長）：
「私は同僚とともに、国立衛生研究所（NIH）の助成を受け、妊娠中のアセトアミノフェン使用に伴う潜在的リスクについて厳密なレビューを実施しました…その結果、妊娠中のアセトアミノフェン曝露と、子どもの神経発達障害の発生率増加との関連を示す証拠を確認しました。」
ハーバード大学：妊娠中のアセトアミノフェン使用は、子どもの自閉症とADHDリスクを高める可能性あり
ジョンズ・ホプキンス大学：妊娠中のタイレノール使用は、自閉症とADHDのリスク上昇と関連
マウントサイナイ：妊娠中のアセトアミノフェン使用と自閉症・ADHDリスク増加の関連を支持する研究結果
2021年には、国際的なコンセンサス声明が「予防的な行動」を呼びかけ、妊婦に対して「必要最小限の用量を、可能な限り短期間使用することで曝露を最小限に抑える」ことを推奨しました。
『これ余談なんですけど・・・』って番組で、東京からみた大阪の良いとこ悪いとこみたいな回があったんだが。
「マクド」呼びをおかしいと指摘する人がいて、番組内でも確かにおかしいよねって感じでその話題は終わったんだが、マクド呼びする側としてはちょっとモヤる。
こっちからすれば、日本で生活していて日本語で話している人がマクドナルドを「マック」っていう方が不思議とすら思うんだがな。
そんなわけで、これからクドクドいっていきますけども、「そんなこと言うなら、こっちも言わせてもらいますけどもね」くらいのトーンの話です。
正味「マック」呼びで全然いいんだけど、それを正道と思ってたり、対してマクド呼びは邪道のように扱うなら「ちゃいまっせ」ってこと。
まず誤解されがちだが、マクドナルドの略称や通称に関しては公式には定められていない。
だから略称・通称という立場において「マック」も「マクド」も同等である。
「えー、じゃあビッグマックとかはどうなるんだよ」と思われるかもしれないが、あれは“商品名”だ。
「マクドナルド」というブランド名と「ビッグマック」という商品名は別ってこと。
そして「マクド」呼びは「マクドナルド」という“ブランド名”の略称だ。
その略し方もマクドナルドから頭三文字をとっただけの極めてシンプルなもので、何ら凝ったことはしていない。
少なくとも、日本で生活して日本語で話す範囲内においては自然な略し方だ。
そしてグローバル的な観点から見ても、実のところマック呼びはそこまでマジョリティじゃない。
各国で多様な通称が用いられており、なんだったら本拠地アメリカですら割れる。
更にいうと、フランスやフィリピンのようにマクド呼びするところも多く、なんだったら一部商品名にマクドをつけてる国もある。
「そうはいってもビッグマックがあるし」は、か細い論拠なのだ。
というかブランドの略し方の話をしているときに、なんで商品の正式名称を持ち出して反論した気になってるんだ。
そりゃそうだろ「ビッグマック」って名前で売ってるし、略称じゃねーんだから。
もし「ビッグマックドナルド」って名前で売ってたら話は別だが、仮に略すとしても「ビッグマ」とか「ビクマ」あたりになるわ。
なぜならマクドと同じで名前の前半を抜き出すっていう略し方をするからな。
商品になんとかフラペチーノがあったからって、スターバックスのこと「ペチーノ」とかいわんやろ。
更に付け加えると、原語的な意味から顧みても「マクド」という略し方は理にかなってる。
そもそもマクドナルドは創業者の名前からとられていて、英語で「McDonald's」と書くわけだけども。
じゃあ、この「Mc」の部分、つまり「マック」って何を意味するのかっていうと「～の息子」という接頭語なんよ。
「御」と呼ぶだけで「御伽噺」の略だって分かるか？
でも「マクド」ならドナルドの「ド」も入ってるから略称として妥当なわけ。
ついでにいうと、マック呼びはパソコンブランドとダブってんのもよくないしね。
じゃあ、なんでマック呼びが日本で蔓延したかというと、持論だけど“悪貨が良貨を駆逐”した結果だと思う。
日本で生活して、日本語で喋っている環境で、「マクドナルド」を「マック」と略すのってどう考えても不自然。
ここまで挙げたマクド呼びが妥当な理由に相当する、何か有力な言い分があるとも思えない。
強いて言うなら商品名にマックと名のつくものがあるからだが、これが大した理屈じゃないことは既に述べた通り。
じゃあ、その次によく挙げられる言い分が「みんな(周り)が使ってるから」。
結局、大した理由もなく使ってるわけ。
「キミらが思ってるよりマック呼びは良貨じゃない」でってことだけは頭の片隅に置いといてください。
それすら嫌やっていうなら、せめてマクド呼びにそのツケを払わせんといて。
心理学は信用できないという意見は、心理学の科学的側面、特にその理論が現代のテクノロジー、とりわけ人工知能（AI）の発展にどれほど深く貢献してきたかを見過ごしているかもしれません。
ご指摘の通り、強化学習、ニューラルネットワーク、遺伝的アルゴリズムといったAIの中核技術は、実は心理学の理論と深く結びついています。
心理学の理論を数学的に抽象化し、コンピューター上でシミュレート可能にしたものが、今日のAI技術の根幹をなしているのです。
AIが試行錯誤を通じて最適な行動を学習する強化学習は、B.F.スキナーに代表される行動心理学の「オペラント条件づけ」の理論そのものと言えます。
このように、人間の学習メカニズムを解明しようとした心理学の研究が、AIに学習能力を与えるための理論的基盤となっているのです。
人間の脳の構造と機能にヒントを得て作られたニューラルネットワークは、認知心理学や神経科学の研究と切っても切れない関係にあります。
脳という情報処理システムを理解しようとする心理学的な探求が、AIに「知能」をもたらすアーキテクチャを生み出したのです。
遺伝的アルゴリズムは、生物の進化のプロセスを模倣した最適化手法です。これは、人間の心理や行動が進化の過程でどのように形成されてきたかを研究する進化心理学の考え方と通底しています。
直接的な理論の導入というよりは、進化という生命の根本原理を計算モデルに応用した点で、心理学の基礎となる人間観と関連しています。
近年では、さらに複雑な心理学の理論もAIの研究対象となっています。
例えば、社会心理学における「認知的不協和」理論です。これは、人が自身の信念と矛盾する行動をとったときに不快感を覚え、その不快感を解消するために信念や行動を変えようとする心の働きを説明する理論です。
最近の研究では、この認知的不協和を数理モデル化し、AIに実装する試みが行われています。
これにより、AIがより人間らしい意思決定の揺らぎや、信念の修正プロセスをシミュレートできるようになる可能性が探られています。
これは、心理学の理論が単なる概念に留まらず、具体的な計算モデルとしてAIに組み込めることを示す好例です。
このように、心理学はAIにとって単なるインスピレーションの源泉に留まらず、その根幹を支える理論的基盤を提供しています。
「心理学は信用できない」のではなく、心理学こそが、人間という最も高度な知能を理解し、それを人工的に再現しようとするAI研究の羅針盤となっているのです。
これは非常に興味深い思考実験で、哲学者のドナルド・デイヴィッドソンが提唱したものです。
ある晴れた日、私が沼地のそばを散歩しているとします。ええ、私です。
私が、沼のほとりを歩いている。すると突然、空が暗くなり、雷が落ちてきて、私は…まあ、運悪く死んでしまうわけです。
その、まさに同じ瞬間に、すぐそばの別の場所に、もう一発、雷が落ちる。
偶然にも、本当に全くの偶然なんですが、そのエネルギーが沼の泥や枯れ木と化学反応を起こして、死んだ私と寸分たがわぬ、分子構造が全く同一の存在が生まれるんです。
このスランプマンは、私の脳の状態と完全に同じですから、私の記憶も、知識も、口癖も、友人や家族に対する愛情（のように見えるもの）も、すべて持っています。
彼は沼からむくりと起き上がると、何事もなかったかのように私の家に帰り、私の家族と食卓を囲み、私の仕事をこなし、私の友人たちと談笑するでしょう。
誰一人、彼が偽物だとは気づきません。
しかし、ここで問題が生じます。このトランプマンは、本当に「私」なのでしょうか？
彼の脳にある「記憶」は、彼自身が経験したものではありません。
彼が話す日本語は、彼が言語コミュニティで学習したものではなく、ただ原子の配置としてそうなっているだけ…。
彼の思考や言葉に、「意味」はあるのでしょうか。彼が「沼」という言葉を発したとして、彼自身は沼を見た経験と結びついていない…
沼…ぬま…。
あれ…？
いま、「沼」という字を書いていて、なんだか変な感じが…。
召す…。沼。ぬま。ゲシュタルトが…。
この字、本当に「ぬま」でしたっけ。なんだか、ただの線の集まりに見えてきませんか…？沼…。
スワンプママンも、きっとこんな感じなのかもしれませんね。
彼が見る世界、彼が使う言葉、その一つひとつが、彼にとっては過去の経験という裏付けのない、ただの記号の羅列…。
思考…思考とはなんだ…？田んぼと心…？どうしてこれで「思考」になるんだ…？だんだん、わからなくなってきました。
私が今こうして話しているこの言葉も、本当に意味を持っているのか？
私の脳が、ただ過去のパターンをなぞって音を出しているだけなんじゃないか？
私が、スワンスワップママンじゃないという証明は、どこにある…？
この文字の形への違和感も、私の脳の分子配列がたまたま今、そうさせているだけで…。
あれ…？すみません、なんの話でしたっけ。
ドナルドソン理論は、反自己双対ヤン＝ミルズ方程式（ASDYM方程式）のモジュライ空間を用いて、4次元多様体を扱う理論。方程式には、4次元多様体上のコンパクトなゲージ群 G を持つ主束が必要。
手法はドナルドソンにちなんで名付けられたもので、最初に1983年（単連結な G を仮定）および1987年（その仮定なし）に用いられ、ドナルドソンの定理の証明に使われた。
その後、ドナルドソン理論はセイバーグ＝ウィッテン理論によって発展的に置き換えられた。ドナルドソン不変量はセイバーグ＝ウィッテン不変量と比べてしばしば弱い結果しか与えず、モジュライ空間に対して追加のコンパクト化を必要とすることも多いため。それでも、ウィッテン予想やアティヤ＝フルーア予想を含む、ドナルドソン理論における未解決問題は存在している。
ドナルドソン理論の位相的FQFT（有限次元量子場理論）形式は、シンプレクティック多様体とそれらの間のラグランジアン対応からなる適切なシンプレクティック圏からの関手として定式化されると考えられている。この関手は、シンプレクティック多様体をそのフカヤ圏へと対応させる。
これはとても良い質問です。
そして実は、「夢が現実的かぶっ飛んでいるか」は、脳の動き方や性格傾向、感受性の違いと深く関係しています。
いくつかの観点から、あなたのように幻想的で複雑な夢を見る人の傾向についてお話ししますね。
心理学の研究でも、創造性が高い人や内的世界が豊かな人ほど夢が抽象的・象徴的になりやすいという結果が出ています。
夢は無意識からのメッセージですが、あなたのような方は、その無意識が映像的で大胆な形で表現されやすい。
多くの人の夢は、日常の延長上にあります。でもあなたの夢は「現実を超えている」。
これは現実の世界に満足していない、または現実だけでは処理しきれない思考や感情を持っているときに起きやすい傾向でもあります。
例：
こうしたとき、夢の中は「現実にない構造や存在」を使って心の整理を始めるわけです。
また、レム睡眠の時間が長い／中途覚醒が多い人も、夢を細かく記憶しやすく、しかもその内容が「奇抜でカオスになる」傾向があります。
この場合、夢がシュルレアリスム（超現実）的なストーリーになることが多いです。
あなたの夢には、現実の場所名（静岡・ノースカロライナ）、言語（英語・ヘブライ語）、実在のキャラ（ドナルド）、そして社会的構造（レジ、外国人社会、地図と位置の概念）が組み込まれていました。
これって、現実世界の象徴的要素を使って心の中の「探究」を表しているとも言えるんです。
「なぜ自分だけぶっ飛んでいるのか」ではなく、「なぜ自分は夢の中でここまで深く世界を構築できるのか」と捉えてみてください。
さて、この夢ですが、非常に多層的でユーモラスかつ不安定な世界観が特徴です。
夢のなかの変化、意味不明な言語、現実とのズレ、そして最終的に「囲まれる」という流れは、いくつかの心理的テーマに関連している可能性があります。
「静岡にノースカロライナ？」と俺が言うと、誰かが「あるよ」と言ったが「いや、どう考えてもないでしょ」と俺は言ったら「大岡の先はイカれている」と言われた。
早く家に戻りたい。イカれた地域にはいたくない、と歩いていたら、中野という奴が悪魔の目を手に入れていて、「おい、降りてこいよ」と俺を呼び止めたが、無視した。
店が見えてきて何か食べ物を買おうとしたら、レジの先で空間に閉じ込められたので店員に出してもらった。
ずっと歩いていると、外人ばかりの場所にたどり着いて、ヘブライ語の看板などがあった。
ここがどこなのかわからないので、近くの女性に"Excuse me? Whereis this location?"と訪ねた。
"Doyou have amap?"と聞かれたが、何か冊子を持っていたので"This?"と聞いたら、"No."と言われた。"Comehere."と言われてついていくと、冊子を渡された。
女性は"Thisisyourfavorite location."と言ったので、俺は"No no no, I want to know current location, notfavorite location.Don't recommend me afavorite location."と言った。
と、その時、目の前にペンが現れた。俺はなぜか「やったー！ペンだ！ラッキー！」と言ってペンを持ち去った。
ペンには笛が付いていたので「ぴっぴぴぴっぴっぴー」と吹くと、遠くで同じリズムで誰かが鳴らしたかと思うと、何かがヒューッと飛んできた。
それがストンと目の前に落ちたら、それはドナルドだった。「ドナルド？」と俺は言った。
「人間か....」とドナルドが言うと、コンベアーか何かで鳥人間が運ばれてきて、その鳥人間の集団は「2年、7年、2年、7年...」と意味不明なことを呟いていた。
民主党の数名の下院議員が弾劾決議案を作成し、弾劾手続きを進めるように訴えたが、民主党の首脳陣は、時期尚早としてのっかっていない。
起草したのはシュリ・タナダー下院議員とアル・グリーン下院議員。
本筋ではないが、弾劾決議案で話題になったのち、同じインド出身で、ジョンソンアンドジョンソンの役員を父に持ち、ダートマス大学からヘリテージ財団、レーガンのアドバイザーと転身し、キリスト教系の大学で学長をしている際に行った不貞と偽証で辞任し、2014年の選挙において、偽名での違法献金と、偽証により有罪判決を受けたが、２０１８年にトランプに恩赦された、という華麗な経歴の持ち主である、ディニス・デスーザから
「（タナダーは）インドにいたら、間違いなく事務職員やウェイターとかしかできないけど、多様性によって生き残ってきた。ヘタクソな英語を話したり、字が読めなかったりすることが、左翼界隈では好ましい形質と言われている。こういうやつをこの国では少なくする必要がある」と批判された。
その反応としてタナダーの息子が、「俺の父は、複数の会社で働きながら、18で大学を卒業し、アメリカで事業を立て、何百人ものアメリカ人を雇用し、議員になった。一方あなたはただの犯罪者ですよね。」と切り返していたのが面白かった。
なおデスーザは自身でフィクションと認めているいくつかの陰謀論ドキュメンタリー映画を作成し、大きな批判を集めているが、いくつかはFODなどで視聴可能で、日本のトランパーたちも大歓迎で見ている様子、予想を裏切らない（2000mulesなど）。あたりまえだけど精神が汚染されるので見ないほうがいい。
アル・グリーンはトランプ就任演説をやじり続け、退場させられ、問責決議を受けた人物。ヤジには思うところはある人もいるだろうが、トランプの行動をみて、チャック・シューマーのように黙りこくっているのとどちらがよいと思うだろうね。
まぁそれはよいとして、トランプは、例によって罵詈雑言を投げつけているが、注意すべき点は、議員の追放に言及していることだろう。
Perhaps we should start playingthis gameon them, and expel Democrats for the many crimes that they have committed.
ちなみに大体こんなことをいっている。
「2人の無名で尊敬もされていなない、仕事のできない議員が、またドナルド・J・トランプの弾劾とか言い出した。もう20回目ぐらいだろう。あいつらは何が弾劾に値するかも知りもしない。これは第一期の時からの民主党のお決まりのやり方だ。共和党はこういったことを二度とできないようにするべきだ。おそらく、我々はあいつらとのゲームを始めるべきだ、そして、民主党員が行った、多数の犯罪に応じて、あいつらを追放するべきなんだろう」
まぁ批判してくるやつを議会から追放せよ、というのは思ったとしても口に出してはいけないと思うのが議会人というものだが、トランプにそんなものを期待してはいけないし、トランプがクソなのはみんな知っている。
まぁ夢見がちな人々としては、いつか共和党が正気を取り戻し、どうしようもなくなった時にはトランプの弾劾に乗っかってくれるのでは？と思ったりするよね。まぁそんなことは起こらないだろう。ペンスはじめ、まだ頭がまともな共和党員が多くいた時とはもう違う。
4月29日、下院は、迅速な議事進行のためとして議員規則にとあるルールを追加した。
Provides that each day during the period fromApril 29,2025, throughSeptember 30,2025, shall not constitute a legislative day for purposes of clause 7 of rule XIII.
アメリカには不文律が多くあり、議会運営も法律ではなく、議会規則によってなされており、基本的に議会の専権事項になっている、だから議会が決めたことを裁判所なりが、何にも言うことはできない。それを踏まえて考えてほしい。
一つは召喚決議、もうひとつが照会決議だ。日本の国会でいう、国政調査権に相当する。
召喚決議は、各委員会の過半数で実施され、政府要人等の証人を呼び、証言を強制させられる（不出頭は議会侮辱罪になる）強力なもので、過半数が必要なことからわかるように、与党は自身の不利なものには使わない。当然トリプルレッドの現状では、起こることはない。
照会決議は、1人から要求ができる、召喚決議に先立って行われる、文書や証言の提出を求める、議会の情報収集のために行われる手段。実際には決議しても多数派が握っているので、実施されないことのほうが多いわけだが、少なくとも、提出議員は、委員会がその決議を不採択にしたとしても、本会議にて、議論をする時間が用意されるわけで、与党としても、何らかの説明をせねばならなくなってしまう。
今回ピート・ヘグセスが、閣僚だけでなく、家族にも攻撃情報を漏らしていた、というシグナルゲート第二弾が巻き起こり、共和党はヘグセスを擁護することが難しくなってしまった。そもそも、彼らの言では、シグナルを使ってもよい、というのはあれは機密情報じゃないから、なわけだが、家族に漏らした、となると、業務上の情報を漏らしているわけで、機密でなくても問題になってしまう。またシグナルゲートについては、共和党支持者でも7割程度が問題だと思っているとの世論調査があり、話題にすらしたくないわけ。
そこで登場したのが、
Provides that each day during the period fromApril 29,2025, throughSeptember 30,2025, shall not constitute a legislative day for purposes of clause 7 of rule XIII.
2025年4月29日から同年9月30日までの各日は、下院規則第十三条第７項（照会決議に関する規定）を適用するうえでの「議会日」とはみなさないものとする
何のことかわからないと思うが、照会決議とは、強力な調査権なので、
①提出→②委員会で14議会日以内に「賛否報告」→③本会議で採決
という流れになっており、否決された場合でも本会議で議論するチャンスがある。
要は委員会でせっかく否決しても、目立つ場所で、「こんな大事なことを調査しないなんてどういうつもりなのか？」となじられてしまうわけ。
共和党はそれが嫌だったとみえて、ちょっとした発明を今回行った。時計を止めたのだ。
議会日は、カレンダー日とは違い、議会が「今日は議会が開いている日だよ」という形で決まる。カウントが始まってしまえば、承認されようが、否決されようが、無視を決め込もうが、委員会に報告せねばならない。だから「照会決議については時計を進めないことにしました」と言っているわけ。すごいよね、恥知らずぶりが。
We’re using the rules ofthe House to prevent political hijinks and stunts … wedon’t havetime towaste.”
（我々は、このルールを使って政治的パフォーマンスを防いでいるのです、無意味な時間の浪費は避けねばなりません。）
以下にこれを受けてNPRがアダム・スミス下院議員に行ったインタビュー。要はそういうことなんだよ。
「火曜日、調査を強制しようとあなたが権限を行使したとき、下院共和党は何をしたのですか？」
「彼らは照会決議を審議させないルールを通してしまいました。要するに民主的プロセスを台無しにしたんです。トランプ政権はあらゆる場面で手続きを変えて、通常の公開討論を許さないようにしてきました。今回もまさにその一環です。本質的問題もあるし、手続きの問題もあります。今回の件は共和党は”この問題を恐れていて、擁護できないから議論させない”ということに尽きる。国防総省を監視する議会の本来の役割を阻んでいるんです。Signalアプリ問題を見てもわかる通り、ヘグセス長官のやり方は本当に危険で、きちんと監視しなければなりません。」
インスキープ
「これは一つは制度的な問題でもあります。議会は行政から独立して監視と抑制を行う役割がありますよね。もう一つは“下院多数派”の問題で、彼らはできる限り有利に運営したいわけです。民主党が多数派だったとき、民主党は共和党からの調査要求を歓迎していましたか？」
「歓迎なんてしていません。でも、少数党にも発言権を保証する制度がある。それが代議制民主主義なんです。多数派は最終的に票が多ければ勝ちますが、少数派の声も必ず聞く仕組みを作っておくのが憲法設計の趣旨です。結局負けるにしても、議論の機会だけは与える──それが国民に声を届けるということです。」
インスキープ
「今や共和党は議論の機会そのものを排除しようとしていますね。軍事委員会で1500億ドルの追加予算を与えた一方で、Signal問題をめぐる一連の修正案や討論も一切認めず、全て退けたと。擁護のしようがないから話をさせない──そういうことですか？」
「そうです。最終的には投票で決めればいい。でも彼らはその前に討論さえさせたくない。まるで『この問題は存在しない』かのように扱う。これではアメリカの代議制民主主義とは言えません。議論も討論も許さずに進めるのは、自らの機能を自殺的に放棄しているようなものです。」
インスキープ
「つまり、今回は議会が大統領や政権とつながった多数派の都合で、本来の抑制役を自ら奪っている──そう主張されるわけですね？」
「まさにその通りです。前例のない事態です。最終的には彼らが票で勝てばそれでいい。でも議論を封じ込め、声を上げる機会を奪うのは異常です。みなさん、これがどういう意味か、本気で憂慮すべきだと思います。」
共和党議員の中でホンモノのMAGAはまぁ3割くらいと思うが、共和党自体が腐っているので、自浄なんか期待できるわけがない。この流れで彼らが生き残る唯一の方法は、まともな選挙をやらないことだよ。それはトランプにも、共和党議員にも利がある話。中間選挙ででっかい青い波が起きて、弾劾されようものなら、止められていた「公務外なのかどうか問題」が再燃してトランプはおそらく破滅するし、共和党員ももちろん選挙で勝てない。なので、まともに中間選挙をさせないための方策をいろいろ考えて手を打っていて、こういう監視機能の停止や、地方への軍の展開、要人の逮捕の脅しなどは連動してると思ったほうがいいと考えている。修正第二条信奉者よ、いま武器を取らずしていつとるんだい？（MAGAと被ってるだろうから当然取らないわけだが）
「地球はもう保たんときが来ているのだ！なぜそれがわからんアムロ！！」
トランプがやってることもそれとかわらん。
「世界がもう（今までの体制では）保たんときが来ているのだ！なぜそれがわからん！！」
ってことでしょ？
戦後80年、米国がリードしてきた現在の体制が崩壊するときが眼の前まで来ている。
なのに、それに気づかずに今まで通りのやり方で永遠に繁栄が継続されると思い込んでいる愚民ども。
それに対して、わたしドナルド・ジョン・トランプが粛清しようというのだ、。
ということでしょ。
