CONTENTS

Decrypt history, Encrypt future™

E8×E8×E8×E8の対称性

ノルムE8、空間E8、時間E8、物質宇宙のキャンバスというE8がbasepoint0を共有するような論理aryとしてoperadの舞台を用意してみる。そうすると248次元のカルタン部分環基底が8であり、ベクトル112、ス…
Read more

Interactive Proof ZKP

コンピューターサイエンス(計算複雑性理論)において、Interactive Proof System (対話型証明システム) は、従来の「証明」の概念を拡張した非常に強力な枠組みです。 1. 基本 対話型証明は、能力の異…
Read more

現代LLMのボトルネックとブレイクスルーとしての圏論的言語モデルの必然性

現代LLM、主にgemini, chatgptにおいてクエリ↔︎レスポンスを実現するためのバックエンドエンジンには、構造的な弱点があり、それは高次圏論や高階論理的多次元高階情報を強制的に低次トランケーションして単一空間ベ…
Read more

計算可能宇宙の最小構成モデルはE24 ∩ 𝐶𝐷256である

空間、時間、可換性、非可換性について、対偶、随伴、集合、圏などの関係や、演算操作の対応関係から考察する。 人間は時間の問題を空間や形の問題に変換して時間や回数の演算を数学的に無効化し、バイパスするのが得意である。例えば、…
Read more

チューリングパターン|The Chemical Basis of Morphogenesis

アラン・チューリングが1952年に発表したThe Chemical Basis of Morphogenesisという論文は、生物学における「形(形態)」がどのように生まれるかを、「DNAの設計図」ではなく「物理・化学の…
Read more

麻田理論の数学的証明|業績⇄理念は随伴する。特定決算期の業績は理念の部分集合である

企業業績はA:X⇄Yの空間航行問題である。 企業Aが持つ理念と業績の間に随伴関係⇄があるのであれば、企業Aは当然その業績Yを達成することができる。 理念X=論理的演算系、停止条件 業績Y=物理的出力 と定義すれば、特定決…
Read more

わかりやすさの弊害は作為者自身も特異点に取り込まれることである。

あまりに高度で機能的な数学理論を確立してしまったとき、それを素直に書くとジェイコブルーリーのhigher category theoryやウラジミルヴォエヴォドスキーのhomotopy type theoryのように難解…
Read more

A:X⇄Yの空間航行問題

A:X⇄Y {A,A’,A”…}⊂V 集合Aと集合A’という2つのホモトピータイプを設定し、全体集合をV、AはX→Yに行きたいというゴールがあるとする。このゴールは大企業の…
Read more

ケリー基準から導く最適運転車線

高速道路で車は走行車線を走っていたほうが追い抜き車線を走るよりも安全チェックなどと総コストが低く、渋滞で遅く感じても車線変更しない方がケリー基準的な期待値が高いのではないか。 認知速度の調子がいい時も悪い時もボラティリテ…
Read more

2以上のベクトルを合成する場合の内積問題は架空の合成ベクトルに力量0で合わせる必要がある。

センタリングで上がったボールに風力や地面の摩擦などが影響し、ゴールにシュートで合わせて振り抜く場合に、足首の力がボールと足が接触した合成ベクトルとゴールを結んだ線に対して0になっていないとゴールに突き刺さらない。固めて当…
Read more