Ataru NAKATA <anakata / vector.co.jp> writes:

> > ->間違った例:
> > ->  ・このインスタンスのメソッドfooを呼ぶ。

> インスタンスが特異メソッドを持てる以上、間違いじゃないと思いますが...

    特異メソッドという、特定のクラスに所属しない (オブジェクト固有の)
    メソッドが存在する
ということから、
    「このインスタンスのメソッドfooを呼ぶ」という表現は間違いでない
を導くためには、
    「インスタンス」という用語は「オブジェクト」と同義である
という前提が必要なのでは?
(そして、今はその前提が誤りではないかと言っている。)

あるいは、

まず先に
    メソッド集合は、何かのインスタンス毎に存在する と考える。
という前提から始ると、
    特異メソッドという、特定のクラスに所属しない (オブジェクト固有の)
    メソッドが存在する
という事実から導かれるのは、
    その「何か」とはクラスのことではない。
ということになりますが、
じゃあ、「何か」とは何でしょう?? オブジェクトではないですよね。

高木 浩光＠電子技術総合研究所
http://www.etl.go.jp/~takagi/ (工事中)