[SML 7880] Re: 連想計算というリフレクティブな手法

[Narita Takaoki]

成田です。

> たとえば、Squeak で組み込みのなんちゃって Matrix において
> 
> Matrix >> raisedTo: n
>   | m |
>   n = 1 ifTrue: [^self].
>   n even ifTrue: [^(m := self raisedTo: n/2) +* m].
>   ^(self raisedTo: n - 1) +* self
> 
> を定義しておけば・・・

で、この際に Matrix だけじゃなくて、Integer とかでも同じ構造ですよね？
他にも同様にあるだろうし。

となると、一様にひとくくりに逐次平方を定義できないかなぁ・・・というので、
Smalltalk 的にエレガントにやるにはどこで・・・という風になって、私は思
考停止しました。(^^;

Number など Magnifier の系統だけじゃなくて、Matrix みたいなものも含
まれるので、代数構造をクラス構造に持ち込まないと一括扱いは難しい
くなる？けれど、そもそも代数構造を持ち込むのも大仕事で破綻無くという
のは至難っぽいし・・・それでどれだけありがたいのか良く分からないし。

;; Smalltalk の何かと直行してそうな気もするし・・・
;; そもそもそんな風にすべきではないという説も出てくるかもしれない。

;; 遺伝的プログラミングとかはしやすくなりそう。
;; 関数合成によるアルゴリズム発明もしやすくなる？

;;;; みんな妄想の域だけれど。すなわちスーダラな予想。;-)

--
Narita Takaoki @ SETG, SEIKO EPSON Corp.
Voice: 722-5718 (interphone)