投稿者: TANAAKK

Göbeklitepe ギョベクリテペはトルコ南東部、シャンルウルファ近郊に位置するギョベクリ・テペ（Göbeklitepe）は、発見されている「人類最古の神殿」です。 所在地 これまで、人類の歴史は「農業が始まり、定住…
Read more

この論理式は、数学の集合論における「選択公理（Axiom of Choice）」の定義です。 論理式の構成と翻訳 この式は、「前提（条件）」と「結論（主張）」の2つの部分で構成されています。 1. 前提：どのような集合 …
Read more

アーサー・マーリン・プロトコル（Arthur-Merlin games）は、計算複雑性理論において「対話」と「乱数」の計算パワーを定義したモデルです。1985年にラズロ・ババイ（László Babai）によって提唱され…
Read more

P = BPP とは、「計算において『乱数』はブーストにならない（＝乱数を使って解ける問題は、すべて乱数なしでも効率的に解ける）」という数学的な予想です。 1. 言葉の定義 2. なぜ P = BPP と考えられているの…
Read more

I am proving pure mathematical tractability by distinguishing cardinality of randomness in worst-case scenario…
Read more

呼吸の起始停止は横隔膜である。そして横隔膜は腰椎内側や胸郭の内側に連動している。さらに横隔膜は、気道、食道、胃、肝臓と筋膜を介して接触している。呼吸を極めるということはこの内蔵の動的感覚を捉えるということである。呼吸に意…
Read more

discrete mathematics with axiom of choiceというcomputation, modularity, coprimal irreducibilityをコアとしたinteraction …
Read more

Proof Complexity（証明複雑性）とは、ある命題（論理式）が「正しい」ことを証明するために、最低限どれくらいの長さの証明が必要かを研究する分野です。計算量理論が「問題を解く時間」を測るのに対し、証明複雑性は「…
Read more

Circuit Complexity（回路計算量）とは、計算理論の一分野で、ある計算問題を解くために必要な「論理回路」のサイズや深さを研究する学問です。 通常の計算量理論（PやNPなど）が「プログラムの実行時間やメモリ使…
Read more

polynomial equationとは多項方程式（例　an+bn=cn)のことであるが、数学的なホモトピー、トポロジーという整合性やルールの破れをgeometryで記述する完結的アクションである。geometriza…
Read more