>>212
αの各項は 0 と 1 の値を持つとする。  (α∈{0,1}^N)

 α = {α_1,α_2,α_3,・・・・・,α_k, ・・・・ }
 ただし α_3 〜 α_(n+2) = 0, α_(n+3) = 1, n≧0
に対して
 g(α) = (-1)^α1・2^{(-1)^α2・n}・{1.α_(n+4)α_(n+5)・・・・・・}
とおく。
α_3 以下がすべて0の場合は g(α)=0 とする。

(参考) IEEE-754