11コメント1KB

コンピュータサイエンス

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

0001コッコ

2007/07/25(水) 16:02:13

ラムダ計算やアルゴリズムについて分からないことが多いので、教えてね！

0002１３２人目の素数さん

2007/07/25(水) 16:04:34

冠頭正規形って何ですか？
また、冠頭正規形であってβ正規形でないラムダ項を３つあげてください。

0003１３２人目の素数さん

2007/07/25(水) 17:45:33

全域関数 f:N→N　について、ｆが帰納的関数であることと、
{(x,y)∈N^2|f(x)=y} が帰納的集合であることが、同値であること
を示すにはどうすればいいのですか？

0004１３２人目の素数さん

2007/07/25(水) 17:51:02

ペニスは上向き収納と下向き収納のどちらが良いんですか？

0005１３２人目の素数さん

2007/07/25(水) 17:53:35

>>1-3
どうでもいい
>>4
下向き

0006１３２人目の素数さん

2007/07/25(水) 17:54:27

下向はチンコ曲がるぞ。

0007１３２人目の素数さん

2007/07/25(水) 17:57:32

情報学
http://science6.2ch.net/informatics/

～　終了　～

0008１３２人目の素数さん

2007/08/20(月) 09:56:00

～NOT　終了～

0009１３２人目の素数さん

2007/08/20(月) 20:35:03

全部えいごでいってｋれ

0010１３２人目の素数さん

2007/08/28(火) 14:20:21

＞＞９　おｋ

0011１３２人目の素数さん

2007/09/05(水) 14:17:05

・・・

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