Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

23:132025年8月7日 (四) 23:13 差异历史 −1 小 SRO 无编辑摘要标签：可视化编辑
23:122025年8月7日 (四) 23:12 差异历史 +178 小 SIO 无编辑摘要标签：可视化编辑
23:092025年8月7日 (四) 23:09 差异历史 +47 小 EBO 无编辑摘要标签：可视化编辑
23:082025年8月7日 (四) 23:08 差异历史 +28 小 TBO 无编辑摘要标签：可视化编辑
23:062025年8月7日 (四) 23:06 差异历史 +84 小 ACO 无编辑摘要标签：可视化编辑
23:042025年8月7日 (四) 23:04 差异历史 −1 小 SHO 无编辑摘要标签：可视化编辑
23:032025年8月7日 (四) 23:03 差异历史 +21 小 JO 无编辑摘要标签：可视化编辑
23:022025年8月7日 (四) 23:02 差异历史 +7 小 SRO 无编辑摘要标签：可视化编辑
23:012025年8月7日 (四) 23:01 差异历史 +65 小 MBO 无编辑摘要标签：可视化编辑
16:422025年8月7日 (四) 16:42 差异历史 +52 小不动点无编辑摘要标签：可视化编辑
16:272025年8月7日 (四) 16:27 差异历史 +3 小非递归化序列记号无编辑摘要标签：可视化编辑
16:242025年8月7日 (四) 16:24 差异历史 +27 小超限 -1-Y VS Veblen 函数无编辑摘要标签：可视化编辑
16:232025年8月7日 (四) 16:23 差异历史 0 小超限 -1-Y VS Veblen 函数 Tabelog移动页面超限(-1)-Y VS Veblen函数至超限 -1-Y VS Veblen 函数，不留重定向
16:232025年8月7日 (四) 16:23 差异历史 +1,736 -1-Y 无编辑摘要标签：可视化编辑
16:132025年8月7日 (四) 16:13 差异历史 −17 小 -1-Y 无编辑摘要标签：可视化编辑
11:212025年8月7日 (四) 11:21 差异历史 +2,329 新 BTBMS 创建页面，内容为“BTBMS（Bubby3's Transfinite Bashicu Matrix System）是 Bubby3 创造的序数记号，是现行扩展 BMS 中强度最高的。 === 定义 === BTBMS 表达式中的一列形如 <math>\left(a_1,a_2,\cdots,a_n^{(b_1,b_2,\cdots)}\right)</math>。它由两部分组成，分别为 <math>(a_1,a_2,\cdots,a_n)</math> 以及 <math>(b_1,b_2,\cdots)</math>。它的后继规则为 <math>(\#)(0)[n]=(\#)[n+1],\quad\left(a^{(\#)(\varnothing)}\right)[n]=\l…” 标签：可视化编辑
10:532025年8月7日 (四) 10:53 差异历史 +164 小变种去提升 Y 序列无编辑摘要标签：可视化编辑
10:502025年8月7日 (四) 10:50 差异历史 +49 小元素属性无编辑摘要标签：可视化编辑
10:482025年8月7日 (四) 10:48 差异历史 +11,681 新 X-Y 创建页面，内容为“X-Y 序列是由国内的大数研究者 Go men 于 2023 年提出的记号，是一个 Y 序列的强大扩展。X-Y 序列一共有两个版本，下面我们介绍第二版的展开规则。 === 定义 === '''作山脉图''' 山脉图是一个“二维数组”，待展开数列依次置于山脉图第 [0] 行，首项放在第 1 列，后面各项依次放在第 2、3、4... 列，每一项称为山脉图的“元素”，如果待展开数列的元素的…” 标签：可视化编辑
10:272025年8月7日 (四) 10:27 差异历史 0 小 weak Veblen 函数 Tabelog移动页面Weak Veblen 函数至Weak veblen函数

20:052025年8月6日 (三) 20:05 差异历史 0 小 weak Veblen 函数 Tabelog移动页面Weak veblen函数至Weak Veblen 函数
20:032025年8月6日 (三) 20:03 差异历史 0 小 DcN Tabelog移动页面FOS用DcN和1-Y枚举至DcN
20:002025年8月6日 (三) 20:00 差异历史 +3,499 新 MMS 创建页面，内容为“变异矩阵系统（Mutant Martix System，MMS）最初是 Aarex 于 2023 年提出的记号，它是 BMS 的一个强大的推广。后来其规则经过多次的调整和完善，目前使用的是 HypCos 的 MM3（Mutant Martix 3）。我们下面对其规则进行简要的介绍。 === 定义 === MM3 是以矩阵形式表达的表达式，每个元素具有表观行标和内在行标。以下陈述中，“左”的列标比“右”小…” 标签：可视化编辑
19:072025年8月6日 (三) 19:07 差异历史 +4 小 SSO 无编辑摘要标签：可视化编辑
19:062025年8月6日 (三) 19:06 差异历史 −2 小 LRO 无编辑摘要标签：可视化编辑
19:052025年8月6日 (三) 19:05 差异历史 +2 小 BO 无编辑摘要标签：可视化编辑
19:032025年8月6日 (三) 19:03 差异历史 +91 小 BGO 无编辑摘要标签：可视化编辑
19:002025年8月6日 (三) 19:00 差异历史 +70 小 ΩSSO 无编辑摘要标签：可视化编辑
18:462025年8月6日 (三) 18:46 差异历史 +196 小 LRO 无编辑摘要标签：可视化编辑
18:412025年8月6日 (三) 18:41 差异历史 +39 小 SSO 无编辑摘要标签：可视化编辑
18:392025年8月6日 (三) 18:39 差异历史 +544 小增长层级无编辑摘要标签：可视化编辑
18:302025年8月6日 (三) 18:30 差异历史 +12,529 新 Mountain Notation 创建页面，内容为“=== 前定义 === 山脉系列的矩阵由列组成，它可以表示为 <math>A_1A_2\cdots A_{n-1}A_n</math> 的形式，其中 <math>A_i</math> 为各列，<math>n</math> 是非负整数。把所有列从左到右列出来，列标大为右，最左列的列标是 1。列由元素组成，它可以表示为 <math>a_1a_2\cdots a_{n-1}a_n</math> 的形式，其中 <math>a_i</math> 为各元素，''<math>n</math>'' 是非负整数。把所有元素从下到上…” 标签：可视化编辑
18:012025年8月6日 (三) 18:01 差异历史 +52 小忙碌海狸函数无编辑摘要标签：可视化编辑
17:512025年8月6日 (三) 17:51 差异历史 +28 小 Loader 数无编辑摘要标签：可视化编辑
17:502025年8月6日 (三) 17:50 差异历史 0 小 Loader 数 Tabelog移动页面Loader数至Loader 数
17:492025年8月6日 (三) 17:49 差异历史 −372 小 LPrSS vs HPrSS vs 0-Y vs 1-Y 无编辑摘要当前标签：可视化编辑：已切换
17:482025年8月6日 (三) 17:48 差异历史 0 小 LPrSS vs HPrSS vs 0-Y vs 1-Y Tabelog移动页面LPrSSvsHPrSSvs0-YvsY至LPrSS vs HPrSS vs 0-Y vs 1-Y
17:472025年8月6日 (三) 17:47 差异历史 −12 小 SHO 无编辑摘要标签：可视化编辑
17:462025年8月6日 (三) 17:46 差异历史 +38 小 SDO 无编辑摘要标签：可视化编辑
17:442025年8月6日 (三) 17:44 差异历史 +70 小 GHO 无编辑摘要标签：可视化编辑
17:422025年8月6日 (三) 17:42 差异历史 +4,895 新变种去提升 Y 序列创建页面，内容为“本页面介绍去除了各种提升的 1-Y 和 BMS。 === 前定义 === 下文 1-Y 均为 weak 1-Y，未提及的内容同 1-Y。不标准的合法表达式，不保证能理想且良的展开。 ==== 计数序列 ==== 在某个合法表达式中，项 <math>x</math> 的计数序列 <math>f(x)</math> 的定义如下： # <math>f(x)=1</math> # <math>f(\#,x)=f(x),1</math> 当 # 无法适用 1 时 # <math>f(\#)=\sup\{f(\alpha)|\a…” 标签：可视化编辑
17:262025年8月6日 (三) 17:26 差异历史 +39 小 GHO 无编辑摘要标签：可视化编辑

22:272025年8月5日 (二) 22:27 差异历史 +103 小稳定序数无编辑摘要标签：可视化编辑
22:142025年8月5日 (二) 22:14 差异历史 +16 小 SHO 无编辑摘要标签：可视化编辑
22:102025年8月5日 (二) 22:10 差异历史 +2,880 AOCF 无编辑摘要当前标签：可视化编辑
20:092025年8月5日 (二) 20:09 差异历史 +7,767 AOCF 无编辑摘要标签：可视化编辑：已切换
17:352025年8月5日 (二) 17:35 差异历史 +132 小 AOCF 无编辑摘要标签：可视化编辑
17:312025年8月5日 (二) 17:31 差异历史 +12,933 新 AOCF 创建页面，内容为“'''Arai's Ordinal Collapse Function（AOCF）'''是一种类序数坍缩函数。 === 系统与公理 === <math>\Sigma_{N+2}^1-\text{AC+BI}</math> 表示一个二阶算术系统，它由 <math>\rm \Pi_1^1-CA_0+BI</math> 加入公理 <math>\Sigma_{N+2}^1-\text{AC}</math> 得到：<math>\forall n \exists X F(n,X) \rightarrow \exists Y \forall n F(n,Y_n)</math>，其中 <math>F(n,X)</math> 是任意的 <math>\Pi_{N+2}^1</math>-…” 标签：可视化编辑

00:592025年8月4日 (一) 00:59 差异历史 +1,508 BAN →定义标签：可视化编辑
00:492025年8月4日 (一) 00:49 差异历史 +1,713 BAN 无编辑摘要标签：可视化编辑

2025年8月7日 (星期四)

2025年8月6日 (星期三)

2025年8月5日 (星期二)

2025年8月4日 (星期一)