About: ベイリー＝ボールウェイン＝プラウフの公式

ベイリー＝ボールウェイン＝プラウフの公式（BBP公式）（ベイリー＝ボールウェイン＝プラウフのこうしき、英語: Bailey-Borwein-Plouffe formula (BBP formula)）は、1995年にサイモン・プラウフによって発見された円周率 π の公式で、発表された論文の著者である、、プラウフにちなんで名付けられた。それ以前はプラウフが自身のサイトで発表していたものである。その公式は と表される。 BBP公式は、 先行する桁を計算せずにπ の十六進法のn桁目（つまり π の二進数の4n桁目）を直接求めるを与える。これは π の十進数でのn桁目（つまり、底を10とした場合）を計算するものではない。BBPとBBPに触発されたアルゴリズムは、分散コンピューティングを使って π の多くの桁を計算するPiHexなどのプロジェクトで使用されている。この公式の存在は驚くべきものであった。それまでは、π のn桁目を計算するのは、最初のn桁を計算するのと同じくらい難しいと広く信じられていた。