From(投稿者): | kono@ie.u-ryukyu.ac.jp (Shinji KONO) |
---|---|
Newsgroups(投稿グループ): | fj.comp.lang.javascript |
Subject(見出し): | 規格と実装 (Re: 大文字と小文字の区別) |
Date(投稿日時): | Thu, 2 Sep 2004 08:44:06 +0000 (UTC) |
Organization(所属): | Information Engineering, University of the Ryukyus |
References(祖先記事, 一番最後が直親): | (G) <u5aZc.245$Oc6.26@news1.dion.ne.jp> |
(G) <040901112223.M0153692@sma.gssm.otsuka.tsukuba.ac.jp> | |
(G) <3990388news.pl@insigna.ie.u-ryukyu.ac.jp> | |
(G) <b4cZc.246$Oc6.146@news1.dion.ne.jp> | |
(G) <ch537c$l71$1@news00.iij4u.or.jp> | |
(G) <wuxZc.11$RI2.5@news1.dion.ne.jp> | |
(G) <3990402news.pl@insigna.ie.u-ryukyu.ac.jp> | |
(G) <040902162005.M0159159@sma.gssm.otsuka.tsukuba.ac.jp> | |
(G) <3990406news.pl@insigna.ie.u-ryukyu.ac.jp> | |
(G) <040902172414.M0107693@flame.hirata.nuee.nagoya-u.ac.jp> | |
Message-ID(記事識別符号): | (G) <3990407news.pl@insigna.ie.u-ryukyu.ac.jp> |
Followuped-by(子記事): | (G) <040902175429.M0259722@sma.gssm.otsuka.tsukuba.ac.jp> |
(G) <4137dd46.7001%katoh@pop12.odn.ne.jp> |
河野真治 @ 琉球大学情報工学です。 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 河野真治 @ 琉球大学工学部情報工学科