トップページ
>
プログラム
>
2015年01月23日
>
22/uje4h
書き込み順位&時間帯一覧
4 位
/220 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
1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
2
0
0
2
1
7
使用した名前一覧
書き込んだスレッド一覧
片山博文MZ ◆T6xkBnTXz7B0
デフォルトの名無しさん
集合論に基づいた言語を作りたい
プログラミング雑談スレ ♯♯ [転載禁止]©2ch.net
スレ立てるまでもない質問はここで 140匹目 [転載禁止]©2ch.net
C言語なら俺に聞け(入門編)Part 127 [転載禁止]©2ch.net
プログラミングを全く知らない文系だけど習得したい [転載禁止]©2ch.net
人工知能を作ろうver0.0.7
書き込みレス一覧
集合論に基づいた言語を作りたい
843 :
片山博文MZ
◆T6xkBnTXz7B0
[sage]:2015/01/23(金) 02:17:55.54 ID:22/uje4h
布教のために数学板でも展開するぞ。
【Coq】コンピューターで証明しよう【コック】・2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1421944863/
プログラミング雑談スレ ♯♯ [転載禁止]©2ch.net
67 :
片山博文MZ
◆T6xkBnTXz7B0
[sage]:2015/01/23(金) 15:27:49.05 ID:22/uje4h
先方の予想通り、インシデントは起きた。まだISISとは何もない。
我々は9条改正のための環境作りを望む。ISISは日本におみやげを用意しろ。
スレ立てるまでもない質問はここで 140匹目 [転載禁止]©2ch.net
7 :
デフォルトの名無しさん
[sage]:2015/01/23(金) 19:36:07.22 ID:22/uje4h
>>6
地学
スレ立てるまでもない質問はここで 140匹目 [転載禁止]©2ch.net
8 :
デフォルトの名無しさん
[sage]:2015/01/23(金) 19:37:32.15 ID:22/uje4h
>>6
迷路生成、乱数
C言語なら俺に聞け(入門編)Part 127 [転載禁止]©2ch.net
696 :
デフォルトの名無しさん
[sage]:2015/01/23(金) 22:04:26.60 ID:22/uje4h
>>694
ミスリード招くこと書くなよ
CのNULLには存在意義あるぞ
プログラミングを全く知らない文系だけど習得したい [転載禁止]©2ch.net
13 :
デフォルトの名無しさん
[sage]:2015/01/23(金) 22:13:37.85 ID:22/uje4h
文系だの理系だの言うのは時代錯誤。
人工知能を作ろうver0.0.7
827 :
片山博文MZ
◆T6xkBnTXz7B0
[sage]:2015/01/23(金) 23:02:36.11 ID:22/uje4h
Coqと人工知能をつなげれば、数学ができる人工知能ができるはずなんだ。
※このページは、
『2ちゃんねる』
の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合は
メール
をしてください。対応します。