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

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

バシク行列システム派生ーIBMS（Idealized Bashicu Matrix System）

1：abata :
2019/06/02 (Sun) 13:49:28: ■こちらでは、IBMS（Idealized Bashicu Matrix System）についての情報や話題を募集したいと思います。

参考：
バシク行列システム全般
http://googology.bbs.fc2.com/?act=reply&tid=11269317
2：rpakr :
2019/06/02 (Sun) 16:27:51: https://docs.google.com/spreadsheets/d/1KQr4gN2KEHqI0-Jd6RGSY6_dAMsp0oPtU5LL6xa0g98/edit?usp=sharing
IBMSの解析シート(自作)です。
3：abata :
2019/06/02 (Sun) 16:51:56: >2
ありがとうございます！
IBMSの定義とかってどんなかんじですか？
4：rpakr :
2019/06/02 (Sun) 17:27:33: 【定義】
Bad root search、Δの計算はBM2.3と同じ。
t行目でBRが直系先祖である列はC=(1^t)である。
そうでない列は、BRより右にありCが1である親を持つ行がk行目までのとき、
C=(1^k,0^(t-k))である。
5：abata :
2019/06/02 (Sun) 17:47:55: BM2.3はこれですね。
https://twitter.com/koteitan/status/1018891946197016576

まだ、理解するのに時間がかかりそうです・・。
6：koteitan :
2019/06/30 (Sun) 13:31:51: 最近数式での定義に成功しました
https://googology.wikia.org/ja/wiki/ユーザーブログ:Koteitan/BM3.3_の数式的定義と図解
7：アバタ :
2019/06/30 (Sun) 18:56:27: ＞6
情報ありがとうございます！
8：koteitan :
2019/07/01 (Mon) 10:29:36: あとIBMSのプログラムと、それを使って計算ができるサイトはここです
https://www.jdoodle.com/a/15Le
9：アバタ :
2019/07/01 (Mon) 13:32:20: ＞8
ありがとうございます！
10：koteitan :
2019/07/05 (Fri) 09:40:20: UNOCFによる解析シートです。
複数人でメンテされている模様。
https://docs.google.com/spreadsheets/d/1OA6_7YtxOingj8-J8rfjYH8ZyRiFKBRy9AGkoKDbH1M
11：abata :
2019/07/05 (Fri) 20:49:18: >10
情報ありがとうございます。
12：koteitan :
2019/08/18 (Sun) 17:17:58: 6/22に IBMS の実装として定義されたBM3.3 でしたが、
8/4 に Bubby3 さんが (1,1,1)(2,1,0)(3,2,1)(4,2,0)(1,1,1) のUNOCF 対応がおかしいことに気づいて discord で発言されました。
この行列に対する IBMS としての正しい展開は Ecl1psed さんによるとBM3.3とは異なり、下記のようになるとのことです。
https://twitter.com/koteitan/status/1162589220189409281?s=21
展開先の行列では(2)(4)という枝が存在し、数字が一つ飛びになることは今までなかったため、物議を醸し出しています。BM3.3、BM4がおかしいのか、それともIBMSとUNOCFがおかしいのか。謎です