12/06/21 10:27:21.54
前スレ
ｽﾚﾘﾝｸ(tech板)
あなたがそうだと思うものがライトウェイトランゲージです。
ただし、他人の同意を得られるとは限りません。
2:デフォルトの名無しさん
12/06/21 15:38:33.35
ところでうゆはチャーチ数とかやりたいなら、自分で処理系作りなさい。
S とか K とかリダクションするのでも、λ式をリダクションするのでもいいから。
型とかなんとかやりだすと面倒だけど、グラフリダクションだけなら簡単だから。
3:デフォルトの名無しさん
12/06/21 15:49:47.34
>>2
ナゼに上から目線？
4:デフォルトの名無しさん
12/06/21 16:25:36.93
>>3
クズ相手にお前は何をどうして欲しいんだ？
いじらないのが一番だけど
5:デフォルトの名無しさん
12/06/21 16:26:44.44
ていうかお前はそんなとこにしか絡めないの？
字読める？
6:デフォルトの名無しさん
12/06/21 16:38:24.15
>>2
いいかげんスレタイ嫁
7:デフォルトの名無しさん
12/06/21 16:42:43.02
スレタイに「バカの隔離スレ」って書いてあるだろ、読めないのか？
8:デフォルトの名無しさん
12/06/21 16:47:14.30
バカって>>2のことか
ああ、確かに書いてあるね