Loader 数 - 版本历史

2026年2月22日 (日) 09:31 0100000000a7

2026-02-22T09:31:43Z

←上一版本		2026年2月22日 (日) 17:31的版本
第4行：		第4行：

	=== 定义 ===		=== 定义 ===
	Loader.c ~~的源代码如下：~~<syntaxhighlight lang="c" line="1">		Loader.c 的源代码<ref>https://github.com/rcls/busy</ref>如下：<syntaxhighlight lang="c" line="1">
	#define R { return		#define R { return
	#define P P (		#define P P (

2025年8月20日 (三) 08:33 Z

2025-08-20T08:33:15Z

←上一版本		2025年8月20日 (三) 16:33的版本
第260行：		第260行：
	return Derive (Derive (Derive (Derive (Derive (99)))));		return Derive (Derive (Derive (Derive (Derive (99)))));
	}		}
	</syntaxhighlight>		</syntaxhighlight>{{默认排序:相关问题}}
			[[分类:记号]]

2025年8月6日 (三) 09:51 Tabelog

2025-08-06T09:51:48Z

←上一版本		2025年8月6日 (三) 17:51的版本
第1行：		第1行：
	'''~~Loader数~~'''~~是Ralph Loader的C语言程序~~'''Loader.c'''的输出<math>D^5(99)</math>~~，它在2001年的~~[[Bignum Bakeoff]]~~比赛(用不超过512字的代码生成尽可能大的有限整数)中获得第一名。~~		'''Loader 数'''是 Ralph Loader 的 C 语言程序 '''Loader.c''' 的输出 <math>D^5(99)</math>，它在 2001 年的 [[Bignum Bakeoff]] 比赛（用不超过 512 字的代码生成尽可能大的有限整数）中获得第一名。

	~~其中D函数的强度取决于构造演算的证明论强度，其增长率达到了~~<math>{\rm PTO}(Z_\omega)</math>。		其中 D 函数的强度取决于 Huet-Coquand 构造演算（CoC）的证明论强度，其增长率达到了 <math>{\rm PTO}(Z_\omega)</math>。迄今为止，它仍然是最强的可计算函数之一。

	~~迄今为止，它仍然是最强的可计算函数之一。~~

	=== 定义 ===		=== 定义 ===
	Loader.~~c的源代码如下：~~<syntaxhighlight lang="c" line="1">		Loader.c 的源代码如下：<syntaxhighlight lang="c" line="1">
	#define R { return		#define R { return
	#define P P (		#define P P (
第79行：		第77行：
	main ()		main ()
	R D (D (D (D (D (99)))) F		R D (D (D (D (D (99)))) F
	</syntaxhighlight>~~此外，Loader还给出了可读性更高的版本（我们使用中文注释）：~~<syntaxhighlight lang="c">		</syntaxhighlight>此外，Loader 还给出了可读性更高的版本（我们使用中文注释）：<syntaxhighlight lang="c">
	//Tree、INT、TREE、BitStream 都被定义为 int，只是为了区分用途。		//Tree、INT、TREE、BitStream 都被定义为 int，只是为了区分用途。
	//把宏 DESCEND 直接展开为变量 xx，用于 while 里的递归控制。		//把宏 DESCEND 直接展开为变量 xx，用于 while 里的递归控制。
第263行：		第261行：
	}		}
	</syntaxhighlight>		</syntaxhighlight>

	~~=== 分析 ===~~

Tabelog：Tabelog移动页面Loader数至Loader 数

2025-08-06T09:50:30Z

Tabelog移动页面Loader数至Loader 数

←上一版本	2025年8月6日 (三) 17:50的版本
（没有差异）

2025年7月4日 (五) 20:12 Phyrion

2025-07-04T20:12:15Z

←上一版本		2025年7月5日 (六) 04:12的版本
第1行：		第1行：
	'''Loader数'''是Ralph Loader的C语言程序'''Loader.c'''的输出<math>D^5(99)</math>，它在2001年的[[Bignum Bakeoff]]比赛(~~用不超过512字的代码生成尽可能大的有限数~~)中获得第一名。		'''Loader数'''是Ralph Loader的C语言程序'''Loader.c'''的输出<math>D^5(99)</math>，它在2001年的[[Bignum Bakeoff]]比赛(用不超过512字的代码生成尽可能大的有限整数)中获得第一名。

	其中D函数的强度取决于构造演算的证明论强度，其增长率达到了<math>{\rm PTO}(Z_\omega)</math>。		其中D函数的强度取决于构造演算的证明论强度，其增长率达到了<math>{\rm PTO}(Z_\omega)</math>。

2025年7月4日 (五) 20:08 Phyrion

2025-07-04T20:08:35Z

←上一版本		2025年7月5日 (六) 04:08的版本
第1行：		第1行：
	'''Loader数'''是Ralph Loader的C语言程序'''Loader.c'''的输出<math>D^5(99)</math>~~，它在2001年的Bignum Bakeoff比赛~~(用不超过512字的代码生成尽可能大的有限数)中获得第一名。		'''Loader数'''是Ralph Loader的C语言程序'''Loader.c'''的输出<math>D^5(99)</math>，它在2001年的[[Bignum Bakeoff]]比赛(用不超过512字的代码生成尽可能大的有限数)中获得第一名。

	其中D函数的强度取决于构造演算的证明论强度，其增长率达到了<math>{\rm PTO}(Z_\omega)</math>。		其中D函数的强度取决于构造演算的证明论强度，其增长率达到了<math>{\rm PTO}(Z_\omega)</math>。

2025年7月4日 (五) 20:07 Phyrion

2025-07-04T20:07:23Z

←上一版本		2025年7月5日 (六) 04:07的版本
第1行：		第1行：
	'''Loader数'''是Ralph Loader的C语言程序'''Loader.c'''的输出<math>D^5(99)</math>，它在2001年的Bignum ~~Bakeoff比赛中获得第一名。~~		'''Loader数'''是Ralph Loader的C语言程序'''Loader.c'''的输出<math>D^5(99)</math>，它在2001年的Bignum Bakeoff比赛(用不超过512字的代码生成尽可能大的有限数)中获得第一名。

	其中D函数的强度取决于构造演算的证明论强度，其增长率达到了<math>{\rm PTO}(Z_\omega)</math>。		其中D函数的强度取决于构造演算的证明论强度，其增长率达到了<math>{\rm PTO}(Z_\omega)</math>。
第263行：		第263行：
	}		}
	</syntaxhighlight>		</syntaxhighlight>

			=== 分析 ===

2025年7月4日 (五) 19:29 Phyrion

2025-07-04T19:29:37Z

←上一版本		2025年7月5日 (六) 03:29的版本
第79行：		第79行：
	main ()		main ()
	R D (D (D (D (D (99)))) F		R D (D (D (D (D (99)))) F
	</syntaxhighlight>~~此外，Loader还给出了可读性略高的版本（我们使用中文注释）：~~<syntaxhighlight lang="c">		</syntaxhighlight>此外，Loader还给出了可读性更高的版本（我们使用中文注释）：<syntaxhighlight lang="c">
	//Tree、INT、TREE、BitStream 都被定义为 int，只是为了区分用途。		//Tree、INT、TREE、BitStream 都被定义为 int，只是为了区分用途。
	//把宏 DESCEND 直接展开为变量 xx，用于 while 里的递归控制。		//把宏 DESCEND 直接展开为变量 xx，用于 while 里的递归控制。

2025年7月4日 (五) 19:27 Phyrion

2025-07-04T19:27:44Z

←上一版本		2025年7月5日 (六) 03:27的版本
第80行：		第80行：
	R D (D (D (D (D (99)))) F		R D (D (D (D (D (99)))) F
	</syntaxhighlight>此外，Loader还给出了可读性略高的版本（我们使用中文注释）：<syntaxhighlight lang="c">		</syntaxhighlight>此外，Loader还给出了可读性略高的版本（我们使用中文注释）：<syntaxhighlight lang="c">
			//Tree、INT、TREE、BitStream 都被定义为 int，只是为了区分用途。
			//把宏 DESCEND 直接展开为变量 xx，用于 while 里的递归控制。
	typedef int Tree;		typedef int Tree;
	typedef int INT;		typedef int INT;
第258行：		第260行：
	TREE main ()		TREE main ()
	{		{
	return Derive (		return Derive (Derive (Derive (Derive (Derive (99)))));
	Derive (
	Derive (
	Derive (
	Derive (99)
	)
	)
	)
	);
	}		}
	</syntaxhighlight>		</syntaxhighlight>

2025年7月4日 (五) 19:11 Phyrion

2025-07-04T19:11:52Z

显示更改