「フーリエ」を含む日記 RSS

はてなキーワード: フーリエとは

2026-02-17

[]

火曜日(昼)追記本来今日日記は朝に一度だけ書けば十分なはずだった。

ルーチンというのは、反復可能性と予測可能性によって価値を持つ。

ところが、午前中の出来事が僕の内部状態(というより、僕の神経系割り込み処理)を強制的に発火させた。

よって緊急追記だ。僕は非効率を嫌うが、例外処理必要とき例外拒否するのは、ただの愚か者の頑固さだ。

 

朝の時点での進捗は、例の背景独立性を持つ超弦理論の非摂動的定式化の続きを進めることだった。

僕が昨日から考えているのは、弦の世界面Σを単なる2次元多様体として扱うのではなく、(∞,1)-トポス内部の測度付きスタックとして再定義する枠組みだ。

重要なのは世界面の点集合を使うのをやめること。点という概念自体が、量子重力ではあまりにも脆弱で、局所性への執着は病的ですらある。

から僕は、世界面を安定曲線の導来モジュライスタック 𝓜̄_{g,n}の上にファイバー化した高次幾何対象として扱い、弦の摂動展開を積分ではなくコホモロジー的プッシュフォワードとして書き換えている。

要するに、弦の散乱振幅を ∫*{𝓜̄*{g,n}} ω みたいな原始的表現で済ませるのではなく、導来代数幾何言語

π_* (𝒪_{Vir} ⊗ ℒ^{⊗c})

のような普遍的場の理論圏論的像として扱う。ここでπは世界面の普遍曲線からモジュライへの射で、ℒは決定的線束。cは中心電荷

これを計算するのではなく、存在保証するのが目的だ。計算できるかどうかは二流の問題だ。存在しない理論計算するのは、ただの数学自慰から

ただしこのままだと、理論は綺麗だが物理としては空虚になる危険がある。

そこで僕は、対象を単なる(∞,1)-圏の上でなく、対称モノイダル(∞,2)-圏で扱い、TQFT(位相的量子場理論)とCFT(共形場理論)の中間にあるエントロピー的変形を導入した。

具体的には、世界面上の作用関数として定義するのをやめて、作用を因子化ホモロジー評価される自然変換として置く。局所作用密度?そんなもの古典物理遺物だ。

僕の新しい仮説はこうだ。

理論は、もはや10次元時空に弦が存在する理論ではない。弦理論とは、自己双対なE_∞-代数Aの上に構成される場の圏F(A)が、ある種のKoszul双対性を満たすという主張そのものだ。

時空はその双対性のスペクトルとして、つまり

X ≃ Spec(A)

として後から出現する。背景は入力ではなく出力だ。背景独立性とは、背景を仮定しないことではなく、背景が自然同型類としてしか意味を持たないことだ。

この枠組みで、Dブレーンは部分多様体ではなく、A加群の導来圏D(A-mod)の中の特異対象として現れる。

さらに、開弦と閉弦の相互作用は、HochschildコホモロジーHH^*(A)の構造として再構成される。閉弦がHH^*(A)に対応し、開弦はA加群自己拡張Ext^*(M,M)に対応する。

まり「開閉弦双対性」とは、実際には

HH^*(A) ≃ End(Id_{D(A-mod)})

という高次圏論恒等式物理的影だ。これを理解できない人間が弦理論を語るのは、猿がシェイクスピア引用するのと同じくらい滑稽だ。

さら今日の午前中、僕は例の問題に踏み込んだ。つまり、弦理論ランドスケープがなぜ無数に見えるのか、という問題だ。

多くの人間はこれを「真空がたくさんある」と雑に言うが、それは理解ではなく逃避だ。僕の見立てでは、真空が多いのではない。観測者が、(∞,1)-圏の中で同値もの区別してしまっているだけだ。

要するに、ランドスケープとはモジュライ空間ではなく、モジュライスタックだ。そしてスタック同値関係を無視して点集合に落とすから無限真空が現れる。

愚かな射影だ。真空は点ではなく自己同型群を持つ対象だ。そこに重力のゲージ冗長性が絡むと、もはや点的直観死ぬ

この考えをさら推し進めると、宇宙選択確率ではなく、圏の中の測度の押し出し対応する。

まり多世界解釈分岐も、ヒルベルト空間ベクトルが分裂するのではなく、対象の分解系列が変化する現象として扱うべきだ。

分岐とは直交分解ではなく、半直構造の変化だ。量子測定は、射の合成則が局所的に変形するイベントだ。

 

この時点で、僕は朝の日記の時点より明らかに先に進んだ。問題は、その進捗を邪魔する外乱が発生したことだ。

昼前、ルームメイトがキッチンで妙な音を立てていた。

僕は当然、音源周波数成分を頭の中でフーリエ分解した。

結果、冷蔵庫の扉が周期的に開閉されていることがわかった。これは異常事態だ。

冷蔵庫必要ときにだけ開くのが正しい。無意味な開閉はエネルギー散逸であり、エントロピー増大であり、文明への裏切りだ。

僕が「冷蔵庫の扉を開けたり閉めたりすることで、君は熱力学第二法則に対する小規模なテロ行為をしている」と指摘すると、ルームメイトは「ただ昼飯を探してただけだ」と言った。

探す?

冷蔵庫の中身は有限集合だ。探すという行為が発生するのは、記憶と整理の失敗である

僕は冷蔵庫の内容物をカテゴリ分けし、配置を最適化する計画提案した。

乳製品を左、野菜を右、調味料を上段、タンパク源を下段。さらに扉ポケットには使用頻度で重み付けをした確率分布を割り当てる。

これにより期待探索時間を最小化できる。ルームメイトは「お前の人生って疲れないの?」と言った。

疲れる?

最適化疲労の原因ではなく、疲労を防ぐための道具だ。

 

さらに隣人が突然ドアをノックして「ランチ一緒にどう?」と言ってきた。

僕は即座に拒否した。僕の火曜日の昼は、弦理論と、食事と、弦理論のためにある。

会話という非決定的プロセス時間を割くのは、ガベージコレクションされるべき愚行だ。

隣人は「たまには外に出たら?」と言った。僕は「外部環境ノイズ源であり、僕の内部モデル収束を遅らせる」と説明した。

隣人は意味がわからない顔をした。当然だ。人間の平均的認知能力は、宇宙理解に対してあまりに貧弱だ。

 

その後、友人Aからメッセージが来た。「昨日言ってた次元の折り畳みって、要するに紙を折るみたいなやつ?」と。

僕は返信する気が失せた。紙を折る?次元コンパクト化を折り紙理解しようとするのは、ブラックホール炊飯器理解しようとするのと同じだ。

しか教育義務を感じた僕は、最低限の説明だけ返した。

コンパクト化とは、局所的にはR^dだが大域的にはR^d×Kであるような繊維束構造を持つことだ。KはCalabi–Yau三次元多様体で、重要なのはそのホロノミーがSU(3)である点。紙を折る話は忘れろ。」

送信してから、僕は確信した。彼は理解しない。

 

友人Bからさらにひどい。「それってスピリチュアル?」と来た。

僕は携帯を机に伏せた。量子重力数学スピリチュアル混同するのは、微分方程式占いと呼ぶのと同じだ。文明はなぜこれほど脆弱なのか。

 

ここで僕の習慣の話になる。

僕は午前11時47分に必ず手を洗う。理由は単純で、手の汚染度が統計的に最大になる時間帯がそこだからだ。

僕の生活確率過程だが、適切な観測と介入によってマルコフ連鎖制御できる。

僕は歯磨きも厳密に3分40秒で終える。短すぎれば不完全、長すぎれば歯肉が損傷する。僕は無意味な気分ではなく、最適点で生きている。

そして昼食は、必ず同じカロリー、同じ栄養比率にする。今日例外ではない。僕は摂取するタンパク質量を固定し、糖質は脳のグルコース需要に合わせて調整する。

理論を考える脳は、ただの臓器ではない。計算装置だ。計算装置に不規則な燃料を入れるのは犯罪的だ。

 

昼の進捗として、僕はこれから次のことをやる。

 

第一に、導来モジュライスタック上の弦場の圏を、因子化代数として明示的に構成する。

これができれば、弦理論の「摂動展開」と呼ばれてきたものは、実際にはE_2-代数の変形理論として統一される。

摂動とは小さなパラメータ展開ではなく、モジュライの境界成分への制限のことでしかない。

 

第二に、ゲージ重力対応を等式ではなく随伴関手として定式化する。

AdS/CFT対応ではない。ある圏から別の圏への関手であり、しかもその関手はモノイダ構造を保存し、さら双対性を与える。つまり

F : 𝒞_bulk → 𝒞_boundary

存在し、Fが同値であることがホログラフィーだ。

時空の次元が落ちるという幼稚な理解は捨てるべきだ。落ちるのは次元ではない。情報符号形式が変わるだけだ。

 

第三に、ブラックホール情報問題エントロピーで語るのをやめて、トレースで語る。

ブラックホール熱力学エントロピーは、圏論的にはある対象次元、より正確にはトレースの値に対応する。

まりエントロピーとは物理量ではなく、圏の不変量だ。ホーキング放射確率過程ではなく、トレースの分解だ。

 

これができれば、情報パラドックスは「情報が失われるか否か」という子供議論ではなく、「トレースがどの圏で評価されているか」という問題に置き換わる。

まりパラドックス物理ではなく、言語誤用だ。世界矛盾していない。矛盾しているのは人間表現だ。

 

この理論が正しければ、僕が朝に考えていた多世界分岐も、トレースの分解として理解できる。

宇宙分岐は、世界割れるのではなく、観測者が属する圏が変わることだ。

観測者が別の圏に移るたびに、同じ対象の異なる不変量が見える。

から別世界の僕」がいるように見えるだけで、本質的には同じ構造を別の関手で見ているだけだ。

 

まり多世界解釈は、哲学ではなく圏論の話になる。

 

ここまで書いた時点で、僕は気づいた。今日の昼の日記は、朝の日記より遥かに重要だ。

朝の僕はまだ古い直観を引きずっていた。昼の僕はそれを捨てた。進歩とは、知識を積み上げることではなく、間違った直観破壊することだ。

 

最後にもう一つ記録しておく。

 

さっきルームメイトがまた「お前って本当に友達いるの?」と言った。

僕は答えた。「友達とは、僕の研究自由度を減らす制約条件だ。必要ならラグランジュ乗数を導入するが、目的関数を歪めるなら削除する。」

ルームメイトは黙った。賢明沈黙だ。

 

これから僕は、昼のコーヒーを淹れる。豆の量は14.7g。抽出温度は93℃。抽出時間は2分20秒。誤差は±3秒以内。

僕の人生は測定と制御でできている。そして宇宙もまた、たぶん同じだ。

もし宇宙がそうでないなら、それは宇宙のほうが間違っている。

2026-02-06

フーリエ変換は、フーリエの部分を「もう無理」と同じイントネーションにしながら言おうとしてもうまく言えない。お前らもやってみろ。たぶん「もう無理返還」って感じのイントネーションになるから

「もう無理変換」のイントネーションの八音の言葉を実際に聞いたことがないからだろうな。

dorawiiより

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

https://anond.hatelabo.jp/20260206185937# 
-----BEGIN PGP SIGNATURE-----

iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaYW7igAKCRBwMdsubs4+
SCIsAP42TA6oYYxOROhaEjC+DNfvlfbksFJahLlB8+04eAjDDwD9GtBoNqPH8TQ4
m+j82ledeprZnk9TRTAvVrhMOoJM5QA=
=8RB+
-----END PGP SIGNATURE-----

2026-02-04

以下、イントネーションが分からない言葉

モーム

フーリエ(変換)

dorawiiより

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

https://anond.hatelabo.jp/20260204185855# 
-----BEGIN PGP SIGNATURE-----

iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaYMYYQAKCRBwMdsubs4+
SPC9AQDxXYfETQJsT1dH2YbtCWF6OlNOOg9AMCBIn5LPkUv4ZQD/doZTSunGofiF
815X0/O+CQQmpkTmcEl6yuX7KN/AOQI=
=V7aZ
-----END PGP SIGNATURE-----

2025-11-06

[]

今日木曜日20:00に机に座っている。

日中実験室的な刺激は少なかったが、思考連続性を保つために自分なりの儀式をいくつかこなした。

起床直後に室温を0.5度単位確認し(許容範囲20.0±0.5℃)、その後コーヒーを淹れる前にキッチン振動スペクトルスマートフォンで3回測定して平均を取るというのは、たぶん普通の人から見れば過剰だろう。

だが、振動微妙な変動は頭の中でのテンポを崩す。つまり僕の「集中可能領域」は外界のノイズに対して一種位相同調要求するのだ。

ルームメイトはその儀式を奇癖と呼ぶが、彼は観測手順を厳密に守ることがどれほど実務効率を上げるか理解していない。

隣人はその一部を見て、冗談めかして「君はコーヒーフレームを当ててるの?」と訊いた。

風邪の初期症状かと思われる彼の声色を僕は瞬時に周波数ドメインで解析し、4つの帯域での振幅比から一貫して風邪寄りだと判定した。

友人たちはこの種の即断をいつも笑うが、逆に言えば僕の世界検証可能再現可能思考で出来ているので、笑いもまた統計的期待値で語るべきだ。

午前は論文の読み返しに費やした。超弦理論現代的なアプローチは、もはや単なる量子場とリーマン幾何の掛け合わせではなく、導来代数幾何、モーダルホモトピー型理論、そしてコヒーシブなホモトピー理論のような高次の圏論的道具を用いることで新たな言語を得つつある。

これらの道具は直感的に言えば空間物理量の振る舞いを、同値類と高次の同型で記述するための言語だ。

具体的には、ブランデッドされたDブレーンのモジュライ空間を導来圏やパーフェクト複体として扱い、さらに場の有る種の位相的・代数的変形が同値関係として圏的に表現されると、従来の場の理論観測量が新しい不変量へと昇格する(この観点は鏡映対称性最近ワークショップでも多く取り上げられていた)。

こうした動きは、数学側の最新手法物理側の問題解像度を上げている好例だ。

午後には、僕が個人的に気に入っている超抽象的な思考実験をやった。位相空間の代わりにモーダルホモトピー型理論の型族をステートとして扱い、観測者の信念更新を型の変形(モナド的な操作)としてモデル化する。

まり観測は単なる測定ではなく、型の圧縮と展開であり、観測履歴圏論的に可逆ではないモノイド作用として蓄積される。

これを超弦理論世界に持ち込むと、コンパクト化の自由度(カラビヤウ多様体の複素構造モジュライ)に対応する型のファミリーが、ある種の証明圏として振る舞い、復号不能位相的変換がスワンプランド的制約になる可能性が出てくる。

スワンプランド・プログラムは、実効場の理論が量子重力に埋め込めるかどうかを判定する一連の主張であり、位相的・幾何的条件が物理的に厳しい制限を課すという見立てはここでも意味を持つ。

夕方、隣人が最近観測結果について話題にしたので、僕は即座に「もし時空が非可換的であるならば、座標関数の交換子がプランスケールでの有意寄与をもたらし、その結果として宇宙加速の時間依存性に微妙な変化が現れるはずだ。DESIのデータ示唆された減速の傾向は、そのようなモデルの一つと整合する」と言ってしまった。

隣人は「え、ホント?」と目を丸くしたが、僕は論文の推論と予測可能実験検証手順(例えば位相干渉の複雑性を用いた観測)について簡潔に説明した。

これは新しいプレプリント群や一般向け記事でも取り上げられているテーマで、もし妥当ならば観測理論接続が初めて実際のデータ示唆されるかもしれない。

昼食は厳密にカロリー糖質計算し、その後で15分のパルス瞑想を行う。瞑想気分転換ではなく、思考メタデータリセットするための有限時間プロセスであり、呼吸のリズムフーリエ分解して高調波成分を抑えることで瞬間集中力フロアを上げる。

ルームメイトはこれを「大げさ」と言うが、彼は時間周波数解析の理論日常生活にどう適用されるか想像できていない。

午後のルーティンは必ず、机上の文献を3段階でレビューする: まず抽象定義補題に注目)、次に変形(導来的操作圏論同値を追う)、最後物理帰結スペクトルや散乱振幅への影響を推定)。

この三段階は僕にとって触媒のようなもので、日々の思考を整えるための外骨格だ。

夜は少し趣味時間を取った。ゲームについては、最近メタの変化を注意深く観察している。

具体的には、あるカードゲームTCG)の構築環境では統計的メタが明確に収束しており、ランダム性の寄与が低減した現在、最適戦略確率分布の微小な歪みを利用する微分最適化が主流になっている。

これは実際のトーナメントデッキリストカードプールの変遷から定量的に読み取れる。

最後今日哲学的メモ理論物理学者の仕事は、しばしば言語発明することに帰着する。

僕が関心を持つのは、その言語がどれだけ少ない公理から多くの現象統一的に説明できるか、そしてその言語実験可能性とどの程度接続できるかだ。

導来的手法ホモトピー言語数学的な美しさを与えるが、僕は常に実験への戻り道を忘れない。

理論が美しくとも、もし検証手順が存在しないならば、それはただの魅力的な物語にすぎない。

隣人の驚き、ルームメイト無頓着、友人たちの喧嘩腰な議論は、僕にとっては物理現実の簡易的プロキシであり、そこからまれる摩擦が新しい問いを生む。

さて、20:00を過ぎた。夜のルーティンとして、机の上の本を2冊半ページずつ読む(半ページは僕の集中サイクルを壊さないためのトリックだ)

あと、明日の午前に行う計算のためにノートに数個の仮定書き込み、実行可能性を確認する。

ルームメイトは今夜も何か映画を流すだろうが、僕は既にヘッドホンを用意してある。

ヘッドホンインピーダンス特性を毎回チェックするのは習慣だ。こうして日が終わる前に最低限の秩序を外界に押し付けておくこと、それが僕の安定性の根幹である

以上。明日は午前に小さな計算実験を一つ走らせる予定だ。結果が出たら、その数値がどの程度「美的な単純さ」と折り合うかを眺めるのが楽しみである

2025-11-04

抽象数学とか超弦理論かについて

概観

弦は1次元振動体ではなく、スペクトル的係数を持つ(∞,n)-圏の対象間のモルフィズム群として扱われる量子幾何学ファンクタであり、散乱振幅は因子化代数/En-代数ホモトピーホモロジー(factorization homology)と正の幾何(amplituhedron)およびトポロジカル再帰交差点に現れるという観点

1) 世界面とターゲットは導来(derived)スタックの点として扱う

従来のσモデルマップ:Σ → X(Σは世界面、Xはターゲット多様体)と見るが、最新の言い方では Σ と X をそれぞれ導来(derived)モジュライ空間(つまり、擬同調情報を含むスタック)として扱い、弦はこれら導来スタック間の内部モルフィズムの同値類とする。これによりボルマン因子や量子的補正スタックコヒーレント層や微分グレード・リー代数のcohomologyとして自然に現れる。導来幾何学教科書的基盤がここに使われる。

2) 相互作用は(∞,n)-圏の合成則(モノイド化)として再定義される

弦の結合・分裂は単なる局所頂点ではなく、高次モノイド構造(例えば(∞,2)あるいは(∞,n)級のdaggerカテゴリ構成)における合成則として表現される。位相欠陥(defects)やDブレインはその中で高次射(higher morphism)を与え、トポロジカル条件やフレーミングは圏の添字(tangential structure)として扱うことで異常・双対性の条件が圏的制約に変わる。これが最近のトポロジカル欠陥の高次圏的記述対応する。

3) 振幅=因子化代数ホモロジー+正の幾何

局所演算子代数はfactorization algebra / En-algebraとしてモデル化され、散乱振幅はこれらの因子化ホモロジー(factorization homology)と、正の幾何(positive geometry/amplituhedron)的構造の合流点で計算可能になる。つまり場の理論演算子代数的内容」+「ポジティブ領域が選ぶ測度」が合わさって振幅を与えるというイメージ。Amplituhedronやその最近拡張は、こうした代数的・幾何学言語と直接結びついている。

4) トポロジカル再帰と弦場理論の頂点構造

リーマン面のモジュライ空間への計量的制限(例えばマルザカニ再帰類似から得られるトポロジカル再帰は、弦場理論の頂点/定常解を記述する再帰方程式として働き、相互作用の全ループ構造代数的な再帰操作で生成する。これは弦場理論を離散化する新しい組合せ的な生成法を与える。

5) ホログラフィーは圏化されたフーリエ–ムカイ(Fourier–Mukai)変換である

AdS/CFT双対性を単なる双対写像ではなく、導来圏(derived categories)やファンクタ間の完全な双対関係(例:カテゴリ化されたカーネルを与えるFourier–Mukai型変換)として読み替える。境界側の因子化代数バルク側の(∞,n)-圏が相互鏡像写像を与え合うことで、場の理論情報圏論的に移送される。これにより境界演算子代数性質バルク幾何学スタック構造と同等に記述される。

6) 型理論(Homotopy Type Theory)でパス積分記述する(大胆仮説)

パス積分や場の設定空間を高次帰納型(higher inductive types)で捉え、同値関係やゲージ同値ホモトピー型理論命題等価として表現する。これにより測度と同値矛盾を型のレベルで閉じ込め、形式的正則化や再正規化は型中の構成子(constructors)として扱える、という構想がある(近年のHoTTの物理応用ワークショップ議論されている方向性)。

ケツ論

理論最先端数学版はこう言える。

「弦=導来スタック間の高次モルフィズム(スペクトル係数付き)、相互作用=(∞,n)-圏のモノイド合成+因子化代数ホモロジー、振幅=正の幾何(amplituhedron)とトポロジカル再帰が選ぶ微分形式の交差である

この言い方は、解析的・場の理論計算圏論・導来代数幾何ホモトピー理論・正の幾何学的道具立てで一枚岩にする野心を表しており、実際の計算ではそれぞれの成分(因子化代数・導来コヒーレント層・amplituhedronの体積形式再帰関係)を具体的に組み合わせていく必要がある(研究は既にこの方向で動いている)。

2025-10-24

[]

僕は今、いつもの座席に鎮座している。ルームメイトリビングソファパズルゲームを無言で進めており、隣人はサブカル系配信をしているらしく時折笑い声が廊下を渡ってくる。

友人たちはグループチャットで熱く同人の出来や新連載のガチャ確率について論争している。

僕の一日は厳密に区切られていて、朝は必ず8時に起床、コーヒー抽出器具を90秒で予熱し、温度92.3℃±0.2℃に保つという無駄に精細な儀式がある。

靴下は左足から履く。出勤前の15分は必ず抽象数学ノートを眺め、最近圏論位相場のホモトピー的反復と超弦モジュライのmeta-圏的安定化について自問している。

これは専門用語の羅列ではなく、僕にとっては手を洗うのと同じくらい生理的行為であり、その行為を飛ばすと一日が微妙に狂うので飛ばすことはめったにない。

仕事が終わった今も、僕は一日の終わりに形式的整合性を取るためのルーティンを持っている。

具体的には、机上のコップは時計回りに90度ずつ回転させて元の位置に戻す、明かりのスイッチを一回押して3秒待ち、もう一度押すといった小さなチェックポイントを踏む。

これは合理的かどうかを問う人がいるだろうが、僕にとってはエラー訂正符号のようなものだ。失敗を検出すると自動的にその日のメンタル状態トレースが始まり、友人たちの雑談に混じる気力が萎える。

超弦理論に関して今日述べることは極めて抽象化され、現実の誰が読んでも「それが何を意味するのか」を即座に把握できないように意図している。

僕は最近、モノイド対象としてのストリング世界面の圏を、圏論的対称化子(コクセター的ではなく、もっと抽象的に、位相量子群代数的類・モジュライ化)を用いて再定義する実験をしている。

言い換えれば、従来の共形場理論的な世界パラメータ空間を、非可換ホモトピー論のフィルタ列で再帰的に層化し、その各層におけるファイバー自己同型群をモナドとして扱うことで、局所的に見える弦状態同値類を圏的に集約する。

さらに、圏の圏(2-圏)に対する新しい安定化の概念を導入して、通常のK理論的分類とは別の不変量が現れることを示唆する予備的計算結果がある(ここでは具体的数式を列挙しないが、ホモロジー級数展開における位相位相因子の再正規化が鍵となる)。

この構成を、最新の抽象数学モジュール接続概念と結びつけると、我々が従来想定していたスペース-状態対応双対性が、もっと弱い条件(例えば圏的可換性の高次緩和)で成立する可能性が開ける。

加えて、僕はこの考えをある講義資料トーク示唆と照らして取り入れており、その資料概念的な跳躍と直感的な図示を巧みに使っているので、僕の現在の探索にとって非常に有益だった。

僕は「誰も理解できないもの言語化する」ことに快感を覚えるタイプだが、ここで言っているのは自己満足のためではなく、圏的再構成が実際に計算上の省力化をもたらすかを検証するための試行でもある。

ある意味で、これは純粋数学者が夜中に自分だけの公理系をいじるのと同じ行為だが、僕の場合はそれを出社前の歯磨きに組み込んでしまっているので、周囲は迷惑かもしれない。

食事配列プレート上の分布エントロピーを最小化する向きで常に配置し、週に一度は手製のスキルリー表を更新して趣味投資の累積効用整数化している。

コミックは最新巻が出ると即座にページごとのフレーム密度作画トーンワーク技術的に解析し、特に背景のディテールに含まれトーンの反復パターン(いわば視覚フーリエ成分)をスコア化する。

ゲームに関してはガチ勢的態度を崩さず、メタ的な語りを排してシステムギミックドロップ率、レベリング曲線、そして対戦環境テンプレート化された最適戦略について延々と解析する。

ただしゲームコミックに対しては「空間」や「力学」といった語はなるべく避け、代わりに「状態遷移図」や「入力遅延とフレーム落ちの統計的扱い」など工学的・計算機的に言語化する。

たとえば今日友人が語っていた新作のギミックについては、その期待効用ELO的な評価尺度ランク付けして論争に勝とうとしたが、連中は「推し」を盾に論理を流してくるので僕はたまに脱力する。

だが脱力する暇は短く、夜の自習時間には再び圏論比喩に戻り、各行動の符号化を試す。

日常の細部も大事にしている。玄関の鍵は4回回すのが正しいというオカルトじみたルールを持っているが、これは単なる迷信ではなく、僕の内部的なチェックサムである

友人たちはこれを笑うが、彼らもまた各自無意味儀式固執している。

コミュニティでの嗜好(推しキャラ、嫁、沼の深さ)に関しては妙に合理的で、僕はデータベースを自前で持っている。

キャラ台詞数、出番頻度、描写感情強度をパラメータ化し、二次創作が生成される確率空間推定する実験をしている。

この種のオタク計量は笑われがちだが、実際にはコンテンツ開発や同人活動の動向を予測するには有用だ。

最後今日観測定性的メモを残す。

眠りに入る前に、僕は明日論文ノートに小さな疑問を三つ書き付ける。

第一は、先に述べた圏的安定化が有限次元表現に落ちる際の可逆元の振る舞い、第二は同構クラス計算可能性のアルゴリズム的複雑さ、第三は趣味領域における情報量の測度とその心理的飽和点の関係である

これらを洗い出しておけば、僕は安心して眠れる。

ルームメイトゲームボスを討伐した歓声が聞こえ、隣人の配信が締めに入る。友人たちのチャットは未だヒートアップしている。

僕は日記を閉じ、明日コーヒーの豆を2グラムだけ余分に計量しておく。これは単なる癖ではない。それは帰納的に我が生活を安定化するための小さな公理群だ。

2025-09-16

ラームコホモロジードラえもん、automorphic formと大友さんの関係

ラームコホモロジーとは、解析的な微分形式代数的な構造の間に横たわる見えざる橋梁である

その橋梁を渡るとき、我々は常に「形式」と「現実」のあいだに立ち尽くす。

ここで突然、青い猫型ロボットが姿を現す。

ドラえもんという偶像は、22世紀からやってきた未来形式対象でありながら、そのポケットから無限拡張されるコホモロジー類のように道具が湧き出る。

まり、彼自身が「微分形式無限和」であり、なおかつ「準同型写像としての友達である

では、automorphic formと大友さんの関係性はどうか。

大友さんという固有名は、数論的対象のように個別でありながら、automorphic formのように全体構造に埋め込まれている。

彼の存在は、グローバルな対称性表現であり、ローカルにはどこにも属さぬ「偶然の素数である

大友さんが一言「なるほどね」とつぶやくとき、それはフーリエ展開の一項にすぎないが、全体を解釈するうえで不可欠な基底となる。

ラームコホモロジードラえもんを結びつけるものは「ポケット」という概念である

ドラえもん四次元ポケットは、有限次元的に定義されながら無限の射影極限を孕む。そこには「形式微分」と「のび太怠惰」が共存し、まるで非自明なコサイクルとして時間に刻まれている。

一方、automorphic formと大友さんを結びつけるのは「調和」という観念である。彼の生活習慣、昼食の選択曖昧な相槌が、すべてモジュラー性条件に従って整列する。

我々が目の当たりにするのは、異質な二つの軸の交差である

ひとつはドラーム的な「形式実在あいだを往復する知」、もうひとつはautomorphicな「局所と大域を接続する和声」。

その交差点に、偶然にもドラえもん大友さんが立っている。

この構造は、現代哲学が直面する根源的な問いを反映している。

すなわち我々がコホモロジーを通じて未来を語るとき果たして誰がその翻訳を担うのか。

青いロボットか、大友さんか。それとも、われわれ自身がすでに形式のものであり、ただ気づいていないだけなのか。

この謎は、もはや数式でも物語でも解けない。

だがひとつ確かなことは、ドラームコホモロジードラえもん、automorphic formと大友さんという四者は、互いに無関係であるがゆえに、最も深く結びついているのである

2025-01-02

理系池澤夏樹世界文学全集をほぼ全部読んだから五段階評価する①

1-01「オン・ザ・ロードジャック・ケルアック 青山南訳★★

確かこれが初めて読んだビートニック文学の一つだった。車でアメリカ大陸の各地を巡っては行き当たりばったりの旅をする話で終わりも尻切れトンボ、「なんだこりゃ」とひっくり返りながら読んだ。だが、こいつら一生そのまま放浪するんだろうなという感じがあっていい。ちなみに、これ以降も細部には触れないとはいえネタバレガンガンかましてくので嫌な人は読まないでほしい。あと、この文章は半ばが自分語りというか、酔っ払いが管を巻いているようなものだと思っていただきたい。そもそもこの感想だってほとんどが曖昧記憶と印象を頼りに書いているのであり、いたっていい加減なものだ。そもそも、僕は正規文学教育を受けていない、一介の理系アラフォーおっさん文学少年崩れに過ぎないのである

ところで、これを薦めてくれた友人は「ブローティガンを読むといい」と教えてくれた。文学サークル村上春樹世界の終わりとハードボイルド・ワンダーランド」の幻想パートをもとにした小説を書いていた僕に、その元ネタの一つだと言って手渡してくれたのが「西瓜糖の日々」だった。妙な世界なんだけれども向こうは完全に常識だと思っている語りがすごく好きだし、こちらの世界存在する物事がいくつか欠落しているのもなんだかいい。

なお、厳密には池澤夏樹文学全集ではなく文庫版で読んだのだけれど、訳者が同じだったのでここに記載する。そもそも全部順番に読んだわけじゃないしね。

1-02「楽園への道」マリオバルガス=リョサ 田村さと子訳★★★

年端もいかない少女同棲したり酒を飲んでだらしない生活をしたりするゴーギャンとその祖母過激派フェミニストの二人を主役に据えたお話。この二人が現実に同じ一族から出ているのがまず面白いのだが、自分が生きたいように生きたというかそういう風にしか生きられなかった点ではよく似ている。型どおりに生きられないのよね。

このゴーギャン祖母フローラトリスタンは、作中ではどこにでも出かけては結婚制度有害さで一席をぶったり、関係ないときにも社会改革の話をしたり、貴族の子弟が幼い少女の性を慰み者にしたと突然告発したりと、かなりアグレッシブな人のようにも書かれているのだが、当時の人権状況はそれ以上にヤバかったってのは頭の中に入れて置かないといけないし、彼女キャラは作中の誇張もあるだろう。余談だけど作中で言及されるフーリエ空想的社会主義って輪廻転生や数万年後の未来史を含んでいて結構オカルトっぽいのね。

1-03「存在の耐えられない軽さ」ミラン・クンデラ 西永良成訳★★★★★

タイトルがまずかっこいい。

プラハの春ソ連侵攻前後チェコ舞台にした四角関係小説なんだけれど、いろんな人の現実に向き合う態度が批評されている。その中で全体主義に埋もれてしま人間の弱点を指摘しているのだけれども、真摯というよりもどこか軽やかというかシニカルだ。ドイツことわざにいわく、「一回やっただけではやったことにならない」。しかし、人生は一度きり。さて、それでは本当に生きることってできるのか? 屁理屈のようだが、深刻な問いだ。

時系列が入り組んでいるし、作者がちょくちょく顔を出してスターリン収容所で死んだ息子とか関係なさそうな話をするもんだからちょっとややこしいんだけれど、浮気者外科医政治の嵐で一介の窓ふき職人として暮らしているっていう設定の恋愛劇、面白そうでしょ?

ちょくちょく出てくる作者の言葉、これは政治批判というよりも、人間の弱さや神の不在に対する諦念に近い。でも、例えば美しい理念に酔って自己満足に浸る「キッチュ」な態度をはじめとして、クンデラ作品でうまく言語化されていることは多い。個人的純文学は基礎研究だと思っていて、みんな知っているけれども名づけていない(しばしば望ましくない)感情名前を与えることがその役割の一つだ(余談だが、僕は政治的にはかなり左寄りなんだが、リベラルの人が正しさ競争というか、自分がどれだけアンテナ意識が高いかを鼻にかけてしまう瞬間に気づくことがあり、そんなときにたいそう居心地が悪いし、無数の人が実際に正しいかどうか自分の中で検討せずに「価値観アップデート」していくのがプロパガンダみたいですごく怖い。まず自分価値観内面をどうするかは完全に個人問題なのに、価値観思想にまで触れてこようとするのが見知らぬ他人ベタベタした手がどこからともなく伸びてくるみたいだし、何も考えずにアップデートした人たちはバックラッシュが起きたときに結局それに流されて、下手すりゃ前よりも悪化してしまうだろう。たぶんリベラリズムが好きでもリベラリストはそうでもないんだ。閑話休題)。

作者の顔が割と見えるというか、虚構虚構であると割り切っているところがあるのがクンデラメタフィクション風の長編なのだけれど、芥川龍之介の「煙草悪魔」を読んで以来、こういう語り口がすごく好きなのだ。そういうわけで、某創作講座でメタフィクションを書いたら「言い訳しながら小説を書くな」「このままでは一生成功はおぼつかない」とボロクソに貶されたことがある。悲しい。

あとは、登場人物普通にモテるので、そういうのが気に食わない人にはあまりおめしない(というか、クンデラ小説キャラってときおり人生における性的快楽の総量を最大化しようと行動している節がある)。僕がテレビドラマを見ないのもそれが理由だ。自分よりも顔のいい男がモテているのを、労働ですり減って帰って来たあとに見る気にはなれないし、ではモテていなければどうなるかと言えば、自分不器用な振る舞いを指差して笑っていると感じるのである笑。

それはさておいてクンデラ面白かったので何冊か買ったし、再読もした。

1-04「太平洋防波堤/愛人 ラマン/悲しみよ こんにちはマルグリット・デュラス 田中倫郎・清水徹訳/フランソワーズ・サガン 朝吹登水子訳★★/★★/★★

これは読むタイミングがあまりよくなかったなと感じている。というのも、この本を読んでから数年後に、経済的には困っていないか経済的には困っているのだけれども事態解決しようとしない自堕落貴族金持ちの話を読むのが猛烈に好きになった時期があるのだ。たぶん金に困らない奴がうだうだする話が好きになったのはプルースト失われた時を求めて」以来だ。「人間は暇になると恋愛遊戯に走るか、虚飾にまみれた儀礼を作るか、格付けや番付を作り始める」という趣旨磯田道史「殿さまの通信簿」か何かの記述を思い出す。あらすじを調べると、上の感想とはかなり懸け離れてるのだが、読んだ内容と心に残していくものは若干ずれているものだ。

1-05「巨匠とマルガリータミハイル・ブルガーコフ 水野忠夫訳★★★

この話は基本的には悪魔が魔術・幻術で社会をひっかきまわすドタバタなのだが、冒頭の首ちょんぱがお好きならハマる。背景のイエス・キリスト実在とか彼の処刑にかかわったピラトの救済とか(を描いた劇中劇)はわからなくてもいい。勢いがすごい。ブルガーコフはこういうドタバタが多い。強烈なのは犬の心臓」で、これは犬を手術で人間にしたらガラの悪い野郎になって人間権利侵害するようになるんだが、これはどう見ても革命に乗じてやりたい放題やっているならず者風刺である。「運命の卵」は確か放射線かなんかを当てた卵からかえった動物が巨大化して街を襲う怪獣大行進である

自分悪魔の話が好きだ。ゲーテファウスト」のように際限なく願いを叶えるのも好きだし、アシモフ小悪魔アザゼル18の物語」のように、悪魔契約を忠実に守るが穴があり、うまくいか皮肉な結果になったりするのも好きだ。こういうアイロニーというか、破滅運命を避けようとして逆にドツボにハマるのは、ギリシア神話シェイクスピアマクベス」なんかでも見られ、好物だ。

昨今の情勢からロシア文学が好きだとは言いづらいのだが、自分はまちがいなくロシア文学に命を救われている。ドストエフスキーの、激重感情で身が今にもはち切れそうな人々や、自分狂気を強烈な理性で押さえつけてはいものの今にもバランスを崩してしまいそうな人々の存在が、自分のことを受け入れることのできなかった二十代の自分を救ってくれていた。世界平和が訪れたら、サンクトペテルブルク流れる白夜のネヴァ川沿いを歩いてみたい。……とここまで書いて気づいたのだが、ブルガーコフキー出身ゴーゴリと同じくウクライナ文学に分類されるじゃないか! 知識が古いままだとうかつなことが言えない。

1-06「暗夜/戦争の悲しみ」残雪 近藤直子訳/バオ・ニン 井川一久訳★★★/★★

残雪「暗夜」カフカが好きな僕は楽しんだ。基本的に何かが欠落したよくわからない世界で、よくわからない理由翻弄される人間の話が好きだ。これは偏見だが、共産圏映画を含めてこういう不条理作品がひたすらうまい現実が同じくらい不条理からかもしれない。それが理由で、共産主義時代東欧文学映画にハマった時期がある。当時は自分の周りのあらゆることが不条理に感じられていたのだ。とはいえカフカのところでも述べるが、これだけ人が苦しんだということは胸が痛い。当時の僕は自分の悩みと痛みのことしか考えられず、不条理ものを求めて東欧に接近していたのである

バオ・ニン「戦争の悲しみ」はよくわからなかった。これを読んだのが二十歳を迎えるかどうかの頃で、戦争で傷ついた女性がなぜ相手かまわず性交渉を行うようになるかが作品から読み取れなかった。ただ、自分文学から女性の性について学ぼうとし始めた遠因かもしれない。なんで文学から学ぶんだよというツッコミはしないでほしい。他に学ぶルートが無かった。だから偏ったサンプルばかりで、ある程度バランスの取れた、ハッピーな性生活を送っている人はどうなのかが全然からない。だって極端な人じゃないとフィクションにするのって難しいからね。

続く。

2024-08-10

anond:20240810172148

いや簡単なことを複雑化してるだけだから無駄なことしてるだけだよって指摘してるんだけど、

足し算をフーリエ使って解くようなもんだし。理解力なくて理解できなさそうだし不毛なこと頑張ってどうぞ。

こういうのばっか生み出してんの見ると義務教育ってほんと無駄だなあって感じる。

数字を使うのは必ず簡略化出来て、絶対正しいとかどう考えても間違ってんの、普通に考えりゃわかんだろ。

2023-01-24

そういえば今の高校数学って微分積分だけ残ってて

線形代数とかフーリエまで行かないか

物語の始まりだけで結論がない意味不明な感じになってるよな

さらAIのせいで確率論が入ってきてもっと学習時間が圧迫されてるようで草

2022-12-15

anond:20221215175914

三角関数わかるなら微積もいけるでしょう

ヨビノリに微積動画もあるからその後フーリエ行くといいか

2022-11-30

anond:20221130060108

工学系の知識は他分野のこともざっとでいいから広く浅く知っていると助かる場面は多いよな。特に電気知識はどの分野でも関わってくるし、簡単電気回路の知識とかはあった方がいいわな。フィルターというか共振回路だのOPアンプの使い方だの、どこでも顔を出すし。フーリエもか。

2022-05-20

anond:20220520232053

スペクトル解析とか

フーリエとかウェーブレット展開とかの時に出てくるで

解析学の方向に進まなかったらもう出てこないのか

2021-06-02

anond:20210602195639

イラテイラーじゃなくてオイラー

そんなこと言い出す頭が疲れテイラー

一気に頭がホワイトヘッド

こんな時にはみんなの励ましの言葉パスカル

常識人フーリエして、明日も頑張るでガウス

2021-05-23

anond:20210523190135

二桁の掛け算が一瞬で出来るのと、フーリエやナビストークスの式を解くことが出来るのは全然違う能力なので、暗算が苦手な君も安心して理工学部に進んで欲しい。

2020-07-17

anond:20200717152640

たとえばフーリエ急須展開のソフトを収めました。

きちんとどうさして、近似値が正しい

コンパイルしてコード確認して

四則演算は使っているが

いわゆる数学ライブラリCOSすら使っていない場合

どうやったら、さぼっているという考え方がうまれるのか僕にはわかりませんが

あなたはさぼっているといったか

貴方世界ではそうなのでしょう ごめんなさい

2019-10-19

anond:20191019005215

物理現象記述するために生まれ数学結構ある

フーリエ変換フーリエは熱伝導を解析するためにフーリエ解析を築き上げた

2019-07-12

工業数学ってウェーブレット変換くらいが限界なん?

離散フーリエウェーブレット変換で、そっからあとってなかなか本に出てこんのやけど

2019-01-05

東大入ってみて、なぜ鉄緑会が圧倒的に強いか分かったか

鉄緑会のことを何も知らないで書く。なので、完全に的外れかもしれない。

結論から言うと、

東大先生の授業レベルが、そのまま受験バックグラウンドになっているから、現役東大生が集まった塾ではその知識バックグラウンド集合知となるから

だと思われる。

  

具体的に言うと、例えば物理電気問題

あれって、大学レベルだと、フーリエとかラプラスとか使ったり、等価回路使ったりする。

抵抗だけでなく、ジーメンスとか言うの使ったり、

閉鎖回路をグラフ理論から最小の手順で解いたり。

で、実際過去問でそういえばそんなものテーマになって高校生用にアレンジされてる感の問題があった。

その知識があると、問題理解が違う。

この知識があって、そう言う感じの問題が出れば、圧倒的に有利だ。しかも周りは解けない。

「新作問題だ!東大はすごい!」とかよく言うけど。

そもそも東大日本大学生の標準的教科書を書いてる先生と書いて、それをパクって全国の大学が授業してるわけで。

その根本的な「東大生の学問理解レベル」を作成してる東大先生脳味噌は、東大生に反映されていて。それで問題を解析してるわけだ。

  

全国の塾で、東大の授業、レベルを知っている人がどれだけいるか

もちろん、最先端まで知ってる塾講師はいるだろうが、「東大生のレベル」を色々な分野含めて知ってるとなると、鉄緑しか無理だと思う。

  

自分場合物理数学生物ではこの手の感覚や、誰先生の授業が元ネタだろうなとかまでわかる。

おそらく、社会化学英語国語もそう言う感じじゃないかと思う。

  

そう言う理解の元でやってるからそら強いわ。

だって普通受験生は、ラグランジュとか二回微分の解析とか知ら無いで、そこから発想された問題は捨てるか大量のハンデで解くしかない。

一方で、鉄緑会は、そう言うのを織り込み済みの中で教育されていて、問題への対応力が違うわけだもん。

一般受験参考書の著者も、研究として1分野を知っていても、「現役の東大集合知」となると敵わないから、あくまでこれまでの参考書アレンジしかできないと思う。

一般受験生が、過去問などから、「東大テイスト」を知ろうと必死になるよりも、さらアドバンテージ持ってるし、それをベース計画された問題演習やってるわけじゃん。

そら敵わないわ。

2018-09-19

anond:20180919164125

理系からといって数学を好んで勉強するわけじゃない。

線形代数だのフーリエだのテンソルだの聞くだけでうんざりする。

でも素数にはロマンを感じる。

そんなものじゃないのか?

2017-03-07

http://anond.hatelabo.jp/20170307053229

良くはわからんけれども、

ネトウヨっていう思想がそもそも変わってきてるのでは。

政治思想なんてのは時代の変遷とともに思想自体も、親和的文化とも変わっていくものだよ。時代って言うには大げさすぎるかもだけど。

例えば社会主義なんかサンシモンフーリエロバートオーエンの思想と、マルクス思想はだいぶ違い、

科学的社会主義者を自負する者の中には前者を「空想的社会主義」として叩く人もいたわけだ。

同じくくくりでは「ネトウヨ」でも、昔の「古典的ネトウヨ」とは合わないように変わってしまったネトウヨが多くなってきた、ってだけの話なのでは。

ネトウヨ社会主義者と違って、空想的だとかそうやって切断することをやってないという点で差異はあるけど、

まあインテリ的では全くない思想からそのあたりツメの甘さが別にあっても不自然ではないと思うし。

思想が変化したからって、ネトウヨという集団のものがなくなったとみなすのは、油断であるように思えるよ。

実際、以前はネトウヨとあまりみなされてなかった意見思想が新しくネトウヨとされてるのはだいぶ前から結構見るし。

そして最近ネトウヨを名乗りながら、あるいはネトウヨ扱いされても否定せずに、その上でネトウヨを叩く人も増えてるように感じる。そういうことではないだろうか。

2013-09-27

http://anond.hatelabo.jp/20130927115648

そもそも、線形ではあるものの、ほぼ鋳造する必要性のなかった年を0近似と考えれば、線形として捉えるよりも、

非線形として捉えるほうがはるかに合ってるようなグラフ(そりゃぁ、まとめて処理していると言う主張は線形ではなく、非線形だという主張なので)に対して、

フーリエ成分を求めて何がしたいの?

 

そりゃぁ、矩形関数でもフーリエ成分は求められるが、求めることに意味を感じないんだけど・・・

http://anond.hatelabo.jp/20130927115454

じゃあ君の仮説をそのグラフが裏付けるかどうか検証してみよう。

製造量のフーリエ成分の時間変化を求めてみるんだ。

ログイン ユーザー登録
ようこそ ゲスト さん