ゆくゆくは有へと

関連 iuk.hateblo.jp いんとろ 形式言語では大体、表示的意味論を使いますよね。つまり、その意味論においては、述語記号はそれを満たすような対象のn-tupleのあつまりとして解釈します。オブジェクトレベルの言語が複数指示系のとき、メタ言語に単指示系を使うなら , 複数指示系を使うなら な n-tuple です。*1 前回の記…