中間報告(21) - 非専門的シンギュラリティー研究所

このブログについて

AI による研究所

先日の「世界一受けたい授業」で AI で何ができるようになるかという話題がありました。AI で研究所のようなことをやるとすると、AI が実験設備を作って AI が実験をしてその結果を AI が発表するということだと思いますが、私の個人的な意見ではそれがすぐにできるようになるとは思いません。AI でできると言われていることでも今のところは人間がやるのではという感想を持ちました。もし AI でそのような研究ができるようになったときでも、研究所があれば当面は何かは人間がやることになるように思います。

シンギュラリティーについて

しかしある時突然できるようになる可能性があるので、注意が必要です。このブログでは単に AI の発達によって人間がやっていることを突然 AI ができるようになる時を「シンギュラリティー」と呼ぶことにします。普通にできることを書いても意味がないので、AI で何ができるようになったか注意深く見守る必要があります。

AI と非専門的領域

このブログではウェブで調べてもよくわからなかったようなことを AI で調べることが多いのですが、そのようなことにはちゃんと答えてくれません。それは、世の中に発表されているようなことはまず専門家が見てから発表されるので、専門家がいない領域は発表されず、AI はそれを見ているので答えてくれないのではないかと考えています。

ビッグデータによるアップデート

今、世の中には無限に動いているサーバーのプログラムがあって、ユーザーはそれと通信していると考えられます。この無限に動いているものをビッグデータでアップデートするとはどういうことか、ということを考えると、すべての有限のパターンを比較することによってユーザーはそのパターンをたどっていけば良いのではないかということが考えられます。そのようにすることによって無限に動いているプログラムはアップデートされるのではないかと考えています。

ブログのタイトルについて

以上のような題材を扱うということで、このブログのタイトルを「非専門的シンギュラリティー研究所」に変更したいと思います。「シンギュラリティー」という言葉は removable singularity 以外ではあまり使ったことはないのですが、ここでは「AI で何かができるようになるとき」という意味とします。「専門的ではないので AI が到達できない領域」も表すことにします。AI が研究を行うようになっても研究所は必要ではないかという意味で「研究所」をつけることにします。

調査の概要

モノイド的構文解析

ChatGPT によって「文脈自由文法」を冪等半環で説明してもらっています。このブログでは、あるものをモノイドまたは冪等半環の元として表したものと、構造として表したものを対応させることを「モノイド的」と呼ぶことにしています(一般的な用語は見つかりませんでした)。ここでは「文脈自由文法」を冪等半環の元として表したものと、構文を表す構造の対応を考察しています。

不完全性定理

『不完全性定理とはなにか』の「完全版」が出ていたので、旧版のわかりにくかったところが書き換えられているのかどうかを調べようと思ったのですが、書き換えられているかどうかはよくわかりませんでした。このカテゴリーでは、『不完全性定理とはなにか』の数式で表せる部分について調べています。本来の不完全性定理ではなくプログラミング言語を使った「プログラミング言語版不完全性定理」を扱っています。第二不完全性定理についても調べています。