5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

◆◇◆◇◆◇生成文法総合スレ<37>◆◇◆◇◆◇

646 :変な目の一族:2009/03/04(水) 23:31:39 0
勢いいいなあー♪

λ計算でさ、束縛変数と自由変数ってあるよね? 
ある変数が束縛されているか自由か決定するとき、ある全体とその元が問題になる。
一見、全部束縛されているように見えるのに、自由な奴がいて、世界をひっくり返す。

こういう自由変数が未知の関数だったりするって考えたことない?
最近、気になってて、その夢まで見るんだな・・・

で、何だ?って、知らないけど。

413 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)