名もなき巨大数研究掲示板 644495

・こちらは、巨大数に関する情報を書き込んだり、自作巨大数を投稿したりできる掲示板です。
・sage機能は実装されてません。
・主なスレッドの一覧はこちら
・意見要望はこちらへ

abata数列数の解析スレッド

1：abata :
2021/09/21 (Tue) 00:18:22: abataがツイッターから名もなき巨大数コンテストの計算可能ハード部門に投稿したabata数列数

の解析用スレッドです。

↓エントリーツイート
https://twitter.com/AroW4on3KnUExhG/status/1439971478657650689
↓定義
https://docs.google.com/document/d/1UO8v22H82nL5CZCYRiJ5VThR8PrETHXtHUBjxpNfEpc

名もなき巨大数コンテスト総合スレッド
https://googology.bbs.fc2.com/?act=reply&tid=11639234
2：abata :
2021/09/21 (Tue) 10:13:52: 以下の修正を行いました！

・（３－１）の『m=0の時、C(S)[n,m]はvの集合とする。』を『C(S)[n,m]はn以下の非負整数の集合とする。』に変更しました。
・（３－２）の『C＝A(W)[y]』を『C＝Asc(W)[y]』に変更しました。
・（３）の『0<t≦nとなる整数tにおいてVt+1=Vt ,Uとし』を『0≦t≦nとなる整数tにおいてVt+1=Vt ,Uとし』に変更しました。
・（２）の『bがa<bと非負整数、』を『bがa<bを満たす非負整数、』に変更しました。
・『に含まれる』という表現を『に属す』という表現に修正しました。
3：abata :
2021/09/21 (Tue) 23:51:16: 全体的な表記の不備の指摘があったので、全体的に別紙に書き直し中です・・！
4：abata :
2021/09/23 (Thu) 05:36:52: 定義を大幅に修正しました！
https://docs.google.com/document/d/1UO8v22H82nL5CZCYRiJ5VThR8PrETHXtHUBjxpNfEpc/edit?usp=drivesdk
5：abata :
2021/09/23 (Thu) 08:56:12: 任意の～の使い方と、順序の定義に不備が指摘されましたので修正中です…！
6：abata :
2021/09/23 (Thu) 14:11:32: 再度修正しました！
https://docs.google.com/document/d/1UO8v22H82nL5CZCYRiJ5VThR8PrETHXtHUBjxpNfEpc/edit?usp=drivesdk
7：abata :
2021/09/25 (Sat) 05:28:14: またまた不備を指摘いただいたので再度修正に入りました…
8：abata :
2021/09/25 (Sat) 05:56:41: 指摘いただいた箇所の修正完了しました！
https://docs.google.com/document/d/1UO8v22H82nL5CZCYRiJ5VThR8PrETHXtHUBjxpNfEpc/
9：abata :
2021/09/25 (Sat) 09:13:07: 再度量化まわりの文言を修正しました…！
小学生レベルの算数が理解出来てないのがバレバレですね…。

https://docs.google.com/document/d/1UO8v22H82nL5CZCYRiJ5VThR8PrETHXtHUBjxpNfEpc/edit?usp=drivesdk
10：p進大好きbot :
2021/09/25 (Sat) 10:18:06: マジレスすると量化をきちんと演習するのは算数ではなく大学数学ですね
11：abata :
2021/09/25 (Sat) 10:22:47: ＞10
なるほど…！
12：abata :
2021/09/25 (Sat) 12:27:46: 数列の順序と定義を修正しました…！

https://docs.google.com/document/d/1UO8v22H82nL5CZCYRiJ5VThR8PrETHXtHUBjxpNfEpc/
13：abata :
2021/09/25 (Sat) 12:29:59: 解析結果次第でノーマルに移行するかもしれません…(^-^;
14：abata :
2021/09/26 (Sun) 13:07:56: 以下の修正を行いました！

・（1-0-1）の『あるk∈Sn,mを満たすkを用いて、以下の事を定める』を『任意のk∈Sn,mを満たすkに対して、以下の事を定める』に変更しました。

・（1-1-2）の『ある「k∈Sn,mかつ、ある【t∈Sa,m、b∈S0,m】を満たすtとbが存在して、k=t,b」を満たすkを用いて、以下の事を定める』を『任意の「k∈Sn,mかつ、ある【t∈Sa,m、b∈S0,m】を満たすtとbが存在して、k=t,b」を満たすkに対して、以下の事を定める』に変更しました。

・（2-1-1）に『数列aとbのk+1番目の要素が異なり』を追記しました。

・（1-1-2-2）の「『数列kのn+1番目の要素』をbである」を「『数列kのn+1番目の要素』はbである」に変更しました。

・（2-1）の『Sは、ある非負整数aとbが存在して、k∈Sa,bを満たすようなk全体の集合であると定め、』を『Sを、ある非負整数aとbが存在して、k∈Sa,bを満たすようなk全体の集合であると定め、』に変更しました。
15：abata :
2021/09/27 (Mon) 18:00:35: 以下の項目を変更しました！

・（3-1-0）の『ある【「U∈Asc(T)[x,n]かつTが数列なら『U＜TまたはU=T』、v∈Asc(T)[x,n]かつv≦n】を満たすUとvを用いて、』を、

『ある【U∈Asc(T)[x,n]かつ（Tが数列なら『U＜TまたはU=T』）かつv∈Asc(T)[x,n]かつv≦n】を満たすUとvを用いて、』に変更しました

・（3-1-1）の『ある【y∈Asc(T)[x,n]、z∈Asc(T)[x,n]】を満たす非負整数yとzを用いて、』を、

『ある【y∈Asc(T)[x,n]かつz∈Asc(T)[x,n]】を満たす非負整数yとzを用いて、』に変更しました

・（2-1-1-1）の『数列Uの長さがkとなる数列U』を『長さがkとなる数列U』に変更しました

・（3-1）の『ある非負整数xを用いて、a=x+1の時』を『ある非負整数xを用いて、a=x+1と表せる時』に変更しました。
16：abata :
2021/09/28 (Tue) 02:33:32: ・（3）『非負整数nとn未満の非負整数a』を『非負整数nとa』に変更しました
17：ブルームーン :
2021/10/22 (Fri) 22:43:09: 少し定義を読んでみました。多分定義に下のような不備があります。

(1)数列の定義　のところでＳ_mを定義するといっているのにその定義がありません。

(3)のところでＡｃｓ(Ｔ)[n]は関数であるといってますがその後(3-2)で非負整数になってませんか？

Ｔが∀のときのＡｃｓ(Ｔ)[a,n]とＡｃｓ(Ｔ)[n]の定義がありません。

(3-1-0)のところの文章の括弧の数がおかしい気がします。
18：abata :
2021/10/23 (Sat) 23:15:26: ＞17 ご指摘ありがとうござぃます！
後ほど精査して修正します！
19：abata :
2021/11/03 (Wed) 22:01:26: 以下の3箇所を修正しました。

・（3-1-0）の『ある【ある【U∈Asc(T)[x,n]かつ（Tが数列なら『U＜TまたはU=T』）かつv∈Asc(T)[x,n]かつv≦n】を満たすUとvを用いて、』

を

『ある【U∈Asc(T)[x,n]（ただしTが∀でないなら『U∈Asc(T)[x,n]かつ[U＜TまたはU=T]』）かつv∈Asc(T)[x,n]かつv≦n】を満たすUとvを用いて、』に変更しました。

・（3）Abata数列Asc(T)[n]の『任意の【数列または∀となるTと、非負整数nとa】に対して、集合Asc(T)[a,n]と関数Acs(T)[n]を以下のように定義する』

を

『任意の【数列または∀となるTと、非負整数nとa】に対して、Asc(T)[a,n]とAcs(T)[n]を以下のように定義する』に変更しました。

・（1）数列の定義の『任意の非負整数nとmに対して、数列とSとSmとSn,mを以下のように定義する』

を

『任意の非負整数nとmに対して、数列とSとSn,mを以下のように定義する』に変更しました。
20：ブルームーン :
2021/11/21 (Sun) 00:39:51: Ａｓｃ(1)[1,1]の定義にＡｓｃ(1)[1]が出てきて、Ａｓｃ(1)[1]の定義にＡｓｃ(1)[1,1]が出てきていて、
循環していませんか？
21：abata :
2021/11/21 (Sun) 16:57:01: ＞20
ほんとですね…。

・（3-1-0）の『ある【U∈Asc(T)[x,n]（ただしTが∀でないなら『U∈Asc(T)[x,n]かつ[U＜TまたはU=T]』）』を『ある【U∈Asc(T)[x,n]（ただしTが∀でないなら『U∈Asc(T)[x,n]かつ[U＜T]』）』に変更しました