>特開昭62-19000
>発明の名称：各種のあらゆるアイデアを厳密に考える発明を自動的に考える
>コンピューターの方法と、その子、そのまどの様に自動的にコンピューター
>・シミュレーションのそれによるそれの方法と、それによって発明可能な
>発明のすべて
なるほど、すごい特許だ。