Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

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 无编辑摘要标签：可视化编辑
00:192025年8月4日 (一) 00:19 差异历史 +431 大数史 →参考资料标签：可视化编辑

23:442025年8月3日 (日) 23:44 差异历史 +68 小条目编写指南无编辑摘要标签：可视化编辑
23:412025年8月3日 (日) 23:41 差异历史 −242 小条目编写指南无编辑摘要标签：可视化编辑
23:312025年8月3日 (日) 23:31 差异历史 +2,412 条目编写指南无编辑摘要标签：可视化编辑
23:012025年8月3日 (日) 23:01 差异历史 +120 小非递归化序列记号无编辑摘要标签：可视化编辑

11:172025年7月31日 (四) 11:17 差异历史 +401,557 新 (test) BMS 分析我在测试什么东西当前标签：可视化编辑：已切换

19:472025年7月30日 (三) 19:47 差异历史 +4,465 大数史无编辑摘要标签：可视化编辑
15:352025年7月30日 (三) 15:35 差异历史 +49 小非递归BMS分析无编辑摘要标签：可视化编辑
15:322025年7月30日 (三) 15:32 差异历史 +198 小递归 Mahlo 序数修正参考资料标签：可视化编辑
15:292025年7月30日 (三) 15:29 差异历史 +7 小 NOCF 修正标签：可视化编辑
15:272025年7月30日 (三) 15:27 差异历史 +6 小 Catching 函数无编辑摘要标签：可视化编辑
15:262025年7月30日 (三) 15:26 差异历史 +235 小 SCG函数 & SSCG函数修正参考资料标签：可视化编辑
15:192025年7月30日 (三) 15:19 差异历史 −22 小 Circle函数修正参考资料标签：可视化编辑
13:562025年7月30日 (三) 13:56 差异历史 0 小皮亚诺公理体系修正参考资料当前标签：可视化编辑
13:542025年7月30日 (三) 13:54 差异历史 +332 小 TREE函数修正参考资料标签：可视化编辑
13:512025年7月30日 (三) 13:51 差异历史 +299 小忙碌海狸函数修正参考资料标签：可视化编辑
13:382025年7月30日 (三) 13:38 差异历史 −7 小 Ξ函数修正参考资料标签：可视化编辑
13:362025年7月30日 (三) 13:36 差异历史 −11 小 BEAF 修正参考资料标签：可视化编辑
13:352025年7月30日 (三) 13:35 差异历史 +102 小超E记号修正参考资料标签：可视化编辑
13:312025年7月30日 (三) 13:31 差异历史 +14 小 Kirby-Paris Hydra 修正参考资料标签：可视化编辑
13:302025年7月30日 (三) 13:30 差异历史 +459 小 Beklemishev's Worm 修正参考资料标签：可视化编辑
13:242025年7月30日 (三) 13:24 差异历史 +66 小 Bignum Bakeoff 修正参考资料当前标签：可视化编辑
13:212025年7月30日 (三) 13:21 差异历史 +88 小古戈尔修正参考资料标签：可视化编辑
13:182025年7月30日 (三) 13:18 差异历史 +62 小初等序列系统修正参考资料标签：可视化编辑
13:002025年7月30日 (三) 13:00 差异历史 +82 小 Tritri 修正参考资料当前标签：可视化编辑
12:552025年7月30日 (三) 12:55 差异历史 +172 小增长层级修正参考资料标签：可视化编辑
12:522025年7月30日 (三) 12:52 差异历史 +638 小葛立恒数修正参考资料当前标签：可视化编辑
12:312025年7月30日 (三) 12:31 差异历史 −2 小基数修正参考资料标签：可视化编辑
12:302025年7月30日 (三) 12:30 差异历史 +39 小高德纳箭头修正参考资料标签：可视化编辑
12:262025年7月30日 (三) 12:26 差异历史 +15 小条目编写指南无编辑摘要
12:212025年7月30日 (三) 12:21 差异历史 +207 小增长层级修正参考资料标签：可视化编辑

2025年8月6日 (星期三)

2025年8月5日 (星期二)

2025年8月4日 (星期一)

2025年8月3日 (星期日)

2025年7月31日 (星期四)

2025年7月30日 (星期三)