帰納 きのう てき関数 かんすうなら
kinō tekikan sūnara

Noun
Da Copula

The "-nara" conditional form ("if/when…") of 帰納的関数

1. If it's an inductive function; When it's an inductive function

Nara Conditional
Computing