08/09/19 09:07:45
どこがおかしい？
少なくともSML版とJava版は間違ってないように見えるけど
20:デフォルトの名無しさん
08/09/20 10:49:10
churchTrueはλx.λy.xなら
Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])])
curchFalseは
Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])])
となるのが自然と思ったんだけど、なにか勘違いしてる？
21:デフォルトの名無しさん
08/09/20 11:44:41
>>20
まずchurchFalseは
Abs(1, [Abs(1, [Abs(1, nil), App(1, 2)])])
の間違いだよな
それから、churchTrueとchurchFalseはinsnじゃなくてvalueだから、一番外側のAbsを
FNに直さないといけない
で、定義はそれで正しいんだけど、正しい書き方は一つじゃない
元ソースは別の、等価な書き方をしてるだけだと思う
具体的には、trueは
(λx.λy.λz.xy)id
と書けるし、falseは
λx.id
と書ける
idはλx.xのことね
22:sage
09/01/29 08:53:14
Grass 言語のニコニコ動画
つ URLﾘﾝｸ(www.nicovideo.jp)
23:デフォルトの名無しさん
09/01/30 19:03:17
>>22
VIPプログラミングスレまとめｗWｗ
24:デフォルトの名無しさん
09/02/07 21:34:35
コメントってどう書くんだ？
そんな文法ない？
25:デフォルトの名無しさん
09/02/07 21:36:48
いくらでも書けばいい
26:デフォルトの名無しさん
09/02/07 22:05:29
[wWvｗＷｖ]以外の文字は無視されるから普通に日本語とかロシア語とかで書けばおｋ
27:デフォルトの名無しさん
09/02/08 21:00:36
なるほど。
28:デフォルトの名無しさん
09/02/09 12:20:49
wWvを含むコメントはどうすれば？
29:デフォルトの名無しさん
09/02/09 13:22:11
どうしようもない
俺のアセンブラはuUfに置換してるけど、情報を失いたくなければまじめにエスケープすればいいんじゃね
30:デフォルトの名無しさん
09/02/27 11:46:43
janeの隠し機能
１．書き込みウィンドウを出し半角入力に切り替える
２．Wキーを押しっぱなしにする
３．Wキを押しっぱなしにしながらsageのチェックするところをおもむろにクリック
31:デフォルトの名無しさん
09/02/28 10:12:24
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
32:デフォルトの名無しさん
09/03/05 11:10:25
wwwwwwwwwwwwww
33:デフォルトの名無しさん
09/03/05 11:20:37
チェックボックスをクリックした瞬間、テキストボックスからフォーカスが外れて
「書き込み(W)」ボタンがWを拾うようになるワケか。
なるほど、ちょっと上手い
…が、迷惑な話だ。
34:デフォルトの名無しさん
09/03/06 00:47:22
意図して作った仕様じゃないな。
35:デフォルトの名無しさん
09/03/06 04:22:21
writeの頭文字がwであるというのが神の作った仕様であると（違
36:デフォルトの名無しさん
09/03/16 17:14:22
ダメ
37:デフォルトの名無しさん
09/03/16 17:19:16
なにが
38:デフォルトの名無しさん
09/03/18 20:11:04
必ずレスがもらえるコピペ
39:デフォルトの名無しさん
09/03/23 17:04:32
ダメ