計算 けいさん可能 かのう せいだったら
keisankano useidattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 計算可能性

1. If it were calculable.; If calculability existed.

Tara Conditional
Computing