International Intelligent Information Inc. について

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

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

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

業 績
ビジネス業績は、研究業績に深く関係しています。 例えば、リスト中の「Boolean Embedding」が、ブーリアンテストアルゴリズムの種論文です。 サービスでリンクしておきました。 ブーリアンテス ...
最近の投稿/お知らせ
全てのコンテンツをご覧になるには会員登録が必要です。
ハイパー論理(有料コンテンツ)
2025年3月28日
2025年3月28日 (百考の日) 前回、選択関数の特性に注目して蘊蓄を傾けました。 選択関数辺りから、普遍境界がチラチラと見え始めるという筋書き。 何遍も繰り返しますが選択関数という概 ...
2025年2月28日
2025年2月28日 (千創の日) 前回、100考の話題に入りましたが。 リー群系微分の話はハイパー神商に譲って。 こちらでは、猿の脳タリンレベルを悟らせるため。 1000創に至る途中の ...
2025年1月28日
2025年1月28日 (制約の日) 前回、制約対角線論法という新概念を提示しておきました。 制約C付きの対角線論法ですが。 この重要性が認知できているかな? 対角線論法は実数の非可算性証 ...
2024年12月28日
2024年12月28日 (背理の日) 今まで、メタというと、 「矛盾」 とか 「独立」 とかを持ち出して。 「これがあるから、(演繹)証明は計算(可能)とは違う。」 と述べてきました。 ...
2024年11月28日
2024年11月28日 (バトルの日) 前回の文脈の続きを論じると。 一般的に、こう考えるべきなんです。 「termを曖昧にしたままで、formulaだけの証明は有り得るのか?」 これが ...