hanamurayoshihisa https://blog.hatena.ne.jp/hanamurayoshihisa/ hanamurayoshihisaのブログ https://hanamurayoshihisa.hatenadiary.com/ 4.2 モデル理論の修正 GPSGが採用しているPTQのモデルの定義とは、基本表現に対して次の形式で指示対象を当てていく。あるタイプの可能な指示対象の集合として、De、Dt、D(a, b) 、D(s, a) がある。* （23）M＝＜A, I, J,≦,F＞およびg。1 A, I, Jは、それぞれ空でない個体、可能世界、時点の集合。2 ≦は、Jに関する線形順序。3 Fは、ILのすべての定項を定義域とする関数。4 a∈Type、α∈Conaならば、F(a) ∈S a。5 gは、ILのすべての変項の集合を定義域とする関数。6 uがタイプaの変項であるとg(u) ∈D a。 ここで、Fは、aタイプの… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhanamurayoshihisa.hatenadiary.com%2Fentry%2F2025%2F09%2F28%2F153922" title="イディオム－モンタギュー文法からGPSGそしてHPSGへ１３ - hanamurayoshihisaのブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-09-28 15:39:22 rich https://hanamurayoshihisa.hatenadiary.com/entry/2025/09/28/153922 1.0 100%