実行 じっこう可能 かのうプログラムであれば
jikkōkanō puroguramudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 実行可能プログラム

1. If it is an executable program; If the executable program exists

Ba Conditional
Computing