ENGLISH    |  

自然言語処理学研究室  

奈良先端科学技術大学院大学
松本裕治研究室

夏の集中勉強会/2010/注釈

夏の集中勉強会/2010

書籍

Mark Steedman
The Syntactic Process
MIT Press, Cambridge, Mass., USA. 2000
ISBN 0-262-69268-6 (paperback) / 0-262-19420-1 (hardcover)

↑

疑問点

  • (p.6↑17) Since CCG integrates ... の文, 構文解析できません. どう読むのか教えてください.
    • rival は形容詞
    • the semantic coherence and contextual appropriateness rival local analyses で巨大な名詞句
    • couple the resolution ... to ... local analyses
  • Sec.3.6 (pp.51-52), 4.1 (pp.53, 56)
    • Backward crossed substitution (<Sx) --- Ch.3 (59), Ch. 4 (1) の制限は Y=S\$? それとも X=S\$? それとも両方?
      • p.51 の中間あたりでは「Y に関する制約」について議論
      • p.51 (59) はこれを受けて Y=S\$ となっている.
      • ところが p.52 の最後の段落は X
      • p.53 (1) は X=S\$ に制約が変わり,
      • p.56↑13 は X の制約について言及している.
    • p.51注27の指し先を見るとXについて言及しているので、p.51のYで書かれている部分が全部 X の間違いなのではないかと思います

↑

注釈

↑

Chapter 1 Introduction

  • (p.3) Syntactic Structures/Aspects vintage
    • Chomsky の初期の著作

      Syntactic Structures (1957),

      Aspects of the Theory of Syntax (1965)

      を指す. 以降も本文中 Aspects-style Transformational Grammar のように度々引用される (pp.3, 15, ...)
    • see also Chapter 7 (11), p.174
  • (p.5↓4-5) competence, performance → Wikipedia
  • (p.5↑2) at one remove from ... = 「... から少し離れて」という idiom だそうです (remove は名詞)

↑

Chapter 2 Rules, Constituents, and Fragments

↑

2.1 Constituents

  • (p.13↑9) rule-to-rule hypothesis
    • Chapter 1, p.1 「文法規則はもれなく意味解釈の規則と対になっている」
  • (p.14↓1) It → it
↑

2.2 Fragments

  • (p.14↑3) two in the case of Government-Binding Theory
    • cf. Fig.2.2 (p.19)
↑

2.2.1 Coordination and Parentheticals

↑

2.2.2 Intonation Structure

  • (p.21↓18) LF = Logical Form (figure 2.2 と 2.3 を参照)
  • (p.21↑2) 例文 (17)
    • p.181 の議論も参照
↑

2.3 Issues of Power and Explanation

  • (p.23↑14) "strong" and "weak" adequacy of grammars
  • (p.24) weakly equivalent grammars
    • 同じく上の Steedman のレクチャースライド参照
    • p.279, chapter 8 脚注 9. も参照
  • (p.26) (22) Chapter 7 の冒頭も参照

↑

Chapter 3 Intuitive Basis of Combinatory Categorial Grammars

この章大事なので, あまり時間を気にせず丁寧に (全員内容が把握できるように) 説明してください.

  • bluebird ルリコマドリ (combinator B のニックネーム; Smullyan のパズル本ではさまざまな combinator を鳥とみなしていることから)
  • thrush ツグミ (combinator T のニックネーム)
  • starling ムクドリ (combinator S のニックネーム)
↑

3.1 Pure Categorial Grammar

  • (p.32↓5) (S\NP)/NP
    • 「NP (目的語) を右から受け取って S\NP (=動詞句; 下参照) になる」(つまり, このカテゴリは他動詞を表す)
    • S\NP は「NP (主語) を左から受け取って S になる」(= 句構造文法の VP (動詞句) に相当)
    • argument の位置 (\/) の区別を無視して, 普通の型記法で書くと NP →(NP → S) となる.
↑

3.2 Interpretation and Predicate-Argument Structure

  • (p.38↓11) manny → manny'
↑

3.3 Coordination

↑

3.4 The Bluebird

  • (p.42↑7) sets {α/$}, {α/$}, and {α\$} → sets {α$}, {α/$}, and {α\$}
↑

3.5 The Thrush

  • (p.46↑4) as as → as

↑

Chapter 4 Explaining Constraints on Natural Grammar

↑

4.1 Intrinsic Constraints Limiting the Set of Possible Rules

  • (p.53↓17) functional substitution = S のこと (p.51)
↑

4.2 Linguistic Constraints on Unbounded Dependencies

↑

4.4 Quantification in CCG

  • (p.72↑5) narrow scope reading
    • ∃x.saxophonist' x の scope のこと. 変数 x の scope が狭い (49a) (すなわち (52) の導出式) のような解釈のこと.
    • (49b) (すなわち (53) の導出式) のような解釈が wide scope
  • (p73) John Coltrane
  • (p73) Lester Young
↑

4.4.1 Donkey as Skolem Terms

  • (p.75↓6) (56) Every farmer who owns a donkey beats it
    • Donkey sentence と呼ばれる有名な文. ナイーブに論理表現に変換しただけでは, 正しい (文の意味に即した) 表現にならない.
↑

4.4.3 Binding Theory and Distributional Scope

  • (p.81↑10) (74)c. eat a pizza:=S\NPpl : λy.dist' (eat' (arb' pizza'))z
    • 末尾の z は y の間違い
  • (p.82↓2) 導出 (77) ate の下の式. 末尾の z は y の間違い
↑

4.5 Summary: Surface Structure and Interpretation

  • (p.85↓10) 36 and 37 → (36), (37) のこと. Section 4.3, p.65
  • (p.85↑2) Catalan function →Wikipedia
  • (p.86↓1) PS = phrase structure
  • (p.86↑14) figure 2.1 of 2 → figure 2.1 of chapter 2
    • figure 2.1 は p.14

↑

Chapter 7 Gapping and the Order of Constituents

  • (p.171↓16) (1) = Chapter 2 (22), p.26
↑

7.1 Gapping and SOV Word Order

  • (p.175↓18) the second of these = 文 (13)
  • (p.175↓20) The third = 文 (14)
  • (p.176↓16) Whatever their status
    • 例文 (16) が非文かどうかによらず
↑

7.2 Gapping and VSO Word Order

↑

7.3 Gapping and SVO Word Order

↑

7.3.1 The Natural History of Gapping in English

  • (p.182↓17) in SOV and SVO languages → in SOV and VSO languages
  • (p.183↑1) the FIxed-Subject Condition violations discussed in chapter 4
    • → p.61 最後の段落
↑

7.3.3 A Hypothesis Concerning the Left Conjunct

  • (p.189↓13) "strict" and "sloppy" anaphora
    • (59a) で「Warren が Dexter の猫に餌をやった」というのが strict な anaphora 解釈, 「Warren が自身の猫に餌をやった」というのが sloppy な解釈.
    • (59b) でも同様に「Warren が Dexter の猫にマグロをやった」(strict) 「Warren が自身の猫にマグロをやった」 (sloppy)
  • (p.190↓7) θ'' left ... along lines described in chapter 5.
    • p.112 周辺に θ' という関数に関する議論がある.
  • (p.192↓2) example (41), repeated here:
    • (41) と (66) は異なる文
    • (29b) は (66) と似ているが, 完全に一致した文は書籍内に見当たらない. 著者の勘違いと思われる.
  • (p.192↑5) nominatives like (53b)
    • 番号間違いと思われる. (53) には b. がないので...
    • どれを指すのか不明
↑

7.4 Other Elliptical Phenomena

↑

Chapter 8 Combinators and Grammars

↑

8.1 Why Categories and Combinators?

  • (p.203↓1) Kohler's's → Kohler's
  • (p.203↓4) Principle of Head Categorial Uniqueness → Chapter 3, p.33
↑

8.2 Why Bluebirds, Thrushes, and Starlings?

  • (p.203) kestrel チョウゲンボウ (combinator K のニックネーム; やはり Smullyan のパズル本から)
    • ちなみに 8.2節で登場する他の combinator I と C には鳥の名前がなくて, 単に identity bird (idiot bird と呼ぶ人もいる), composition (Chapter 3, p.31 の epigraph 参照) と呼ばれている.
  • (p.205↑9) in includes → it includes の誤植と思われる
  • (p.206) Smullyan's λx.xx
    • Mockingbird combinator M のこと (mockingbird という単語が p.206 には登場していないにもかかわらず, 索引にこのページが引かれているのは, そういう理由)
  • (p.207↓4) a special case of I, of type (α→β)→(α→β), can be defined as CT.

    C=λxλyλz.xzy

    T=λvλw.wv

    なので (Chapter 8 (9), p.205 と Chapter 3 (33), p.43 参照)

    CT = (λxλyλz.xzy)(λvλw.wv)

    = λyλz.(λvλw.wv)zy

    = λyλz.(λw.wz)y

    = λyλz.yz

    z と y の型をそれぞれ z : α, y : α→β とすると

    yz : β

    λz.yz : α→β

    λyλz.yz : (α→β)→(α→β)

    あるいは

    C : (D→(E→F))→(E→(D→F))

    T : A→((A→B)→B)

    だから D=A, E=(A→B), F=B として

    CT : (A→B)→(A→B)

  • (p.207↓5) This is not the true I combinator, for it will not map an atom onto itself.
    • I = λx.x は x を x に写像する関数を表すので, x の型が A だとすると I は A→A の型を持つことになる. (α→β)→(α→β) も (α→β) からそれ自身への写像ではあるが, (α→β) は atomic な型ではない.
↑

8.3 Expressive Power

  • (p.207) strongly adequate grammar → Chapter 2, p.23
  • (p.208) indexed grammar (IG) Wikipedia
  • (p.208) linear indexed grammar (LIG) Wikipedia
  • (p.209↓3) figure 6.2 → p.146
  • (p.209↑2) zag helpen voren (saw help feed) オランダ語の交差した依存関係の例文 → p.25, p.134
  • (p.211↓18) (21) X_X[Z...1, ...2]
    • 添字がおかしい.
↑

8.4 Formalizing Directionality in Categorial Grammars

  • (p.213) Principles of Adjacency, Consistency, and Inheritance → Chapter 4, p.54
  • (p.215↑1) direction-changing rule = order-changing rule
↑

Appendix: Directionality as a Feature

  • (p.221↓5) no rule violating the Principle of Inheritance, like (27)
    • (27) は order-changing type-raising (p.214)
  • (p.221↓15) order-preserving instances (23) → p.213

↑

Chapter 9 Processing in Context

  • (p.226↓11) descriptive adequacy
  • (p.226↓20) explanatory adequacy
↑

9.1.1 Grammar

  • (p.226↑5) The strong competence hypothesis
    • 「文法 (competence grammar) 規則と, それを処理するヒトの言語処理機構 (の用いる文法; performance grammar) の間には直接対応がある」とする仮説
  • (p.228↑4) the Constituent Condition on Rules → p.12
↑

9.1.3 The Oracle

  • (p.236↓8) (6) Flying planes can be dangerous
    • 危険なのは「飛行機を飛ばすこと」か「飛んでる飛行機」か, という曖昧性
↑

オンラインで入手可能な参考文献

↑

参考文献

Counter: 7995, today: 5, yesterday: 6