トップページ
>
プログラム
>
2014年10月13日
>
6ak88RQb
書き込み順位＆時間帯一覧
52 位
/249 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
1
0
0
0
0
1
0
2
使用した名前一覧
書き込んだスレッド一覧
デフォルトの名無しさん
集合論に基づいた言語を作りたい
書き込みレス一覧
集合論に基づいた言語を作りたい
500 ：
デフォルトの名無しさん
[sage]：2014/10/13(月) 17:01:25.51 ID:6ak88RQb
1.動機
2.仕様
3.実装
と進む。前段階へのフィードバックもある。
まだ1.の整理がつけられてない状況。
集合論に基づいた言語を作りたい
505 ：
デフォルトの名無しさん
[sage]：2014/10/13(月) 22:25:59.32 ID:6ak88RQb
>>503
ノイマンの自然数の構成も必要だぞ。
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。