05/01/21 00:05:20
>>126
煽りじゃなくて単に見解を聞きたいんだけど、
式のセマンティクスを定義するのに式という言葉を使いたくて
式という言葉をとりあえずBNFとかで定義しておいて、
「式は値を持つ」とかいう形でセマンティクス上の意味を付加していくことがある
（特に数学的にセマンティクスを定義したい場合）。
こういう場合、「式という言葉（の意味）」はBNFで定義され
「式の（セマンティクス上の）意味」は日本語とかで定義される、
といったことになると思うんだけど、どう？
05/01/21 00:05:20
>>126
煽りじゃなくて単に見解を聞きたいんだけど、
式のセマンティクスを定義するのに式という言葉を使いたくて
式という言葉をとりあえずBNFとかで定義しておいて、
「式は値を持つ」とかいう形でセマンティクス上の意味を付加していくことがある
（特に数学的にセマンティクスを定義したい場合）。
こういう場合、「式という言葉（の意味）」はBNFで定義され
「式の（セマンティクス上の）意味」は日本語とかで定義される、
といったことになると思うんだけど、どう？