International Intelligent Information Inc.

International Intelligent Information Inc. について

今まで公開してきた特許

International Intelligent Information Inc.が過去に研究・開発した製品の特許情報をご覧いただくことができます。

研究業績一覧表

  (1) 学位論文 Aspects of Large Cardinals (1985年 米国イリノイ大学数学科) (2)その他の学術論文報告等 題 目 著者 掲載誌 巻・号・頁 発行年月 ...

研究・開発

計算量理論における「PvsNP」問題はTM基準の言語認識問題として設定されている。 しかし、言語 L の認識アルゴリズムで最短なものを追及するには、“可能な、有りとあらゆるアルゴリズム”を考察する必要 ...

業 績

ビジネス業績は、研究業績に深く関係しています。 例えば、リスト中の「Boolean Embedding」が、ブーリアンテストアルゴリズムの種論文です。 サービスでリンクしておきました。 ブーリアンテス ...

全てのコンテンツをご覧になるには会員登録が必要です。

International Intelligent Information Inc.のサイトにお越し頂きありがとうございます。
一部のコンテンツは無料でご覧いただけますが、全てのコンテンツをご覧になりたい方は有料会員登録が必要ですので、
会員登録ボタンをクリックして、有料会員登録を済ませてください。

Premium
有料会員
¥3,000(月額)
有料会員の決済が済み次第、当サイトのすべてのコンテンツを閲覧、ご利用いただけます。
退会するまでは自動決済されるので、毎回決済する必要はございません。
なお、月途中に退会されても返金は致しかねます。あらかじめご了承ください。

ハイパー論理(有料コンテンツ)

2019年8月28日 (前提の日)

2019年8月28日 (前提の日) 前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理推論におけるc ...

2021年8月28日 (メタアプリの日)

μ’(x)の関数性を用いて、ZF({x|})の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀(2)=⏀(ω) ⇒ μ’(⏀(2))=μ’(⏀(ω))・・・(関数) は導出できずに、内容依 ...

2019年9月28日 (抽象の日)

2019年9月28日 (抽象の日) 前回で、第一階述語論理ベース理論Tにおいても、土台の集合論は無視できないことが判ったはず。 cutで消去できないのよ、ZF(!)は矛盾してるんだから。 その所為で、 ...

2021年7月28日 (μ’の日)

引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動まだ、会員登録お済みでない方は、新規会員登録へお進みください。

2019年10月28日 (バスの日)

2019年10月28日 (バスの日) 限量子の課題は、ZFが矛盾することから生起した問題です。 だったら、私が無矛盾にYJを構築すると、限量子問題は杞憂になるか? フッ、そう単純じゃないのよ、真理世界 ...

更新日:

執筆者:jinsei_iii

Copyright© International Intelligent Information Inc. 山口人生 I.I.I , 2021 All Rights Reserved Powered by STINGER.