[SML 7116] Re: Smalltalkerのための初等数学

[AOKI Atsushi]

ＳＲＡ先端技術研究所の青木です。

小舟の問題ですが、いろんな方々に挑戦していただけて、嬉しいか
ぎりです。この SML ではないのですが、他のメーリングリストでは、
SPIN や NuSMV そして VDM++ などのプログラムも出てきて、とても
参考になります。Squeak, Ruby, Java, Prolog, Lisp などのプログ
ラムもチラホラと。

理解ではなく、行解して会得することが大切です。ぜひ、手持ちの
Smalltalk で、状態遷移図を描き出せるところまで、行き着いてく
ださいまし。そして、それを SML へと投稿できるプログラマの登場
を願っていまぁ〜す。

------------------------------------------------------------
R2D2 (AOKI Atsushi)        http://www.sra.co.jp/people/aoki/