かんれん iuk.hateblo.jp iuk.hateblo.jp いんとろ どやどやな感じで2つの記事をかき、McKayの「plural predication」を読み返していると、ああやっちまったってところに遭遇。 "X meets together in the library"「xはその図書館で会合する」 生徒たちがそ…
関連 iuk.hateblo.jp いんとろ 形式言語では大体、表示的意味論を使いますよね。つまり、その意味論においては、述語記号はそれを満たすような対象のn-tupleのあつまりとして解釈します。オブジェクトレベルの言語が複数指示系のとき、メタ言語に単指示系を…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。