HOME

今まで公開してきた特許

投稿: 2021年2月15日

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

研究業績一覧表

投稿: 2021年1月22日

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

研究・開発

投稿: 2021年1月21日

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

業　績

投稿: 2020年11月5日

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

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

Premium
有料会員

¥3,000(月額)

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

２０２１年３月２８日（Ｖ（ω）の日）

投稿: 2021年3月28日

２０２１年３月２８日　（Ｖ（ω）の日）前回の証明で、「ＺＦ（＃）ＳＥＴ（ｘ）　ｖｓ　“ＺＦ（＃）ＳＥＴ（ｘ）”」について軽く触れておきました。両者とも、メタ命題の表現と見ることも ...

２０２１年２月２８日　（関数の日）

投稿: 2021年2月28日

前回、一番大事な概念 ∃α（∅（ＡＣ）∈Ｖ（α））の表現が誤変換されていました。これを発見したのは、新サイトでの課金設定の確認作業中。元の原稿ではマトモに表示されているのに。ブラウザ上で見た ...

２０２１年１月２８日　（ＺＦ（｛ｘ｜｝）の日）

投稿: 2021年1月28日

ここから、ハイパー論理に。前回、∅（２）の定義における循環について触れておきました。これに関する市場調査の結果。猿は脳をスプーンで掬われてもキョトンとしていることが判明。剰え、私が素人だとまで ...

２０２０年１２月２８日　（｛ｘ｜φ（ｘ）｝の日）

投稿: 2020年12月28日

ここからハイパー論理に。今回から、新猿の知性３６：表現編に入ります。目的は、集合論の表現可能性について論じること。この場合の表現可能性とは、どういうレベルの意味か？それは、採用する ...

２０２０年１１月２８日　（分出の日）

投稿: 2020年11月28日

ここからハイパー論理に。そもそも、何故、１００年間にも渡り、その道のプロが、「内包公理を分出公理に変えると無矛盾になる。」と錯覚したのか？今回はテーマは、この理由の推察です。ワトソンには ...

International Intelligent Information Inc.

International Intelligent Information Inc. について