計算可能な全単射は無理かな?多分