>>414
計算可能。むしろ有限のnならBB(n)は計算可能。
つまり>>402の方法が可能。