πfs: データフリー・ファイルシステム

πfs は、円周率 (π) の数学的性質を利用してデータ保存の必要性を排除すると主張する、概念的かつ風刺的なファイルシステムです。実際のファイル内容をディスクに保存する代わりに、π の無限の数字列中にそのデータのインデックス（位置）を格納し、定数自体を汎用データリポジトリとして扱います。

πfs の仕組み: データをインデックスとして扱う

πfs は、π が 正規数（digits が均等に分布する）であり、分離列であるという推測に基づいて動作します。この推測が正しければ、任意の有限桁数列—すなわち任意のファイル—が π の十六進展開のどこかに必ず存在します。

ファイルを「保存」するには、システムはファイル内容と一致する π 中の桁列を見つけ、その開始インデックスと長さを記録します。ファイルを取得する際は、Bailey–Borwein–Plouffe (BBP) 公式を用いて、先行する桁をすべて計算せずに π の $n$ 番目の桁を直接算出します。

実装の詳細

• Metadata Storage: ファイル内容は「π の中」にあるものの、インデックスと長さ（メタデータ）は物理ディスクに保存する必要があります。プロジェクトの作者は、これにより「データ」から「メタデータ」へ負荷が単に移すだけだと指摘しています。
• Performance Optimization: π 内で長い文字列を検索する計算コストの高い作業を回避するため、現在の実装ではファイルの各バイトを個別に検索します。
• Dependencies: システムは FUSE (Filesystem in Userspace) を使用して構築されており、インストールには autoconf、automake、libfuse-dev が必要です。

技術的批判と情報理論

πfs は 100% 圧縮を実現する「革命的」ツールとして提示されていますが、技術的議論は実際には数学的に不可能であることを指摘しています。

メタデータのパラドックス

情報理論によれば、無限文字列中の特定のシーケンスを指し示すために必要なアドレスは、通常そのシーケンス自体と同等かそれ以上の大きさになります。コミュニティメンバーの指摘は次のとおりです：

"結論として、データのアドレスを表すのにデータ自体と同じ量のデータが必要になるので、圧縮効果は実質的になく、単なる面白い思考実験にすぎません。"

正規性の推測

批評家は、π の正規性は証明された事実ではなく推測に過ぎないと指摘します。π が正規でない場合、特定のデータ列は全く存在し得ず、結果として一部のファイルは「保存」できません。

計算量的複雑性

π 中の特定シーケンスを検索することは計算上非常に負荷が高いです。バイト単位の検索最適化を行っても、処理は極めて遅くなります。あるユーザーは 400 行のテキストファイルの保存に 5 分かかったと報告しており、他のユーザーは現在の実装が実際にはデータサイズを拡大させる（例: 入力 8 ビットにつきメタデータ 16 ビットを書き込む）可能性があると指摘しています。

他の概念的システムとの比較

πfs の概念は、他の数学的・文学的思考実験と類似点があります：

• The Library of Babel: すべての可能な 410 ページの本を含む概念的図書館で、インデックスが本自体と同等の大きさになるという同様のパラドックスを示します。
• Champernowne Constant: 正規性が証明されているため、π の代わりに Champernowne 定数を使用すべきだという提案があります。これにより推測への依存が取り除かれます。
• InferenceFS: 作者はその後、データフリー・ファイルシステムの最新の進化形として inferencefs を指し示しています。