>>130
計算可能と何が違う?