IBIB関数

計算自体は変わらんので、割愛

IBIB[(1)[]0^2]0(0)
=7

IBIB[(1)[]0^2]0(1)
=2^{2×2^{2×2^{2×2^{2×2^{2772×2^213120}}}}}