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

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

171:デフォルトの名無しさん
05/01/21 00:54:20
>>167-168
偶然同じ処理で同じ記述になろうが、別の処理で別の記述になろうが、
別の世界の別の定義同士は何の関係も無いぞ。

あと、表示的意味論と操作的意味論ごっちゃになってるだろ。