「日本語文法の形式理論：活用体系・統語構造・意味合成」を読み進める会 #gengo

@optical_frog

この2段階の導出をやってるとき，述語の項が順次埋まっている．最初の eat は2項述語で λe.λx1.λx2.eat(e, x1, x2) となる（e は出来事項）．

@optical_frog

最初の順関数適用で，λe.λx1.eat(e, x1, apples) となる（x1 がリンゴを食べるという出来事述語）．で，次の逆関数適用で主語の項をとることになり，λe.eat(e, Keats, apples) （キーツがリンゴを食べるという出来事文）ができる．

@optical_frog

あ，項の順番まちがってるｗ

@koda_TO

散髪前に何の気なしに市の図書館に立ち寄ってTL覗いたら、Categorial Grammarの議論が始まっていた件… 気が早すぎｗｗ

@taiki_wger

@koda_TO 。･ﾟ･(ﾉД`)･ﾟ･。　だって理論に強そうな皆さんに置いていかれるのが怖かったんですもの！！！ RT: Categorial Grammarの議論が始まっていた件… 気が早すぎｗｗ

@optical_frog

まあいいや．インフォーマルに：「x1 がリンゴをたべる」と「x1 が太郎をなぐる」という2つの動詞句を等位接続すると，x1 がリンゴをたべ，かつ／または，太郎をなぐる」という動詞句がでてくる．

@koda_TO

@taiki_wger そんなｗ　俺はこの読書会では底辺の方を彷徨う予定ですので、レベルを下げすぎないように頑張る所存です(；´Д｀)

@taiki_wger

@koda_TO (; ´∀｀)　こういう枠組みを使いこなす人とかって、純粋にすげえなって思うんですよ・・・まあそれ言い出したら、生成系も認知系もみんなすごいんですが。

@optical_frog

λx1.λe.[eat (e, x1, apples) and/or hit (e, x1, Taro)] となる．

@optical_frog

この場合はいわゆる主語にあたる x1 だけが残っているんだけど，λx1.λx2.[f(x1, x2) and/or g(x1, x2) みたいになるケースも想定してるんじゃろう．

@optical_frog

わかったようなきがしなくもない．

@optical_frog

ﾑﾂｶｼ-

@taiki_wger

@optical_frog　勉強になりました(´･ω･｀)

@optical_frog

どちらかというとぼくが勉強させてもらった形ですが(´；ω；`)　QT @taiki_wger: @optical_frog　勉強になりました(´･ω･｀)

@optical_frog

@taiki_wger ともあれ，こういうのをスナック感覚で読みこなせるであろう wataruuさんあたりは HENTAI だなと改めて尊敬の念を深くしました．

@taiki_wger

@optical_frog おお。wataruuさんはいとも簡単に・・・うらやましいなあ。

koda_TO（造反有理） @koda_TO

日本語文法の理論形式を第一章（と第二章の冒頭）だけ読んでみた。なんか久しぶりにこの手の話題（Chomsky HierarchyとかContest sensitive grammarとか）をみかけて懐かしいなーと思った。

koda_TO（造反有理） @koda_TO

#gengo 流される前に纏めておきました。抜け落ち等ありましたら各自適当に直しておいて下さい。 「「日本語文法の形式理論：活用体系・統語構造・意味合成」を読み進める会 #gengo」 http://togetter.com/li/36937

koda_TO（造反有理） @koda_TO

【個人的戸次2010読感】　とりあえず25ページほど読み進めたんだけど、ここまでは特に高度な数学的な知識が無いと進めないわけでもない、つまりある程度表記法に慣れればゆっくりでも直感的に読める形になっているので、見慣れない記号に惑わされないようにしてください。

koda_TO（造反有理） @koda_TO

#gengo 戸次2010読書会のまとめ、TwiFULLにもリンクしておきました。言語理論の側面が強いので「一般言語学」のカテゴリーです。気に食わない人はかってにてきとうなところになおしてください。

koda_TO（造反有理） @koda_TO

【戸次2010読書メモ #gengo 】 型繰上げ規則と関数交差置換規則(p28-30)は何がしたいのかはわかるけど、どうしてそのような規則が成り立つのかが良く分からなかった。繰上げはどうやってＡｒｇｕｍｅｎｔがキチンと所定のλに対してβ-reductionできるのか？

koda_TO（造反有理） @koda_TO

【戸次2010読書メモ #gengo 】 要はその規則がＡｐｐｌｙされた時に意味表示側がどういう事になっているのかがちょっと雲をつかんでいる感じ。あと、3章の最初で日本語はすべて型繰上げするのが、いきなりすぎてなぜなのかよく分からない。後で分かるんだろうけどさ。

koda_TO（造反有理） @koda_TO

【戸次2010読書メモ #gengo 】ちょっとだけ読み進める。流石にハードルが上がってきたなあ。「組合せ規則は普遍文法に属するもの…」(p31)とあるが、(p39)で「…日本語において型繰り上げ規則が不要であることを示唆している。」とある。矛盾っぽく聞こえなくも無い。

koda_TO（造反有理） @koda_TO

【戸次2010読書メモ #gengo 】んで、「かき混ぜ規則」。これは日本語では何処でも適用されるけど英語ではHeavy NP shiftのみでの適用ってのが腑に落ちない。「組合せ規則は普遍文法に属する」なら英語でももっと普通に出てくるものじゃないの？