15
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を返すようにするという、分かってないやつ代表。
ホセヲ ʞzsɾʎ @yjszk
@dlit ブログエントリ「ラムダ計算基礎文法最速マスター」http://bit.ly/b2Uxwq の内容程度は既知でしょうか?(RT @kaleidotheater: @dlit 「ラムダ計算が分かっている」とはどういうことか、言語学者はほぼ分かってないような気が)
Takumi TAGAWA @dlit
おお、こんなエントリが!ちょっとチェックしてみます。 RT @YJSZK: @dlit ブログエントリ「ラムダ計算基礎文法最速マスター」http://bit.ly/b2Uxwq の内容程度は既知でしょうか?…
残りを読む(85)

コメント

koda_TO(造反有理) @koda_TO 2010年8月14日
λ計算(Lambda Calculus)のまとめをちょっと追加(と重複削除)。
Mitchara @Mitchara 2010年8月14日
λ計算、ちょっと書誌情報を追加しました。みなさまありがとうございます。
ログインして広告を非表示にする
ログインして広告を非表示にする