…者から見て（ブラックボックスとして）区別がつかないなら同じとみなすのがいいでしょう。この同値性は「振る舞い同値」（behavioral equivalence）とか呼ばれます。振る舞い同値の具体的な定式化として、2つの状態空間のあいだの対応関係を明白に設定して、「双模倣性」（bisimilarity）を使う方法と、初期状態からの行動記録が同じであることを根拠にする「観測的識別不可能性」（observationally indistinguishability）を使う方法があり…

…た。●その3まだ電話ボックスがそこいらにあった頃。上野駅から不忍池沿いの道路、左側に鰻屋がある。少し先にバス停、その先に電話ボックスがあった。が、電話機が取り外されていた。ボックスのなかに入ってドアをしめて待っていたら誰か並ぶかもしれない。しぶとく入っていると列になるかもしれない。適度の列ができたら、なにげに僕はドアから出て行く。ボックスのなかには電話がない。と、そういう予定だったが、ボックスに入っていてもなかなか人がこない。やっときた。オッサン。ここで「しぶとく入っている」…

…テーションをブラックボックスに詰め込んで隠蔽するようなカプセル化はしません（“複数の構成素にまとまりをつける”という点では一種のカプセル化と言えなくもないか？）。コンポネント化は、一緒に使えるビヘイビアとプレゼンテーションを適切に選んで、それらを関連付けることになります。関連付けの機構を僕はアソシエーションと呼ぶことにしました（用語法は変わるかもしれない）。よって、JACALのコンポネントは、「ビヘイビア、プレゼンテーション、アソシエーションの三角形」で図示すると適切そうです…