「「人工知能」研究の創始者ジョン・マッカーシーを追悼する 2011年11月01日」の初稿

人工知能の創世記を築いたジョン・マッカーシーを追悼する　（2011年10月8日脱稿）

　機械は知能を持てるだろうか？専門家でなくても興味をひかれる話題である。
　人工知能（AI: Artificial Inetligence）という言葉を最初に提唱し、AI研究を先導して、１９７１年にコンピュータ科学最高の栄誉であるチューリング賞を受賞したジョン・マッカーシーが１０月２４日、他界した。８４歳だった。

　機械が知能を持てるかどうかは、昔から議論されていて、今なお結論の出ていない、人類にとって、大きなテーマの一つである。議論がSFから離れて学術的な研究へと進展したのは、コンピューターが誕生してからである。コンピューターが誕生するための重要な理論は１９３０年代に提示された。
　第一のものは、「チューリング賞」にその名を残しているアラン・チューリング（１９１２−１９５４）が１９３６年に発表した「チューリング・マシン」である。チューリング・マシンは無限に長いテープ（記憶装置）と一つのヘッド（記号処理を行う装置）で構成される単純なモデルであったが、このシステムで、ありとあらゆる記号操舵が可能であることを示した。それは思考のモデル化であり、衝撃を与えた。神秘の領域であった思考が初めて科学の言葉で語られたのである。チューリング・マシンはコンピューターの理論そのものであり、日常使われている今日のコンピューターは、すべてチューリング・マシンということもできる。
　翌１９３７年には、クロード・シャノン（１９１６−２００１）が、電気回路でブール代数（２進数のみで記述された数学）が構築できることを示した。それは、デジタル計算機に理論的な根拠を与えるものであった。チューリングは、チューリング・マシンを用いれば人間の思考を代替できることを示していたが、どうやればチューリング・マシンを実現できるのかまでは言及していなかった。シャノンは電気回路でチューリング・マシン、つまりは現代のコンピュータを構成できることを示した。

　第二次世界大戦を挟んで、１９５０年代にコンピューターは商用化される。それにともなって人工知能の研究も隆盛する。その中心となったのがマッカーシーである。１年間、シャノンのもとで研究を行った後、１９５６年にダートマス会議を開催して、人工知能研究の出発点を作った。
　このときの構想からLISP言語が生まれ、１９５８年にコンピューターに実装された。科学計算用のFORTRANの次に開発された２番目に古い高級言語であるLISPは、人工知能の研究ではもっともよく使われているもので、マッカーシーの大きな業績になっている。
　日本の研究者との交流も多くあったそうで、１９８８年には京都賞（第４回）も受賞している。

　２０１１年１０月は、スティーブ・ジョブズ（５日）、デニス・リッチー（１２日）に続く、コンピューター史に残る巨人の逝去であり、特別な月となった。　
　私自身としては、コンピューター史を三度振り返ることとなった。そこで強く感じるのは、大きな業績の多くが、いかに若者の柔軟な思考によって生み出されてきたかである。
　例えば、上述したものを列挙すれば、「チューリング・マシン」（チューリング２４歳）、「電気回路でチューリング・マシンを構成できること」（シャノン２１歳）、「ダートマス会議」（マッカーシー２９歳）であり、「パソコンの開発」（ジョブズ２０歳）、「UNIXの開発」（リッチー３０歳）である。
　このような傾向は、おそらく、今日でも変わっていないはずである。教育や科学技術政策を考える上で、忘れてはいけない視点であろう。