河野真治 @ 琉球大学情報工学です。

In article <040902172414.M0107693@flame.hirata.nuee.nagoya-u.ac.jp>, takao@hirata.nuee.nagoya-u.ac.jp (Takao Ono) writes
> # Java のようなもの? って Java の場合「規格」そのものが... ですけ
> # ど.

VM っていう手は確かにあるんだよね。で、VM を、その言語自身で
記述するってわけなんだけど、それが何を意味するかって言うと、
実は、何も意味しない。

規格の記述も、そういう Meta circular な枠組からは絶対に抜け
出せない所があるんだけど、実装には、そういう循環論法的な所は
ないんだよね。なので、実装を欠く規格は完全にはなり得ない。
例えば、長さや重さに関する規格も、実際の物理的実在抜きでは
意味がないのと似ているかな。

そのあたりが、プログラム言語を勉強するのに、規格書を読むのが、
あまり良くない原因なんじゃないかなぁ。

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