HOME

今まで公開してきた特許

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

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

２０２２年１２月２８日

投稿: 2022-12-28

２０２２年１２月２８日　（神帝の日）今は、ＺＦが第一階述語論理ベースにはならないことを論証している最中です。その伏線として、ＳＡＴを持ち出し。ＳＡＴの論理式は論理関数として把握でき ...

２０２２年１１月２８日

投稿: 2022-11-28

２０２２年１１月２８日　（螺旋の日）猿が進化するためには。論理関数に対する循環地獄を螺旋状に昇っていく必要があります。そのための伏線準備として、今回は一般論を。それが、「存在　 ...

２０２２年１０月２８日

投稿: 2022-10-28

２０２２年１０月２８日　（猿脳の日）ＳＡＴの論理式は（命題）論理関数として把握できますが。ＺＦの論理式を（述語）論理関数として把握できるのか？今まで散々、検討してきたのですよ。実 ...

２０２２年９月２８日

投稿: 2022-09-28

２０２２年９月２８日　（３種の日）　前回、ＳＴＡＰ騒動と対比させて、「ＦＯＰＬ騒動」というものを提示しておきました。これは、「ＺＦが第一階述語論理ベース」という主張の真偽に関 ...

２０２２年８月２８日

投稿: 2022-08-28

２０２２年８月２８日　（詐欺の日）前回、伝家の宝刀として、決定問題Ｑを持ち出して。これがあるから、ＺＦとＺＦ（｛ｘ｜｝）は表現同値ではないと言いました。この真意が把握できているのか ...

International Intelligent Information Inc.

International Intelligent Information Inc. について