International Intelligent Information Inc.

International Intelligent Information Inc. について

今まで公開してきた特許

投稿: 2021-02-15

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

研究業績一覧表

投稿: 2021-01-22

  （１） 学位論文 Aspects of Large Cardinals　（１９８５年　米国イリノイ大学数学科） （２）その他の学術論文報告等 題　目 著者 掲載誌 巻・号・頁 発行年月 ...

研究・開発

投稿: 2021-01-21

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

業　績

投稿: 2020-11-05

ビジネス業績は、研究業績に深く関係しています。 例えば、リスト中の「Ｂｏｏｌｅａｎ　Ｅｍｂｅｄｄｉｎｇ」が、ブーリアンテストアルゴリズムの種論文です。 サービスでリンクしておきました。 ブーリアンテス ...

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

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

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

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

２０１９年８月２８日　（前提の日）

投稿: 2021-09-15

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

２０２１年８月２８日　（メタアプリの日）

投稿: 2021-08-28

μ’（ｘ）の関数性を用いて、ＺＦ（｛ｘ｜｝）の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀（２）＝⏀（ω）　⇒　μ’（⏀（２））＝μ’（⏀（ω））・・・（関数） は導出できずに、内容依 ...

２０１９年９月２８日　（抽象の日）

投稿: 2021-08-15

２０１９年９月２８日　（抽象の日） 前回で、第一階述語論理ベース理論Ｔにおいても、土台の集合論は無視できないことが判ったはず。 ｃｕｔで消去できないのよ、ＺＦ（！）は矛盾してるんだから。 その所為で、 ...

２０２１年７月２８日　（μ’の日）

投稿: 2021-07-28

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

２０１９年１０月２８日　（バスの日）

投稿: 2021-07-15

２０１９年１０月２８日　（バスの日） 限量子の課題は、ＺＦが矛盾することから生起した問題です。 だったら、私が無矛盾にＹＪを構築すると、限量子問題は杞憂になるか？ フッ、そう単純じゃないのよ、真理世界 ...

更新日：

執筆者:jinsei_iii

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