[過去ﾛｸﾞ]
巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
415
: 2017/06/12(月)22:23
ID:NgJnyNz4(3/3)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
415: [sage] 2017/06/12(月) 22:23:54.70 ID:NgJnyNz4 このレベルになると計算可能レベルも計算不可能レベルと同じように言語を開発して殴り合う戦いに なりそうだ。 出来上がったら証明支援ツールにそのまま応用が利くし、プログラミング業界にも何か恩恵があるかもしれない、 とか適当なことを言ってみる http://rio2016.5ch.net/test/read.cgi/math/1484923121/415
このレベルになると計算可能レベルも計算不可能レベルと同じように言語を開発して殴り合う戦いに なりそうだ 出来上がったら証明支援ツールにそのまま応用が利くしプログラミング業界にも何か恩恵があるかもしれない とか適当なことを言ってみる
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 587 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.015s