トップページ
>
プログラム
>
2015年01月03日
>
y8FDuePZ
書き込み順位＆時間帯一覧
39 位
/202 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
1
0
1
0
0
0
2
使用した名前一覧
書き込んだスレッド一覧
1
集合論に基づいた言語を作りたい
書き込みレス一覧
集合論に基づいた言語を作りたい
777 ：
1
[sage]：2015/01/03(土) 18:31:19.39 ID:y8FDuePZ
とりあえず片山さんがCoqで一番成功してると思った例題を教えて
それで判断するわ。
集合論に基づいた言語を作りたい
779 ：
1
[sage]：2015/01/03(土) 20:02:04.73 ID:y8FDuePZ
手続き型言語とかに比べて完結に実装できるってこと？面白そうではある
※このページは、
『２ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。