言語学徒向けメモ λ計算 (lambda calculus) の入門書など

ytb @ytb_at_twt

本日の会話「この関数 f も再帰関数ですよね」「いや、どうでしょうか」「λ項で書けるのでチャーチの提唱から再帰関数では」「λ項で書けるからと言ってその全域性が証明できるとは限りません」「えっ」「えっ」教訓；語「再帰関数」は「全域的再帰関数」を指示することもある

Mitchara @Mitchara

おお戸次2010難しそう…。著者のお名前も読めない私に本文が読めるだろうか…。

koda_TO（造反有理） @koda_TO

@Mitchara CG自体は簡単なんですけど、形式意味論（というか簡単なラムダ計算）が解っていないと惑わされそうですよね。慣れれば細かい部分はともかく大雑把に理解するのは難しくないのですが。

Takumi TAGAWA @dlit

わたくし、ラムダ計算わかってるつもりだったのですが、最近自信がなくなってきました… RT @koda_TO: @Mitchara CG自体は簡単なんですけど、形式意味論（というか簡単なラムダ計算）が解っていないと惑わされそうですよね。…

戸次大介/Daisuke Bekki @kaleidotheater

@dlit 「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。

Mitchara @Mitchara

@koda_TO まだ出てきてはいませんが、ラムダ計算とは…ふむふむ…（日本語版Wikipedia参照中）

koda_TO（造反有理） @koda_TO

@dlit Higher order logicとかが絡んでくるとわけわかんなくなりますよねー。俺もなんちゃってで理解しているだけなんで、細かいところはあやしさ爆裂です、

koda_TO（造反有理） @koda_TO

具体的にもう一声おねがいします。 RT @kaleidotheater: @dlit 「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。

Takumi TAGAWA @dlit

そうなんですね… RT @kaleidotheater: @dlit 「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。

Takumi TAGAWA @dlit

僕ももう少し聞けると嬉しいです。勉強しろってことなんでしょうけれど… RT @koda_TO: 具体的にもう一声おねがいします。 RT @kaleidotheater: @dlit 「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気がします。

koda_TO（造反有理） @koda_TO

@Mitchara 大体ざっくり記法が解っていれば、読み進めるにはOKかなあ、と思います。

Takumi TAGAWA @dlit

細かいところをがりがりやるトレーニングって大切だなあ、と最近いろんなところで思います… RT @koda_TO @dlit Higher order logicとかが絡んでくるとわけわかんなくなりますよねー。俺もなんちゃってで理解しているだけなんで、細かいところはあやしさ爆裂です

koda_TO（造反有理） @koda_TO

それ、身に沁みて感じます。アメリカの有名な院は教授陣の研究もすごいけど、基礎に対する意識が物凄いなあとひしひし感じます。 RT @dlit: 細かいところをがりがりやるトレーニングって大切だなあ、と最近いろんなところで思います…

koda_TO（造反有理） @koda_TO

@Mitchara Context-free Grammarってのは生成文法初期の書き換え方式のPS-ruleでContext Sensitiveってのは書き換えに条件をつけたものです。Mildlyってのはちょっとだけ条件付けたもの。（すごいいい加減な説明ですけど…）

@satounaoto

集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。RT @dlit: 僕ももう少し聞けると嬉しいです… RT @koda_TO: 具体的に…RT @kaleidotheater: 「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってない…

koda_TO（造反有理） @koda_TO

@Mitchara ご名答っす　Whにかぎらず、Long distance dependencies全般に及びますが。

Mitchara @Mitchara

@koda_TO ありがとうございます！Chomsky Hierarchyから復習しないといけないという情けなさ…

koda_TO（造反有理） @koda_TO

それってなんて俺。。。 RT @satounaoto: 集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。

koda_TO（造反有理） @koda_TO

@Mitchara チョムスキー階層のお話なんて、普通記述的な仕事してたら必要ないですもん、正直なところ。

@satounaoto

またまた、自己韜晦を。RT @koda_TO: それってなんて俺。。。 RT 集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。

koda_TO（造反有理） @koda_TO

@satounaoto まともに習ったことが無いので、本当に無手勝流もいいところですよ！

@satounaoto

@koda_TO あ、英語じゃないからか！

Takumi TAGAWA @dlit

そして何が分かってないのか分かってないわたくし。 RT @koda_TO: それってなんて俺。。。 RT @satounaoto: 集合を特性関数にしてTかFを返すようにするという、分かってないやつ代表。

ホセヲ・俺はゲルググで…えっ無いの？ @yjszk

@dlit ブログエントリ「ラムダ計算基礎文法最速マスター」http://bit.ly/b2Uxwq の内容程度は既知でしょうか？（RT @kaleidotheater: @dlit 「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気が）

Takumi TAGAWA @dlit

おお、こんなエントリが！ちょっとチェックしてみます。 RT @YJSZK: @dlit ブログエントリ「ラムダ計算基礎文法最速マスター」http://bit.ly/b2Uxwq の内容程度は既知でしょうか？…