河野真治 @ 琉球大学情報工学です。(いつまでもjavascript で
やるのは迷惑か... でも、それほど続くまい)

実装はinstanceで、記述したい仕様はclass。そのあたりの曖昧性
を述語論理で記述するのが本当に良いのかなぁ。日本語とか英語で
記述するってのは、そういうことなんですけどね。

In article <4137dd46.7001%katoh@pop12.odn.ne.jp>, Hideki Kato <katoh@pop12.odn.ne.jp> writes
> Lisp1.5 の仕様は Lisp1.5 で書かれてたわけで，それは一定の効果を上げ
> たと思います．＃何も「意味」しないのは同意．

In article <040902175429.M0259722@sma.gssm.otsuka.tsukuba.ac.jp>,kuno@gssm.otsuka.tsukuba.ac.jp writes
>       厳密な動作について議論し始めると規格書ですがね      久野

厳密に議論しようとすると、自分自身に相対的に意味を議論できる
のは便利なんですよね。

ところが、分かってない人には、その議論を聞いても、これまた、
さっぱり分からないままと言うことになっちゃう。

実は「分かった振り」で議論するのにも、Meta circular descritpion
は、とっても便利〜

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科