ローダー数：理論上の無限メモリマシンにおけるプログラミングチャレンジ

ローダー数とは、ラルフ・ローダーが作成したCプログラムloader.cの出力結果です。このプログラムは、Bignum Bakeoffコンテストで1位を獲得しました。コンテストの目的は、理論上の無限メモリを持つマシン上で可能な限り大きな出力を生成するCプログラム（512文字以内）を作成することでした。計算はHuet-Coquand構成計算に基づいており、Marxen.cの出力など、他の既知の大数よりもはるかに大きな数を生成します。公式な証明はありませんが、推定では、急速に増加する階層における特定の値を超えていると考えられています。ローダー数の計算は計算集約的であり、その規模は、コンピュータサイエンスにおける計算限界の探求を示しています。