数理・計算言語学でラムダを使う言語学の人むけ。@Mitcharaおお戸次2010難しそう...。著者のお名前も読めない私に本文が読めるだろうか...。CG自体は簡単なんですけど、形式意味論(というか簡単なラムダ計算)が解っていないと惑わされそうですよね。慣れれば細かい部分はともかく大雑把に理解するのは難しくないのですが。CG自体は簡単なんですけど、形式意味論(というか簡単なラムダ計算)が解っていないと惑わされそうですよね。「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。logicとかが絡んでくるとわけわかんなくなりますよねー。@koda_TO具体的にもう一声おねがいします。「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。@dlit僕ももう少し聞けると嬉しいです。具体的にもう一声おねがいします。「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。大体ざっくり記法が解っていれば、読み進めるにはOKかなあ、と思います。logicとかが絡んでくるとわけわかんなくなりますよねー。@koda_TOそれ、身に沁みて感じます。アメリカの有名な院は教授陣の研究もすごいけど、基礎に対する意識が物凄いなあとひしひし感じます。Sensitiveってのは書き換えに条件をつけたものです。Mildlyってのはちょっとだけ条件付けたもの。16:16:45@satounaoto集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。dependencies全般に及びますが。@koda_TOそれってなんて俺。集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。チョムスキー階層のお話なんて、普通記述的な仕事してたら必要ないですもん、正直なところ。16:24:39@satounaotoまたまた、自己韜晦を。集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。@dlitそして何が分かってないのか分かってないわたくし。集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。@dlitおお、こんなエントリが!ちょっとチェックしてみます。Calculus)のまとめをちょっと追加(と重複削除)。λ計算、ちょっと書誌情報を追加しました。みなさまありがとうございます。