ゆくゆくは有へと

おかゆ/彼ノ∅有生 の雑記

2016-05-26から1日間の記事一覧

ぐぬぬ、非累積め

かんれん iuk.hateblo.jp iuk.hateblo.jp いんとろ どやどやな感じで2つの記事をかき、McKayの「plural predication」を読み返していると、ああやっちまったってところに遭遇。 "X meets together in the library"「xはその図書館で会合する」 生徒たちがそ…

述語の外延的意味における分配性とか

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