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(月額)

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

２０２３年５月２８日

投稿: 2023-05-28

２０２３年５月２８日　（可算の日）今回は、予定通り、第一階述語論理に対するWikipediaの記事の間違いを指摘します。具体的には、「term候補として無限個の個体定数を許容するか ...

２０２３年４月２８日

投稿: 2023-04-28

２０２３年４月２８日　（恐怖の日）現在はＺＦに対するＦＯＰＬ詐欺の話題を続けていますが。前回の続編は次回にするということで。今回は、無限の観点からバイパスを通しておきます。集合論 ...

２０２３年３月２８日

投稿: 2023-03-28

２０２３年３月２８日　（個体の日）今回は、３月１５日の新着情報の続報です。結論を述べれば。「集合論は矛盾する？！」の解説で取り上げたＺＦ矛盾証明モドキが間違いなのは確かです。し ...

２０２３年２月２８日

投稿: 2023-02-28

２０２３年２月２８日　（警告の日）今回は予定通り、ＺＦ（｛ｘ｜｝）が第一階述語論理ベースにならないことを論証します。これは、すでに何回も繰り返して指摘した事実であり。証明も終えてい ...

２０２３年１月２８日

投稿: 2023-01-28

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

更新日：2021-02-24

執筆者:jinsei_iii

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