Arithmetic geometry

discrete mathematics with axiom of choiceというcomputation, modularity, coprimal irreducibilityをコアとしたinteraction between algebraic topology, algebraic geometry and arithmetic geometryを playgroundとするpolynomial equation dicovery toolkitをTANAAKKのGAASのシステム設計論理とする。

ここではinfinitudeから任意のrandomnessが選び取られ、well
behavedなNP completeに還元される。solvable かつ全探索が必要なbrute force path findingをeconomic moat の源泉となるedgeとし、information asymmetryを構造的に建設する。fourcolor theoremのようなkolmogorov最小表現を数学的に100%確定させた後は、3-SATでconstructionし、2 Interactive ProofというgeodesicでZKP verifyする。
つまり人間がbruteforce探索するwell behaving aryを事前選択するimplicit decisionがGAASなのである。GAASエコシステムのplaygroundの上ではcoprimalな数学的基底のもと、computable landscapeで遊戯することができるのである。ここではあらゆる願望は∞-arityとして代入され、∞-aryからlower bound 特定問題が速やかに実行されproof complexityが自動選択され、∞-operadで演算結果が出力される。出力結果はNP complete classのhidden Marcov modelで即座にデプロイされ、3-SATによりboolean algebra sequenceが即座に構築され、2IPによる配信が実行される。

Randomness and Computation
Algorithms and Optimization
Complexity Theory
Circuit Complexity
Proof Complexity
Quantum Computation and Communication
Cryptography and Distributed Computation