トップページ
>
プログラム
>
2014年04月24日
>
4Y8KSBKa
書き込み順位＆時間帯一覧
62 位
/191 ID中
時間
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Total
書き込み数
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
使用した名前一覧
書き込んだスレッド一覧
835
関数型言語ML (SML, OCaml, etc.), Part 6
書き込みレス一覧
関数型言語ML (SML, OCaml, etc.), Part 6
843 ：
835
[sage]：2014/04/24(木) 21:17:13.51 ID:4Y8KSBKa
回答ありがとうございます。与えられたチャーチ数の定義がこれだったのですが、周りに聞いてもあまり良い回答を得られなかったので、とても助かりました。
確かにチャーチ数であれば、多相性が維持されなければ駄目ですね。
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。