トップページ⇒math
6コメント3KB

東京巨大数探索スレッド11b山下由紀 [転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2015/11/17(火) 17:09:58.86ID:qU6y8Rhx
ヤリマン山下由紀
0002１３２人目の素数さん2015/11/17(火) 19:30:57.75ID:TuicQYh3
　　　　　　　/⌒ヽ⌒ヽ　 〈〈〈〈　ヽ
　　　　　　./　　　　　 ヽ　〈⊃　　}
　　　　　 ./ 　　　　　　 ヽ　|　　 |
　　　　　 （　　⌒　　⌒ , ）　
　　　　　　｜ｰ=･-､ｒ=･｜　|　　/　
　　　　　　｜　 ノ(､,)、 ｜／ ／　
　　　　　　｜　　-ｪｪ- ｜／　　
　　　　　 /.i　　　　　　　/
0003１３２人目の素数さん2015/11/19(木) 20:22:03.16ID:pn7KJTKZ
大きな実数を探索するスレッドです。

巨大数探索スレッド10
　http://wc2014.2ch.net/test/read.cgi/math/1384444271/
巨大数研究室
　http://www.geocities.co.jp/Technopolis/9946/
巨大数 (Wikipedia)
　http://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E6%95%B0
ふぃっしゅっしゅ氏の巨大数論PDF
　http://gyafun.jp/ln/
たろう氏のまとめ
　http://gyafun.jp/ln/archive/7-571.txt
Dmytro Taranovsky の順序数表記
　http://web.mit.edu/dmytro/www/other/OrdinalNotation.htm
mixi 巨大数コミュ (要 mixi アカウント)
　http://mixi.jp/view_community.pl?id=2771859
0004１３２人目の素数さん2015/11/21(土) 02:18:27.44ID:vu4zRZq8
(0,0)(1,1)=ε_0
(0,0)(1,1)(1,1)=ε_1
(0,0)(1,1)(2,0)=ε_ω
(0,0)(1,1)(1,1)(2,0)=ε_(ω+1)
(0,0)(1,1)(2,0)(1,1)(2,0)=ε_(ω2)
(0,0)(1,1)(2,0)(2,0)=ε_(ω^2)
(0,0)(1,1)(2,0)(3,0)=ε_(ω^ω)
(0,0)(1,1)(2,0)(3,1)=ε_(ε_0)
(0,0)(1,1)(2,1)=φ(2,0)
0005１３２人目の素数さん2015/11/21(土) 18:04:11.80ID:vu4zRZq8
(0,0)(1,1)(2,1)(1,0)=phi(2,0)*omega
(0,0)(1,1)(2,1)(1,0)(2,1)=phi(2,0)*epsilon_0
(0,0)(1,1)(2,1)(1,0)(2,1)(2,0)=phi(2,0)*epsilon_0^omega
(0,0)(1,1)(2,1)(1,0)(2,1)(2,0)(3,1)=phi(2,0)*epsilon_0^epsilon_0
(0,0)(1,1)(2,1)(1,0)(2,1)(2,1)=phi(2,0)*epsilon_0^^omega
0006１３２人目の素数さん2015/11/23(月) 22:45:21.23ID:rxj9SRoX
巨大数を返すプログラムが停止することを証明するには
例えばどのようなテクニックがあるでしょうか。
■ このスレッドは過去ログ倉庫に格納されています