|
=== 1980年代の言及 ===
1989年に発表された「User Interface A Personal View」という記事の中でアラン・ケイは、[[Smalltalk]]のオブジェクト指向性は大変示唆的であると前置きした上で、Smalltalkにおける「そのプログラミング言語での[[オブジェクト指向プログラミング|OOP]]」と、その[[GUI]]における「フレームワークでのOOUI」を照応させながらこう述べている<ref>{{Cite web|url=http://worrydream.com/refs/Kay%20-%20User%20Interface,%20a%20Personal%20View.pdf|title=User Interface A Personal View|accessdate=2020-1|publisher=}}</ref>。これは人とコンピュータの対話形式としてのオブジェクト指向に沿ったものになっている。
{{Quotation|''object-oriented means that the object knows what it can do.''<br/>（オブジェクト指向とは、オブジェクトが出来る「なにか」を知っていることを意味している）|Alan Kay}}
これは[[認知心理学]]の[[アフォーダンス]]につながる考え方と解釈されている。その説明の中でケイは、Smalltalkプログラミングを抽象シンボル舞台と形容しており、GUIアプリケフレーションムワークを具象ユーザーインターフェース舞台と形容している。前者の抽象シンボル舞台では、我々は最初にオブジェクトの名前（識別子）をコーディングし、次にそのオブジェクトが実行する「なにか」を伝えるメッセージをコーディングすることになる。後者の具象ユーザーインターフェース舞台では、我々は最初に操作する対象（アイコン）を選択し、次にその対象が提供する「なにか」のメニュー欄を表示させることになる。この双方を踏まえた上でケイはこう結論している。
{{Quotation|''In both case we have the object first and the desire second. this unifies the concrete with the abstract in highly satisfying way.''<br/>（双方の事例において私達は、オブジェクト（対象）を第一とし、欲求を第二とする。これは高い満足度で具象と抽象を一体化する）|Alan Kay}}
=== 1990年代の言及 ===
1992年に[[Association for Computing Machinery|ACM]]からプログラミング言語史編纂の一環として執筆を依頼されたアラン・ケイは、翌年の刊行記事「The Early History Of Smalltalk」でオブジェクト指向を六つの要約にま原点とめしての[[Smalltalk]]について解説明したている<ref name="EarlyHistoryOfSmalltalk" />。こ冒頭の序章で設計理念が説明され、第一章から第三章まではその着想元になった[[Smalltalkバロース B5000|バロースB5000]]、[[Sketchpad]]、[[Simula]]、Flex machine、[[LISP]]などの言語仕様の概略であり技術史が綴られ、いわゆるメッセージベース第四章から第六章まではSmalltalkのオブジェクト指向プログラミングの定義に沿ったものになっ開発史が記されている。{{Quotation|1, ''EverythingIsAnObject.ここでは長い説明を避けて序章から特徴的な要点のみを抜粋する。
{{Quotation|Smalltalk's design—and existence—is due to the insight that everything we can describe can be represented by the recursive composition of a single kind of behavioral building block that hides its combination of state and process inside itself and can be dealt with only through the exchange of messages.<br/>（Smalltalkの設計―及び存在―とは、我々が思い描く全てが、自身のステートとプロセスの連携を内包した振る舞い組立ブロックの再帰構成によって表現され、ただメッセージの交換のみによって処理されるという事だ。）}}ここで登場している'''再帰構成'''（recursive composition）が最も特徴的な要点である。[[再帰]]は後続の文章にも再三登場して、Smalltalk設計のあらゆる局面に影響を与えている最重要のプログラム概念にされている。もっとも再帰はコンピュータプログラミング分野の普遍的概念であり、例えば[[ジョン・マッカーシー]]も[[LISP]]の設計を<code>recursive functions of symbolic expressions and their computation by machine.</code>''（記号式の再帰関数群と機械によるその計算）と概略していた。''{{Quotation|In computer terms, Smalltalk is a recursion on the notion of computer itself. Instead of dividing "computer stuff" into things each less strong than the whole—like data structures, procedures, and functions which are the usual paraphernalia of programming languages—each Smalltalk object is a recursion on the entire possibilities of the computer.<br/>（Smalltalkは計算観念の自己再帰である。コンピュータプログラムの全体像に対する不可逆性の部品― データ構造、手続き、関数といった言語機能の諸々に分割していくのではなく、Smalltalkのオブジェクトはそれぞれが全体像への可逆性を備えた再帰部品になる。）}}
Smalltalkオブジェクトが備えている全体像への可逆性とは、自身で対応不可なメッセージを受け取ったオブジェクトが積極的な[[委譲]]を繰り返して最終的には処理を全うするという仕組みを指している。これによってあらゆる計算可能性が表現できるとされている。第四章では、実際のSmalltalk言語仕様が六つの要約にまとめられており、以下の六項目には上述の再帰構成および自己再帰の計算性質が随所に盛り込まれている。{{Quotation|1, ''EverythingIsAnObject.
2, ''Objects communicate by sending and receiving messages (in terms of objects).
5, ''The class holds the shared behavior for its instances (in the form of objects in a program list).
6, ''To eval a program list, control is passed to the first object and the remainder is treated as its message.|Alan Kay}}''この和訳は以下のようになるが、ここでは長い説明を避けて特徴的な再帰構成にまつわる要点のみを解説する。''
# すべてはオブジェクトである。
# プログラムリストの評価では、制御は最初のオブジェクトに渡され、残りはそのメッセージとして扱われる。
'''(32)'''のコミュニケーションとは、オブジェクトの呼出ないし[[委譲]]による自己再帰、相互再帰、巡回再帰の流れを指していると見てよい。'''(3)'''の記憶とはつまりデータであるが、変数名キーと値のマッピングによる一つの辞書データとして実装されて[[動的型付け]]性質になり、値＝オブジェクトなので即ちオブジェクトの記憶とはオブジェクトの再帰構成になる。'''(4)'''は、[[クラス (コンピュータ)|クラス]]もまた[[メタクラス]]の[[インスタンス]]であり、メタクラスもまたメタメタクラスのインスタンスになるこという再帰構成を意味している。全内容が具象化済みのオブジェクトが末端インスタンスになり、その上のクラス→メタクラス→メタメタクラスの順に抽象内容が多くなっていく。'''(5)は、'''の振る舞いとはプレースホルダを内包しているプログラムリストであることを意味している。プレースホルダは[[インスタンス変数]]箇所であり、実体化されたインスタンス別に変数内容が定まる。プログラムリストとは[[LISP]]のフォームリストに因んだものであり、関数変数シンボルとアトムと数値を連ねたデータ列で、これをコードとして解釈演算するのが評価（eval）である。(6)数値とアトム（文字列）は、振る舞いの評価をその保持元オブジェクトだけでなく全く別のオブジェクある。アトムとシンボルは表裏一体の制御下存在でも行えることを意味しておあり、これ双方は振る舞い内容文脈によって自体をも渡せる[[委譲]]を可能在にす切り替わる。振る舞い＝プログラムリス変数シンボルはただ評価されて束縛先オブジェクト内のになり、関数シンボルは制御引数と共に評価されて返り値オブジェクトになる。'''(6)'''は、シンボル・アトム・数値などはその記憶時の並べられた順序によって意味内容いずれもが変わメッセージになり、又はそれを受け取るので実行時多態と同義制御オブジェクトになるという再帰構成（卵が先か鶏が先か）を意味している。
1998年に''上記のより長めの六つの要約が第三者を通して発表されている''<ref>{{Cite web|url=http://wiki.c2.com/?AlanKaysDefinitionOfObjectOriented|title=Alan Kays Definition Of Object Oriented|accessdate=2020-1|publisher=}}</ref>''。''これは[[Smalltalk]]から派生した[[Squeak]]の言語仕様を念頭に置いているようである。<blockquote>
1, EverythingIsAnObject.
2, Communication is performed by objects communicating with each other, requesting that objects perform actions. Objects communicate by sending and receiving messages. A message is a request for action, bundled with whatever objects may be necessary to complete the task.
3, Objects have their own memory, which consists of other objects.
4, Every object is an instance of a class. A class simply represents a grouping of similar objects, such as integers or lists.
5, The class is the repository for behavior associated with an object. That is, all objects that are instances of the same class can perform the same actions.
6, Classes are organized into a singly-rooted tree structure, called the inheritance hierarchy. Memory and behavior associated with instances of a class are available to any class associated with a descendent in this tree structure.</blockquote>''この和訳は冗長になるので割愛するが、概略するとオブジェクトに振る舞いを求めるメッセージにも他のオブジェクトが内包されており、またオブジェクトの記憶も他のオブジェクトのコンポジションであることが強調されている。''(6)が以前と異なっており、プログラムリスト評価の構想が、単一継承を重視する考えに置き換えられている。これはSqueakが部分的に[[クラスベース]]を採用したことを受けてのようで、無制限に動的な[[メッセージパッシング]]から、一部を静的にした動的ディスパッチへの方針転換を示しており、メッセージベースは実装上の限界を悟らされてやや形骸化したとも解釈できる。
=== 2000年代の言及 ===
21世紀になると[[Smalltalk]]処理系の開発は下火になったが、それ故に実装可能性の束縛から離れた元々の構想が語られる機会も生み出している。2003年にアラン・ケイはオブジェクト指向への貢献で[[チューリング賞]]を受賞し、知人から改めてオブジェクト指向の意味を尋ねられたケイは以下のようにメール返信している<ref>{{Cite web|url=http://userpage.fu-berlin.de/~ram/pub/pub_jf47ht81Ht/doc_kay_oop_en|title=Dr. Alan Kay on the Meaning of “Object-Oriented Programming”|accessdate=2019-1|publisher=}}</ref>。このメールは1960年代末からの源流構想をケイらしくさり気なく簡潔にまとめたものとしてしばしば引用される。ここでは文章順に各要点を抜粋しながら説明していく。
21世紀になると[[Smalltalk]]処理系の開発は下火になったが、それ故に実装可能性の束縛から離れた元々の構想が語られる機会も生み出している。2003年にアラン・ケイはオブジェクト指向への貢献で[[チューリング賞]]を受賞し、知人から改めてオブジェクト指向の意味を尋ねられたケイは以下のようにメール返信している<ref>{{Cite webQuotation|url=http://userpage.fu-berlin.de/~ram/pub/pub_jf47ht81Ht/doc_kay_oop_en|title=Dr. Alan Kay on the Meaning of “Object-Oriented Programming”|accessdate=2019-1|publisher=}}</ref>。このメールは1960年代末からの源流構想をケイらしくさり気なく簡潔にまとめたものとしてしばしば引用される。ここでは文章順に各要点を抜粋しながら説明していく。<blockquote>'''I thought of objects being like biological cells and/or individual computers on a network, only able to communicate with messages.'''<br/>（さながら生物の細胞、もしくはネットワーク上の銘々のコンピュータ、それらはただメッセージによってコミュニケーションする存在、僕はオブジェクトをそう考えている）</blockquote>}}
上記はケイ本来のオブジェクトの在り方を述べたものであり、特に解説はしない。 <blockquote>▼
'''{{Quotation|I wanted to get rid of data. The B5000 almost did this via its almost unbelievable HW architecture. I realized that the cell/whole-computer metaphor would get rid of data, ... '''<br/>（僕はデータを取り除きたかった。これを[[バロース B5000|バロースB5000]]は 信じがたい技術驚くべきHWアーキテクチャでほ ぼとんど実現していた。僕は気付いた。細胞/全体コンピュータメタファはデータを除去できるであろうと、） </blockquote>}}▼▲上記はケイ本来のオブジェクトの在り方を述べたものであり、特に解説はしない。<blockquote>
ここでプログラムからデータを取り除きたいという独特の考えが提示されている。なお、HWアーキテクチャとは前節で説明した再帰構成の先駆的技術であり、細胞/全体（cell/whole）といったワードもそれと同等と見てよい。
▲'''I wanted to get rid of data. The B5000 almost did this via its almost unbelievable HW architecture. I realized that the cell/whole-computer metaphor would get rid of data, ...'''（僕はデータを取り除きたかった。これを[[バロース B5000|バロースB5000]]は信じがたい技術でほぼ実現していた。僕は気付いた。細胞/全体コンピュータメタファはデータを除去できるであろうと、）</blockquote>
'''{{Quotation|My math background made me realize that each object could have several algebras associated with it, and there could be families of these, and that these would be very very useful. ''' <br/>（僕の数学専攻経験がこれを気付かせた。各オブジェクトは幾つかの 関連付けられた代数を持ち、またその系統群もあるかもしれない。それらは大変有用になるだろうと） </blockquote>}}▼ここでプログラムからデータを取り除きたいという独特の考えが提示されている。<blockquote>
ここで代数というワードが登場する。これは数学で言われる[[代数的構造]]のプログラミング応用例と解釈してよい。 <blockquote>▼▲'''My math background made me realize that each object could have several algebras associated with it, and there could be families of these, and that these would be very very useful.''' （僕の数学専攻経験がこれを気付かせた。各オブジェクトは幾つかの代数を持ち、またその系統群もあるかもしれない。それらは大変有用になるだろうと）</blockquote>
'''{{Quotation|OOP to me means only messaging, local retention and protection and hiding of state-process, and extreme late-binding of all things. '''<br/>（僕にとってのOOPとは、メッセージング、ステートプロセスの局所保持かつ保護かつ隠蔽、徹底的な遅延バインディング、これだけの意味だった） </blockquote>}}▼▲ここで代数というワードが登場する。これは数学で言われる[[代数的構造]]のプログラミング応用例と解釈してよい。<blockquote>
メッセージングは恐らく[[メッセージパッシング]]に類似の概念であり、[[動的束縛|遅延バインディング]]は関数/変数の実行時多態である。ステートプロセスは前節の再帰構成（recursive composition）と前述の代数（algebra）と後述の非データ（non-data）の考え方を合わせた独特のデータとコードの一体化概念である。
▲'''OOP to me means only messaging, local retention and protection and hiding of state-process, and extreme late-binding of all things.'''（僕にとってのOOPとは、メッセージング、ステートプロセスの局所保持かつ保護かつ隠蔽、徹底的な遅延バインディング、これだけの意味だった）</blockquote>
メッセージングは[[メッセージパッシング]]に類似の概念であり、[[動的束縛{{Quotation|遅延バインディング]]は関数/変数の実行時多態である。ステートプロセスは前述の代数（algebra）と後述の非データ（non-data）の考え方を合わせた独特のデータとコードの一体化概念である。<blockquote>'''One of the things I should have mentioned is that there were two main paths that were catalysed by Simula. The early one (just by accident) was the bio/net non-data-procedure route that I took. The other one, which came a little later as an object of study was abstract data types, and this got much more play.'''<br/>（僕が触れるべき一つは、Simulaを触媒にした二本の道があったという事だ。最初の一本はバイオ/ネットな非データ手順で僕が選んだ方。少し遅れたもう一本は抽象データ型でこっちの方がずっと賑わっている）</blockquote>}}
ここで[[抽象データ型]]（abstract data type）に対する非データ手順（non-data-procedure）というワードが登場する。振る舞いを通してデータを扱うというデータ抽象の概念を、更に抽象化したものが非データであり、[[代数学]]で言う[[写像]]のみによってデータを表現するという概念を指している。写像の組み合わせはメッセージングとの類似概念になり、あらゆるプログラム要素の遅延バインディングにも繋がる。その実装理論には[[圏論]]で言われる[[射 (圏論)|射]]や[[関手]]の構造が応用されることになり、関数型言語の世界ではそれで実践されている。<blockquote>'''[[代数的構造]]の[[マグマ (数学)|マグマ]]は二項演算子で結ばれた各項を入れ子的に次々と二項化できる再帰構成である。マグマに[[結合律]]を加えた[[半群]]は[[並行計算]]向けの再帰構成を可能にする。半群に[[単位元]]を加えた[[モノイド]]は[[恒等写像|恒等射]]によって非データ手順向けの再帰構成を可能にする。
{{Quotation|And the very first problems I solved with my early Utah stuff was the "disappearing of data" using only methods and objects. At the end of the 60s (I think) Bob Balzer wrote a pretty nifty paper called "Dataless Programming", and shortly thereafter John Reynolds wrote an equally nifty paper "Gedanken" (in 1970 I think) in which he showed that using the lamda expressions the right way would allow data to be abstracted by procedures.'''<br/>（[[ユタ大学|ユタ]]での専攻知識で僕が解決した最初期の問題はメソッドとオブジェクトのみを用いてのデータの消滅だった。1960年代末にBob Balzerはデータレス・プログラミングというものを書き示した。直後の1970年にJohn Reynoldsは[[ラムダ式]]を用いての手順によるデータ抽象化の正しい方法を書き示した）</blockquote>}}
非データ手順（non-data-procedure）のプログラミング実践例としては、ポイントフリースタイルや自由[[モナド (プログラミング)|モナド]]などが挙げられる。いずれも数学の[[代数的構造]]のプログラム応用例であり、純然たる[[宣言型プログラミング|宣言型]]および純粋[[関数型プログラミング|関数型]]の分野になるが、。これにケイの生物学専攻を背景にしたバイオ/ネット（bio/net）なる考えが加えられている点に留意する必要がある、これは前述の細胞/全体（cell/whole）と同等の再帰構成的な概念と見てよい。[[プロセス代数]]は[[並行計算]]の実装理論として重視されており、メッセージングはこれにも近い概念になっている。<blockquote>'''
{{Quotation|The people who liked objects as non-data were smaller in number,'''<br/>（非データとしてのオブジェクトを好む者は少なかった、）</blockquote>}}
ここで歴史に戻る。1960年代になると[[ソフトウェア危機]]としても語られるプログラム規模拡大に対応するために、サブルーチンとデータをまとめた[[モジュール]]という機能が登場した。このモジュールを土台にして1967年に[[オルヨハン・ダール]]らは[[クラス (コンピュータ)|クラス]]という機能を備えた[[Simula|Simula67]]を開発し、1969年から[[エドガー・ダイクストラ]]は真珠のネックレスという概念を備えた[[構造化プログラミング]]を提唱した。1974年から[[IBM|IBM社]]中心の研究者たちが[[構造化分析設計技法|構造化設計]]と総称される技法を発表し、構造化プログラミングはこちらに取って代わられた。1972年からアラン・ケイはメッセージングという概念を備えたオブジェクト指向を誕生させている。オブジェクト指向は後に[[クラスベース|クラス・パラダイム]]にマウントされている。
[[構造化プログラミング|構造化設計]]はモジュールをそのままサブルーチンとデータの構成体として扱っている具象データ（concrete data）技術である。Simula発のクラスとダイクストラの真珠のネックレスは、モジュールに[[カプセル化]]・[[継承 (プログラミング)|継承]]・[[多態性]]を備えて抽象体として扱おうとする抽象データ（abstract data）技術である。そしてアラン・ケイ本来のオブジェクトとは、モジュールを[[生物学]]と[[代数学]]の観点から再解釈した非データ（non data）技術であった。構造化設計は1980年代までの主流であり、続けてオブジェクト指向が主流になったが、現在においてもクラスをただのデータとメソッドの構成体として扱っているようなオブジェクト指向は、構造化設計と大差ないものになり「具象データ」から「抽象データ」への思考転換の難しさを物語っている。モジュールの抽象化が提唱され始めたのは1970年代であったが、同時期にアラン・ケイは「抽象データ」を更に抽象化した「非データ」を構想していた。
=== 2020年の言及 ===
Q&Aサイトの[[Quora]]で「66～671966～67年のオブジェクト指向という造語を発したアラン・ケイに誰かが影響を与えていたのか？」という質問に対して本人がこう回答している。なお、rotationとは「一つのコンピュータはどこかのコンピュータができることをできる、相互通信によってあらゆる規模の計算可能性を表現できる」を意味しており、これも再帰構成の考え方を踏襲している。{{Quotation|''In the 1960s, software composites that were more complex than arrays, were often called “objects”, and all the schemes I had seen involved structures that included attached procedures. A month or so after the “rotation” someone asked me what I was doing, and I foolishly said “object-oriented programming”.''<br>（60年代、配列より複雑なソフトウェア構成体はしばしばオブジェクトと呼ばれており、僕のスキームにあった手続き付きの構造体もそうだった。rotation構想の後、今何をしているのかと尋ねられた僕は愚かにもこう言った。オブジェクト指向プログラミングと。）<br><br>
''The foolish part is that “object” is a very bad word for what I had in mind — it is too inert and feels too much like “data”. Simula called its instances “processes” and that is better.“Process-oriented programming” would have been much better, don’t you think?''<br>（愚かしいこのオブジェクトは僕の考えを表現するのにとても悪い言葉だった。不活性的でデータを過剰に意識させたからだ。Simulaはプロセスと呼んでいた。こっちがよかったな。プロセス指向プログラミングの方がずっと良かったと思わないかい？）
}}
|Alan Kay}}
== 脚注 ==
'''出典'''{{Reflist}}
| 