「コンパイラ・スクリプトエンジン」相談室5

「コンパイラ・スクリプトエンジン」相談室5 at TECH

162:デフォルトの名無しさん
05/01/21 00:38:43
>>161
俺が聞きたいよ。
お前が「形式が同じだとどうです？」と言ってるだろ。
察するに、表示的意味論なら表示的意味論、操作的意味論なら操作的意味論で、
似たような記号使うということか？