BB(10^100)が原理的に計算可能というのは認めるが。
巨大数スレで計算可能数を定義したと言い張るなら、計算不能な表現が入ってる時点でアウトや。
計算可能な表現のみでBB(10^100)を表現できたときにはじめてf(BB(10^100)も計算可能数として認められる。