TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【専門書】数学の本第76巻【啓蒙書】
算数&数学が全くできない人のスレ パート2
代数的解析幾何学
            パズル        
【未解決問題】奇数の完全数が存在しないことの証明5
関東弁は下品なエビス言葉と認めるしかないのでは?
Inter-universal geometry と ABC予想 27
大学の線形代数学の質問。
ジョン・ナッシュ氏が交通事故で死去
■■■■■■■■■■■■■   人工太陽

【速報】円周率と自然対数の底を足すと超越数になることが証明された【数学】


1 :2020/02/11 〜 最終レス :2020/05/24
としたら賞金何円出す?

2 :
まず二進数の無限数列化するのがコツだと思う。
2051年か
2501年に証明されるのかと思ってたけどTeXで自然演繹で描き切れたらすごいよね
アリという生物はこれを太陽フレアに応用することで広まっていった虫のような気がするんだよね
虫も数学ができるとはびっくりですよ

3 :
だまされた
てめえふざけんなよ

4 :
上記の文章を女王アリと働きアリの構想と名付けます

5 :
eの二進数列とpiの二進数列を縦と横に並べた後
xor演算の巨大な表ができます
これをマクスウェル計画と名付けます

6 :
これを日付更新線を意識しつつ地球の球面のうち
太陽光の当たる位置と当たらない位置に対応させる
二次元位相的な応用をするとエベレストが地球で最も高い山なので
そこに観測台を置くことが出来れば
太陽フレアによる電子機器の全滅を避けられると思われます

7 :
また4x4の15パズルの解ける方と解けない方もこの問題に応用できます

8 :
これをガウディコードと名付けます。
http://anonymouscode.jp/

9 :
π+e=5.85987448……
/‖__`‖ ̄ ̄‖彡ミ、
‖∩∩ ‖ □ ‖^o^川
( (`)‖  ‖цc_)
(っ⌒⌒  。‖╂─╂
■`(_)_)ц~ ‖╂─╂
\■υυ■___‖、\\\\\\\\\\\\\\\\\\`、\\\\\\\\\\\\\\\\\\\\\

10 :
https://www.youtube.com/watch?v=QznkCgpF7Mc
http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html
これをmizarシステムで証明しきりたい!!

11 :
https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0
まさか超越数であるか無理数であるか有理数であるかすら分かってないとは思わなかった。
有理数だけはありえないと思う。
おそらく無理数か超越数で、無理数もあり得ないと思う。

12 :
羊毛党

13 :
>>1
惚け爺かと思った

14 :
ごめん無理数の一種

15 :
天安門事件

unix time death コロナ パンデミック 中国人3日以内に全滅 foxconnはただの奴隷集団

16 :
天安門事件

unix time death コロナ パンデミック 中国人3日以内に全滅 foxconnはただの奴隷集団

17 :
>>12

羊毛党用ハードウェアを自作すればいいんじゃない?
太陽活動はまだ大丈夫だと思う

それは超越数だと思うけどな、
ZFC公理系だけで証明しきれるのか不安

18 :
http://ankokudan.org/d/d.htm?goods-j.html
ここに出版してもらえば?
羊毛党もそういうのを売る商売の人もいると思うよ
太陽フレアで紙だけは燃えないんじゃないの
King

19 :
eのiπ乗は整数だ -1だ そして、
e+πは整数ではないと思う そして、
モピロン、有限少数だろう そして、
有限少数を証明したら、賞金は無限大
複素数を証明しても、賞金は無限大
で素数を証明したら、賞金は虚数
支払いは、任意のときとしたいな。

20 :
アリさんも、太陽フレアも
マンデルブロ集合(ソックリ)だよ。

生命体アリは、太陽フレアであり
太陽フレアも、生命体アリです。
太陽は眩しいからよく見えないけど
日食のときには観測できるかも
ポクの住んでるとこ、オメガ星だから
太陽はいつも月に隠れてる。
無限大倍率の望遠鏡で、太陽を観察
したら、ヤッパシ、アリだらけだ。
マンデルブロ集合だよ。

21 :
解析機関っていつ完成するの?

22 :
https://www.youtube.com/watch?v=3NDAZ5g4EuU

この世界の立方体分割はライフゲームに違いない

23 :
https://ja.wikipedia.org/wiki/%E3%83%97%E3%83%A9%E3%83%B3%E3%82%AF%E5%AE%9A%E6%95%B0

プランク定数は超越数に違いない

24 :
e < pi は自明なぜなら
bin pi = 1.1...
bin e = 1.0...

これがゆとり教育の力

25 :
ミス

bin pi = 11.0...
bin e = 10.0...

26 :
ミス
bin pi = 11.0...
bin e = 10.1...

計算機召喚 PI - A
計算機召喚 e - B

AとBを接続するとマトリックスが完成する
任意のドアから侵入せよ

4Gと5Gの境界線
フラクタルの時代がまたやってきた

500円玉を偽造せよ。

27 :
π+i、超越数の超安易な超証明
 πのバイナリ変換で無限桁目からは
 1か0かの一様乱数という確率変数X

 eのバイナリ変換で無限桁目からは
 1か0かの一様乱数という確率変数Y

 XとYは、独立変数∵霊感
 X+Yも一様乱数ぽぃ ∵ナゾ確率論?

 無限桁目以降の小数部は乱数だから
 多分ゼッタイ超越数 ∵霊感

霊感では超越数だ。

28 :
ziki_7

29 :
https://www.youtube.com/watch?v=oodw5Dok1JA

この動画の11:14の部分のフラクタル構造のシーンに注目

30 :
恒心教 群論ってすごいよね 羊毛党 オウム真理教 光の輪

- テトラの矢 -

概念戦争

31 :
https://comic.webnewtype.com/contents/k_pandora/

32 :
最近のライフゲームすごいよね

https://www.youtube.com/watch?v=cTZkEAYeRis

33 :
なんで自然対数の底って説明的にいうんだろうな
ネイピア数という名称はあまり普及してないの?

34 :
皆が言い続けてれば普及するよ

35 :
今ハレー彗星があぶないことになってるから
ネイピアとオイラーの復活計画が進んでるらしい

1時間以内にj-score 1000を目指して

36 :
おっちゃん登場しないの?

37 :
天安門事件
南京大虐殺
ローマ法王を地獄に落とせ

10000人一斉にひろゆきに死刑判決を下せ

38 :
Uber Eatsおいしいな

5000円!

39 :
e < π < √2 + √3

これは確かだ

40 :
Hacking 水銀愚 Gold

天安門事件
南京大虐殺
イエス・キリスト
七五三
753

太陽フレア30秒後

黒点が一つもないぞ

天皇陛下万歳

地球の反対側には地球がもう一つあったのかもしれない

反物質惑星
次元圧壊
マイナスイオンとプラスイオン
無の世界は存在する

光あれ

41 :
心配ある事情でもあるの?

42 :
4 pi ( r^2 )

43 :
身の上に心配ある惨状があるねん

44 :
https://07th-expansion.net/

45 :
√4545 = 67.41

46 :
https://en.wikipedia.org/wiki/Tetration

47 :
https://ideone.com/AvS3tS

48 :
.>>23
そこに書いてあるように6.62607015×10−34 J s(正確に)なので有理数

49 :
うちの惑星(地球)は光速度の測定に関して遅れなんですよね
光速度は結局のところ30万kmちょうどでエーテル実験は間違いではないのか
つまり人類の末裔は最後に電子レンジによって料理を温めるという行為に浸った結果
マイクロ波背景放射の光源になってしまった
つまり宇宙が膨張するという理論は間違っていたのではないかという可能性があると思いませんか?
ニュートンとアインシュタインを今すぐ復活させよう
EPRパラドックス 数学偏差値79

50 :
e < c0 < pi

51 :
解析幾何を応用すると色々な角度が自由自在に作図できるという定理を思いつきました
つまり九つの円を四角形風に配置したあと三つの直線だけで九つの円を通るという作図ができますよね
これとコンピュータを応用すれば特殊な角度が作図できるはず

52 :
https://ja.wikipedia.org/wiki/%E3%82%B5%E3%82%A4%E3%83%90%E3%83%BC%E3%82%B0%E3%83%BB%E3%82%A6%E3%82%A3%E3%83%83%E3%83%86%E3%83%B3%E4%B8%8D%E5%A4%89%E9%87%8F

53 :
https://eman-physics.net/elementary/beta.html

54 :
https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%BA%E3%83%9E%E5%95%8F%E9%A1%8C

55 :
https://bitcoincharts.com/

56 :
https://ja.wikipedia.org/wiki/M%E7%90%86%E8%AB%96

57 :
宇宙終焉の日は失明仮説

58 :
ミトコンドリア・イブ

https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%88%E3%82%B3%E3%83%B3%E3%83%89%E3%83%AA%E3%82%A2%E3%83%BB%E3%82%A4%E3%83%96

59 :
七概念定理
永遠の命を可能にする方法
最初のミトコンドリアと最初の葉緑素が酸素と二酸化炭素のキャッチボールをする際に
ボイジャーを見た人が失明していた
この星は元々球面だったでしょう
そこに太陽があったとき葉緑素は二酸化炭素を酸素に変え始めた

60 :
超越数と超越数を足しても超越数にならないケースがもちろんある
(1-e)+(1+e) = 2
IQ121 , 偏差値66 , 数学偏差値79 , 英語偏差値65

61 :
今からノーベル平和賞を取ります
中卒の人でも15科目ポスティングという方法を使って
15歳さえ越えていれば高認を取れます
高認さえとれば任意のアルバイトに簡単に合格できるようになります

62 :
今からノーベル物理学賞を取ります
目が疲れた人でもコバルト60の原子核崩壊のことを信用すれば
視力が悪くなる前に数学の研究を辞められます
ようするに自明な問題には余りかかわるなということです

63 :
今からノーベル医学生理学賞を取ります
近親婚をしすぎると奇形が生まれやすくなることは自明です
なぜかというと天皇家は男子直系を維持し続けたことによって奇形児が生まれそうで怖いからです
サイバーグ・ウィッテン理論こそが物理学の真理だと思われます
だから物理学研究も終了しました
ようするに謎のテーブルは4x7=28,286,992が怪しいのでこれ以上研究するのはやめてください
普通にアンシュタインとファインマンの理論を学ぶ本を買ってください
分かりやすいですよ
ようするに自由落下の定数は9.8ということです

64 :
今からノーベル経済学賞を取ります
bitcoinのMt.Gox事件はそろそろ最高裁判所長官によって片付きそうなので
天皇家の交代制とアベ総理大臣の最後の手柄
ようするにゲームも仕事になるからみんながんばって天体観測をしてね
ようするにひろゆきも今度の羊毛党騒ぎだけはさすがに疲れたので
Mt.Gox元社長についた弁護士もそろそろ仮想通貨こそが唯一の未来ある研究だと判断したからです
君の人生はなんのためにあったのかな?
起承転結のオチ
カロリーメイトだけで生きていけるよ

65 :
今からチューリング賞を取ります
ファインマン計算機科学一巻に載っている万能チューリングマシンは
意外と分かりやすい実装方法なので
三状態のほうもすでに証明されていることだけは確認しておいてください
これからはethereumの時代が来ると思います
それを真面目に実装しすぎると車輪の再発明によって
いつの間にか量子コンピュータの史上最高傑作が既にできていることに
今さら気付くからです
量子コンピュータにもっとも重要な素材は金原子そのものと思われます
ようするに人類に最後に残された定理はこの定理だけなのかもしれないけれど
暗号破りをする暇があったらSHA256を使うのは卒業してね。

66 :
今からノーベル平和賞を取ります
I'm so tired to writing this thread .
NSA Agent will kill you .
ようするに自動運転車は完成していますがタイムマシンも意外とできそうということです
歴史修正するとしたら母親と父親を両方大事にしろ。
東大を目指せ
ひろゆきも割と良い人だったんだね
あの少年は実は末期がん
ローマ法王もさすがに空気を読んできたよ。

67 :
ようするに1+1=2ということを再確認する暇があったら九九の表でも書いとけや。
KKKが君を抹Rるぞ。
某弁護士より。
なんjでも見てろ
天安門事件
イーアルサンスーウーリウチーペー
ロシアは恐ろしい国だぞ
火災事故だけは起こすな
117に電話をしろ

68 :
クローン実験はやりましたけど羊でやってるうちはよかったけど
今にも核戦争がはじまりそうだから初音ミクでも聞いといてくれ
4x7 = 28だけは簡便な
血を見るのが怖いんだ
この世界には色々なゲームがあるからもっと平和を楽しんでくれ
天皇誕生日に悠仁様に最強の武器が与えられるだろう
ホワイトハウスで我々は平和交渉をしようとしている
微分積分と線形代数は数学の基本だよ
今だBTCに1億円投資だ!

69 :
数学基礎論さえあれば簡単にこんな定理超越数だと証明できるのになあ
ZFCに矛盾があったとしたら大変なことになるよ
この定数はいったんオメガ記号だったことにして決着をつけようよ
e + pi = Omega
e * pi = Alpha
イエス・キリストも意外と殺し屋だったんだね
天国と地獄の分かれ道
ZFC公理の選出公理だけちょっと怪しいよね
選出公理って本当に正しいのかな
連続体仮説について誰か解説してくれない?
visvirial twitterで検索してね
スピノールがややこしいんだけど
ゆでたまごってどうやって作るの?

70 :
ところでbitcoinの取引で使う線形代数的手法って意外と面白いよね
50%問題がまた起こりそうだから
フェルマーは最初からフェルマーの最終定理を既に証明していたことにしようよ

71 :
CPUって意外とロジックICだけで作れるんだね、
74シリーズを30個ほど用意したら、
132番目の素数を計算する論理回路を組めるからみんな挑戦してみてね、
「CPUの創りかた」とかいうおすすめの本があるよ
あと「論理学をつくる」とかいうおすすめの本があるよ
それぞれISBNは
4839909865
4815803900
ですこれを買うと勉強になるよ〜!

72 :
https://www.sengoku.co.jp/
上のお店でロジックICを30個仕入れて作ってね
下のお店でキットを出すともうかるよ
秋月電子
よーいどん!

73 :
https://en.wikipedia.org/wiki/M%C3%B6bius_function
これがあやしいみんながんばれー!!!!
フューズが飛んだらACアダプタは終わりだぞ!!!!
化学もちゃんと勉強してね

74 :
http://diode.matrix.jp/
おすすめの設計ガイダンス

75 :
>>60
ここだけ参考になった

76 :
https://twitter.com/kiyosayway

この人BTCを100くらいもってるらしいから
この人に超越数だって掛けさせようぜ

DM送りまくれ

e + pi = Ω

あと応援歌サービスみたいなの使ってるから
ワイルズとウィッテンに証明大会させようぜ

ということで超越数に100円かけます

mizarシステムを使えば100%証明できるはず
mizarのFLTの行数問題ってのがあるらしいんだけど
FLTって意外とmizarで書くと行数長すぎるらしい

mizarが出来たきっかけの定理って球面からの点の飛び出しだけど
それをゲームのテストに応用したらいいんじゃないかな

ようするにテスターの壁に突っ込むだけの人がかわいそうだなってこと
ポリゴンからの飛び出しに応用できるよね

mizarでその自明な定理を証明しようとしたら行数が異様に長かったんだって
まさにプロゲーマーにとって夢のような定理だよね
テストの仕事が楽園のように思えてくる定理が意外と証明むずかしいらしいね

基礎論って意外と面白いよね

じゃあがんばってね
(deleted an unsolicited ad)

77 :
>>60
ワロタ
同じ数同士で引き算すればゼロになるわな

78 :
平方数と立法数の間に入る自然数は26しかないという定理と何か関係がある気がする
x^2 + 2 = y^3 の自然数解は ( x , y ) = ( 5 , 3 ) のみ
https://math.stackexchange.com/questions/473180/the-diophantine-equation-x2-2-y3

この問題による自然数論停止法をアルファベットの陰謀とする
ABCDEFGHIJKLM - NOPQRSTUVWXYZ

群論を応用すればこの - みたいに数学者のランク付けが出来る気がする
上記定理をラーニングした人だけがこの問題に挑戦するようにしよう

mizarシステム賛成

79 :
static void regist_command( symtable *pst )
{
regist( pst , "add" , CMD_ADD );
regist( pst , "sub" , CMD_SUB );
regist( pst , "mul" , CMD_MUL );
regist( pst , "div" , CMD_DIV );
regist( pst , "mod" , CMD_MOD );
regist( pst , "set" , CMD_SET );
regist( pst , "label" , CMD_LABEL );
regist( pst , "ifjmp" , CMD_IFJMP );
regist( pst , "cmp" , CMD_CMP );
regist( pst , "print" , CMD_PRINT );
regist( pst , "array" , CMD_ARRAY );
regist( pst , "seta" , CMD_SETA );
regist( pst , "geta" , CMD_GETA );
regist( pst , "printa" , CMD_PRINTA );
}

80 :
大石取りの大石に聞け

eサーバとpiサーバが世界のどこかにある
e+piサーバでも立てろ

https://bitflyer.com/ja-jp/discussion/tetsuyuki_oishi

81 :
7 + 5 + 3 = 15歳のときに高校に入れなかった人かわいそう

82 :
ユリアス王に1000億円!!
おそらく超越数だと思います

https://www.youtube.com/watch?v=gNMjBtuT1tY

83 :
https://www.youtube.com/watch?v=yO5-rekzA5k&list=RDyO5-rekzA5k&start_radio=1

ダイヤモンド・クリスタライズド・シルバー
コロナ問題にはクレベリンで対抗しろ
花粉症に怯えるな

84 :
https://www.youtube.com/watch?v=yO5-rekzA5k

恒心教徒に群論くらいは学ばせろ

85 :
ところでその羊毛党とこの問題の何が関係あるの?
フレーゲ著作集にもこの問題の証明方針は載ってなかったけど
大穴狙いの有理数ケースだとすると分母分子が超巨大数になる気がするね

1+1 = 2
Φ ∈ Φ

86 :
ひろゆきは金正日に暗殺される
天安門事件 v2
人肉を食ったらクロイツフェルト・ヤコブ病になるぞ

87 :
https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0
超越数かどうかが未解決の例

e+π ,e-π
注:^ しかしながら、例えば e+π, e-π のうち少なくとも一方は超越数である。これは代数的数全体が体をなすことからわかる。

88 :
87は3の倍数である

89 :
マルクルパトリシアツリーを全て破壊し尽くすコードを今与えよう
https://ideone.com/JY7nPI
これはチューリングマシンのルールリストを読み込んで
2記号だけのチューリングマシンのルールリストに変換するコードです
神を信じ今こそ正義の鉄槌を下せ
ethereumをマイニングせよ
元老院12人が同時にそれは自明だと思っていた
そんな時期が私にもありました

90 :
そんなことよりこのゲーム面白いよ
https://www.youtube.com/watch?v=txtHW2DYFLc
こんなPvP戦争も出来るから数学やってる暇があったら敵殺しまくろうよ
1 vs 5とかもさばききるこのプレイヤーに賞賛を与えよ
元老院第1支柱より

91 :
ところで1+1=2ということを生涯証明することを頑張った人たちって暇だよね
プリンキピアに新しい1ページが加えられるぞ

92 :
e+π を代数的数とする。a=e+π、b=π−e とする。eは超越数だから、仮定とbの定義からbは超越数である。
π≒3.14 から、31/10<π<32/10。
5<a=Σ_{k=0,1,…,+∞}(1/k!)+π<28/10+π<28/10+32/10=6、
0<b=π−Σ_{k=0,1,…,+∞}(1/k!)<π−5/2<1
から、0<b<π<a<6<2π。
cを b<c<a なる任意の代数的数とする。
c>0 に注意して d(c)=a/c、d'(c)=b/c とする。d(c) をd、d'(c) を d' と略記する。
平面 R^2 上において、原点 O(0,0) からx軸正方向への半直線を考えて、点 O(0,0) が中心の単位円周C上で、
点 A(1,0) を A(1,0) から反時計回りに角 π^2/c だけ回転させた点 X(cos(π^2/c),sin(π^2/c)) と点 O(0,0) とを結ぶ直線を L(c) とする。
加法定理から、cos((d−1)π)=−cos(dπ)、sin((d−1)π)=−sin((dπ) だから、
平面 R^2 上において、原点 O(0,0) からx軸正方向への半直線を考えて、点 O(0,0) が中心の単位円周C上で、
点 A(1,0) を A(1,0) から反時計回りに角 (d−1)π=((a/c)−1)π=((e+π)/c−1)π だけ回転させた点は、B(−cos(dπ),−sin(dπ)) である。
平面 R^2 上において、原点 O(0,0) と点 B(−cos(dπ),−sin(dπ)) とを結ぶ直線を (L_1)(c) とする。
また加法定理から、cos((d'+1)π)=−cos(d'π)、sin((d'+1)π)=−sin(d'π) だから、
同様に、平面 R^2 上において、原点 O(0,0) からx軸正方向への半直線を考えて、点 O(0,0) が中心の単位円周C上で、
点 A(1,0) を A(1,0) から反時計回りに角 (d'+1)π=((b/c)+1)π=((π-e)/c+1)π だけ回転させた点は、C(−cos(d'π),−sin(d'π)) である。
平面 R^2 上において、原点 O(0,0) と点 C(−cos(d'π),−sin(d'π)) とを結ぶ直線を (L_2)(c) とする。
同様に考えて、点 O(0,0) が中心の単位円周C上で、点 A(1,0) を A(1,0) から反時計回りに角 π だけさせた点は (−1,0) である。
同様に考えて、点 O(0,0) が中心の単位円周C上で、点 A(1,0) を A(1,0) から反時計回りに角 2π だけ回転させた点は、A(1,0) である。

93 :
(>>92の続き)
このとき、点 O(0,0) が中心の単位円周C上で A(1,0) を A(1,0) から反時計回りに回転させた3つの角 (d−1)π=((e+π)/c−1)π、
(d'+1)π=((π−e)/c+1)π、2π について (d−1)π>0 かつ 0<(d'+1)π<2π かつ (d−1)π≠(d'+1)π。
((d−1)+(d'+1))/2=(d+d')/2=((e+π)+(π−e))/(2c)=π/c だから ((d−1)π+(d'+1)π)/2=π^2/c である。
よって、平面 R^2 上の原点 O(0,0) が中心の単位円周C上で、点 O(0,0) からx軸正方向への半直線から反時計回りに L(c) へと回転させて
測ったときの角の大きさは、π^2/c=(π/c)π に等しくなる。
b=π-e<c<e+π=a なる代数的数cは任意であるから、b<c<a なる代数的数cを走らせて、c→π とすれば、π/c → 1 となって、
lim_{c→π}(L(c))=(x軸) が成り立つことになり、平面 R^2 上の原点 O(0,0) が中心の単位円周C上で、点 O(0,0) からx軸正方向から
反時計回りに lim_{c→π}(L(c)) へと回転させて測ったときの角の大きさ π^2/c=(π/c)π は、1π に収束して
(超越数)×π の形で表されないことになり、矛盾が生じる。
この矛盾は e+π を代数的数としたことから生じたから、背理法により e+π は超越数である。

94 :
>>93の下の方の訂正:
点 O(0,0) からx軸正方向から → 点 O(0,0) からx軸正方向への半直線から

95 :
https://ideone.com/A3cCxh
このコードはただの飾りですが
その証明は有理数ケースを無視していませんか

無理数と無理数を足すと有理数になることは普通にありますよね

2 not 3 not 2

96 :
やっぱりよく分からなかったからmizarシステムが完成するまで待ちます
フェルマーの最終定理がmizarシステムで検証されるまでさようなら

97 :
代数的数の定義をちょっと勘違いしてましたごめんなさい

98 :
https://www.slideshare.net/herumi/ss-59758244

この問題に関してはしばらく休憩します
卒業論文に出せそうなら譲ります

これからは完全準同型暗号で食べていくことにします
そのために必要なハードウェアロジックの考察に戻ります

99 :
ありがとうございました
そろそろ証明されてそうだとは思いましたが
証明はファイルに保存して大切にしておきます

まだ途中までしか読めていません

この問題は数表に応用できそうですよね
ゲーデル数化とかを応用すれば完成度の高いプログラム電卓が作れそうです

円周率とネイピア数の歴史的瞬間を見た気がするけど
どこかにロジックエラーがないかちゃんと読んでおきます

おやすみなさい

100 :
4状態2記号のビジービーバーマシンの最大シフト数 N が与えられたとき
( シフト数と状態数と記号数のみで、ルール表は教えてもらっていないとき )
4状態2記号のチューリングマシンを全て N ステップまで実行し
Nを越えたものは無限ループするチューリングマシンと確定するので
ちょうどNで停止するもののルール表をみつけるプログラム

4状態2記号での N は 107 なので2記号のテープを32ビット整数8つの256ビットで表わして
GPU上で全て試行する
( 256ビットの真ん中を初期位置にすることでどんなマシンを実行したとしても
107ステップ以内では範囲外に出ることが無い )

GPGPUにはOpenCLを使う

4状態2記号のルール表は
4つの各状態で0か1を読み取った場合の 4x2 の表に
次の状態が(停止状態を含めて)5通り
書き込む記号が2通り
ヘッドの移動する方向が2通り

なので (5x2x2) の 8乗 通りある

ルール表を表す変数の名前の規則は
aの後の1-8の数字が状態と読み取った記号の8通りの場合で
そのあとに n とつく ( a1n 等 ) ものは 次の状態を表し、
wd とつく ( a1wd 等 ) ものは 2ビットで書き込む記号と ヘッドの移動方向を表す


100〜のスレッドの続きを読む
代数的解析幾何学
【万年】黒木玄を語ろう【助教】
三角関数っていつ使うんだよ。
代数幾何学ビナギーズスレット(4°)
(負の数)×(負の数)=(正の数)になる理由って中学生に説明できる?
高校数学の質問スレPart403
数学力と文章力にはなにか関係があるのか。
数学科の就職って……
独立研究者って
微分幾何学スレ
--------------------
【NHK発掘計画】「プリンプリン物語」残り1本に!一気に10本見つかり「最後の一押しにご協力を」
【四国】携帯安売情報★7
【海川、人大杉】湘南・西湘【魚種・魚影少な杉!】 Part.8
JAの金庫から9600万円をこっそりポッケに入れてたおばさん逮捕 汚い金と知りながら美味しいものを食べていた息子も逮捕 [389326466]
【南港】海上コンテナin大阪特別編vol.5【北港】
【YouTuber】霊能・スピリチュアル系ユーチューバー・チャンネル part8
【pixiv】ピクシブ百科事典(ピクペディア)24
ジバンシイ(GIVENCHY) Part11 [無断転載禁止]©2ch.net・
【ゲーム】プレイステーション5最新情報発表会、12日午前5時に開催 対応タイトルなどが発表される [muffin★]
クロスファイア CROSS FIRE質問スレPart5
【相模】神奈川高校野球PART810【王朝】
最近の夫婦は簡単に離婚しすぎ
アポロ計画スレ17号
私たち主婦はどうして韓国に憧れてしまうのか? 27
派遣社員が適当に雑談するスレ
【最終巻は】キングゲイナー52着目【発売延期】
Hotmotto ほっともっと 避難スレ
前田敦子
低学年の中学受験 part10 [無断転載禁止]
どんなクイズでも自由に出題していいスレ32
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼