●●●●TCL/TKなら俺に聞け 2●●●● at TECH
[2ch|▼Menu]
373:デフォルトの名無しさん
08/11/15 18:14:51
>>372
お前が前提にしているλ計算の公理系を言え。
通常のβη変換ではλx.(λy.x) = λx.xは導出できない。

次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch
5496日前に更新/102 KB
担当:undef