Keynote Speech at FGCS'84 Symposium

プロジェクトの基本理念-再説

当機構常務理事・研究所長

渕一博

　本日から始まります国際会議に，世界各国から多数の皆様がこ出席いただきまして，主催者の一人であります私としても非常に大きな喜びであります。

　私の話は，今日の午後から始まりますICOT プロジェクトの成果報告に先だち，その前置きとして，このプロジェクトのスタートにあたる基本理念，技術的な枠組みについてそれをふり返ってみたいと思います。前回の国際会議から3カ年経っておりますし，それから，プロジェクトがスタートしまして，2カ年半経っているわけではあります。

　ひとことで申し上げますと，2年半ないしは3 年の私たちの体験というのは，当初にたてました基本理念というものに対して，私たちの確信を深めさせるものがあったと言ってもよろしいかと思います。

　私たちの考えの基本には，コンピュータの歴史の中で，次の第二の新しい時代が来るであろうと，そして，その新しい時代に向けての準備をしなければならないというのが，このプロジェクトだと思っているわけであります。現在のコンピュータの技術の体系，技術的な枠組みというものに，いろいろな限界があるということについては，多くの人々が指摘しているわけでありますけれども，私たちはその限界というだけではなくて，次の新しい技術的な枠組みの可能性が見えてきたというふうに判断したわけであります。もちろん，私たちか提案した枠組みというのは，可能性の指摘であります。

　したがって，仮説であるわけです。仮説であるということは，証明されていないということでありまして，この仮説の証明をしようというのが，このプロジェクトであると申し上げてもよろしいかと思います。私たちの仮説に対して，もちろん，賛否両論あるわけでありますけれどもこの3年程の体験というのは，私たちの中だけではなくて，世界中に同じ方向に対しての賛同者，理解者というものが，非常に増えてきたということだと思うわけであります。いろいろな意味で，私たちのプロジェクト，あるいは，私たちの提案というのが世界中にセンセーションをひきおこしたということかあります。これは理解と同時に多くの誤解をひきおこしたわけでありますけれども，いずれにしても賛否両論ということで大きなセンセーションをひきおこしたということは，やはり，基本的に言いますと，多くの人々が，この，次の，新しい時代への予感を意識的に，あるいは無意識的に持っていたと，そういうところに，一つの刺激となったのでないかと，そういうふうに思っているわけであります。そういう意味では，これももちろん証明ではありませんけれども多くの人々が，ある種の未来への予感を持つていたというふうに言つていいと思いますし，それ自体，一つの傍証になるんではないかと思うわけであります。どういう技術的な枠組みであるかということについて，3年前にも申し上げましたし，その後，いろいろ申し上げているわけでありまして，いまさらということもあるかと思いますけれども簡単に復習させていただきますと，一番基本的な枠組みというのは，これは非常に単純化した言い方ですが，述語論理と呼ばれる論理系をべースにしまして，コンピュータのハードウエアとソフトウエアの体系を再構築していこうということであります。

　そういうことで，私たちの考えでの第五世代コンピュータというのは，非常に単純化して申し上げると，述語論理マシン，あるいは推理マシンと言っていいかと思うわけであります。現在のコンピュータには，機械語というものがありますけれどもその機械語に相当するものとして，私たちは核言語というレベルの言語を設定しようとしております。この機械語というのは，コンピュータの基本的な構成，アーキテェクチャというものを規定するものでありまして，現在の機械語というものは，いわゆるフオン・ノイマン方式というものの特徴を集中的に表わしているわけですが，私たちの構図では，この機械語に相当する核言語というところで，この，新しい考えをあらわしていきたいというふうに思っているわけであります。こういう核言語に対して述語論理をもとにした新しいプログラム言語，新しい言語を設定しようということであります。そういうものがうまく設定できますと，それを実現するマシンとして，新しいコンピュータが考えられると思います。それには，並列処理であるとか，あるいは，連想的な検索というものが，一つの必要な非常に有効なものになってくる。そういうことで，いわゆるフオン・ノィマン型から，非フォン・ノィマン型へ進む一つの道を見い出せるのではないかと，そういうふうに思うわけです。

人工知能をどう応用するか

　一方，ソフトウェアに関しましては，新しいレベルの核言語というものをべースに，その上で，ソフトウェアを構築していく。つまり，現在のしベルよりは非常に高い水準から出発する。したがって，ソフトウェアとしては，非常に高い機能までのぼっていけるというふうに考えるわけです。そういう能力を生かしまして，自然言語の扱いとか，あるいは，知識処理というものをより有効に実現していくべースを作っておきたい。というのは，非常に簡単でありますけれども、私たちの構図であるわけであります。先ほど申し上げましたように，この構図というのは仮説でありまして，いわば，作業仮説であるわけです。しかし，仮説と言いましても適当に選んだというつもりではありません。むしろ，情報処理の研究分野で，これまでいろいろ研究されてきたこと，それから，それを取りまくいろいろな関連技術の動向，あるいは社会的なニーズというものを総合して，その中からしぼり出した仮説だと，私たちは思っているわけであります。いろいろな分野が関係するわけでありますけれども，一つ大きな分野というのは，いわゆる人工知能の分野であります。

　この人工知能というもの，あるいは，その応用というものが，将来の情報処理の世界にとって非常に大きな意味をもつということは，いろいろな人々が言っておられるわけであります。私どももそのとおりだと思い，そういう新しい応用に向けての技術的なべースを作つていくべきであろうということが基本にあるわけです。ただ，この数年人工知能の応用ということに関しては，いわゆる AIビジネスというものが，とりざたされておりまして，一つの産業になろうとしているわけであります。このこと自体は，非常に喜ばしいいいいことだと思いますけれども，私たちのプロジェクトの関連で言いますと，私どもの立場は，この AIビジネスに対して直接かかわることはないと言っていいと思うわけであります。現在のAIビジネスというのは，ベースになるマシンとしては，現在のコンピュータの上で構築されているわけです。それはそれなりに有効性がありますけれどもいずれ限界が乗る。そのため人工知能の持っている本来的な意義を，さらに未来に向けてのばすためには，新しい技術的基盤が必要たというのが，私たちの立場でありまして，そういう基盤を作るべく努力する。将来，人工知能の応用がより健全に大きく発展していくためのべースを作っていくということに，我々の問題意識があると言っていいと思います。

　私達のプロジェクトというのは，人工知能の問題に深くかかわっておりますけれども，人工知能プロジェクトそのものではありません。あるいは人工知能の応用としての知識工学，ないしエキスパートシステムのプロジェクトそのものでもありません。人工知能という研究のゴールは，我々の知能のメカニズムの解明ということでありまして，これは非常に高い目標であります。これは，10年 -20年で解明されるというほど，私は楽観的ではありません。非常に基礎的な研究が多数積み上げられて，21世紀には，かなりのことがわかってくるかもしれないというふうに思うわけであります。また，そういう意味では，非常に息の長い努力を必要とすると思います。

　エキスパートシステム、知識工学といいますと，これは様々な応用分野にひろがっていくわけであります。応用分野との関連で，新しい技術の検証をするということは，非常に大事ではありますけれどもすべての分野についてのエキスパートシステムを作るということは，一つのプロジェクトでは不可能でありまして，これはいろんな立場の世界中の人々の努力の総和として進んでいくものであると思います。そういうことで，非常に人工知能の問題に深くかかわっておりますが，その人工知能プロジェクトであるというふうに，単純に言うことはできないと思います。

アーキテクチャに新しい提案

　次に関連します分野は，ソフトウェア工学の問題でありまして，先ほどお話がでましたようにソフトウェアの生産性向上というのは，非常に大きな問題になりつつあります。そのために，それは現在の問題でもありますから，そのためにいろいろな，多彩な努力が必要であると思います。しかしながら，私たちのプロジェクトは，そういういろいろな努力の中の一つとして，将来を見通した一つのアプローチを進めていきたいっていうふうに思っているわけであります。したがって，現在の段階ではいわゆるUNIXであるとか，新しい言語というものが，現実面では話題にのぼって当然だと思いますけれども，私たちのプロジェクトには，ADAというような言語というものは対象にならない。もっと将来的な高いレベルの言語を追求していこうというふうに思っているわけです。このソフトウュアの生産性の問題をかなり画期的に改善させるためには，単にソフトウェアの作り方だけではなくて，それを支えるハードウェアの助けも必要になるわけであります。そういうことで，このハードウェアおよびソフトウェアを含めた一つの新しし体系を確立するように努力していこうというのが，私たちのプロジェクトであると言つていいと思います。

　私たちのプロジェクトは，新しい時代のためのソフトウェア工学のプロジェクトである，そういうふうに言っても間違いないと思いますが，それを支える新しいアーキテクチャを待つたコンピュータの開発が必要であるっていうふうに言えると思います。

　この新しいコンピュータのアーキテクチャの問題に関しては，いろんな提案が，最近，出てきつつあります。これらの著しい特徴というのは，単に新しい並列処理方式というだけではなくて新しい言語との結びつきというものが強調されているわけであります。

　関数型言語との結びつき，あるいは関係型言語との結びつき，あるいは対象指向型言語との結びつきというものが非常に意識されているわけであります。そういうことで研究の大きな流れの中でもソフトウェアとハードウェアの密接な関連というものが生まれてきておりますし，ソフトウェア的な分野の中でもソフトウェア工学と人工知能的なアプローチというのが融合してきているというふうに言えるわけであります。そういうことで，コンピュータ技術を構成するいろいろな要素というものが，新しいベクトルをももってきている。それは発散していくベクトルではなくて，10年後か10数年後か，そこはさだかではありませんが，その頃に一つの方向に融合していく，そういうベクトルであると私たちは観察しているわけであります。

全体構図がポイント

　いろいろな分野に関連しておりますけれども強調したいのは，この部分的な分野での可能性の追求，これも必要なんですが，それだけではなくて全体を通した構図が描けるかどうかという、そういう発想ではないかと，そういう発想が必要ではないかと思うわけです。たとえば，非常に局部的な分野で言いますと，知識を表現するための知識表現言語という分野では，いろいろな提案があってもおかしくはない，あるいはアーキテクチャのところで，いろいろな提案があってもおかしくないわけです。あるいはプログラミングという場面だけ取り上げていろんな言語の可能性というものがあってもいいわけです。しかしながら，そういう分野を全体として統一できるような考え方があるかどうかという発想が必要だと思うわけです。私たちとしては，そういうものか見えてきたと思っているわけでありますけれども，もちろん，まだ見えないという意見かあってもおかしくはありませんか。もし見えないとすれば，それは現在の体系が続いていくということでありますけれども，あるいは，だんだん賛同者か増えてきていると思いますけれども，そういう新しい可能性というのがより強く見えるようになってきたと，いうふうに言っていいと思います。この辺の議論に関しまして，一番議論が集小しますのは，先ほど申し上げた核言語というものの設定についてであります。

　一つは，私たちは，この核言語をソフトウェアとハードウェァを結ぶ一連の機械語のレベルだと想定しているわけですけれどもこれを将来ともユーザが使うユーザ言語の提案だと思った議論というものもあるわけです。これは一種の誤解だと申し上げていいかと思いますが，ユーザ言語として，我々が追究しようとしている分離型言語というものが，いいかどうかという議論がありますが，これはそういう議論も必要ですが，必ずしも私たちの設定と合っている議論ではないと思います。それから，同じことですけれども，私たちの，この論理型言語の追究にあたって，基本として， Prologというものを出発点にしたわけであります。ところが，このPrologを最終的な解答として未来に向けて，これが最終的な解答だと思っていろいろ議論される方も結構多いわけです。これは，やはり私どもの意図が伝わっていないのではないかと思います。私たちは，当初から，このProlog を出発点にしますが，それには多くの拡張・改良が必要たということを申し上げているわけです。それから，このPrologをべースにして出発したとか，あるいは論理型言語というものの枠組みを取り上げたいということは，他のもの，他のアイデアを排除するものではないわけです。たとえば，関数型言語とか，対象指向型言語というのは，非常に魅力的な特徴をもっているわけであります。

　私たちの考えは，これらの新しい方向へ向けての言語というのは，いずれ一つの共通の基盤を持って融合されるであろうということです。私たちの論理型言語の提案というのは，対象指向型言語とか，関数型言語を排除しているものではないわけです。むしろ，私たちの気持ちを言うとすれば，この三者を融合する基盤として，論理型言語というのが一番基本的ではなかろうかという仮説を申し上げているというふうに思っていただきたいと思います。これも，もちろん仮説でありますから，少し研究が進んでいけば，また，改定が必要かもしれませんが，しかし，現在までのところでは，そういう仮説が，なかなか有効ではないかと思っているわけであります。

中期に向けてより高度に

　私たちが，このプロジェクトの前期段階の中で行ってきた活動に即して，考えてみたいと思います。

　ご承知のように，この逐次型推論マシンというものを，前期において私たちは開発してきたわけですが，この目的は，中期以降の研究のためのツールであります。しかしながら，その設計にはもちろん私たちの基本的な考えというものを盛り込もうとしているわけであります。逐次型推論マシンの機械語としまして，KLOという言語を設定しました。これは，プロジェクトのスタート直後に設定したわけであります。そういうKL0, 核言語第0版というものを機械語とする逐次型マシンとして逐次型推論マシンを設定してきたわけであります。このKLOというのは，拡張Prolog と申し上げていいわけです。しかし，先ほど申し上げましたように，このKLOというのは，機械語という設定なわけであります。したがって，この新しい我々のマシンに対するソフトウェア構築のために，そういうシステムプログラムのために，私たちは，ESPという，少し高いレベルの言語を設定しております。これは，たとえてみれば，現在の機械語に対して，マクロアセンブラがあるようなものでして，KLOに対する一種のマクロアセンブラ的な位置付けたと言っていいと思います。このESPには，関数型のノーテーションとか，あるいは対象指向型のかき方というものが取り入れられております。そういう言語を使いまして，現在，逐次型推論マシン，PSIと呼ばれるマシンのオペレーテイングシステム(OS)をも開発しつつあるわけです。

　このおおよそのプログラムというのはすべてE SPできかれています。これは，この会場，あるいは次週のICOT研究所のオープンハウスで行うデモンストレーションで見ていただけると思いますけれどもこの論理型言語で制御プログラムを書く一つの大きな実験になっていると思います。このSIMPOSとよばれるOSも必ずしも小さなプログラムではありませんで，かなり大規模なプログラムであります。しかも，オペレーティングシステムのコントロール部分というのは，いろいろ細かい制御をかかなければいけないんですけれど，そういうものも，このESPというものを使って書きつつあるということです。このESPを使ったということは，このSIMPOSというOSを作るのに，非常に有効であったと思います。それから，この，生産性だけではなくて，できつつあるものの効率というものもそう悪くはないっていうふうに見ていただけると思います。このKL 0,それをマシン語とするPSIマシンの設計，それからESPという言語の設定，それを使った SIMPOSの構築というような私たちの体験というのは，いろいろな批判に対する一つの答えになるのではないかと思います。私たちは，受けた質問ないしは批判の一つは，論理型言語でコントロ- ルプログラムは書けないのではないかということがありますけれども，それに対する一つの試みをしている。それから，そういう論理型言語では，大きなプログラムは書けないのではないかという意見もありますけれどもそれに対する一つの答えになると思います。もちろん，私たちの作業というのは進行中でありまして，まだ，大きなアプリケーションプログラムというのをのせる段階には至っていませんけれども現段階で申し上げれば，いろいろ，この次の，これからの展開に対する素材を皆様にも提供できているのではないかと思うわけであります。私たちの研究は，もちろんPSIだけではありませんで，いろいろなものを含んでおります。このKLO核言語にしましても中期に向けて，より高度な機能をもたせるために，KLIというものの検討を進めております。KLIの中には，並列性をもっと自然に取り込むとか，そういうことが試みられているわけであります。それから，KLIというレベルだけではなくて，知識表現，あるいは自然言語の意味表現という観点から，その核言語の上にのった，より高い水準の知識表現言語，あるいは，知識プログラミング言語というものの研究も進めているわけであります。核言語の関連で，よく議論されることの一つは，なぜPrologで，なぜLispでなないかという，非常に単純な質問がありますけれどもこれは議論しますと長くなりますが，ひとことだけ申し上げますと，Lispは，関数型言語であるという意味では，私たちは大いに評価しているわけでありまして，関数型言語と論理型言語というものの融合をめざさなきゃいけないという立場からしますと，そこに対立的な関係は，本来ないと思います。ただ，よく議論されておりますのは，非常に近未来の実用化システムを作るのに，どっちがいいかという議論と，将来の新しい技術を作るための作業仮説として，なにがいいかという議論が混同されて議論されていると，私は感じられるわけであります。

　近未来に実用的システムを作って商用化するという観点からは，まだ，いろいろな選択があって当然だと恐います。しかしながら，そういう議論と，ハードウュア，ソフトウェアを含めたものに対して，新しい技術的な枠組みの可能性を追究しようという立場というのは，必ずしも同じではないわけであります。新しいものを生み出す努力をするためには，私の考えでは，むしろ，非常にすっきりした作業仮説をもっているべきであろうと思うわけです。日本の中では，いろいろな妥協することというのが美徳とされておりますけれどもいろいろなものを混ぜこぜで含みつつ，非常に革新的なものをねらうというのは，ただでさえ難しい目標をもっと難しくするものだと私は思うわけです。我々は，少し割り切りすぎかと思いますけれども理論的な立場から，一番有望であると思われる仮説をまず取り上げると，それを追究することによって，あるいはその可能性，あるいはその限界というものが見えてくるだろう，それをもとにフィードバックをかけていくべきではないかと，そういうふうに思うわけであります。いろいろな議論を，この3年間も多くの人からいただいたわけですが，そういう議論というのは私たちの考えをより豊かにする材料にもなったわけであります。それから，これからの展開のためのいろいろな問題点というものを提起してもらったとも思っております。しかしながら、私として強調したいのは，基本的なフィロソフィ-というものに対して，私たちは，3年前より，より多くの，より強い確信を持ってきているということであります。このことは，単に私たちが，2年半プロジェクトを進めてきたということだけではありません。むしろ，それを含みますが，世界中で直接，間接に関連するいろいろな研究が活発化してきた，とくにこの2-3年活発化してきた。そういうものが，実は，やはり私たちの構想の内容を豊かにするのに，やはり大きく助けになっているわけです。そうい外世界中での新しい活動の活発化というものをべースにして私たちが想定した路線というものの正しさを私たちは私たちなりに確信を深めているというふうに言ってよろしいかと思います。来年から，私たちの中期の段階にはいるわけですが，この中期の段階というのは，このプロジェクトの中で一番むずかしいステージだと，私たちは思っております。前期というのは，中期のために基本的な通路を整備するとか，あるいは，そのための基礎的な研究を展開するということで一種の準備であったと思います。

基本理論をもう一度振りかえるう

　本来のねらいである並列型推論マシンの研究であるとか，あるいは，その上にたったより高度の推論機能をもとにした問題解決システムの追究というようなことは，中期の大きな課題であります。これは，必ずしも容易でないということは，その当初から予想していたことでありますし，皆様もご覧になるかと思いますが，そういう困難な課題に挑戦していかなければいけないというわけであります。そのためには，そのために必要なことの一つは，自分たちがよってた基本理論というものをもう一度，ふり返ってみて，それをより明確な形で設定することだと思うわけであります。そういうことで，あえて長々と，お話ししたわけでありますけれども中期の展開にもこの基本理念の再確認というものが大事なことだと，私は思っているわけであります。また，私たちのプロジェクトは何を含んでいるか，向をねらっているかということを，正しく多くの人に理解していただくということで必要なわけであります。そして，新しい時代に向けて世界中の人々が協力していく必要ある。したがって，国際的な協力というものが必要であるということでありますけれども，この国際的な協力のための一つの大きな前提というのは，我々は何をめざしているのかということをお互いに，よくわかり合うことだと思うわけであります。一番大事なことは，近未来で産業レベルでの，ビジネスレベルでの，コンベティションではなくて，新しい時代へ向けて，新しい技術的な体系が構築できるかどうかという、非常に大きな仮説に対して世界中の人々が一致協力して，そういう問題を追究していくことだといっていいと思うわけであります。

　これは，もちろん，だれかがだれかを強制するというものではなくて，個人レベルでもそうでしょうし，国レベルでもそうだと思いますけれども、それぞれの立場における自発的な努力というものが非常に大事な前提だと思いますが，そういうものを前提として大きな協力体制ができていくと私は信じているわけであります。そういうことで何度も申し上げていることを繰り返したことになったかもしれませんけれどもこの第2回の，実質的に第1回のFGCS'84国際会議の最初にあたりまして，私たちがたてた基本理念を振り返ってみたわけであります。本日以降，私たちのプロジｪクトの成果発表，それから世界中での，いろいろな研究の発表というものが行われます。そういうものが私たちの願いであり，この新しい時代に向けての大きな新しい努力に対して，非常に大きな役割を持つことを期待しまして，私の話を終えさせていただきたいと思います。

どうも，ご静聴ありがとうございました。