>>690
＞各limit ordinalに対してfundamental sequenceが定まっていれば
＞Hαは計算可能。

計算可能かどうかはfundamental sequenceの定め方によると思うけど。