今計算可能関数でいちばん強いのって、バシク行列(well definedとする)?