アラン・ケイとマービン・ミンスキー: コンピューターサイエンスにはすでに「文法」があります。 「文学」が必要だ

左からXNUMX人目はマービン・ミンスキー、左からXNUMX人目がアラン・ケイ、その次がジョン・ペリー・バーロウ、グロリア・ミンスキーです。

質問： 「コンピューター サイエンスにはすでに文法がある」というマービン ミンスキーの考えをどう解釈しますか。 彼女に必要なのは文学だ。

アラン・ケイ： このレコードの最も興味深い点は ケンさんのブログ （コメントを含む）問題は、このアイデアに関する歴史的な言及がどこにもないということです。 実際、50 年以上前の 60 年代に、このことについて多くの話題があり、私が覚えている限り、いくつかの記事がありました。

私がこのアイデアについて初めてボブ・バートンから聞いたのは、1967 年に大学院に通っていたときでした。彼は、このアイデアはドナルド・クヌースが『The Art of Programming』を執筆したときの動機の一部であり、その章はすでに出回っていた、と彼から言われました。 当時のボブの主な質問の 60 つは、「機械だけでなく人間にも読めるように設計されたプログラミング言語」についてでした。 そしてそれが XNUMX 年代初頭の COBOL 設計部分の主な動機でした。 そして、おそらく私たちのトピックの文脈でより重要なのは、このアイデアが非常に初期の、かなり美しく設計されたインタラクティブ言語 JOSS (主に Cliff Shaw による) に見られることです。

フランク・スミスが観察したように、文学は議論し書き留める価値のあるアイデアから始まります。 多くの場合、部分的に表現を生成し、既存の言語や形式を拡張します。 それは読み書きについての新しいアイデアにつながります。 そして最終的には、当初の動機にはなかった新しいアイデアが生まれました。

「文学化」という考え方の一部は、興味のあるかもしれない他の記事を読んだり、書いたり、参照したりすることです。 たとえば、マービン・ミンスキーのチューリング賞講演は次のような言葉で始まります。 「今日のコンピューター サイエンスの問題は、内容よりも形式に対する強迫的な関心です。」.

彼が言いたかったのは、コンピューティングにおいて最も重要なことは、プログラミングと自然言語をどのように分析するかという 60 年代の大きなトピックの XNUMX つとは対照的に、意味、そしてそれをどのように考慮して表現できるかであるということです。 彼にとって、大学院生テリー・ウィノグラードの論文で最も興味深かったのは、それが英文法的にはあまり正しくなかった（非常に優れていた）と同時に、言われたことや内容に意味を与えることができたということかもしれない。この値を使用して発言を正当化することができます。 (これは Ken が Marvin のブログで報告した内容への逆戻りです)。

「ユビキタスに学習された言語」を並行して見る方法。 言語を変更したり、辞書を追加したりしなくても、多くのことを実行できます。 数学記号や構文を使用すると、数式を書くのが非常に簡単になるのと同じです。 それがマービンが目指していることの一部だ。 面白いのは、『Marvin's Computing: Finite and Infinite Machines』 (私のお気に入りの本の 1 つ) にあるチューリング マシンが、非常に典型的な 1 命令コンピュータであることです (レジスタに 0 を加算し、レジスタから XNUMX を減算し、レジスタが次の場合は新しい命令に分岐します)。は XNUMX 未満です - 多くのオプションがあります。)

これは一般的なプログラミング言語ですが、落とし穴に注意してください。 「ユビキタス学習」に対する合理的な解決策には、特定の表現力も必要ですが、習得にはさらに時間がかかる可能性があります。

いわゆる「読み書き可能なプログラミング」に対するドンの関心は、ドンが書かれている実際のプログラムを説明できるようにするオーサリング システム (歴史的には WEB と呼ばれていた) の作成につながりました。このシステムには、プログラムの一部を抽出するための多くの機能が含まれていました。人間の研究。 WEB ドキュメントはプログラムであり、コンパイラーはそこからコンパイル可能な部分と実行可能な部分を抽出できるという考えでした。

もう 60 つの初期のイノベーションは、ダイナミック メディアのアイデアです。これは 1968 年代後半に人気のあるアイデアであり、私たちの多くにとって PC 上のインタラクティブ コンピューティングの重要な部分でした。 このアイデアのいくつかの動機のうちの XNUMX つは、「数学」が動的で実行され、グラフィックスなどに結び付けられる「ニュートンのプリンキピア」のようなものを用意することでした。これは、 XNUMX年。 当時使われ始めた用語の XNUMX つは「アクティブ エッセイ」で、エッセイに期待されるプレゼンテーションや議論の種類は、インタラクティブ プログラムが新しいタイプの多くのメディア タイプの XNUMX つであるという事実によって強化されています。文書の。

いくつかの非常に良い例が、80 年代後半から 90 年代前半にテッド カイラー自身によってハイパーカードで作成されました。 ハイパーカードはこのために直接構成されていませんでした。スクリプトはカードのメディア オブジェクトではありませんでしたが、何らかの作業を行ってスクリプトを取得してカード上に表示し、カードをインタラクティブにすることもできます。 特に挑発的な例は「Weasel」で、これはリチャード・ドーキンスの著書「Blind Watchmaker」の一部を説明する活発なエッセイであり、読者はある種の繁殖プロセスを使用して目的の文章を見つけるフレームワークを実験することができました。

考慮する価値があるのは、ハイパーカードは新興インターネットにほぼ完璧に適合しており、90 年代初頭に広く普及していましたが、インターネットを構築した人々はハイパーカードやエンゲルバートのより大きな初期のアイデアを採用しないことを選択したということです。 そして、研究部門に多くの ARPA/Parc 関係者を抱えていた Apple は、インターネットの重要性や対称読み取り/書き込みシステムの使用を開始するには Hypercard がいかに優れているかについて彼らの意見に耳を傾けることを拒否しました。 Apple は、本当に優れたブラウザがあれば大注目される時代にブラウザを作ることを拒否し、おそらくインターネットの「表の顔」がどのようになるかに大きな役割を果たしたと思われます。

数年進むと、実際の開発システムを持たない Web ブラウザの全くの不条理、ほとんど猥褻にさえ思える (Wiki 開発がどれほど愚かな開発で機能するべきだったか考えてみてください) ことがわかります。また、多くの単純な例の XNUMX つとして、Wikipedia の次のような記事があります。 Logo はコンピュータ上で動作しますが、記事の読者が記事からLOGOのプログラミングを試すことはできません。 これは、古いメディアのさまざまな実装を防御するために、コンピュータにとって重要なものがユーザーからブロックされていることを意味しました。

ウィキペディアは、必要とされる「コンピューティング文献」を考え、発明し、実装し、書くための主要なジャンルであり、今もそうであることを考慮する価値があります (これは確かに、プログラミングを含むさまざまな種類のマルチメディアの読み取りと書き込みの両方に関係しています)。

この Quora の回答では、2017 年にはプログラムを作成できないことを考慮する価値はさらにあります。 — これは、インタラクティブメディアというこの弱い概念の根底にある巨大なコンピューター能力にもかかわらず、私が正確に何を説明しようとしているのかを示すのに役立ちます。 重要な質問は「何が起こったのか？」です。 ここでは完全に無視されています。

問題を理解するために、ここに 1978 年のシステムを示します。これは、テッド ネルソンに敬意を表し、一部は楽しみのために数年前に部分的に復活させたものです。

（こちらの2:15あたりをご覧ください）

このシステム全体は、私が今話していることの 40 年以上前の初期の試みです。

顕著な例は 9:06 に見られます。

「動的オブジェクト」とは別に、ここで重要な考慮事項の XNUMX つは、「ビュー」 (ページ上に表示されるメディア) をコンテンツとは独立して均一にレンダリングできることです (これを「モデル」と呼びます)。 すべては「ウィンドウ」です (明示的な境界線を持つウィンドウもあれば、境界線が表示されないウィンドウもあります)。 それらはすべてプロジェクトページにまとめられています。 もう XNUMX つの理解は、いくつかのものを構成して組み合わせる必要があるため、すべてが構成可能かつ構成的であることを確認するということでした。

経験の浅いユーザーが悪いデザインを批判できないのは許されると思います。 しかし、ユーザーのためにインタラクティブなメディアを作成し、特に自分の分野の歴史からメディアとデザインについて学ぶことに関心のないプログラマーは、そう簡単にそれをやめるべきではなく、彼らがいることで報われるべきではありません。 「弱い」。

最後に、本格的な文学が存在しない分野は、この分野が分野ではないという事実にほぼ等しい。 文学は、新しいジャンルで、そしてその分野の現在および将来の思考において、優れたアイデアを生かし続ける方法です。 もちろん、これは計算には有用な範囲では含まれていません。 ポップ カルチャーと同様に、コンピューティングでは、多くの学習を必要とせずに何ができるか、結果の結果よりも実行が重要であることに依然として最も関心が集まっています。 文学は、単純で直接的なものから、より大きくて重要なものへ移行できる媒体の XNUMX つです。

それが必要です！

GoToスクールについて

• 17月30日～15日、28月12日～25日、XNUMX月XNUMX日～XNUMX日 夏期プロジェクト モスクワ地方のプログラミングスクールGoTo。
• ГруппавВК
• Подписатьсянарассылку

出所： habr.com