小野@名古屋大学 です.

<3990406news.pl@insigna.ie.u-ryukyu.ac.jp>の記事において
kono@ie.u-ryukyu.ac.jpさんは書きました。
kono> 僕は「実装があってこそプログラミング言語」だと思う。
実装のないプログラミング言語 (の規格) って意味ないですからね. で
も,

kono> 標準規格ってのは、実装じゃないんですよね。なんでだろう? 規
kono> 格って実装になり得ないのかな?
「規格」と「実装」って意味として別のレイヤになるから「規格が実装
になる」というのは変な感じはしますね.

逆に「実装が規格になる」ことは (「標準実装」を 1つ与えて「これと
全く同じように動作する」ことを規格で求めれば) ありえるけど.
# Java のようなもの? って Java の場合「規格」そのものが... ですけ
# ど.
-- 
名古屋大学大学院 情報科学研究科 計算機数理科学専攻
小野 孝男 (takao@hirata.nuee.nagoya-u.ac.jp)