ツイッター掲載中・マッカーシー──このうち、ジョン・マッカーシー氏とはどう
いう人物なのでしょうか。
マッカーシー氏は、どういうきっかけで「人工知能／ＡＩ」を
提唱することになったかについて知る必要があります。
ジョン・マッカーシー氏は、プリンストン大学で数学科博士課
程を受けていますが、先輩にあたるダートマス大学のジョン・ジ
ョージ・ケメニー数学科教授から、ダートマス大学の助教授とし
て招聘されたのです。１９５５年２月のことです。
マッカーシー氏は、ダートマス大学に移ると、大学院時代の同
僚のマービン・ミンスキー氏とベル研究所のクロード・シャノン
氏と一緒に、「認知能力を持つ機械」について、共同で研究をは
じめたのです。それが１９５６年の「ダートマス会議」の開催に
つながることになります。
このダートマス会議に関連して、マッカーシー氏は大きな仕事
を２つ成し遂げています。
─────────────────────────────
１．ＴＳＳを提唱し、実現させている
２．ＡＩ言語といわれるＬＩＳＰ開発
─────────────────────────────
１は「ＴＳＳを提唱し、実現させている」ことです。
１９４０年代後半にコンピュータが開発され、１９５０年代に
入るとその性能は飛躍的に向上していたのですが、何しろ当時の
コンピュータは高価であり、数も少ないので、研究者が満足に使
える状況になかったのです。ちなみに、当時積極的にコンピュー
タを使おうとしていたのは、マッカーシー氏のような大学院生が
多かったといえます。
当時ダートマス大学では、１９５４年に開発されたＩＢＭ７０
４を他の大学と共同で使っていたのですが、マシンを直接使うこ
とはできず、プログラムを打ち込んだパンチカードをコンピュー
タ管理者に渡して、その結果を受け取るというスタイルでしか利
用できなかったのです。この場合、もし一ヶ所でもパンチミスを
すると、半日は潰れてしまうのです。
共同で利用するというのは、ＭＩＴ（マサチューセッツ工科大
学）が８時間、ＩＢＭ事業所が８時間、それからダートマス大学
を含む東海岸の大学が合同で８時間というように、使用できる時
間は限られていたのです。
そこでマッカーシー氏が考えたのが対話型コンピューティング
「ＴＳＳ／タイムシェアリング」の導入です。
─────────────────────────────
◎タイムシェアリングシステム／Time Sharing System
１台のコンピュータ（のＣＰＵ）をユーザ単位に時分割で共有
（タイムシェア）し、複数のユーザで、同時にコンピュータを利
用するシステムである。 ──ウィキペディア
https://bit.ly/2JpuiYc
─────────────────────────────
ＴＳＳのシステムを簡単にいうと、一台のホストコンピュータ
が多くの端末（ターミナル）に接続されており、端末ごとにホス
トに仕事の命令が出され、それに対してホストが処理をして返す
という人間とコンピュータの対話です。ホストは一台しかありま
せんが、その処理は高速であり、利用者はあたかもホストを自分
一人で使っているような気分になれるのです。
ちなみにＴＳＳの提唱者はマッカーシー氏だけでなく、複数い
ます。ＡＳＣＩＩコードの開発者として知られるボム・バーマー
氏や、英国のコンピュータ科学者クリストファー・ストレイチ氏
も、１９５９年にタイムシェアリングシステムの特許を取得して
います。それぞれが相談したわけではなく、同時にこのアイデア
を思いついたのです。
２は「ＡＩ言語といわれるＬＩＳＰ開発」です。
「ＬＩＳＰ」は、ジョン・マッカーシー氏がマサチューセッツ
工科大学（ＭＩＴ）に移ってから開発した言語です。ＡＩに向い
たコンピュータ言語といわれています。その開発には、コンピュ
ータを長時間使う必要があります。しかし、上記のようにダート
マス大学では、ＩＢＭ、ＭＩＴとＩＢＭ７０４を共同使用してい
たのですが、ＩＢＭとＭＩＴは８時間使えるのに対し、ダートマ
ス大学の場合は、他の東海岸の大学と合わせて８時間であり、長
時間は使えなかったのです。そこで、ＭＩＴに移った方が、コン
ピュータが長く使えると考えたマッカーシー氏は、ＭＩＴに移り
ＭＩＴの助教授に就任し、ＬＩＳＰを開発します。ＬＩＳＰは、
フォートランに次ぐ歴史の古い言語です。
これについては、２００５年９月１４日のＥＪで取り上げてい
るので、そこから引用します。
─────────────────────────────
マッカーシーは考えたのです。ダートマス大学にいたのでは、
８時間をさらに他の大学と分け合うことになり、いつ順番が回っ
てくるかわかったものではない――そのためにはＭＩＴの教員に
なるのが一番良いと考えたのです。
それからもうひとつ、ＩＢＭの連中と仲良くなる必要があると
考えたのです。そういうわけで、たまたまＩＢＭの技術者がダー
トマス大学を訪問したときに、マッカーシーは食事と酒をおごっ
て饗応したのです。まさに目的のためには手段を選ばずです。
その効果はすぐにあらわれたのです。ＩＢＭからＩＢＭポーキ
プシー事業所に招待されたからです。マッカーシーはそこでコン
ピュータのプログラミングを身につけてしまいます。
１９５８年に彼はこのアイデアを実行に移し、ＭＩＴの助教授
になるのです。そして、同年中にＬＩＳＰ言語を開発し、「記号
表現の機能関数と機械によるその計算Ⅰ」という論文を発表しま
す。 https://bit.ly/2IytPD5
─────────────────────────────
──［次世代テクノロジー論Ⅱ／０１２］
≪画像および関連情報≫
●人工知能で大活躍！今熱い「LISP」の成り立ちとこれから
───────────────────────────
ＬＩＳＰという言語をご存知でしょうか。
「カッコ。とにかくカッコ」「独自路線」「古い」「とに
かくカッコ」などの印象が一般的でしょうか。あまりメジャ
ーな言語ではないというのが、正直な位置づけでしょう。本
エントリでは近年の人工知能の発達に伴ってＬＩＳＰが見直
されていることから、ＬＩＳＰのこれまでの歴史を振り返り
今後の動向を占ってみることにしましょう。
ＬＩＳＰは、１９５８年に開発された、現在広く使われて
いるプログラミング言語の中で最も古いものの１つです。開
発者のジョン・マッカシーは、実は「人工知能」という言葉
の提唱者でもあります。このような出自から、ＬＩＳＰは人
工知能プログラムに多く使われました。人工知能ブームにも
乗ったこともあり、急速に普及していくことになります。
しかし長く使われる言語の常として、多くの方言が生み出
されてしまいました。方言が多いというのは、ある面では困
った状況です。多数の言語仕様と処理系が生み出されるため
汎用性が失われ、中長期的に見ると効率が悪くなるのです。
このような状況の中、ＬＩＳＰにも標準化が必要になりまし
た。標準化の効果はＪａｖａの成功を見ると分かりやすいと
思います。Ｊａｖａは、言語仕様から処理系、果てはライブ
ラリまで標準化することで、一度書いたプログラムがどこで
でも動作する、という究極の汎用化を、実現しようとしまし
た。そしてある程度これは実現され、現在では世界で最も広
く使われているプログラム言語の１つとなりました。
https://bit.ly/2IukVub
───────────────────────────
ＴＳＳ／タイムシェアリングシステム
これは違います。
JavaもLispも共に「標準化」されていません。
一般に、標準化と言うのは「言語仕様を規格として公式に決める」事で、別々のメーカーやコンパイラ/インタプリタ作成者が作った処理系でどれも同じ動作をする事を保証させる事です。
Lispの「標準化」とはこれを意味していて、各種主要方言の実装で「共通の動作をさせよう」と言う仕様決定の事を意味しています。
実はLispにはISOで制定されたISLISPと言う規格がある事はあるんですが、今度はこのインタプリタ/コンパイラを探すのがちょっと厄介です。事実上「仕様は存在するけど実装が存在しない」と言うのがLispの「標準」の現実の姿なのです。
結果的に、ANSI Common Lispはそれなりに「良く使われています」が、あくまでデファクトスタンダードのレベルは超えていません。
注: JavaはコミュニティでJava言語仕様
https://www.jcp.org/en/jsr/detail?id=901
を公開していますが、これは先程の、例えばISO(国際標準化機構)等での"公式な"言語仕様ではない、って辺りがまた話をややこしくしています。
当然ANSIなんかも丸っきり関わってないんで、捉え方としては「インフォーマルな仕様書」ってレベルになっています。
やはり事実上、「Oracle単独コントロールによる言語」なのです。
つまり、これは「標準化」とは全く関係がありません。「標準化」の説明には適してないのです。
Javaの「一度書いたプログラムがどこでも動作する」と言うのは、単純にJavaの場合、「仮想マシン」と言うのがOS毎にインストールされるような方式になってるから、に他なりません。
要するにWindowsにはWindows用のJava仮想マシン、MacにはMac用のJava仮想マシン、LinuxにはLinux用の仮想マシンをインストールして「OSの違いを仮想マシンレベルで吸収する」と言うシステムを用いているのです。
これは技術的な問題であって、「言語の標準化」とはまるで関係ない、と言う事です。