カテゴリー: logic

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

TANAAKKの完成系は∞ ary→∞ operad→NTM X→Y 1dimension truncation ∞ stack rendering。演算資源とtruncated MDL結果としてのboolean SAT…
Read more

ケーリーディクソン構成により構成された純虚数のwell behaved operad categoryを演算の舞台n-aryとしてNTM的な演算を∞-operadで実行する。そうするとモンテカルロ法のように分岐したtre…
Read more

ゲーデルの不可能性定理はundecidablityと誤認されていたが、それはundecidablityなのではなく、 conjectureに過ぎなかったことが時代の後半でわかってきている。不可能とはincomputabl…
Read more

real options, sunk cost, hysterisisこれら3つの概念は、大企業が「期待値マイナスの投資を止められない」という袋小路に陥る際、相互に補強し合う悪循環を形成します。数学的・経済学的な視点から…
Read more

1.∞ simplex↔︎0 simplex　 (gluing/nerveされればされるほどdimensionが落ち、低いdimensionではsimplexの識別力は支配的ではなくなる。) 2.0 complex↔︎∞…
Read more

数学で代数というとき、そこには２つの意味がある。本来のalgebraは、ハミルトンが定義したようにBasepoint（原点）を共有する「排他空間」の集合である。i2=-1となり、ijk=-1となるような定義を持つ空間であ…
Read more

現実空間では、物体が回転したり、複雑に動いたりするため、「今、どちらが効率的な向きなのか」を目視で判断するのは困難です。しかし、内積という「数式のフィルター」を通すことで、視覚に頼らずに効率性を数値として出すことが可能に…
Read more

合成代数的な8元数の作り方は一般的な座標系ではない。例えば、x,y,zを交差させて0を起点として±x,±y,±zとするのはベクトル空間においては3次元だが、合成代数空間においては1次元である。例えば、8元数というのはベク…
Read more

voevodskyが想像し、coqやunimathで体現したmathematics equivalence systemを用いるとAとBのホモトピー等価性を形式証明することで即座にzero knowledge proof…
Read more